 | 2012 |
| 12 |  | Jia Zou,
Slobodan Matic,
Edward A. Lee:
PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems.
IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 209-218 |
| 11 |  | John C. Eidson,
Edward A. Lee,
Slobodan Matic,
Sanjit A. Seshia,
Jia Zou:
Distributed Real-Time Software for Cyber-Physical Systems.
Proceedings of the IEEE 100(1): 45-59 (2012) |
| 2009 |
| 10 |  | Edward A. Lee,
Slobodan Matic,
Sanjit A. Seshia,
Jia Zou:
The Case for Timing-Centric Distributed Software Invited Paper.
ICDCS Workshops 2009: 57-64 |
| 9 |  | Jia Zou,
Slobodan Matic,
Edward A. Lee,
Thomas Huining Feng,
Patricia Derler:
Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems.
IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 77-86 |
| 2008 |
| 8 |  | Michel Goraczko,
Jie Liu,
Dimitrios Lymberopoulos,
Slobodan Matic,
Bodhi Priyantha,
Feng Zhao:
Energy-optimal software partitioning in heterogeneous multiprocessor embedded systems.
DAC 2008: 191-196 |
| 7 |  | Patricia Derler,
Edward A. Lee,
Slobodan Matic:
Simulation and Implementation of the PTIDES Programming Model.
DS-RT 2008: 330-333 |
| 2006 |
| 6 |  | Thomas A. Henzinger,
Slobodan Matic:
An Interface Algebra for Real-Time Components.
IEEE Real Time Technology and Applications Symposium 2006: 253-266 |
| 2005 |
| 5 |  | Thomas A. Henzinger,
Christoph M. Kirsch,
Slobodan Matic:
Composable code generation for distributed giotto.
LCTES 2005: 21-30 |
| 4 |  | Slobodan Matic,
Thomas A. Henzinger:
Trading End-to-End Latency for Composability.
RTSS 2005: 99-110 |
| 2003 |
| 3 |  | Yunjian Jiang,
Slobodan Matic,
Robert K. Brayton:
Generalized cofactoring for logic function evaluation.
DAC 2003: 155-158 |
| 2 |  | Thomas A. Henzinger,
Christoph M. Kirsch,
Slobodan Matic:
Schedule-Carrying Code.
EMSOFT 2003: 241-256 |
| 2002 |
| 1 |  | Thomas A. Henzinger,
Christoph M. Kirsch,
Rupak Majumdar,
Slobodan Matic:
Time-Safety Checking for Embedded Programs.
EMSOFT 2002: 76-92 |