Stefan M. Petters

Stefan M. Petters, Kevin Elphinstone, Gernot Heiser: Trustworthy Real-Time Systems. Advances in Real-Time Systems 2012: 191-206

José Marinho, Vincent Nélis, Stefan M. Petters, Isabelle Puaut: Preemption delay analysis for floating non-preemptive region scheduling. DATE 2012: 497-502

Heiko Falk, Kevin Hammond, Kim G. Larsen, Björn Lisper, Stefan M. Petters: Code-level timing analysis of embedded software: emsoft'12 invited talk session outline. EMSOFT 2012: 163-164

Borislav Nikolic, Stefan M. Petters: Towards network-on-chip agreement protocols. EMSOFT 2012: 207-216

José Marinho, Stefan M. Petters, Marko Bertogna: Extending fixed task-priority schedulability by interference limitation. RTNS 2012: 191-200

Muhammad Ali Awan, Stefan M. Petters: Online intra-task device scheduling for hard real-time systems. SIES 2012: 48-56

José Marinho, Vincent Nélis, Stefan M. Petters, Isabelle Puaut: An improved preemption delay upper bound for floating non-preemptive region. SIES 2012: 57-66

Muhammad Ali Awan, Stefan M. Petters: Enhanced Race-To-Halt: A Leakage-Aware Energy Management Approach for Dynamic Priority Systems. ECRTS 2011: 92-101

Vincent Nélis, Björn Andersson, José Marinho, Stefan M. Petters: Global-EDF Scheduling of Multimode Real-Time Systems Considering Mode Independent Tasks. ECRTS 2011: 205-214

José Marinho, Stefan M. Petters: Job Phasing Aware Preemption Deferral. EUC 2011: 128-135

David C. Snowdon, Etienne Le Sueur, Stefan M. Petters, Gernot Heiser: Koala: a platform for OS-level power management. EuroSys 2009: 289-302

Stefan M. Petters, Martin Lawitzky, Ryan Heffernan, Kevin Elphinstone: Towards Real Multi-criticality Scheduling. RTCSA 2009: 155-164

Gernot Heiser, Kevin Elphinstone, Ihor Kuz, Gerwin Klein, Stefan M. Petters: Towards trustworthy computing systems: taking microkernels to the next level. Operating Systems Review 41(4): 3-11 (2007)

David C. Snowdon, Stefan M. Petters, Gernot Heiser: Accurate on-line prediction of processor and memoryenergy usage under voltage scaling. EMSOFT 2007: 84-93

Stefan M. Petters, Patryk Zadarnowski, Gernot Heiser: Measurements or Static Analysis or Both?. WCET 2007

Stefan M. Petters: Deadline Spanning: A Graph Based Approach. RTCSA 2005: 181-184

Antoine Colin, Stefan M. Petters: Experimental Evaluation of Code Properties for WCET Analysis. RTSS 2003: 190-199

Guillem Bernat, Antoine Colin, Stefan M. Petters: pWCET, a Tool for Probabilistic WCET Analysis of Real-Time Systems. WCET 2003: 21-38

Stefan M. Petters: Comparison of Trace Generation Methods for Measurement Based WCET Analysis. WCET 2003: 75-78

Guillem Bernat, Antoine Colin, Stefan M. Petters: WCET Analysis of Probabilistic Hard Real-Time System. RTSS 2002: 279-288

Stefan M. Petters, Alexander von Bülow: Laufzeitbestimmung von Realzeitsoftware (Bounding the Execution Time of Software in Realtime Systems). it+ti - Informationstechnik und Technische Informatik 43(4): 206-214 (2001)

Stefan M. Petters, Annette Muth, Thomas Kolloch, Thomas Hopfner, Franz Fischer, Georg Färber: The REAR Framework for Emulation and Analysis of Embedded Hard Real-Time Systems. Design Autom. for Emb. Sys. 5(3-4): 237-250 (2000)

Franz Fischer, Thomas Hopfner, Thomas Kolloch, Annette Muth, Stefan M. Petters, Georg Färber, Matthias Dörfel, Winfried Dulz, Richard Hofmann, Andreas Mitschele-Thiel, Ralf Münzenberger, Frank Slomka: Rapid Prototyping von Realzeitsystemen mit SDL (Rapid Prototyping of Real Time Systems using SDL). it+ti - Informationstechnik und Technische Informatik 42(2): 45-53 (2000)

Stefan M. Petters: Bounding the execution time of real-time tasks on modern processors. RTCSA 2000: 498-502

Stefan M. Petters, Annette Muth, Thomas Kolloch, Thomas Hopfner, Franz Fischer, Georg Färber: The REAR Framework for Emulation and Analysis of Embedded Hard Real-Time Systems . IEEE International Workshop on Rapid System Prototyping 1999: 100-107

Stefan M. Petters, Georg Färber: Making Worst Case Execution Time Analysis for Hard Real-Time Tasks on State of the Art Processors Feasible. RTCSA 1999: 442-