| 1990 | Synthesizing Processes and Schedulers from Temporal Specifications. | Howard Wong-Toi, David L. Dill |
| 1990 | A Stubborn Attack On State Explosion. | Antti Valmari |
| 1990 | The Modular Framework of Computer-Aided Verification. | Gil Shurek, Orna Grumberg |
| 1990 | Auto/Autograph. | Valrie Roy, Robert de Simone |
| 1990 | Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems. | David K. Probst, Hon Fung Li |
| 1990 | Introduction to a Computational Theory and Implementation of Sequential Hardware Equivalence. | Carl Pixley |
| 1990 | A Unified Approach to the Deadlock Detection Problem in Networks of Communicating Finite State Machines. | Wuxu Peng, S. Purushothaman |
| 1990 | Issues Arising in the Analysis of L.0. | Linda A. Ness |
| 1990 | A Data Path Verifier for Register Transfer Level Using Temporal Logic Language Tokio. | Hiroshi Nakamura, Yuji Kukimoto, Masahiro Fujita, Hidehiko Tanaka |
| 1990 | Program Verification by Symbolic Execution of Hyperfinite Ideal Machines. | James M. Morris, Mark Howard |
| 1990 | Finiteness Conditions and Structural Construction of Automata for All Process Algebras. | Eric Madelaine, Didier Vergamini |
| 1990 | Verification of a Multiprocessor Cache Protocol Using Simulation Relations and Higher-Order Logic. | Paul Loewenstein, David L. Dill |
| 1990 | Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets. | Jean Christophe Lloret, Pierre Azma, Franois Vernadat |
| 1990 | Automated RTL Verification Based on Predicate Calculus. | Michel Langevin |
| 1990 | On Using Protean To Verify ISO FTAM Protocol. | Richard Lai, Ken R. Parker, Tharam S. Dillon |
| 1990 | A Context Dependent Equivalence Relation Between Kripke Structures. | Bernhard Josko |
| 1990 | An Algebra for Delay-Insensitive Circuits. | Mark B. Josephs, Jan Tijmen Udding |
| 1990 | Using Optimal Simulations to Reduce Reachability Graphs. | Ryszard Janicki, Maciej Koutny |
| 1990 | Vectorized Model Checking for Computation Tree Logic. | Hiromi Hiraishi, Shintaro Meki, Kiyoharu Hamaguchi |
| 1990 | Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity. | Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima |
| 1990 | Compositional Minimization of Finite State Systems. | Susanne Graf, Bernhard Steffen |
| 1990 | Task-Driven Supervisory Control of Discrete Event Systems. | Christian H. Golaszewski, Robert P. Kurshan |
| 1990 | Using Partial Orders to Improve Automatic Verification Methods. | Patrice Godefroid |
| 1990 | Automatic Verification of Extensions of Hardware Descriptions. | Hans Eveking |
| 1990 | Quantitative Temporal Reasoning. | E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan |