default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFM 2012: Paris, France
- Dimitra Giannakopoulou, Dominique Méry:
FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Lecture Notes in Computer Science 7436, Springer 2012, ISBN 978-3-642-32758-2 - Martín Abadi:
Software Security: A Formal Perspective - (Notes for a Talk). 1-5 - Asaf Degani:
Formal Methods in the Wild: Trains, Planes, & Automobile. 6 - Alan Wassyng:
Who Are We, and What Are We Doing Here? 7-9 - Fides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen, Frits W. Vaandrager:
Automata Learning through Counterexample Guided Abstraction Refinement. 10-27 - María Alpuente
, Demis Ballis, Francisco Frechina, Daniel Romero:
Julienne: A Trace Slicer for Conditional Rewrite Theories. 28-32 - Étienne André, Laurent Fribourg, Ulrich Kühne, Romain Soulat:
IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems. 33-36 - Maria-Virginia Aponte, Pierre Courtieu, Yannick Moy, Marc Sango:
Maximal and Compositional Pattern-Based Loop Invariants. 37-51 - Mikael Asplund, Atif Manzoor, Mélanie Bouroche, Siobhán Clarke, Vinny Cahill:
A Formal Approach to Autonomous Vehicle Coordination. 52-67 - Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard:
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. 68-84 - Andreas Klaus Bauer, Yliès Falcone:
Decentralised LTL Monitoring. 85-100 - Soufiene Benkirane, Rachel Norman, Erin Scott, Carron Shankland:
Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra. 101-115 - Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb:
A Certified Constraint Solver over Finite Domains. 116-131 - Maria Christakis, Peter Müller, Valentin Wüstholz:
Collaborative Verification and Testing with Explicit Assumptions. 132-146 - Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto:
TLA + Proofs. 147-154 - Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel:
The Modal Transition System Control Problem. 155-170 - Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix:
When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations. 171-186 - Evren Ermis, Martin Schäf, Thomas Wies:
Error Invariants. 187-201 - Mathieu Giorgino, Martin Strecker:
Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction. 202-216 - James Heather, Steve A. Schneider:
A Formal Framework for Modelling Coercion Resistance and Receipt Freeness. 217-231 - Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Using Time to Add Order to Distributed Testing. 232-246 - Hossein Hojjat, Filip Konecný, Florent Garnier, Radu Iosif, Viktor Kuncak, Philipp Rümmer:
A Verification Toolkit for Numerical Transition Systems - Tool Paper. 247-251 - Taylor T. Johnson, Jeremy Green, Sayan Mitra, Rachel F. Dudley, Richard Scott Erwin:
Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems. 252-266 - David Lazar, Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu:
Executing Formal Semantics with the K Tool. 267-271 - Shang-Wei Lin, Yang Liu, Jun Sun, Jin Song Dong, Étienne André:
Automatic Compositional Verification of Timed Systems. 272-276 - Orna Grumberg, Yael Meller, Karen Yorav:
Applying Software Model Checking Techniques for Behavioral UML Models. 277-292 - Yasuhiko Minamide, Shunsuke Mori:
Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility Testing. 293-307 - Srinivas Nedunuri, Douglas R. Smith, William R. Cook:
Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms. 308-325 - Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong, Yan Liu:
Improved BDD-Based Discrete Analysis of Timed Systems. 326-340 - Ammar Osaiweran, Tom Fransen, Jan Friso Groote, Bart J. van Rijnsoever:
Experience Report on Designing and Developing Control Components Using Formal Methods. 341-355 - Sam Owre, Indranil Saha, Natarajan Shankar:
Automatic Dimensional Analysis of Cyber-Physical Systems. 356-371 - Daniel Plagge, Michael Leuschel:
Validating B, Z and TLA + Using ProB and Kodkod. 372-386 - Grigore Rosu, Andrei Stefanescu:
From Hoare Logic to Matching Logic Reachability. 387-402 - German E. Sibay, Sebastián Uchitel, Víctor A. Braberman, Jeff Kramer:
Distribution of Modal Transition Systems. 403-417 - Fu Song, Tayssir Touili:
Efficient Malware Detection Using Model-Checking. 418-433 - Mirko Spasic, Filip Maric:
Formalization of Incremental Simplex Algorithm by Stepwise Refinement. 434-449 - Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova:
VMC: A Tool for Product Variability Analysis. 450-454 - Guowei Yang, Sarfraz Khurshid, Miryung Kim:
Specification-Based Test Repair Using a Lightweight Formal Method. 455-470 - Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen:
A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example. 471-485
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-10-31 20:21 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:
