Computer Aided Verification
CAV
A*
CORE rank
CORE rank (raw)
A*
Fields of research
Software Engineering · Theory of Computation
Papers indexed
2,162
1990–2026
Papers per year
199090 peak2026
Most published authors
CAV papers
2,162 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 1996 | A Conjunctively Decomposed Boolean Representation for Symbolic Model Checking. | Kenneth L. McMillan |
| 1996 | Verification of Fair Transisiton Systems. | Orna Kupferman, Moshe Y. Vardi |
| 1996 | Module Checking. | Orna Kupferman, Moshe Y. Vardi |
| 1996 | Verification Support Environment. | Frank A. Koch, Markus Ullmann, Stefan Wittmann |
| 1996 | Mechanically Verifying a Family of Multiplier Circuits. | Deepak Kapur, Mahadevan Subramaniam |
| 1996 | Verifying Systems with Replicated Components in Mur | C. Norris Ip, David L. Dill |
| 1996 | The State of SPIN. | Gerard J. Holzmann, Doron A. Peled |
| 1996 | Atomicity Refinement and Trace Reduction Theorems. | E. Pascal Gribomont |
| 1996 | Verifying Safety Properties of Differential Equations. | Mark R. Greenstreet |
| 1996 | Verifying Invariants Using theorem Proving. | Susanne Graf, Hassen Sadi |
| 1996 | Verifying the Safety of a Practical Concurrent Garbage Collector. | Georges Gonthier |
| 1996 | Verification of Arithmetic Circuits by Comparing Two Similar Circuits. | Masahiro Fujita |
| 1996 | Using On-The-Fly Verification Techniques for the Generation of test Suites. | Jean-Claude Fernandez, Claude Jard, Thierry Jron, Csar Viho |
| 1996 | CADP - A Protocol Validation and Verification Toolbox. | Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu |
| 1996 | Automatic Verification of Parameterized Synchronous Systems (Extended Abstract). | E. Allen Emerson, Kedar S. Namjoshi |
| 1996 | The Mur | David L. Dill |
| 1996 | The NCSU Concurrency Workbench. | Rance Cleaveland, Steve Sims |
| 1996 | The Concurrency Factory: A Development Environment for Concurrent Systems. | Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky |
| 1996 | Symbolic Model Checking. | Edmund M. Clarke, Kenneth L. McMillan, Srgio Vale Aguiar Campos, Vasiliki Hartonas-Garmhausen |
| 1996 | Verifying the SRT Division Algorithm Using Theorem Proving Techniques. | Edmund M. Clarke, Steven M. German, Xudong Zhao |
| 1996 | XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems. | Duncan Clarke, Hanne Ben-Abdallah, Insup Lee, Hong-liang Xie, Oleg Sokolsky |
| 1996 | Verification by Behaviour Abstraction - A Case Study of Service Interaction Detection in Intelligent Telephone Networks. | Carla Capellmann, Ralph Demant, Farhad Fatahi-Vanani, Rafael Galvez-Estrada, Ulrich Nitsche, Peter Ochsenschlger |
| 1996 | Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System. | Srgio Vale Aguiar Campos, Orna Grumberg |
| 1996 | VIS: A System for Verification and Synthesis. | Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa |
| 1996 | The FC2TOOLS Set. | Amar Bouali, Annie Ressouche, Valrie Roy, Robert de Simone |
1,901–1,925 of 2,162← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*ICSEInternational Conference on Software Engineering
- AOOPSLAACM Conference on Object Oriented Programming Systems Languages and Applications
- AMODELSInternational Conference on Model Driven Engineering Languages and Systems (Previously UML, changed in 2005)
- AREIEEE International Requirements Engineering Conference
- ABPMInternational Conference in Business Process Management
- AISSREInternational Symposium on Software Reliability Engineering
- AICSTInternational Conference on Software Testing, Verification and Validation
- A*SIGMETRICSMeasurement and Modeling of Computer Systems