FMICS 2007:
Berlin,
Germany
Stefan Leue, Pedro Merino (Eds.):
Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers.
Lecture Notes in Computer Science 4916 Springer 2008, ISBN 978-3-540-79706-7 BibTeX
Invited Presentations
Research Papers
- Eric Goubault, Sylvie Putot, Philippe Baufreton, Jean Gassino:
Static Analysis of the Accuracy in Control Systems: Principles and Experiments.
3-20
Electronic Edition (link) BibTeX
- Bastian Schlich, Jann Löll, Stefan Kowalewski:
Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code.
21-37
Electronic Edition (link) BibTeX
- Sören Preibusch, Florian Kammüller:
Checking the TWIN Elevator System by Translating Object-Z to SMV.
38-55
Electronic Edition (link) BibTeX
- Lionel van den Berg, Paul A. Strooper, Kirsten Winter:
Introducing Time in an Industrial Application of Model-Checking.
56-67
Electronic Edition (link) BibTeX
- Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm:
Integration of Formal Analysis into a Model-Based Software Development Process.
68-84
Electronic Edition (link) BibTeX
- Lars Gesellensetter, Sabine Glesner, Elke Salecker:
Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler.
85-100
Electronic Edition (link) BibTeX
- Murali Rangarajan, Darren D. Cofer:
Computing Worst-Case Response Times in Real-Time Avionics Applications.
101-114
Electronic Edition (link) BibTeX
- Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen:
Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization.
115-132
Electronic Edition (link) BibTeX
- Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti:
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications.
133-148
Electronic Edition (link) BibTeX
- Radek Pelánek:
Model Classifications and Automated Verification.
149-163
Electronic Edition (link) BibTeX
- Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby:
An Approach to Formalization and Analysis of Message Passing Libraries.
164-181
Electronic Edition (link) BibTeX
- Marko C. J. D. van Eekelen, Stefan ten Hoedt, René Schreurs, Yaroslav S. Usenko:
Analysis of a Session-Layer Protocol in mCRL2.
182-199
Electronic Edition (link) BibTeX
- Mauricio Alba-Castro, María Alpuente, Santiago Escobar:
Automatic Certification of Java Source Code in Rewriting Logic.
200-217
Electronic Edition (link) BibTeX
- Ana C. R. Paiva, João C. P. Faria, Pedro M. C. Mendes:
Reverse Engineered Formal Models for GUI Testing.
218-233
Electronic Edition (link) BibTeX
- Alexandra Desmoulin, César Viho:
Automatic Interoperability Test Case Generation Based on Formal Definitions.
234-250
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:12:18 2009
by Michael Ley (ley@uni-trier.de)