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