default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20th SBMF 2017: Recife, Brazil
- 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
- Ana Cavalcanti:
Formal Methods for Robotics: RoboChart, RoboSim, and More. 3-6 - Christoph Benzmüller
:
Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Extended Abstract). 7-11
Formal Methods Integration and Experience Reports
- Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon:
Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems. 15-32 - Neda Saeedloei, Feliks Kluzniak:
From Scenarios to Timed Automata. 33-51 - Lucio Mauro Duarte, Leila Ribeiro:
Graph Grammar Extraction from Source Code. 52-69 - Thierry Lecomte, David Déharbe, Étienne Prun, Erwan Mottin:
Applying a Formal Method in Industry: A 25-Year Trajectory. 70-87
Model Checking
- 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 - Rodrigo Otoni, Ana Cavalcanti, Augusto Sampaio:
Local Analysis of Determinism for CSP. 107-124 - 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 - 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
- Guillermina Cledou, José Proença, Luís Soares Barbosa:
A Refinement Relation for Families of Timed Automata. 161-178 - 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 - Roberto Metere, Andreas Lindner, Roberto Guanciale:
Sound Transpilation from Binary to Machine-Independent Code. 197-214 - Kênia Santos de Oliveira, Stéphane Julia:
Using Linear Logic to Verify Requirement Scenarios in Composite Web Service. 215-232 - Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe:
Checking Static Properties Using Conservative SAT Approximations for Reachability. 233-250
Semantics and Languages
- Andrew Butterfield:
UTCP: Compositional Semantics for Shared-Variable Concurrency. 253-270 - Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
On Kleene Algebras for Weighted Computation. 271-286 - 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.
last updated on 2024-12-23 19:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
