Conferences in DBLP
Thomas A. Henzinger , Vinayak S. Prabhu Timed Alternating-Time Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Edward A. Lee Concurrent Semantics Without the Notions of State or State Transitions. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Moshe Rabinovich Decidability and Expressive Power of Real Time Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Husain Aljazzar , Stefan Leue Extended Directed Search for Probabilistic Timed Reachability. [Citation Graph (0, 0)][DBLP ] Conf ] Béatrice Bérard , Paul Gastin , Antoine Petit Intersection of Regular Signal-Event (Timed) Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Béatrice Bérard , Paul Gastin , Antoine Petit Refinements and Abstractions of Signal-Event (Timed) Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Bernard Berthomieu , Florent Peres , François Vernadat Bridging the Gap Between Timed Automata and Bounded Time Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Prakash Chandrasekaran , Madhavan Mukund Matching Scenarios with Timing Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Remy Chevallier , Emmanuelle Encrenaz-Tiphène , Laurent Fribourg , Weiwen Xu Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Alexandre David , John Håkansson , Kim Guldstrand Larsen , Paul Pettersson Model Checking Timed Automata with Priorities Using DBM Subtraction. [Citation Graph (0, 0)][DBLP ] Conf ] Conrado Daws , Piotr Kordy Symbolic Robustness Analysis of Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Adam Duguid Coping with the Parallelism of BitTorrent: Conversion of PEPA to ODEs in Dealing with State Space Explosion. [Citation Graph (0, 0)][DBLP ] Conf ] Georgios E. Fainekos , Antoine Girard , George J. Pappas Temporal Logic Verification Using Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Finkel Undecidable Problems About Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Goran Frehse On Timed Simulation Relations for Hybrid Systems and Compositionality. [Citation Graph (0, 0)][DBLP ] Conf ] Carlo A. Furia , Matteo Rossi Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling. [Citation Graph (0, 0)][DBLP ] Conf ] Serge Haddad , Laura Recalde , Manuel Silva On the Computational Power of Timed Differentiable Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] François Laroussinie , Nicolas Markey , Ghassan Oreiby Model-Checking Timed. [Citation Graph (0, 0)][DBLP ] Conf ] Kamal Lodaya , Paritosh K. Pandya A Dose of Timed Logic, in Guarded Measure. [Citation Graph (0, 0)][DBLP ] Conf ] Oded Maler , Dejan Nickovic , Amir Pnueli From MITL to Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Niebert , Hongyang Qu Adding Invariants to Event Zone Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Gordon J. Pace , Gerardo Schneider Static Analysis for State-Space Reduction of Polygonal Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Pavithra Prabhakar , Deepak D'Souza On the Expressiveness of MTL with Past Operators. [Citation Graph (0, 0)][DBLP ] Conf ] Pavel Vasilyev Simulator for Real-Time Abstract State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolás Wolovick , Sven Johr A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes. [Citation Graph (0, 0)][DBLP ] Conf ] 