Sciweavers

4666 search results - page 78 / 934
» Equations on Timed Languages
Sort
View
MODELS
2009
Springer
15 years 7 months ago
Incremental Model Synchronization for Efficient Run-Time Monitoring
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt,...
72
Voted
ICALP
2010
Springer
15 years 5 months ago
Scheduling Periodic Tasks in a Hard Real-Time Environment
Friedrich Eisenbrand, Nicolai Hähnle, Martin ...
UML
1999
Springer
15 years 5 months ago
Timed Sequence Diagrams and Tool-Based Analysis - A Case Study
Thomas Firley, Michaela Huhn, Karsten Diethers, Th...
114
Voted
VL
1996
IEEE
207views Visual Languages» more  VL 1996»
15 years 4 months ago
Integrating a Constraint Solver into a Real-Time Animation Environment
Peer Griebel, Georg Lehrenfeld, Wolfgang Müll...
92
Voted
ICALP
1995
Springer
15 years 4 months ago
Automatic Synthesis of Real Time Systems
Jørgen H. Andersen, Kåre J. Kristoffe...