| 2011 | Symbolic Power Analysis of Cell Libraries. | Matthias Raffelsieper, Mohammad Reza Mousavi |
| 2011 | Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs. | Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis |
| 2011 | Satisfiability at Microsoft. | Leonardo Mendona de Moura |
| 2011 | Modeling and Verifying Timed Compensable Workflows and an Application to Health Care. | Ahmed Shah Mashiyat, Fazle Rabbi, Wendy MacCaull |
| 2011 | Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit Using CADP. | Etienne Lantreibecq, Wendelin Serwe |
| 2011 | Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy. | Joachim Klein, Sascha Klppelholz, Andries Stam, Christel Baier |
| 2011 | Towards Trustworthy Aerospace Systems: An Experience Report. | Joost-Pieter Katoen |
| 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 | Runtime Verification of Typical Requirements for a Space Critical SoC Platform. | Luca Ferro, Laurence Pierre, Zeineb Bel Hadj Amor, Jrme Lachaize, Vincent Lefftz |
| 2011 | Formal Analysis of a Triplex Sensor Voter in an Industrial Context. | Michael Dierkes |
| 2011 | Formal Safety Analysis in Industrial Practice. | Ilyas Daskaya, Michaela Huhn, Stefan Milius |
| 2011 | A SAT-Based Approach for the Construction of Reusable Control System Components. | Daniel Ct, Benot Fraikin, Marc Frappier, Richard St-Denis |
| 2011 | Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool. | Nstor Catao, Ijaz Ahmed |
| 2011 | An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models. | Matthias Bker, Werner Damm, Gnter Ehmen, Ingo Stierand |
| 2011 | Performability Measure Specification: Combining CSRL and MSL. | Alessandro Aldini, Marco Bernardo, Jeremy Sproston |
| 2010 | Correctness of Sensor Network Applications by Software Bounded Model Checking. | Frank Werner, David Farag |
| 2010 | SMT-Based Formal Verification of a | Wilfried Steiner, Bruno Dutertre |
| 2010 | A Study of Shared-Memory Mutual Exclusion Protocols Using CADP. | Radu Mateescu, Wendelin Serwe |
| 2010 | An Automated Translator for Model Checking Time Constrained Workflow Systems. | Ahmed Shah Mashiyat, Fazle Rabbi, Hao Wang, Wendy MacCaull |
| 2010 | Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept. | Lars Michael Kristensen, Michael Westergaard |
| 2010 | Automatic Error Correction of Java Programs. | Christian Kern, Javier Esparza |
| 2010 | Developing Mode-Rich Satellite Software by Refinement in Event B. | Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala |
| 2010 | Model Checking the FlexRay Physical Layer Protocol. | Michael Gerke, Rdiger Ehlers, Bernd Finkbeiner, Hans-Jrg Peter |
| 2010 | Embedded Network Protocols for Mobile Devices. | Despo Galataki, Andrei Radulescu, Kees Verstoep, Wan J. Fokkink |
| 2010 | The Metr Rio ATP Case Study. | Alessio Ferrari, Daniele Grasso, Gianluca Magnani, Alessandro Fantechi, Matteo Tempestini |