Conferences in DBLP
Eugene Asarin Timed Automata and Timed Languages Challenges and Open Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Agata Pólrola , Wojciech Penczek , Maciej Szreter Towards Efficient Partition Refinement for Checking Reachability in Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Bozena Wozna , Andrzej Zbrzezny Checking ACTL* Properties of Discrete Timed Automata via Bounded Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Jianhua Zhao , Xuandong Li , Tao Zheng , Guoliang Zheng Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently. [Citation Graph (0, 0)][DBLP ] Conf ] Martijn Hendriks , Gerd Behrmann , Kim Guldstrand Larsen , Peter Niebert , Frits W. Vaandrager Adding Symmetry Reduction to Uppaal. [Citation Graph (0, 0)][DBLP ] Conf ] Tobias Amnell , Elena Fersman , Leonid Mokrushin , Paul Pettersson , Wang Yi TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Sebastian Panek , Olaf Stursberg , Sebastian Engell Optimization of Timed Automata Models Using Mixed-Integer Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Suzana Andova , Holger Hermanns , Joost-Pieter Katoen Discrete-Time Rewards Model-Checked. [Citation Graph (0, 0)][DBLP ] Conf ] Marta Z. Kwiatkowska , Gethin Norman , David Parker , Jeremy Sproston Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Carlson , Björn Lisper An Interval-Based Algebra for Restricted Event Detection. [Citation Graph (0, 0)][DBLP ] Conf ] Mohammad Reza Mousavi , Michel A. Reniers , Twan Basten , Michel R. V. Chaudron PARS: A Process Algebra with Resources and Schedulers. [Citation Graph (0, 0)][DBLP ] Conf ] Ramon R. H. Schiffelers , D. A. van Beek , Ka L. Man , Michel A. Reniers , J. E. Rooda Formal Semantics of Hybrid Chi. [Citation Graph (0, 0)][DBLP ] Conf ] Reinhard Wilhelm Run-Time Guarantees for Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Catalin Dima A Nonarchimedian Discretization for Timed Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Stavros Tripakis Folk Theorems on the Determinization and Minimization of Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Biniam Gebremichael , Frits W. Vaandrager Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Ramzi Ben Salah , Marius Bozga , Oded Maler On Timing Analysis of Combinational Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] Libor Waszniowski , Zdenek Hanzálek Analysis of Real Time Operating System Based Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Anders Hessel , Kim Guldstrand Larsen , Brian Nielsen , Paul Pettersson , Arne Skou Time-Optimal Test Cases for Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Guillaume Gardey , Olivier H. Roux , Olivier F. Roux Using Zone Graph Method for Computing the State Space of a Time Petri Net. [Citation Graph (0, 0)][DBLP ] Conf ] Franck Pommereau Causal Time Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Sarah Zennou , Manuel Yguel , Peter Niebert ELSE: A New Symbolic State Generator for Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] 