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

John Regehr

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
29 Krisztián Flautner, John Regehr: Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'08), Tucson, AZ, USA, June 12-13, 2008 ACM 2008
28EEVenkat Chakravarthy, John Regehr, Eric Eide: Edicts: implementing features with flexible binding times. AOSD 2008: 108-119
27EEEric Eide, John Regehr: Volatiles are miscompiled, and what to do about it. EMSOFT 2008: 255-264
2007
26EEWill Archer, Philip Levis, John Regehr: Interface contracts for TinyOS. IPSN 2007: 158-165
25EENathan Cooprider, John Regehr: Offline compression for on-chip ram. PLDI 2007: 363-372
24EEUsa Sammapun, Insup Lee, Oleg Sokolsky, John Regehr: Statistical Runtime Checking of Probabilistic Properties. RV 2007: 164-175
23EEOleg Sokolsky, Usa Sammapun, John Regehr, Insup Lee: Runtime Verification for Wireless Sensor Network Applications. Runtime Verification 2007
22EENathan Cooprider, Will Archer, Eric Eide, David Gay, John Regehr: Efficient memory safety for TinyOS. SenSys 2007: 205-218
21EEJohn Regehr, Nathan Cooprider: Interrupt Verification via Thread Verification. Electr. Notes Theor. Comput. Sci. 174(9): 139-150 (2007)
2006
20EEJohn Regehr, Usit Duongsaa: Deriving abstract transfer functions for analyzing embedded software. LCTES 2006: 34-43
19EENathan Cooprider, John Regehr: Pluggable abstract domains for analyzing embedded software. LCTES 2006: 44-53
18EEJohn Regehr, Nathan Cooprider, David Gay: Atomicity and visibility in tiny embedded systems. PLOS 2006: 2
17EEJohn Regehr, Nathan Cooprider, Will Archer, Eric Eide: Efficient type and memory safety for tiny embedded systems. PLOS 2006: 6
16EEJohn Regehr: From the Editor: Real-Time and Embedded Systems--Teaching Reliability. IEEE Distributed Systems Online 7(5): (2006)
2005
15EEJohn Regehr: Random testing of interrupt-driven software. EMSOFT 2005: 290-298
14EEJohn Regehr, Usit Duongsaa: Preventing interrupt overload. LCTES 2005: 50-58
13EEJohn Regehr, Alastair Reid, Kirk Webb: Eliminating stack overflow by abstract interpretation. ACM Trans. Embedded Comput. Syst. 4(4): 751-778 (2005)
2004
12EEJohn Regehr, Alastair Reid: HOIST: a system for automatically deriving static analyzers for embedded systems. ASPLOS 2004: 133-143
11EEEric Eide, Tim Stack, John Regehr, Jay Lepreau: Dynamic CPU Management for Real-Time, Middleware-Based Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2004: 286-295
2003
10EEJohn Regehr, Alastair Reid, Kirk Webb: Eliminating Stack Overflow by Abstract Interpretation. EMSOFT 2003: 306-322
9EEJohn Regehr, Alastair Reid, Kirk Webb, Michael Parker, Jay Lepreau: Evolving real-time systems using hierarchical scheduling and concurrency analysis. RTSS 2003: 25-
2002
8EEEric Eide, Alastair Reid, John Regehr, Jay Lepreau: Static and dynamic structure in design patterns. ICSE 2002: 208-218
7EEJohn Regehr: Scheduling Tasks with Mixed Preemption Relations for Robustness to Timing Faults. IEEE Real-Time Systems Symposium 2002: 315-326
6EEJohn Regehr: Inferring Scheduling Behavior with Hourglass. USENIX Annual Technical Conference, FREENIX Track 2002: 143-156
2001
5EEJohn Regehr, John A. Stankovic: Augmented CPU Reservations: Towards Predictable Execution on General-Purpose Operating System. IEEE Real Time Technology and Applications Symposium 2001: 141-148
4EEMichael B. Jones, John Regehr, Stefan Saroiu: Two Case Studies in Predictable Application Scheduling Using Rialto/NT. IEEE Real Time Technology and Applications Symposium 2001: 157-164
3EEJohn Regehr, John A. Stankovic: HLS: A Framework for Composing Soft Real-Time Schedulers. IEEE Real-Time Systems Symposium 2001: 3-14
1999
2EEMichael B. Jones, John Regehr: The Problems You're Having May Not Be the Problems You Think You're Having: Results from a Latency Study of Windows NT. IEEE Real Time Technology and Applications Symposium 1999: 287-
1EEMichael B. Jones, John Regehr: The Problems You're Having May Not Be the Problems You Think You're Having: Results from a Latency Study of Windows NT. Workshop on Hot Topics in Operating Systems 1999: 96-101

Coauthor Index

1Will Archer [17] [22] [26]
2Venkat Chakravarthy [28]
3Nathan Cooprider [17] [18] [19] [21] [22] [25]
4Usit Duongsaa [14] [20]
5Eric Eide (Eric Norman Eide) [8] [11] [17] [22] [27] [28]
6Krisztián Flautner [29]
7David Gay [18] [22]
8Michael B. Jones [1] [2] [4]
9Insup Lee [23] [24]
10Jay Lepreau [8] [9] [11]
11Philip Levis [26]
12Michael Parker [9]
13Alastair David Reid (Alastair D. Reid, Alastair Reid) [8] [9] [10] [12] [13]
14Usa Sammapun [23] [24]
15Stefan Saroiu [4]
16Oleg Sokolsky [23] [24]
17Tim Stack [11]
18John A. Stankovic [3] [5]
19Kirk Webb [9] [10] [13]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)