| 2011 | A Formal Engineering Approach to High-Level Design of Situation Analysis Decision Support Systems. | Roozbeh Farahbod, Vladimir Avram, Uwe Glsser, Adel Guitouni |
| 2011 | Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks. | Maissa Elleuch, Osman Hasan, Sofine Tahar, Mohamed Abid |
| 2011 | A Language for Test Case Refinement in the Test Template Framework. | Maximiliano Cristi, Diego A. Hollmann, Pablo Albertengo, Claudia S. Frydman, Pablo Rodrguez Monetti |
| 2011 | Static Analysis of String Values. | Giulia Costantini, Pietro Ferrara, Agostino Cortesi |
| 2011 | Developing a Consensus Algorithm Using Stepwise Refinement. | Jeremy W. Bryans |
| 2011 | Contract-Based Verification of Simulink Models. | Pontus Bostrm |
| 2011 | Is There Evolution Before Birth? Deterioration Effects of Formal Z Specifications. | Andreas Bollin |
| 2011 | Synchronous AADL and Its Formal Analysis in Real-Time Maude. | Kyungmin Bae, Peter Csaba lveczky, Abdullah Al-Nayeem, Jos Meseguer |
| 2011 | Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP. | Islam Abdelhalim, Steve A. Schneider, Helen Treharne |
| 2010 | Laws of Pattern Composition. | Hong Zhu, Ian Bayley |
| 2010 | Automatically Testing Web Services Choreography with Assertions. | Lei Zhou, Jing Ping, Hao Xiao, Zheng Wang, Geguang Pu, Zuohua Ding |
| 2010 | Specification Translation of State Machines from Equational Theories into Rewrite Theories. | Min Zhang, Kazuhiro Ogata, Masaki Nakamura |
| 2010 | Multicore Embedded Systems: The Timing Problem and Possible Solutions. | Wang Yi |
| 2010 | Trace-Driven Verification of Multithreaded Programs. | Zijiang Yang, Karem A. Sakallah |
| 2010 | A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model. | Scott West, Sebastian Nanz, Bertrand Meyer |
| 2010 | A Pattern System to Support Refining Informal Ideas into Formal Expressions. | Xi Wang, Shaoying Liu, Huaikou Miao |
| 2010 | Enhanced Semantic Access to Formal Software Models. | Hai H. Wang, Danica Damljanovic, Jing Sun |
| 2010 | Software Metrics in Static Program Analysis. | Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wolfgang Reif |
| 2010 | Method for Formal Verification of Soft-Error Tolerance Mechanisms in Pipelined Microprocessors. | Miroslav N. Velev, Ping Gao |
| 2010 | On Symmetries and Spotlights - Verifying Parameterised Systems. | Nils Timm, Heike Wehrheim |
| 2010 | Alternating Interval Based Temporal Logics. | Cong Tian, Zhenhua Duan |
| 2010 | Model Checking Hierarchical Probabilistic Systems. | Jun Sun, Songzheng Song, Yang Liu |
| 2010 | Model Checking a Model Checker: A Code Contract Combined Approach. | Jun Sun, Yang Liu, Bin Cheng |
| 2010 | Automated Multiparameterised Verification by Cut-Offs. | Antti Siirtola |
| 2010 | Decision Procedures for the Temporal Verification of Concurrent Lists. | Alejandro Snchez, Csar Snchez |