default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th FMICS 2009: Eindhoven, The Netherlands
- María Alpuente
, Byron Cook, Christophe Joubert:
Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings. Lecture Notes in Computer Science 5825, Springer 2009, ISBN 978-3-642-04569-1
Invited Papers
- Dino Distefano:
Attacking Large Industrial Code with Bi-abductive Inference. 1-8 - Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink:
On a Uniform Framework for the Definition of Stochastic Process Languages. 9-25 - Thierry Lecomte:
Applying a Formal Method in Industry: A 15-Year Trajectory. 26-34 - Kenneth L. McMillan:
What's in Common between Test, Model Checking, and Decision Procedures? 35-36
Contributed Papers
- José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira:
Verifying Cryptographic Software Correctness with Respect to Reference Implementations. 37-52 - David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Védrine:
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software. 53-69 - Sami Evangelista, Lars Michael Kristensen:
Dynamic State Space Partitioning for External Memory Model Checking. 70-85 - Alwyn Goodloe, César A. Muñoz:
Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle. 86-101 - Ángel Herranz-Nieva, Julio Mariño, Manuel Carro, Juan José Moreno-Navarro:
Modeling Concurrent Systems with Shared Resources. 102-116 - Pavel Parízek, Tomas Kalibera:
Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs. 117-132 - Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-Willem Roorda, Chris W. H. Strolenberg, Hans Zantema:
Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models. 133-148 - Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers:
Preemption Abstraction. 149-164 - Kenneth J. Turner, Koon Leai Larry Tan:
A Rigorous Methodology for Composing Services. 165-180 - Javier de Dios, Ricardo Peña-Marí:
A Certified Implementation on Top of the Java Virtual Machine. 181-196
Selected Posters
- Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccolò Zingoni:
Formal Development for Railway Signaling Using Commercial Tools. 197-198 - Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai:
Integrated Formal Approach for Qualified Critical Embedded Code Generator. 199-201 - Lukas Ladenberger, Jens Bendisposto, Michael Leuschel:
Visualising Event-B Models with B-Motion Studio. 202-204 - Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko:
Behavioural Analysis of an I2C Linux Driver. 205-206 - Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur:
Model-Based Testing of Electronic Passports. 207-209 - María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares:
Developing a Decision Support Tool for Dam Management with SPIN. 210-212
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 2026-09-02 00:56 CEST 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
