Conferences in DBLP
Michael R. Lowry Software Construction and Analysis Tools for Future Space Missions. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Jackson Alloy: A New Technology for Software Modelling. [Citation Graph (0, 0)][DBLP ] Conf ] Víctor A. Braberman , Diego Garbervetsky , Alfredo Olivero Improving the Verification of Timed Systems Using Influence Information. [Citation Graph (0, 0)][DBLP ] Conf ] Joël Ouaknine Digitisation and Full Abstraction for Dense-Time Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Marta Z. Kwiatkowska , Gethin Norman , David Parker Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Elena Fersman , Paul Pettersson , Wang Yi Timed Automata with Asynchronous Processes: Schedulability and Decidability. [Citation Graph (0, 0)][DBLP ] Conf ] Hojung Cha , Rhan Ha Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] K. Subramani An Analysis of Zero-Clairvoyant Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Yasmina Abdeddaïm , Oded Maler Preemptive Job-Shop Scheduling Using Stopwatch Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Horst Wedde , Arnim Wedig Explicit Modeling of Influences, and of Their Absence, in Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Kevin Backhouse A Functional Semantics of Attribute Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Ball , Andreas Podelski , Sriram K. Rajamani Relative Completeness of Abstraction Refinement for Software Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Delzanno , Jean-François Raskin , Laurent Van Begin Towards the Automated Verification of Multithreaded Java Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Fabrice Bouquet , Bruno Legeard , Fabien Peureux CLPS-B - A Constraint Solver for B. [Citation Graph (0, 0)][DBLP ] Conf ] Taeho Kim , David W. J. Stringer-Calvert , Sung Deok Cha Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Bozzano , Giorgio Delzanno Beyond Parameterized Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Samik Basu , K. Narayan Kumar , L. Robert Pokorny , C. R. Ramakrishnan Resource-Constrained Model Checking of Recursive Programs. [Citation Graph (0, 0)][DBLP ] Conf ] E. Allen Emerson , Vineet Kahlon Model Checking Large-Scale and Parameterized Resource Allocation Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Patrice Godefroid , Sarfraz Khurshid Exploring Very Large State Spaces Using Genetic Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Radu Mateescu Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Roy Armoni , Limor Fix , Alon Flaisher , Rob Gerth , Boris Ginsburg , Tomer Kanza , Avner Landver , Sela Mador-Haim , Eli Singerman , Andreas Tiemeyer , Moshe Y. Vardi , Yael Zbar The ForSpec Temporal Logic: A New Temporal Property-Specification Language. [Citation Graph (0, 0)][DBLP ] Conf ] HoonSang Jin , Andreas Kuehlmann , Fabio Somenzi Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Hyoung Seok Hong , Insup Lee , Oleg Sokolsky , Hasan Ural A Temporal Logic Based Theory of Test Coverage and Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Havelund , Grigore Rosu Synthesizing Monitors for Safety Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Alex Groce , Doron Peled , Mihalis Yannakakis Adaptive Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Keijo Heljanko , Victor Khomenko , Maciej Koutny Parallelisation of the Petri Net Unfolding Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Sébastien Bornot , Rémi Morin , Peter Niebert , Sarah Zennou Black Box Unfolding with Local First Search. [Citation Graph (0, 0)][DBLP ] Conf ] Doron Bustan , Orna Grumberg Applicability of Fair Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] Raffaella Gentilini , Carla Piazza , Alberto Policriti Simulation as Coarsest Partition Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Elsa L. Gunter , Doron Peled Temporal Debugging for Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] HoonSang Jin , Kavita Ravi , Fabio Somenzi Fate and Free Will in Error Traces. [Citation Graph (0, 0)][DBLP ] Conf ] Tobias Amnell , Elena Fersman , Leonid Mokrushin , Paul Pettersson , Wang Yi TIMES - A Tool for Modelling and Implementation of Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Frédéric Lang Compositional Verification Using SVL Scripts. [Citation Graph (0, 0)][DBLP ] Conf ] Duncan Clarke , Thierry Jéron , Vlad Rusu , Elena Zinovieva STG: A Symbolic Test Generation Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Stehno Real-Time Systems Design with PEP. [Citation Graph (0, 0)][DBLP ] Conf ] 