| 2005 | Generating Relational Database Transactions From Recursive Functions Defined on EB | Frdric Gervais, Marc Frappier, Rgine Laleau |
| 2005 | Description Logics for Shape Analysis. | Lilia Georgieva, Patrick Maier |
| 2005 | Specifying Urgency in Timed I/O Automata. | Biniam Gebremichael, Frits W. Vaandrager |
| 2005 | Experimental Evaluation of FSM-Based Testing Methods. | Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih, Ana R. Cavalli |
| 2005 | A unified description formalism for complex HCI-systems. | Anke Dittmar, Peter Forbrig |
| 2005 | BRILLANT : An Open Source and XML-based platform for Rigourous Software Development. | Samuel Colin, Dorian Petit, Vincent Poirriez, Jrme Rocheteau, Rafael Marcano, Georges Mariano |
| 2005 | Logical Foundations of Program Assertions: What do Practitioners Want?. | Patrice Chalin |
| 2005 | Formal Analysis of Human-computer Interaction using Model-checking. | Antonio Cerone, Peter A. Lindsay, Simon Connelly |
| 2005 | Software Refinement with Perfect Developer. | Gareth Carter, Rosemary Monahan, Joseph M. Morris |
| 2005 | Formal Verification of Dead Code Elimination in Isabelle/HOL. | Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner |
| 2005 | A Cloverleaf of Software Engineering. | Dines Bjrner |
| 2005 | Precise Analysis of Memory Consumption using Program Logics. | Gilles Barthe, Mariela Pavlova, Gerardo Schneider |
| 2005 | A Synchronous Process Calculus for Service Costs. | Siva Anantharaman, Jing Chen, Gatan Hains |
| 2004 | Path-Oriented Test Data Generation Using Symbolic Execution and Constraint Solving Techniques. | Jian Zhang, Chen Xu, Xiaoliang Wang |
| 2004 | Finding the Causes of Unrealizability of Reactive System Formal Specifications. | Noriaki Yoshiura |
| 2004 | Towards Action Refinement for Concurrent Systems with Causal Ambiguity. | Jinzhao Wu, Houguang Yue |
| 2004 | From Requirements Change to Design Change: A Formal Path. | Lian Wen, R. Geoff Dromey |
| 2004 | Towards Mobile Processes in Unifying Theories. | Xinbei Tang, Jim Woodcock |
| 2004 | Automated Element-Wise Reasoning with Sets. | Georg Struth |
| 2004 | Checking Extended CTL properties Using Guarded Quotient Structures. | A. Prasad Sistla, Xiaodong Wang, Min Zhou |
| 2004 | The Formal, Tool Supported Development of Real Time Systems. | Richard O. Sinnott |
| 2004 | Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems. | Tobias Schle, Klaus Schneider |
| 2004 | The Rhapsody UML Verification Environment. | Ingo Schinz, Tobe Toben, Christian Mrugalla, Bernd Westphal |
| 2004 | Modeling Peer-to-Peer Service Goals in UML. | Richard Torbjrn Sanders, Rolv Brk |
| 2004 | Symbolic Verification of Infinite Systems using a Finite Union of DFAs. | Suman Roy |