| 1999 | Continuous Engineering of Information and Communication Infrastructures (Extended Abstract). | Herbert Weber |
| 1999 | Implementing Hierarchical Graph-Structures. | Josef Tapken |
| 1999 | Semantic-Driven Performance Evaluation (Extended Abstract). | Chiara Nottegar, Corrado Priami, Pierpaolo Degano |
| 1999 | Owicki/Gries in Isabelle/HOL. | Tobias Nipkow, Leonor Prensa Nieto |
| 1999 | Verification of Definite Iteration over Hierarchical Data Structures. | Valery A. Nepomniaschy |
| 1999 | On the Evolution of Reactive Components: A Process-Algebraic Approach. | Markus Mller-Olm, Bernhard Steffen, Rance Cleaveland |
| 1999 | TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. | Christoph Lth, Haykal Tej, Kolyang, Bernd Krieg-Brckner |
| 1999 | Using Explicit State to Describe Architechtures. | Antnia Lopes, Jos Luiz Fiadeiro |
| 1999 | Rigorous Development in UML. | Kevin Lano, Andy Evans |
| 1999 | Dynamic Systems with Implicit State. | Marie-Claude Gaudel, Carole Khoury, Alexandre V. Zamulin |
| 1999 | Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories. | Wan J. Fokkink, Chris Verhoef |
| 1999 | Research Issues in the Renovation of Legacy Systems. | Arie van Deursen, Paul Klint, Chris Verhoef |
| 1999 | JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems. | Eva Coscia, Gianna Reggio |
| 1999 | Executable Tile Specifications for Process Calculi. | Roberto Bruni, Jos Meseguer, Ugo Montanari |
| 1999 | A Tool Suite for Multi-paradigm Specification. | Lynne Blair, Trevor Jones, Gordon S. Blair |
| 1999 | Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance. | Candida Attanasio, Flavio Corradini, Paola Inverardi |
| 1999 | A Formal Framework with Late Binding. | Davide Ancona, Maura Cerioli, Elena Zucca |
| 1998 | MOBY/PLC - A Design Tool for Hierarchical Real-Time Automata. | Josef Tapken |
| 1998 | Refining Formal Specifications of Human Computer Interaction by Graph Rewrite Rules. | Bettina Sucrow |
| 1998 | A Refinement Calculus for Statecharts. | Peter Scholz |
| 1998 | Distributed Safety Controllers for Web Services. | Anders Sandholm, Michael I. Schwartzbach |
| 1998 | Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms. | Joy N. Reed, D. M. Jackson, Borislav Deianov, George M. Reed |
| 1998 | Rule-Based Refinement of High-Level Nets Preserving Safety Properties. | Julia Padberg, Magdalena Gajewsky, Claudia Ermel |
| 1998 | Behaviour Analysis and Safety Conditions: A Case Study in CML. | Hanne Riis Nielson, Torben Amtoft, Flemming Nielson |
| 1998 | Model-Checking CSP-Z. | Alexandre Mota, Augusto Sampaio |