S. Matic

The Case for Timing-Centric Distributed Software Invited Paper

Edward A. Lee, Sanjit A. Seshia, Jia Zou, 2009, 2009 29th IEEE International Conference on Distributed Computing Systems Workshops.

Siemens Smart Grid Innovation Contest Integrated Architecture and Programming Model for Distribution and Microgrid Automation

S. Matic, 2011 .

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

Michael Zimmer, Edward A. Lee, John C. Eidson, 2011, 2011 2nd IEEE PES International Conference and Exhibition on Innovative Smart Grid Technologies.

Model-Based Development of Deterministic , Event-Driven , Real-Time Distributed Systems

Edward A. Lee, J. Eidson, S. Matic, 2011 .

Distributed Real-Time Software for Cyber-Physical Systems New programming abstractions and modeling tools are presented in this paper to precisely capture the physical notion of time in these systems.

Edward A. Lee, Sanjit A. Seshia, Slobodan Matic, 2012 .

Generalized cofactoring for logic function evaluation

R. Brayton, S. Matic, Yunjian Jiang, 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

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

Edward A. Lee, Patricia Derler, Thomas Huining Feng, 2009, 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium.

Energy-optimal software partitioning in heterogeneous multiprocessor embedded systems

Feng Zhao, Jie Liu, Dimitrios Lymberopoulos, 2008, 2008 45th ACM/IEEE Design Automation Conference.

Time-Safety Checking for Embedded Programs

Thomas A. Henzinger, Rupak Majumdar, Christoph M. Kirsch, 2002, EMSOFT.