FMICS 2007: Berlin, Germany

Invited Presentations

• Charles Pecheur:
  Verification of Embedded Software: From Mars to Actions. 1
  
• Gérard Berry:
  Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel. 2
  

Research Papers

• Eric Goubault, Sylvie Putot, Philippe Baufreton, Jean Gassino:
  Static Analysis of the Accuracy in Control Systems: Principles and Experiments. 3-20
  
• Bastian Schlich, Jann Löll, Stefan Kowalewski:
  Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code. 21-37
  
• Sören Preibusch, Florian Kammüller:
  Checking the TWIN Elevator System by Translating Object-Z to SMV. 38-55
  
• Lionel van den Berg, Paul A. Strooper, Kirsten Winter:
  Introducing Time in an Industrial Application of Model-Checking. 56-67
  
• 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
  
• Lars Gesellensetter, Sabine Glesner, Elke Salecker:
  Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler. 85-100
  
• Murali Rangarajan, Darren D. Cofer:
  Computing Worst-Case Response Times in Real-Time Avionics Applications. 101-114
  
• Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen:
  Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization. 115-132
  
• 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
  
• Radek Pelánek:
  Model Classifications and Automated Verification. 149-163
  
• Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby:
  An Approach to Formalization and Analysis of Message Passing Libraries. 164-181
  
• Marko C. J. D. van Eekelen, Stefan ten Hoedt, René Schreurs, Yaroslav S. Usenko:
  Analysis of a Session-Layer Protocol in mCRL2. 182-199
  
• Mauricio Alba-Castro, María Alpuente, Santiago Escobar:
  Automatic Certification of Java Source Code in Rewriting Logic. 200-217
  
• Ana C. R. Paiva, João C. P. Faria, Pedro M. C. Mendes:
  Reverse Engineered Formal Models for GUI Testing. 218-233
  
• Alexandra Desmoulin, César Viho:
  Automatic Interoperability Test Case Generation Based on Formal Definitions. 234-250