acm sigbed
|
emsoft
|
participants
Slobodan Matic
EMSOFT 2003: 3rd International Conference on Embedded Software
Schedule-Carrying Code
Thomas A. Henzinger
,
Christoph M. Kirsch
, and
Slobodan Matic
10.1007/978-3-540-45212-6_16
https://ckirsch.github.io/publications/conferences/EMSOFT03-ScheduleCarryingCode.pdf
EMSOFT 2002: 2nd International Workshop on Embedded Software
Time-Safety Checking for Embedded Programs
Thomas A. Henzinger
,
Christoph M. Kirsch
,
Rupak Majumdar
, and
Slobodan Matic
10.1007/3-540-45828-X_7
https://people.mpi-sws.org/~rupak/Papers/TimeSafetyCheckingForECode.ps