FMICS 2011: Trento, Italy

• Joost-Pieter Katoen:
  Towards Trustworthy Aerospace Systems: An Experience Report. 1-4
  
• Leonardo Mendonça de Moura:
  Satisfiability at Microsoft. 5
  
• Néstor Cataño, Ijaz Ahmed:
  Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool. 6-20
  
• Luca Ferro, Laurence Pierre, Zeineb Bel Hadj Amor, Jérôme Lachaize, Vincent Lefftz:
  Runtime Verification of Typical Requirements for a Space Critical SoC Platform. 21-36
  
• Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski:
  Past Time LTL Runtime Verification for Microcontroller Binary Code. 37-51
  
• Daniel Côté, Benoît Fraikin, Marc Frappier, Richard St.-Denis:
  A SAT-Based Approach for the Construction of Reusable Control System Components. 52-67
  
• Ilyas Daskaya, Michaela Huhn, Stefan Milius:
  Formal Safety Analysis in Industrial Practice. 68-84
  
• Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis:
  Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs. 85-101
  
• Michael Dierkes:
  Formal Analysis of a Triplex Sensor Voter in an Industrial Context. 102-116
  
• Marten Sijtema, Mariëlle Stoelinga, Axel Belinfante, Lawrence Marinelli:
  Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost. 117-133
  
• Matthias Raffelsieper, Mohammad Reza Mousavi:
  Symbolic Power Analysis of Cell Libraries. 134-148
  
• Matthias Büker, Werner Damm, Günter Ehmen, Ingo Stierand:
  An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models. 149-164
  
• Alessandro Aldini, Marco Bernardo, Jeremy Sproston:
  Performability Measure Specification: Combining CSRL and MSL. 165-179
  
• Etienne Lantreibecq, Wendelin Serwe:
  Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit Using CADP. 180-195
  
• Frank P. M. Stappers, Michel A. Reniers, Sven Weber:
  Transforming SOS Specifications to Linear Processes. 196-211
  
• Naghmeh Ghafari, Ramana Kumar, Jeff Joyce, Bernd Dehning, Christos Zamantzas:
  Formal Verification of Real-Time Data Processing of the LHC Beam Loss Monitoring System: A Case Study. 212-227
  
• Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier:
  Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy. 228-243
  
• Ahmed Shah Mashiyat, Fazle Rabbi, Wendy MacCaull:
  Modeling and Verifying Timed Compensable Workflows and an Application to Health Care. 244-259
  

Last update Sat May 18 18:30:45 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page