default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheory and Practice of Timed Systems @ ETAPS 2002: Grenoble, France
- Eugene Asarin, Oded Maler, Sergio Yovine:
Theory and Practice of Timed Systems, Satellite Event of ETAPS 2002, Grenoble, France, April 6-7, 2002. Electronic Notes in Theoretical Computer Science 65(6), Elsevier 2002 - Hanifa Boucheneb, Gérard Berthelot:
Contraction of the ITCPN State Space. 1-15 - Marc Boyer
:
Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency). 16-46 - Marius Bozga, Jianmin Hou, Oded Maler, Sergio Yovine:
Verification of Asynchronous Circuits using Timed Automata. 47-59 - Víctor A. Braberman, Carlos López Pombo, Alfredo Olivero:
On Improving Backwards Verification of Timed Automata. 60-67 - Jérôme Ermont, Frédéric Boniol:
TPAP: an Algebra of Preemptive Processes for Verifying Real-Time Systems with Shared Resources. 68-85 - Nawel Gharbi, Malika Ioualalen:
Performance Analysis of Retrial Queueing Systems Using Generalized Stochastic Petri Nets. 86-100 - Dimitar P. Guelev, Dang Van Hung:
Prefix and Projection onto State in Duration Calculus. 101-119 - Martijn Hendriks, Kim Guldstrand Larsen:
Exact Acceleration of Real-Time Model Checking. 120-139 - Pao-Ann Hsiung, Chuen-Hau Gao:
Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets. 140-159 - Philipp Lucas:
Timed Semantics of Message Sequence Charts Based on Timed Automata. 160-179 - Eric Mercer, Chris J. Myers, Tomohiro Yoneda:
Modular Synthesis of Timed Circuits using Partial Order Reduction. 180-201 - M. Oliver Möller:
Parking can get you there faster - Model Augmentation to Speed up Real-Time Model-Checking. 202-217 - M. Oliver Möller, Harald Rueß, Maria Sorea:
Predicate Abstraction for Dense Real-Time System. 218-237 - Arnaldo V. Moura, Guilherme A. Pinto:
Classes of Timed Automata and the Undecidability of Universality. 238-253 - Paritosh K. Pandya:
Interval Duration Logic: Expressiveness and Decidability. 254-272 - Eugene Asarin, Oded Maler, Sergio Yovine:
Preface. 273-274 - Giorgio C. Buttazzo, Avi Efrati, John N. Hooker, Claude Le Pape, Joseph Sifakis:
Abstracts of Invited Talks. 275-276
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-02 18:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
