| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Abstracts of Invited Talks
|
Buttazzo, Giorgio
|
|
2002
|
65 |
6 |
p. 275-276
2 p.
|
artikel
|
| 2 |
Classes of Timed Automata and the Undecidability of Universality
|
Moura, Arnaldo V.
|
|
2002
|
65 |
6 |
p. 238-253
16 p.
|
artikel
|
| 3 |
Contraction of the ITCPN state space
|
Boucheneb, H.
|
|
2002
|
65 |
6 |
p. 1-15
15 p.
|
artikel
|
| 4 |
Exact Acceleration of Real-Time Model Checking
|
Hendriks, Martijn
|
|
2002
|
65 |
6 |
p. 120-139
20 p.
|
artikel
|
| 5 |
Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets 1 1 This work was partially supported by research project grant NSC-90-2215-E-194-009 from the National Science Council, Taiwan, ROC.
|
Hsiung, Pao-Ann
|
|
2002
|
65 |
6 |
p. 140-159
20 p.
|
artikel
|
| 6 |
Interval Duration Logic
|
Pandya, Paritosh K.
|
|
2002
|
65 |
6 |
p. 254-272
19 p.
|
artikel
|
| 7 |
Modular Synthesis of Timed Circuits using Partial Orders on LPNs
|
Mercer, Eric G.
|
|
2002
|
65 |
6 |
p. 180-201
22 p.
|
artikel
|
| 8 |
On Improving Backwards Verification of Timed Automata (Extended Abstract)
|
Braberman, Victor
|
|
2002
|
65 |
6 |
p. 60-67
8 p.
|
artikel
|
| 9 |
Parking Can Get You There Faster
|
Möller, M.Oliver
|
|
2002
|
65 |
6 |
p. 202-217
16 p.
|
artikel
|
| 10 |
Performance Analysis of Retrial Queueing Systems Using Generalized Stochastic Petri Nets
|
Gharbi, Nawel
|
|
2002
|
65 |
6 |
p. 86-100
15 p.
|
artikel
|
| 11 |
Predicate Abstraction for Dense Real-Time Systems 1 1 This research was supported by the National Science Foundation under grants CCR-00-82560 and CCR-00-86096 and by NASA Langley Research Center under contract B09060051 and Cooperative Agreement NCC-1-399 with Honeywell Minneapolis. Most of this research has been conducted while the first author was visiting SRI International, July/August 2001.
|
Möller, M.Oliver
|
|
2002
|
65 |
6 |
p. 218-237
20 p.
|
artikel
|
| 12 |
Preface
|
Asarin, Eugene
|
|
2002
|
65 |
6 |
p. 273-274
2 p.
|
artikel
|
| 13 |
Prefix and Projection onto State in Duration Calculus
|
Guelev, Dimitar P.
|
|
2002
|
65 |
6 |
p. 101-119
19 p.
|
artikel
|
| 14 |
Timed Semantics of Message Sequence Charts Based on Timed Automata
|
Lucas, Philipp
|
|
2002
|
65 |
6 |
p. 160-179
20 p.
|
artikel
|
| 15 |
TPAP
|
Ermont, Jérôme
|
|
2002
|
65 |
6 |
p. 68-85
18 p.
|
artikel
|
| 16 |
Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency)
|
Boyer, Marc
|
|
2002
|
65 |
6 |
p. 16-46
31 p.
|
artikel
|
| 17 |
Verification of Asynchronous Circuits using Timed Automata
|
Bozga, Marius
|
|
2002
|
65 |
6 |
p. 47-59
13 p.
|
artikel
|
Tijdschrift beschrijving