Follow
Slobodan Matic
Slobodan Matic
General Electric
Verified email at eecs.berkeley.edu
Title
Cited by
Cited by
Year
Distributed real-time software for cyber–physical systems
JC Eidson, EA Lee, S Matic, SA Seshia, J Zou
Proceedings of the IEEE 100 (1), 45-59, 2011
2142011
An interface algebra for real-time components
TA Henzinger, S Matic
12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS …, 2006
1282006
Energy-optimal software partitioning in heterogeneous multiprocessor embedded systems
M Goraczko, J Liu, D Lymberopoulos, S Matic, B Priyantha, F Zhao
Proceedings of the 45th annual design automation conference, 191-196, 2008
1072008
Trading end-to-end latency for composability
S Matic, TA Henzinger
26th IEEE International Real-Time Systems Symposium (RTSS'05), 12 pp.-110, 2005
812005
Composable code generation for distributed Giotto
TA Henzinger, CM Kirsch, S Matic
Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages …, 2005
672005
Execution strategies for ptides, a programming model for distributed embedded systems
J Zou, S Matic, EA Lee, TH Feng, P Derler
2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium …, 2009
612009
PTIDES: A programming model for distributed real-time embedded systems
P Derler, TH Feng, EA Lee, S Matic, HD Patel, Y Zhao, J Zou
University of California, Berkeley, EECS Technical Report. EECS-2008-72, 2008
612008
Schedule-carrying code
TA Henzinger, CM Kirsch, S Matic
International Workshop on Embedded Software, 241-256, 2003
602003
Time-safety checking for embedded programs
TA Henzinger, CM Kirsch, R Majumdar, S Matic
Embedded Software: Second International Conference, EMSOFT 2002 Grenoble …, 2002
592002
Time-centric models for designing embedded cyber-physical systems
JC Eidson, EA Lee, S Matic, SA Seshia, J Zou
University of California, Berkeley, Technical Memorandum. UCB/EECS-2009-135, 2009
322009
A time-centric model for cyber-physical applications
J Eidson, EA Lee, S Matic, SA Seshia, J Zou
Workshop on model based architecting and construction of embedded systems …, 2010
272010
The case for timing-centric distributed software invited paper
EA Lee, S Matic, SA Seshia, J Zou
2009 29th IEEE International Conference on Distributed Computing Systems …, 2009
262009
Simulation and implementation of the PTIDES programming model
P Derler, EA Lee, S Matic
2008 12th IEEE/ACM International Symposium on Distributed Simulation and …, 2008
252008
Resource modeling and scheduling for extensible computing platforms
J Liu, F Zhao, M Goraczko, S Matic, D Lymberopoulos, N Priyantha
US Patent 8,984,520, 2015
242015
PtidyOS: A lightweight microkernel for Ptides real-time systems
J Zou, S Matic, EA Lee
2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium …, 2012
172012
On determinism in event-triggered distributed systems with time synchronization
EA Lee, S Matic
2007 IEEE International Symposium on Precision Clock Synchronization for …, 2007
142007
Using Ptides and synchronized clocks to design distributed systems with deterministic system wide timing
P Derler, JC Eidson, S Goose, EA Lee, S Matic, M Zimmer
2013 IEEE International Symposium on Precision Clock Synchronization for …, 2013
132013
Grid of the future: Quantification of benefits from flexible energy resources in scenarios with extra-high penetration of renewable energy
J Bebic, G Hinkle, S Matic, W Schmitt
General Electric International, Inc., Schenectady, NY (United States …, 2015
122015
Resource modeling and scheduling for extensible embedded platforms
S Matic, M Goraczko, J Liu, D Lymberopoulos, B Priyantha, F Zhao
MSR-TR-2006-176, 2006
92006
Generalized cofactoring for logic function evaluation
Y Jiang, S Matic, RK Brayton
Proceedings of the 40th annual Design Automation Conference, 155-158, 2003
92003
The system can't perform the operation now. Try again later.
Articles 1–20