The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

John Regehr: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. John Regehr, Alastair Reid
    HOIST: a system for automatically deriving static analyzers for embedded systems. [Citation Graph (0, 0)][DBLP]
    ASPLOS, 2004, pp:133-143 [Conf]
  2. John Regehr, Nathan Cooprider, David Gay
    Atomicity and visibility in tiny embedded systems. [Citation Graph (0, 0)][DBLP]
    PLOS, 2006, pp:2- [Conf]
  3. John Regehr, Nathan Cooprider, Will Archer, Eric Eide
    Efficient type and memory safety for tiny embedded systems. [Citation Graph (0, 0)][DBLP]
    PLOS, 2006, pp:6- [Conf]
  4. John Regehr
    Random testing of interrupt-driven software. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2005, pp:290-298 [Conf]
  5. John Regehr, Alastair Reid, Kirk Webb
    Eliminating Stack Overflow by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2003, pp:306-322 [Conf]
  6. Michael 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. [Citation Graph (0, 0)][DBLP]
    Workshop on Hot Topics in Operating Systems, 1999, pp:96-101 [Conf]
  7. Eric Eide, Alastair Reid, John Regehr, Jay Lepreau
    Static and dynamic structure in design patterns. [Citation Graph (0, 0)][DBLP]
    ICSE, 2002, pp:208-218 [Conf]
  8. Will Archer, Philip Levis, John Regehr
    Interface contracts for TinyOS. [Citation Graph (0, 0)][DBLP]
    IPSN, 2007, pp:158-165 [Conf]
  9. Nathan Cooprider, John Regehr
    Pluggable abstract domains for analyzing embedded software. [Citation Graph (0, 0)][DBLP]
    LCTES, 2006, pp:44-53 [Conf]
  10. John Regehr, Usit Duongsaa
    Preventing interrupt overload. [Citation Graph (0, 0)][DBLP]
    LCTES, 2005, pp:50-58 [Conf]
  11. John Regehr, Usit Duongsaa
    Deriving abstract transfer functions for analyzing embedded software. [Citation Graph (0, 0)][DBLP]
    LCTES, 2006, pp:34-43 [Conf]
  12. Eric Eide, Tim Stack, John Regehr, Jay Lepreau
    Dynamic CPU Management for Real-Time, Middleware-Based Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time and Embedded Technology and Applications Symposium, 2004, pp:286-295 [Conf]
  13. Michael 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. [Citation Graph (0, 0)][DBLP]
    IEEE Real Time Technology and Applications Symposium, 1999, pp:287-0 [Conf]
  14. Michael B. Jones, John Regehr, Stefan Saroiu
    Two Case Studies in Predictable Application Scheduling Using Rialto/NT. [Citation Graph (0, 0)][DBLP]
    IEEE Real Time Technology and Applications Symposium, 2001, pp:157-164 [Conf]
  15. John Regehr, John A. Stankovic
    Augmented CPU Reservations: Towards Predictable Execution on General-Purpose Operating System. [Citation Graph (0, 0)][DBLP]
    IEEE Real Time Technology and Applications Symposium, 2001, pp:141-148 [Conf]
  16. John Regehr
    Scheduling Tasks with Mixed Preemption Relations for Robustness to Timing Faults. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 2002, pp:315-326 [Conf]
  17. John Regehr, Alastair Reid, Kirk Webb, Michael Parker, Jay Lepreau
    Evolving real-time systems using hierarchical scheduling and concurrency analysis. [Citation Graph (0, 0)][DBLP]
    RTSS, 2003, pp:25-0 [Conf]
  18. John Regehr, John A. Stankovic
    HLS: A Framework for Composing Soft Real-Time Schedulers. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 2001, pp:3-14 [Conf]
  19. John Regehr
    Inferring Scheduling Behavior with Hourglass. [Citation Graph (0, 0)][DBLP]
    USENIX Annual Technical Conference, FREENIX Track, 2002, pp:143-156 [Conf]
  20. John Regehr
    From the Editor: Real-Time and Embedded Systems--Teaching Reliability. [Citation Graph (0, 0)][DBLP]
    IEEE Distributed Systems Online, 2006, v:7, n:5, pp:- [Journal]
  21. John Regehr, Alastair Reid, Kirk Webb
    Eliminating stack overflow by abstract interpretation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2005, v:4, n:4, pp:751-778 [Journal]
  22. Nathan Cooprider, John Regehr
    Offline compression for on-chip ram. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:363-372 [Conf]
  23. John Regehr, Nathan Cooprider
    Interrupt Verification via Thread Verification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:9, pp:139-150 [Journal]

  24. Edicts: implementing features with flexible binding times. [Citation Graph (, )][DBLP]


  25. Runtime Verification for Wireless Sensor Network Applications. [Citation Graph (, )][DBLP]


  26. Volatiles are miscompiled, and what to do about it. [Citation Graph (, )][DBLP]


  27. T-check: bug finding for sensor networks. [Citation Graph (, )][DBLP]


  28. Precise garbage collection for C. [Citation Graph (, )][DBLP]


  29. Eliminating the call stack to save RAM. [Citation Graph (, )][DBLP]


  30. Efficient memory safety for TinyOS. [Citation Graph (, )][DBLP]


  31. Surviving sensor network software faults. [Citation Graph (, )][DBLP]


  32. Statistical Runtime Checking of Probabilistic Properties. [Citation Graph (, )][DBLP]


Search in 0.051secs, Finished in 0.052secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002