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 | 215 | 2011 |
An interface algebra for real-time components TA Henzinger, S Matic 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS …, 2006 | 128 | 2006 |
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 | 108 | 2008 |
Trading end-to-end latency for composability S Matic, TA Henzinger 26th IEEE International Real-Time Systems Symposium (RTSS'05), 12 pp.-110, 2005 | 81 | 2005 |
Composable code generation for distributed Giotto TA Henzinger, CM Kirsch, S Matic Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages …, 2005 | 67 | 2005 |
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 | 61 | 2009 |
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 | 61 | 2008 |
Schedule-carrying code TA Henzinger, CM Kirsch, S Matic International Workshop on Embedded Software, 241-256, 2003 | 60 | 2003 |
Time-safety checking for embedded programs TA Henzinger, CM Kirsch, R Majumdar, S Matic Embedded Software: Second International Conference, EMSOFT 2002 Grenoble …, 2002 | 59 | 2002 |
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 | 32 | 2009 |
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 | 27 | 2010 |
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 | 26 | 2009 |
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 | 25 | 2008 |
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 | 24 | 2015 |
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 | 17 | 2012 |
On determinism in event-triggered distributed systems with time synchronization EA Lee, S Matic 2007 IEEE International Symposium on Precision Clock Synchronization for …, 2007 | 15 | 2007 |
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 | 13 | 2013 |
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 | 12 | 2015 |
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 | 9 | 2006 |
Generalized cofactoring for logic function evaluation Y Jiang, S Matic, RK Brayton Proceedings of the 40th annual Design Automation Conference, 155-158, 2003 | 9 | 2003 |