| 2009 | Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. | Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi |
| 2009 | Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol. | Csar Andrs, Mercedes G. Merayo, Manuel Nez |
| 2008 | Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs. | Kleber S. Xavier, Simone Hanazumi, Ana Cristina Vieira de Melo |
| 2008 | Extracting Conditional Confidentiality Policies. | Michael Carl Tschantz, Jeannette M. Wing |
| 2008 | Checking Interface Interaction Protocols Using Aspect-Oriented Programming. | Anh-Hoang Truong, Thanh-Binh Trinh, Dang Van Hung, Viet Ha Nguyen, Nguyen Thi Thu Trang, Pham Dinh Hung |
| 2008 | An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints. | Eduardo Tavares, Bruno Silva, Paulo Romero Martins Maciel |
| 2008 | Nullness Analysis in Boolean Form. | Fausto Spoto |
| 2008 | Laws of Object-Orientation with Reference Semantics. | Leila Silva, Augusto Sampaio, Zhiming Liu |
| 2008 | Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems. | Ina Schaefer, Arnd Poetzsch-Heffter |
| 2008 | Behaviour Directed Testing of Auto-code Generators. | Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar |
| 2008 | Generation of Service Wrapper Protocols from Choreography Specifications. | Gwen Salan |
| 2008 | Testing Privacy Policies Using Models. | Percy Antonio Pari Salas, Padmanabhan Krishnan |
| 2008 | Modelling Rational User Behaviour as Games between an Angel and a Demon. | Rimvydas Ruksenas, Paul Curzon, Ann Blandford |
| 2008 | Tools for CSP. | Markus Roggenbach |
| 2008 | Contract-Based Verification of Hierarchical Systems of Components. | Sophie Quinton, Susanne Graf |
| 2008 | A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets. | Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, Wei-Ngan Chin |
| 2008 | Formal Methods and Innovation Economy: Facing New Challenges. | Alexander K. Petrenko, Olga L. Petrenko |
| 2008 | CRefine: Support for the Circus Refinement Calculus. | Marcel Vincius Medeiros Oliveira, Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro |
| 2008 | Extending Stream X-Machines to Specify and Test Systems with Timeouts. | Mercedes G. Merayo, Robert M. Hierons, Manuel Nez |
| 2008 | Bridging the Gap between Interaction- and Process-Oriented Choreographies. | Ivan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi Zavattaro |
| 2008 | Specification-Based Testing for Software Product Lines. | Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff |
| 2008 | Modeling Component Connectors: Synchronisation and Context-Dependency. | Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke |
| 2008 | Algebraic View Reconciliation. | Peter Hfner, Ridha Khdri, Bernhard Mller |
| 2008 | Cheap and Small Counterexamples. | Henri Hansen, Jaco Geldenhuys |
| 2008 | Behavioral Compatibility of Active Components. | Youcef Hammal |