| 2005 | Model-Based Design and Analysis of Permission-Based Security. | Jan Jrjens, Markus Lehrhuber, Guido Wimmel |
| 2005 | Dynamic Architectural Connectors in Cooperative Software Systems. | Wenpin Jiao, Hong Mei |
| 2005 | The Preservation of Interleaving Equivalences. | Jianmin Jiang, Jinzhao Wu |
| 2005 | Robust H-infinity Filter Design for Networked Control System with Random Time Delays. | Zhihong Huo, Huajing Fang |
| 2005 | Cost-Benefit Trade-Off Analysis Using BBN for Aspect-Oriented Risk-Driven Development. | Siv Hilde Houmb, Geri Georg, Robert B. France, James M. Bieman, Jan Jrjens |
| 2005 | Measuring Various Properties of Execution Traces to Help Build Better Trace Analysis Tools. | Abdelwahab Hamou-Lhadj, Timothy C. Lethbridge |
| 2005 | Detecting Malicious JavaScript Code in Mozilla. | Oystein Hallaraker, Giovanni Vigna |
| 2005 | Tools for an Extended Object Modelling Environment. | Cesar Gonzalez-Perez |
| 2005 | A B2B Conversational Architecture for Semantic Web Services Based on BPIMS-WS. | Juan Miguel Gmez, Giner Alor-Hernndez, Jos Oscar Olmedo-Aguirre, Christoph Bussler |
| 2005 | Exploiting OS-Level Mechanisms to Implement Mobile Code Security. | Viktoria Felmetsger, Giovanni Vigna |
| 2005 | Integrating Object-Z with Timed Automata. | Jin Song Dong, Roger Duke, Ping Hao |
| 2005 | Software Engineering Approaches to Semantic Web. | Jin Song Dong, D. Dan |
| 2005 | A Tool-Supported Approach to Testing UML Design Models. | Trung T. Dinh-Trong, Nilesh Kawane, Sudipto Ghosh, Robert B. France, Anneliese Amschler Andrews |
| 2005 | Formal Verification of an Array-Based Nonblocking Queue. | Robert Colvin, Lindsay Groves |
| 2005 | Extended SOFL Features for the Modeling of Middleware-Based Transaction Management. | Haopeng Chen, Yao Shen, Jianwei Jiang |
| 2005 | A General Model for Non-Markovian Stochastic Decision Discrete-Event Systems. | Wen Chen, Feiyu Lei, Weinong Wang |
| 2005 | A Framework for SOFL-Based Program Review. | Yuting Chen, Shaoying Liu, Fumiko Nagoya |
| 2005 | Principles, Standards and Tools for Model Engineering. | Jean Bzivin, Frdric Jouault, David Touzet |
| 2005 | Comparing Fault-Proneness Estimation Models. | Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi, Davide Rogai |
| 2005 | Recovery Method Based on Communicating Extended Finite State Machine (CEFSM) for Mobile Communications. | Mohammad Zib Beiroumi, Villy Bk Iversen |
| 2005 | An Introduction to Self-Healing Web Services. | Luciano Baresi, Sam Guinea |
| 2004 | Independence Transformations and Tools for Components. | Denise M. Woit, M. Fan |
| 2004 | Towards a Tool for Derivation of Implementation Constraints. | P. Mattias Weckstn, Jonas Vasell, Magnus Jonsson |
| 2004 | Relating pi-calculus to Object-Z. | Kenji Taguchi, Jin Song Dong, Gabriel Ciobanu |
| 2004 | Major Threat: From Formal Methods without Tools to Tools without Formal Methods. | Bernhard Steffen |