| 1995 | Algorithmic Analysis of Nonlinear Hybrid Systems. Thomas A. Henzinger, Pei-Hsin Ho |
| 1995 | An Automata-Theoretic Approach to Fair Realizability and Synthesis. Moshe Y. Vardi |
| 1995 | An Integration of Model Checking with Automated Proof Checking. S. Rajan, Natarajan Shankar, Mandayam K. Srivas |
| 1995 | Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions. Orna Kupferman |
| 1995 | Automated Analysis of an Audio Control Protocol. Pei-Hsin Ho, Howard Wong-Toi |
| 1995 | Automatic Datapath Abstraction In Hardware Systems. Ramin Hojati, Robert K. Brayton |
| 1995 | CAVEAT: Technique and Tool for Computer Aided VErification And Transformation. E. Pascal Gribomont, Didier Rossetto |
| 1995 | Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form. Patrick Cousot, Radhia Cousot |
| 1995 | Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings Pierre Wolper |
| 1995 | Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion. Henrik Reif Andersen, Bart Vergauwen |
| 1995 | Efficient Timing Analysis of a Class of Petri Nets. Henrik Hulgaard, Steven M. Burns |
| 1995 | From Duration Calculus To Linear Hybrid Automata. Ahmed Bouajjani, Yassine Lakhnech, Riadh Robbana |
| 1995 | Generating BDD Models for Process Algebra Terms. Ashvin Dsouza, Bard Bloom |
| 1995 | Global rebuilding of OBDDs Avoiding Memory Requirement Maxima. Jochen Bern, Christoph Meinel, Anna Slobodová |
| 1995 | Hardware Verification using Monadic Second-Order Logic. David A. Basin, Nils Klarlund |
| 1995 | Interactively Verifying a Simple Real-time Scheduler. Colin J. Fidge, Peter Kearney, Mark Utting |
| 1995 | It Usually Works: The Temporal Logic of Stochastic Systems. Adnan Aziz, Vigyan Singhal, Felice Balarin |
| 1995 | Local Liveness for Compositional Modeling of Fair Reactive Systems. Rajeev Alur, Thomas A. Henzinger |
| 1995 | Local Model Checking for Real-Time Systems (Extended Abstract). Oleg Sokolsky, Scott A. Smolka |
| 1995 | Methods for Mu-calculus Model Checking: A Tutorial (Abstract). E. Allen Emerson |
| 1995 | Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving. Jürgen Dingel, Thomas Filkorn |
| 1995 | Modelling Asynchrony with a Synchronous Model. Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs |
| 1995 | Multipliers and Dividers: Insights on Arithmetic Circuits Verification (Extended Abstract). Randal E. Bryant |
| 1995 | On Polynomial-Size Programs Winning Finite-State Games. Helmut Lescow |
| 1995 | On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes. Javier Esparza, Astrid Kiehn |
| 1995 | Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software. Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen |
| 1995 | Supervisory Control of Finite State Machines. Adnan Aziz, Felice Balarin, Robert K. Brayton, Marika Domenica Di Benedetto, Alexander Saldanha |
| 1995 | The Rabin Index and Chain Automata, with Applications to Automatas and Games. Sriram C. Krishnan, Anuj Puri, Robert K. Brayton, Pravin Varaiya |
| 1995 | Toupie = µ-Calculus + Constraints. Antoine Rauzy |
| 1995 | Trace Theoretic Verification of Asynchronous Circuits Using Unfoldings. Kenneth L. McMillan |
| 1995 | Using Formal Verification/Analysis Methods on the Critical Path in System Design: A Case Study. Ásgeir Th. Eiríksson, Kenneth L. McMillan |
| 1995 | Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach. E. Allen Emerson, A. Prasad Sistla |
| 1995 | Verification of Real-Time Systems by Successive Over and Under Approximation. David L. Dill, Howard Wong-Toi |
| 1995 | Verifying Safety Properties of a Class of Infinite-State Distributed Algorithms. Bengt Jonsson, Lars Kempe |
| 1995 | Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems. Ahmed Bouajjani, Riadh Robbana |