| 1999 | A Light-Weight Framework for Hardware Verification. Christoph Kern, Tarik Ono-Tesfaye, Mark R. Greenstreet |
| 1999 | A Period Assignment Algorithm for Real-Time System Design. Minsoo Ryu, Seongsoo Hong |
| 1999 | A Theorem Prover-Based Analysis Tool for Object-Oriented Databases. David Spelt, Susan J. Even |
| 1999 | An Automated Analysis of Ping-Pong Interactions in E-mail Services. Anne Bergeron, Jean-Christophe Manzoni |
| 1999 | An Easily Extensible Toolset for Tabular Mathematical Expressions. David Lorge Parnas, Dennis K. Peters |
| 1999 | Analyzing Stochastic Fixed-Priority Real-Time Systems. Mark K. Gardner, Jane W.-S. Liu |
| 1999 | Automated Fast-Track Reconfiguration of Group Communication Systems. Christoph Kreitz |
| 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 | DYANA: An Environment for Embedded System Design and Analysis. Anatoly G. Bakhmurov, A. P. Kapitonova, Ruslan L. Smeliansky |
| 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 | Finite State Verification for the Asynchronous pi-Calculus. Ugo Montanari, Marco Pistore |
| 1999 | From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach. Jens Knoop |
| 1999 | Hardware Testing Using a Communication Protocol Conformance Testing Tool. Hakim Kahlouche, César Viho, Massimo Zendri |
| 1999 | Model Checking in CLP. Giorgio Delzanno, Andreas Podelski |
| 1999 | Modelling for Mere Mortals. Jeff Kramer, Jeff Magee |
| 1999 | Modular State Level Analysis of Distributed Systems Techniques and Tool Support. Peter Buchholz, Peter Kemper |
| 1999 | On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction. Vlad Rusu, Eli Singerman |
| 1999 | On the Benefits of Using the Up-To Techniques for Bisimulation Verification. Daniel Hirschkoff |
| 1999 | Path Exploration Tool. Elsa L. Gunter, Doron A. Peled |
| 1999 | Process Algebra in PVS. Twan Basten, Jozef Hooman |
| 1999 | Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL. Cornelia Pusch |
| 1999 | Scheduling System Verification. Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo |
| 1999 | Some Issues in the Software Engineering of Verification Tools. Perdita Stevens |
| 1999 | Specifications and Proofs for Ensemble Layers. Jason Hickey, Nancy A. Lynch, Robbert van Renesse |
| 1999 | Symbolic Model Checking without BDDs. Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Yunshan Zhu |
| 1999 | Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol. Parosh Aziz Abdulla, Aurore Annichini, Ahmed Bouajjani |
| 1999 | The ETI Online Service in Action. Volker Braun, Jürgen Kreileder, Tiziana Margaria, Bernhard Steffen |
| 1999 | Timed Diagnostics for Reachability Properties. Stavros Tripakis |
| 1999 | Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings Rance Cleaveland |
| 1999 | Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets. Keijo Heljanko |
| 1999 | Verification of Hierarchical State/Event Systems Using Reusability and Compositionality. Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen |