Conferences in DBLP
Paul Feautrier From Software to Hardware and Back. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Y. A. Ryan Of Elections and Electrons. [Citation Graph (0, 0)][DBLP ] Conf ] Samar Dajani-Brown , Darren D. Cofer , Amar Bouali Formal Verification of an Avionics Sensor Voter Using SCADE. [Citation Graph (0, 0)][DBLP ] Conf ] Chiheb Kossentini , Paul Caspi Mixed Delay and Threshold Voters in Critical Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Simona Bernardi , Susanna Donatelli , Giovanna Dondossola Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jennifer M. Davoren , Thomas Moor , Rajeev Goré , Vaughan Coulthard , Anil Nerode On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies. [Citation Graph (0, 0)][DBLP ] Conf ] Deepak D'Souza , Nicolas Tabareau On Timed Automata with Input-Determined Guards. [Citation Graph (0, 0)][DBLP ] Conf ] Dilsun Kirli Kaynar , Nancy A. Lynch Decomposing Verification of Timed I/O Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolas Markey , Ph. Schnoebelen Symbolic Model Checking for Simply-Timed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Martin De Wulf , Laurent Doyen , Nicolas Markey , Jean-François Raskin Robustness and Implementability of Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Moez Krichen , Stavros Tripakis Real-Time Testing with Timed Automata Testers and Coverage Criteria. [Citation Graph (0, 0)][DBLP ] Conf ] Oded Maler , Dejan Nickovic Monitoring Temporal Properties of Continuous Signals. [Citation Graph (0, 0)][DBLP ] Conf ] Paul S. Miner , Alfons Geser , Lee Pike , Jeffrey Maddalon A Unified Fault-Tolerance Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Felix C. Gärtner , Arshad Jhumka Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Dutertre , Maria Sorea Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Catalin Dima , Alain Girault , Yves Sorel Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders. [Citation Graph (0, 0)][DBLP ] Conf ] Harald Fecher The Influence of Durational Actions on Time Equivalences. [Citation Graph (0, 0)][DBLP ] Conf ] Fang Yu , Bow-Yaw Wang , Yao-Wen Huang Bounded Model Checking for Region Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Scott Cotton , Eugene Asarin , Oded Maler , Peter Niebert Some Progress in Satisfiability Checking for Difference Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Brihaye , Véronique Bruyère , Jean-François Raskin Model-Checking for Weighted Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Marta Z. Kwiatkowska , Gethin Norman , Jeremy Sproston , Fuzhi Wang Symbolic Model Checking for Probabilistic Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Mikhail Bernadsky , Raman Sharykin , Rajeev Alur Structured Modeling of Concurrent Stochastic Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Gerner , Thao Dang Computing Schedules for Multithreaded Real-Time Programs Using Geometry. [Citation Graph (0, 0)][DBLP ] Conf ] Parosh Aziz Abdulla , Johann Deneux , Pritha Mahata , Aletta Nylén Forward Reachability Analysis of Timed Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Maria Sorea Lazy Approximation for Dense Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Olga Grinchtein , Bengt Jonsson , Martin Leucker Learning of Event-Recording Automata. [Citation Graph (0, 0)][DBLP ] Conf ] 