Giotto
From MaRDI portal
Cited in
(26)- Real time scheduling theory: A historical perspective
- Formal Modeling and Analysis of Timed Systems
- ROTEC: robust to early termination command governor for systems with limited computing capacity
- Verifying distributed real-time properties of embedded systems via graph transformations and model checking
- Dispatch sequences for embedded control models
- On implementable timed automata
- Verification of distributed systems with local-global predicates
- Energy-optimal batching periods for asynchronous multistage data processing on sensor nodes: foundations and an mPlatform case study
- Shrinking timed automata
- Isolation scheduling on multicores: model and scheduling approaches
- Uppaal2k
- SIGNAL
- Cheddar
- LUSTRE
- AQuoSA
- Polychrony
- TrueTime
- RTC toolbox
- Esterel
- PALLOC
- MARTE
- TAME
- Applications and Theory of Petri Nets 2004
- Analyzing Real-Time Event-Driven Programs
- Soft real-time scheduling for embedded control systems
- Multi-task implementation of multi-periodic synchronous programs
This page was built for software: Giotto
