Conferences in DBLP
Rajeev Alur , Limor Fix , Thomas A. Henzinger A Determinizable Class of Timed Automata. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:1-13 [Conf ] Roberto Gorrieri , Glauco Siliprandi Real-Time System Verification using P/T Nets. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:14-26 [Conf ] William K. C. Lam , Robert K. Brayton Criteria for the Simple Path Property in Timed Automata. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:27-40 [Conf ] Kenneth L. McMillan Hierarchical Representations of Discrete Functions, with Application to Model Checking. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:41-54 [Conf ] Bernard Boigelot , Pierre Wolper Symbolic Verification with Periodic Sets. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:55-67 [Conf ] Jerry R. Burch , David L. Dill Automatic verification of Pipelined Microprocessor Control. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:68-80 [Conf ] Alfredo Olivero , Joseph Sifakis , Sergio Yovine Using Abstractions for the Verification of Linear Hybrid Systems. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:81-94 [Conf ] Anuj Puri , Pravin Varaiya Decidability of Hybrid Systems with Rectangular Differential Inclusion. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:95-104 [Conf ] Jennifer McManis , Pravin Varaiya Suspension Automata: A Decidable Class of Hybrid Automata. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:105-117 [Conf ] Ahmed Bouajjani , Rachid Echahed , Riadh Robbana Verification of Context-Free Timed Systems Using Linear Hybrid Observers. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:118-131 [Conf ] Milena Mihail , Christos H. Papadimitriou On the Random Walk Method for Protocol Testing. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:132-141 [Conf ] Orna Bernholtz , Moshe Y. Vardi , Pierre Wolper An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract). [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:142-155 [Conf ] Anuchit Anuchitanukul , Zohar Manna Realizability and Synthesis of Reactive Modules. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:156-168 [Conf ] Hardi Hungar Model Checking of macro Processes. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:169-181 [Conf ] Ilan Beer , Shoham Ben-David , Daniel Geist , Raanan Gewirtzman , Michael Yoeli Methodology and System for Practical Formal Verification of Reactive Hardware. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:182-193 [Conf ] Vivek G. Naik , A. Prasad Sistla Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:194-206 [Conf ] Susanne Graf Verification of a Distributed Cache Memory by Using Abstractions. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:207-219 [Conf ] Zohar Manna Beyond Model Checking. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:220-221 [Conf ] Robert P. Kurshan Models Whose Checks Don't Explode. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:222-233 [Conf ] Felice Balarin , Alberto L. Sangiovanni-Vincentelli On the Automatic Computation of Network Invariants. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:234-246 [Conf ] David Cyrluk , Paliath Narendran Ground Temporal Logic: A Logic for Hardware Verification. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:247-259 [Conf ] E. Thomas Schubert A Hybrid Model for Reasoning about Composed Hardware Systems. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:260-272 [Conf ] Scott Hazelhurst , Carl-Johan H. Seger Composing Symbolic Trajectory Evaluation Results. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:273-285 [Conf ] Zheng Zhu , Carl-Johan H. Seger The Completeness of a Hardware Inference System. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:286-298 [Conf ] Daniel Geist , Ilan Beer Efficient Model Checking by Automated Ordering of Transition Relation Partitions. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:299-310 [Conf ] Vigyan Singhal , Carl Pixley The Verifiacation Problem for Safe Replaceability. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:311-323 [Conf ] Adnan Aziz , Thomas R. Shiple , Vigyan Singhal Formula-Dependent Equivalence for Compositional CTL Model Checking. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:324-337 [Conf ] David E. Long , Anca Browne , Edmund M. Clarke , Somesh Jha , Wilfredo R. Marrero An Improved Algorithm for the Evaluation of Fixpoint Expressions. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:338-350 [Conf ] Oleg Sokolsky , Scott A. Smolka Incremental Model Checking in the Modal Mu-Calculus. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:351-363 [Conf ] Bernard Cousin , Jean-Michel Hélary Performance Improvement of State Space Exploration by Regular & Diffrential Hashing Functions. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:364-376 [Conf ] Doron Peled Combining Partial Order Reductions with On-the-fly Model-Checking. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:377-390 [Conf ] Ramin Hojati , Robert B. Mueller-Thuns , Robert K. Brayton Improving Language Containment Using Fairness Graphs. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:391-403 [Conf ] Insup Lee , Sanguthevar Rajasekaran A Parallel Algorithm for Relational Coarsest Partition Problems and Its Implementation. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:404-414 [Conf ] Edmund M. Clarke , Orna Grumberg , Kiyoharu Hamaguchi Another Look at LTL Model Checking. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:415-427 [Conf ] Björn Victor , Faron Moller The Mobility Workbench - A Tool for the pi-Calculus. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:428-440 [Conf ] Robert de Simone , Annie Ressouche Compositional Semantics of ESTEREL and Verification by Compositional Reductions. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:441-454 [Conf ] Dennis Dams , Rob Gerth , Gert Döhmen , Ronald Herrmann , Peter Kelb , Hergen Pargmann Model Checking Using Adaptive State and Data Abstraction. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:455-467 [Conf ] Tomas Rokicki , Chris J. Myers Automatic Verification of Timed Circuits. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:468-480 [Conf ]