Slobodan Matic

According to our database, Slobodan Matic authored at least 13 papers between 2002 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Distributed Real-Time Software for Cyber-Physical Systems.

John C. Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou

Proc. IEEE, 2012

PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems.

Jia Zou, Slobodan Matic, Edward A. Lee

Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012

2011

PTIDES model on a distributed testbed emulating smart grid real-time applications.

Slobodan Matic, Ilge Akkaya, Michael Zimmer, John C. Eidson, Edward A. Lee

Proceedings of the 2nd IEEE PES International Conference and Exhibition on "Innovative Smart Grid Technologies", 2011

2009

Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems.

Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng, Patricia Derler

Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

The Case for Timing-Centric Distributed Software Invited Paper.

Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou

Proceedings of the 29th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2009 Workshops), 2009

2008

Simulation and Implementation of the PTIDES Programming Model.

Patricia Derler, Edward A. Lee, Slobodan Matic

Proceedings of the 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 2008

Energy-optimal software partitioning in heterogeneous multiprocessor embedded systems.

Michel Goraczko, Jie Liu, Dimitrios Lymberopoulos, Slobodan Matic, Bodhi Priyantha, Feng Zhao

Proceedings of the 45th Design Automation Conference, 2008

2006

An Interface Algebra for Real-Time Components.

Thomas A. Henzinger, Slobodan Matic

Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

2005

Trading End-to-End Latency for Composability.

Slobodan Matic, Thomas A. Henzinger

Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Composable code generation for distributed giotto.

Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic

Proceedings of the 2005 ACM SIGPLAN/SIGBED Conference on Languages, 2005

2003

Schedule-Carrying Code.

Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic

Proceedings of the Embedded Software, Third International Conference, 2003

Generalized cofactoring for logic function evaluation.

Yunjian Jiang, Slobodan Matic, Robert K. Brayton

Proceedings of the 40th Design Automation Conference, 2003

2002

Time-Safety Checking for Embedded Programs.

Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic

Proceedings of the Embedded Software, Second International Conference, 2002