default search action

combined dblp search
author search
venue search
publication search

ask others

20th SBMF 2017: Recife, Brazil

> Home > Conferences and Workshops > SBMF

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2017
Simone André da Costa Cavalheiro, José Luiz Fiadeiro:
Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings. Lecture Notes in Computer Science 10623, Springer 2017, ISBN 978-3-319-70847-8

Invited Talks

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/Cavalcanti17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/Cavalcanti17
Ana Cavalcanti:
Formal Methods for Robotics: RoboChart, RoboSim, and More. 3-6
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/Benzmuller17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/Benzmuller17
Christoph Benzmüller:
Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Extended Abstract). 7-11

Formal Methods Integration and Experience Reports

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/Al-ShareefiLD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/Al-ShareefiLD17
Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon:
Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems. 15-32
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/SaeedloeiK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/SaeedloeiK17
Neda Saeedloei, Feliks Kluzniak:
From Scenarios to Timed Automata. 33-51
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/DuarteR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/DuarteR17
Lucio Mauro Duarte, Leila Ribeiro:
Graph Grammar Extraction from Source Code. 52-69
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/LecomteDPM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/LecomteDPM17
Thierry Lecomte, David Déharbe, Étienne Prun, Erwan Mottin:
Applying a Formal Method in Industry: A 25-Year Trajectory. 70-87

Model Checking

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/GadelhaCN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/GadelhaCN17
Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole:
Encoding Floating-Point Numbers Using the SMT Theory in ESBMC: An Empirical Evaluation over the SV-COMP Benchmarks. 91-106
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/OtoniCS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/OtoniCS17
Rodrigo Otoni, Ana Cavalcanti, Augusto Sampaio:
Local Analysis of Determinism for CSP. 107-124
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/AlbuquerqueABCF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/AlbuquerqueABCF17
Higo F. Albuquerque, Rodrigo F. Araujo, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
OptCE: A Counterexample-Guided Inductive Optimization Solver. 125-141
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/AmericoVACM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/AmericoVACM17
Arthur Américo, Artur Vaz, Mário S. Alvim, Sérgio Vale Aguiar Campos, Annabelle McIver:
Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols. 142-158

Refinement and Verification

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/CledouPB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/CledouPB17
Guillermina Cledou, José Proença, Luís Soares Barbosa:
A Refinement Relation for Families of Timed Automata. 161-178
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sbmf/DeckerGHLS0W17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/DeckerGHLS0W17
Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz, Alexander Weiss:
Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems. 179-196
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/MetereLG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/MetereLG17
Roberto Metere, Andreas Lindner, Roberto Guanciale:
Sound Transpilation from Binary to Machine-Independent Code. 197-214
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/OliveiraJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/OliveiraJ17
Kênia Santos de Oliveira, Stéphane Julia:
Using Linear Logic to Verify Requirement Scenarios in Composite Web Service. 215-232
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/AntoninoGR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/AntoninoGR17
Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe:
Checking Static Properties Using Conservative SAT Approximations for Reachability. 233-250

Semantics and Languages

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/Butterfield17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/Butterfield17
Andrew Butterfield:
UTCP: Compositional Semantics for Shared-Variable Concurrency. 253-270
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/GomesMB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/GomesMB17
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
On Kleene Algebras for Weighted Computation. 271-286
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/LiZJS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/LiZJS17
Yi Li, Xiyue Zhang, Yuanyi Ji, Meng Sun:
Capturing Stochastic and Real-Time Behavior in Reo Connectors. 287-304

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.