| 1994 | A Hybrid Model for Reasoning about Composed Hardware Systems. | E. Thomas Schubert |
| 1994 | Automatic Verification of Timed Circuits. | Tomas Rokicki, Chris J. Myers |
| 1994 | Decidability of Hybrid Systems with Rectangular Differential Inclusion. | Anuj Puri, Pravin Varaiya |
| 1994 | Combining Partial Order Reductions with On-the-fly Model-Checking. | Doron A. Peled |
| 1994 | Using Abstractions for the Verification of Linear Hybrid Systems. | Alfredo Olivero, Joseph Sifakis, Sergio Yovine |
| 1994 | Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking. | Vivek G. Naik, A. Prasad Sistla |
| 1994 | On the Random Walk Method for Protocol Testing. | Milena Mihail, Christos H. Papadimitriou |
| 1994 | Hierarchical Representations of Discrete Functions, with Application to Model Checking. | Kenneth L. McMillan |
| 1994 | Suspension Automata: A Decidable Class of Hybrid Automata. | Jennifer McManis, Pravin Varaiya |
| 1994 | Beyond Model Checking. | Zohar Manna |
| 1994 | An Improved Algorithm for the Evaluation of Fixpoint Expressions. | David E. Long, Anca Browne, Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero |
| 1994 | A Parallel Algorithm for Relational Coarsest Partition Problems and Its Implementation. | Insup Lee, Sanguthevar Rajasekaran |
| 1994 | Criteria for the Simple Path Property in Timed Automata. | William K. C. Lam, Robert K. Brayton |
| 1994 | Models Whose Checks Don't Explode. | Robert P. Kurshan |
| 1994 | Model Checking of macro Processes. | Hardi Hungar |
| 1994 | Improving Language Containment Using Fairness Graphs. | Ramin Hojati, Robert B. Mueller-Thuns, Robert K. Brayton |
| 1994 | Composing Symbolic Trajectory Evaluation Results. | Scott Hazelhurst, Carl-Johan H. Seger |
| 1994 | Verification of a Distributed Cache Memory by Using Abstractions. | Susanne Graf |
| 1994 | Real-Time System Verification using P/T Nets. | Roberto Gorrieri, Glauco Siliprandi |
| 1994 | Efficient Model Checking by Automated Ordering of Transition Relation Partitions. | Daniel Geist, Ilan Beer |
| 1994 | Model Checking Using Adaptive State and Data Abstraction. | Dennis Dams, Rob Gerth, Gert Dhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann |
| 1994 | Ground Temporal Logic: A Logic for Hardware Verification. | David Cyrluk, Paliath Narendran |
| 1994 | Performance Improvement of State Space Exploration by Regular & Diffrential Hashing Functions. | Bernard Cousin, Jean-Michel Hlary |
| 1994 | Another Look at LTL Model Checking. | Edmund M. Clarke, Orna Grumberg, Kiyoharu Hamaguchi |
| 1994 | Automatic verification of Pipelined Microprocessor Control. | Jerry R. Burch, David L. Dill |