dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Slobodan Matic Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJia Zou, Slobodan Matic, Edward A. Lee: PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 209-218
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn C. Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou: Distributed Real-Time Software for Cyber-Physical Systems. Proceedings of the IEEE 100(1): 45-59 (2012)
2009
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou: The Case for Timing-Centric Distributed Software Invited Paper. ICDCS Workshops 2009: 57-64
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng, Patricia Derler: Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 77-86
2008
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Goraczko, Jie Liu, Dimitrios Lymberopoulos, Slobodan Matic, Bodhi Priyantha, Feng Zhao: Energy-optimal software partitioning in heterogeneous multiprocessor embedded systems. DAC 2008: 191-196
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatricia Derler, Edward A. Lee, Slobodan Matic: Simulation and Implementation of the PTIDES Programming Model. DS-RT 2008: 330-333
2006
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Slobodan Matic: An Interface Algebra for Real-Time Components. IEEE Real Time Technology and Applications Symposium 2006: 253-266
2005
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic: Composable code generation for distributed giotto. LCTES 2005: 21-30
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSlobodan Matic, Thomas A. Henzinger: Trading End-to-End Latency for Composability. RTSS 2005: 99-110
2003
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYunjian Jiang, Slobodan Matic, Robert K. Brayton: Generalized cofactoring for logic function evaluation. DAC 2003: 155-158
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic: Schedule-Carrying Code. EMSOFT 2003: 241-256
2002
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic: Time-Safety Checking for Embedded Programs. EMSOFT 2002: 76-92

Coauthor Index

1Robert K. Brayton [3]
2Patricia Derler [7] [9]
3John C. Eidson [11]
4Thomas Huining Feng [9]
5Michel Goraczko [8]
6Thomas A. Henzinger [1] [2] [4] [5] [6]
7Yunjian Jiang [3]
8Christoph M. Kirsch (Christoph Meyer) [1] [2] [5]
9Edward A. Lee [7] [9] [10] [11] [12]
10Jie Liu [8]
11Dimitrios Lymberopoulos [8]
12Rupak Majumdar [1]
13Bodhi Priyantha (Nissanka Bodhi Priyantha) [8]
14Sanjit A. Seshia [10] [11]
15Feng Zhao [8]
16Jia Zou [9] [10] [11] [12]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page