Conferences in DBLP
Rajeev Alur , Limor Fix , Thomas A. Henzinger A Determinizable Class of Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Gorrieri , Glauco Siliprandi Real-Time System Verification using P/T Nets. [Citation Graph (0, 0)][DBLP ] Conf ] William K. C. Lam , Robert K. Brayton Criteria for the Simple Path Property in Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth L. McMillan Hierarchical Representations of Discrete Functions, with Application to Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Bernard Boigelot , Pierre Wolper Symbolic Verification with Periodic Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Jerry R. Burch , David L. Dill Automatic verification of Pipelined Microprocessor Control. [Citation Graph (0, 0)][DBLP ] Conf ] Alfredo Olivero , Joseph Sifakis , Sergio Yovine Using Abstractions for the Verification of Linear Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Anuj Puri , Pravin Varaiya Decidability of Hybrid Systems with Rectangular Differential Inclusion. [Citation Graph (0, 0)][DBLP ] Conf ] Jennifer McManis , Pravin Varaiya Suspension Automata: A Decidable Class of Hybrid Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Ahmed Bouajjani , Rachid Echahed , Riadh Robbana Verification of Context-Free Timed Systems Using Linear Hybrid Observers. [Citation Graph (0, 0)][DBLP ] Conf ] Milena Mihail , Christos H. Papadimitriou On the Random Walk Method for Protocol Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Orna Bernholtz , Moshe Y. Vardi , Pierre Wolper An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Anuchit Anuchitanukul , Zohar Manna Realizability and Synthesis of Reactive Modules. [Citation Graph (0, 0)][DBLP ] Conf ] Hardi Hungar Model Checking of macro Processes. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Vivek G. Naik , A. Prasad Sistla Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Susanne Graf Verification of a Distributed Cache Memory by Using Abstractions. [Citation Graph (0, 0)][DBLP ] Conf ] Zohar Manna Beyond Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Robert P. Kurshan Models Whose Checks Don't Explode. [Citation Graph (0, 0)][DBLP ] Conf ] Felice Balarin , Alberto L. Sangiovanni-Vincentelli On the Automatic Computation of Network Invariants. [Citation Graph (0, 0)][DBLP ] Conf ] David Cyrluk , Paliath Narendran Ground Temporal Logic: A Logic for Hardware Verification. [Citation Graph (0, 0)][DBLP ] Conf ] E. Thomas Schubert A Hybrid Model for Reasoning about Composed Hardware Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Scott Hazelhurst , Carl-Johan H. Seger Composing Symbolic Trajectory Evaluation Results. [Citation Graph (0, 0)][DBLP ] Conf ] Zheng Zhu , Carl-Johan H. Seger The Completeness of a Hardware Inference System. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Geist , Ilan Beer Efficient Model Checking by Automated Ordering of Transition Relation Partitions. [Citation Graph (0, 0)][DBLP ] Conf ] Vigyan Singhal , Carl Pixley The Verifiacation Problem for Safe Replaceability. [Citation Graph (0, 0)][DBLP ] Conf ] Adnan Aziz , Thomas R. Shiple , Vigyan Singhal Formula-Dependent Equivalence for Compositional CTL Model Checking. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Oleg Sokolsky , Scott A. Smolka Incremental Model Checking in the Modal Mu-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Bernard Cousin , Jean-Michel Hélary Performance Improvement of State Space Exploration by Regular & Diffrential Hashing Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Doron Peled Combining Partial Order Reductions with On-the-fly Model-Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Ramin Hojati , Robert B. Mueller-Thuns , Robert K. Brayton Improving Language Containment Using Fairness Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Insup Lee , Sanguthevar Rajasekaran A Parallel Algorithm for Relational Coarsest Partition Problems and Its Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] Edmund M. Clarke , Orna Grumberg , Kiyoharu Hamaguchi Another Look at LTL Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Björn Victor , Faron Moller The Mobility Workbench - A Tool for the pi-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Robert de Simone , Annie Ressouche Compositional Semantics of ESTEREL and Verification by Compositional Reductions. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Tomas Rokicki , Chris J. Myers Automatic Verification of Timed Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] 