| 2005 | Hierarchical Decision Diagrams to Exploit Model Structure. | Jean-Michel Couvreur, Yann Thierry-Mieg |
| 2005 | Proof Methodologies for Behavioural Equivalence in DPI. | Alberto Ciaffaglione, Matthew Hennessy, Julian Rathke |
| 2005 | Resolving Observability Problems in Distributed Test Architectures. | Jessica Chen, Robert M. Hierons, Hasan Ural |
| 2005 | From Automata Networks to HMSCs: A Reverse Model Engineering Perspective. | Thomas Chatain, Loc Hlout, Claude Jard |
| 2005 | Automatic Partitioner for Behavior Level Distributed Logic Simulation. | Kai-Hui Chang, Jeh-Yen Kang, Han-Wei Wang, Wei-Ting Tu, Yi-Jong Yeh, Sy-Yen Kuo |
| 2005 | Automatic Generation of Conflict-Free IPsec Policies. | Chi-Lan Chang, Yun-Peng Chiu, Chin-Laung Lei |
| 2005 | A Hierarchy of Implementable MSC Languages. | Benedikt Bollig, Martin Leucker |
| 2005 | Ranking Abstraction as Companion to Predicate Abstraction. | Ittai Balaban, Amir Pnueli, Lenore D. Zuck |
| 2004 | Modeling and Analysis of Dual Block Multithreading. | Wlodzimierz M. Zuberek |
| 2004 | Automatized Verification of Ad Hoc Routing Protocols. | Oskar Wibling, Joachim Parrow, Arnold Neville Pears |
| 2004 | Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems. | Xin Wang, Ji Wang, Zhi-Chang Qi |
| 2004 | System Contents Versus System Delay for Discrete-Time Queueing Systems with Renewal Arrivals. | Bart Vinck, Herwig Bruneel |
| 2004 | Towards Design Recovery from Observations. | Hasan Ural, Hsn Yenign |
| 2004 | A Symbolic Symbolic State Space Representation. | Yann Thierry-Mieg, Jean-Michel Ili, Denis Poitrenaud |
| 2004 | Describing IEEE 802.11 Wireless Mechanisms by Using the pi-Calculus and Performance Evaluation Process Algebra. | K. N. Sridhar, Gabriel Ciobanu |
| 2004 | Modeling and Testing Agent Systems Based on Statecharts. | Heui-Seok Seo, Tadashi Araragi, Yong Rae Kwon |
| 2004 | A Meta-model for TTCN-3. | Ina Schieferdecker, George Din |
| 2004 | Integrating System Performance Engineering into MASCOT Methodology through Discrete-Event Simulation. | Pere P. Sancho, Carlos Juiz, Ramn Puigjaner |
| 2004 | Formal Composition of Distributed Scenarios. | Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit Parreaux |
| 2004 | A Bounded True Concurrency Process Algebra for Performance Evaluation. | M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan Jos Pardo, Hermenegilda Maci |
| 2004 | A Minimal Market Model in Ephemeral Markets. | Daniel Rolli, Dirk Neumann, Christof Weinhardt |
| 2004 | Specification of Autonomous Agents in E-commerce Systems. | Ismael Rodrguez, Manuel Nez, Fernando Rubio |
| 2004 | Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research. | Juan Quemada |
| 2004 | Branching Time Equivalences for Interactive Markov Chains. | Guangping Qin, Jinzhao Wu |
| 2004 | Life-Cycle E-commerce Testing with OO-TTCN-3. | Robert L. Probert, Pulei Xiong, Bernard Stepien |