Time-Safety Checking for Embedded Programs. - Thomas A. Henzinger; Christoph M. Kirsch; Rupak Majumdar; Slobodan Matic (EMSOFT, 2002)

Generalized cofactoring for logic function evaluation. - Yunjian Jiang; Slobodan Matic; Robert K. Brayton (DAC, 2003)

Schedule-Carrying Code. - Thomas A. Henzinger; Christoph M. Kirsch; Slobodan Matic (EMSOFT, 2003)

Composable code generation for distributed giotto. - Thomas A. Henzinger; Christoph M. Kirsch; Slobodan Matic (LCTES, 2005)

Trading End-to-End Latency for Composability. - Slobodan Matic; Thomas A. Henzinger (RTSS, 2005)

An Interface Algebra for Real-Time Components. - Thomas A. Henzinger; Slobodan Matic (IEEE Real Time Technology and Applications Symposium, 2006)

Energy-optimal software partitioning in heterogeneous multiprocessor embedded systems. - Michel Goraczko; Jie Liu 001; Dimitrios Lymberopoulos; Slobodan Matic; Bodhi Priyantha; Feng Zhao 001 (DAC, 2008)

Simulation and Implementation of the PTIDES Programming Model. - Patricia Derler; Edward A. Lee; Slobodan Matic (DS-RT, 2008)

The Case for Timing-Centric Distributed Software Invited Paper. - Edward A. Lee; Slobodan Matic; Sanjit A. Seshia; Jia Zou 002 (ICDCS Workshops, 2009)

Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems. - Jia Zou 002; Slobodan Matic; Edward A. Lee; Thomas Huining Feng; Patricia Derler (IEEE Real-Time and Embedded Technology and Applications Symposium, 2009)

PTIDES model on a distributed testbed emulating smart grid real-time applications. - Slobodan Matic; Ilge Akkaya; Michael Zimmer 001; John C. Eidson; Edward A. Lee (ISGT Europe, 2011)

PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems. - Jia Zou 002; Slobodan Matic; Edward A. Lee (IEEE Real-Time and Embedded Technology and Applications Symposium, 2012)

Distributed Real-Time Software for Cyber-Physical Systems. - John C. Eidson; Edward A. Lee; Slobodan Matic; Sanjit A. Seshia; Jia Zou 002 (Proc. IEEE, 2012)