Slobodan Matic

13 papers A* 2A 3B 1C 1Misc 2Journal 1Unranked 3
YearRankTypeTitle / Venue / Authors
2012 J jnl
Distributed Real-Time Software for Cyber-Physical Systems.
Proc. IEEE
John C. Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou
2012 A conf
PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems.
IEEE Real-Time and Embedded Technology and Applications Symposium
Jia Zou, Slobodan Matic, Edward A. Lee
2011 — conf
PTIDES model on a distributed testbed emulating smart grid real-time applications.
ISGT Europe
Slobodan Matic, Ilge Akkaya, Michael Zimmer, John C. Eidson, Edward A. Lee
2009 A conf
Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems.
IEEE Real-Time and Embedded Technology and Applications Symposium
Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng, Patricia Derler
2009 — conf
The Case for Timing-Centric Distributed Software Invited Paper.
ICDCS Workshops
Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou
2008 A* conf
Energy-optimal software partitioning in heterogeneous multiprocessor embedded systems.
DAC
Michel Goraczko, Jie Liu, Dimitrios Lymberopoulos, Slobodan Matic, Bodhi Priyantha, Feng Zhao
2008 C conf
Simulation and Implementation of the PTIDES Programming Model.
DS-RT
Patricia Derler, Edward A. Lee, Slobodan Matic
2006 — conf
An Interface Algebra for Real-Time Components.
IEEE Real Time Technology and Applications Symposium
Thomas A. Henzinger, Slobodan Matic
2005 B conf
Composable code generation for distributed giotto.
LCTES
Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic
2005 A conf
Trading End-to-End Latency for Composability.
RTSS
Slobodan Matic, Thomas A. Henzinger
2003 A* conf
Generalized cofactoring for logic function evaluation.
DAC
Yunjian Jiang, Slobodan Matic, Robert K. Brayton
2003 Misc conf
Schedule-Carrying Code.
EMSOFT
Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic
2002 Misc conf
Time-Safety Checking for Embedded Programs.
EMSOFT
Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic