Abstract is missing.
- Timed Alternating-Time Temporal LogicThomas A. Henzinger, Vinayak S. Prabhu. 1-17 [doi]
- Concurrent Semantics Without the Notions of State or State TransitionsEdward A. Lee. 18-31 [doi]
- Decidability and Expressive Power of Real Time LogicsAlexander Moshe Rabinovich. 32 [doi]
- Extended Directed Search for Probabilistic Timed ReachabilityHusain Aljazzar, Stefan Leue. 33-51 [doi]
- Intersection of Regular Signal-Event (Timed) LanguagesBéatrice Bérard, Paul Gastin, Antoine Petit. 52-66 [doi]
- Refinements and Abstractions of Signal-Event (Timed) LanguagesBéatrice Bérard, Paul Gastin, Antoine Petit. 67-81 [doi]
- Bridging the Gap Between Timed Automata and Bounded Time Petri NetsBernard Berthomieu, Florent Peres, François Vernadat. 82-97 [doi]
- Matching Scenarios with Timing ConstraintsPrakash Chandrasekaran, Madhavan Mukund. 98-112 [doi]
- Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed AutomataRemy Chevallier, Emmanuelle Encrenaz-Tiphène, Laurent Fribourg, Weiwen Xu. 113-127 [doi]
- Model Checking Timed Automata with Priorities Using DBM SubtractionAlexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson. 128-142 [doi]
- Symbolic Robustness Analysis of Timed AutomataConrado Daws, Piotr Kordy. 143-155 [doi]
- Coping with the Parallelism of BitTorrent: Conversion of PEPA to ODEs in Dealing with State Space ExplosionAdam Duguid. 156-170 [doi]
- Temporal Logic Verification Using SimulationGeorgios E. Fainekos, Antoine Girard, George J. Pappas. 171-186 [doi]
- Undecidable Problems About Timed AutomataOlivier Finkel. 187-199 [doi]
- On Timed Simulation Relations for Hybrid Systems and CompositionalityGoran Frehse. 200-214 [doi]
- Integrating Discrete- and Continuous-Time Metric Temporal Logics Through SamplingCarlo A. Furia, Matteo Rossi. 215-229 [doi]
- On the Computational Power of Timed Differentiable Petri NetsSerge Haddad, Laura Recalde, Manuel Silva. 230-244 [doi]
- Model-Checking TimedFrançois Laroussinie, Nicolas Markey, Ghassan Oreiby. 245-259 [doi]
- A Dose of Timed Logic, in Guarded MeasureKamal Lodaya, Paritosh K. Pandya. 260-273 [doi]
- From MITL to Timed AutomataOded Maler, Dejan Nickovic, Amir Pnueli. 274-289 [doi]
- Adding Invariants to Event Zone AutomataPeter Niebert, Hongyang Qu. 290-305 [doi]
- Static Analysis for State-Space Reduction of Polygonal Hybrid SystemsGordon J. Pace, Gerardo Schneider. 306-321 [doi]
- On the Expressiveness of MTL with Past OperatorsPavithra Prabhakar, Deepak D Souza. 322-336 [doi]
- Simulator for Real-Time Abstract State MachinesPavel Vasilyev. 337-351 [doi]
- A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision ProcessesNicolás Wolovick, Sven Johr. 352-367 [doi]