FMICS 2009: Eindhoven, The Netherlands
María Alpuente, Byron Cook, Christophe Joubert (Eds.): Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings. Springer 2009 Lecture Notes in Computer Science 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 Parizek, 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team