| 2002 | Towards OCL/RT. | Mara Victoria Cengarle, Alexander Knapp |
| 2002 | Forward Simulation for Data Refinement of Classes. | Ana Cavalcanti, David A. Naumann |
| 2002 | Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java. | Nstor Catao, Marieke Huisman |
| 2002 | Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods. | Ludovic Casset |
| 2002 | Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study. | Juan C. Burguillo-Rial, Manuel J. Fernndez-Iglesias, Francisco J. Gonzlez-Castao, Martn Llamas Nistal |
| 2002 | UniTesK Test Suite Architecture. | Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko |
| 2002 | Do Not Read This. | Juan Bicarregui |
| 2002 | The Next 700 Synthesis Calculi. | David A. Basin |
| 2002 | An Algorithmic Approach to Design Exploration. | Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal |
| 2002 | Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation. | Michael Backes, Christian Jacobi, Birgit Pfitzmann |
| 2002 | Verifying Erlang Code: A Resource Locker Case-Study. | Thomas Arts, Clara Benac Earle, John Derrick |
| 2001 | A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware. | Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha |
| 2001 | Proofs of Correctness of Cache-Coherence Protocols. | Joseph E. Stoy, Xiaowei Shen, Arvind |
| 2001 | Serialising Parallel Processes in a Hardware/Software Partitioning Context. | Leila Silva, Augusto Sampaio, Geraint Jones |
| 2001 | An Integrated Approach to Specification and Validation of Real-Time Systems. | Adnan Sherif, Augusto Sampaio, Srgio Cavalcante |
| 2001 | A Combined Testing and Verification Approach for Software Reliability. | Natasha Sharygina, Doron A. Peled |
| 2001 | Real-Time Logic Revisited. | Stephen Paynter |
| 2001 | Components, Contracts, and Connectors for the Unified Modelling Language UML. | Claus Pahl |
| 2001 | A Programming Model for Wide-Area Computing. | Jayadev Misra |
| 2001 | Information Flow Control and Applications - Bridging a Gap. | Heiko Mantel |
| 2001 | How to Make FDR Spin LTL Model Checking of CSP by Refinement. | Michael Leuschel, Thierry Massart, Andrew Currie |
| 2001 | Using Formal Verification Techniques to Reduce Simulation and Test Effort. | Odile Laurent, Pierre Michel, Virginie Wiels |
| 2001 | Grammar Adaptation. | Ralf Lmmel |
| 2001 | Faithful Translations among Models and Specifications. | Shmuel Katz |
| 2001 | Secrecy-Preserving Refinement. | Jan Jrjens |