| 1999 | An Easily Extensible Toolset for Tabular Mathematical Expressions. | David Lorge Parnas, Dennis K. Peters |
| 1999 | Finite State Verification for the Asynchronous pi-Calculus. | Ugo Montanari, Marco Pistore |
| 1999 | Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques. | Davide Marchignoli, Fabio Martinelli |
| 1999 | Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes. | Zhoujun Li, Huowang Chen |
| 1999 | Automated Fast-Track Reconfiguration of Group Communication Systems. | Christoph Kreitz |
| 1999 | Modelling for Mere Mortals. | Jeff Kramer, Jeff Magee |
| 1999 | From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach. | Jens Knoop |
| 1999 | A Light-Weight Framework for Hardware Verification. | Christoph Kern, Tarik Ono-Tesfaye, Mark R. Greenstreet |
| 1999 | Hardware Testing Using a Communication Protocol Conformance Testing Tool. | Hakim Kahlouche, Csar Viho, Massimo Zendri |
| 1999 | Scheduling System Verification. | Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo |
| 1999 | On the Benefits of Using the Up-To Techniques for Bisimulation Verification. | Daniel Hirschkoff |
| 1999 | Specifications and Proofs for Ensemble Layers. | Jason Hickey, Nancy A. Lynch, Robbert van Renesse |
| 1999 | Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets. | Keijo Heljanko |
| 1999 | Path Exploration Tool. | Elsa L. Gunter, Doron A. Peled |
| 1999 | Analyzing Stochastic Fixed-Priority Real-Time Systems. | Mark K. Gardner, Jane W.-S. Liu |
| 1999 | Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. | Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren |
| 1999 | Model Checking in CLP. | Giorgio Delzanno, Andreas Podelski |
| 1999 | Modular State Level Analysis of Distributed Systems Techniques and Tool Support. | Peter Buchholz, Peter Kemper |
| 1999 | The ETI Online Service in Action. | Volker Braun, Jrgen Kreileder, Tiziana Margaria, Bernhard Steffen |
| 1999 | Symbolic Model Checking without BDDs. | Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Yunshan Zhu |
| 1999 | An Automated Analysis of Ping-Pong Interactions in E-mail Services. | Anne Bergeron, Jean-Christophe Manzoni |
| 1999 | Verification of Hierarchical State/Event Systems Using Reusability and Compositionality. | Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jrn Lind-Nielsen |
| 1999 | Process Algebra in PVS. | Twan Basten, Jozef Hooman |
| 1999 | DYANA: An Environment for Embedded System Design and Analysis. | Anatoly G. Bakhmurov, A. P. Kapitonova, Ruslan L. Smeliansky |
| 1999 | Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol. | Parosh Aziz Abdulla, Aurore Annichini, Ahmed Bouajjani |