main page
|
history of updates
Results of the search for papers published in
2003, number of found papers:
15
|
Schedulability Analysis using Two Clocks (2003)
Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi
|
|
|
Compact Data Structure and State-Space Reduction for Model-Checking Real-Time Systems (2003)
Kim G. Larsen, Fredrik Larsson, Paul Pettersson and Wang Yi
|
|
|
On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata (2003)
Johan Bengtsson and Wang Yi
|
|
|
TIMES: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems (2003)
Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi
|
|
|
Time-Optimal Test Cases for Real-Time Systems (2003)
Anders Hessel, Kim G. Larsen, Brian Nielsen, Paul Pettersson, and Arne Skou
|
|
|
Unification & Sharing in Timed Automata Verification (2003)
Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi
|
|
|
A Tool architecture for the next generation of UPPAAL (2003)
Alexandre David, Gerd Behrmann, Kim G. Larsen and Wang Yi
|
|
|
Code Synthesis for Timed Automata (2003)
Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi
|
|
|
Hierarchical Modeling and Analysis of Timed Systems (2003)
Alexandre David
|
|
|
A Gereric Approach to Schedulability Analysis of Real Time Systems (2003)
Elena Fersman
|
|
|
Code Synthesis for Timed Automata (2003)
Tobias Amnell
|
|
|
Generating On-Line Test Oracles from Temporal Logic Specifications (2003)
John Håkansson, Bengt Jonsson, and Ola Lundqvist
|
|
|
Springer Journal: STTT vol 5, number 1 (2003)
Tiziana Margaria and Wang Yi
|
|
|
Timed Automata: Semantics, Algorithms and Tools (2003)
Johan Bengtsson and Wang Yi
|
|
|
Introductory paper: scalability aspects of validation, STTT 5(1): 1-3 (2003) (2003)
Tiziana Margaria, Wang Yi
|
|
x
Search result appears here...
