John Regehr

发表

John Regehr, Nathan Cooprider, 2007, Electron. Notes Theor. Comput. Sci..
John Regehr, Peter Bailis, 2017, Commun. ACM.
Peng Li, John Regehr, Will Dietz, 2012, 2012 34th International Conference on Software Engineering (ICSE).
Philip Levis, John Regehr, Omprakash Gnawali, 2009, SOSP '09.
Michael B. Jones, John Regehr, J. Regehr, 1999, Proceedings of the Fifth IEEE Real-Time Technology and Applications Symposium.
Alex Groce, John Regehr, Chaoqiang Zhang, 2014, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation.
John Regehr, Sanjoy Baruah, Joël Goossens, 2004, RTSS 2004.
John Regehr, Joël Goossens, Gabriel Othmezouri, 2003, RTSS 2003.
John Regehr, Jay Lepreau, Alastair Reid, 2002 .
John Regehr, Kirk Webb, Alastair David Reid, 2003, TECS.
Eric Eide, John Regehr, Jay Lepreau, 2004, Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004..
Insup Lee, John Regehr, Oleg Sokolsky, 2007, Runtime Verification.
Michael B. Jones, John Regehr, 2000 .
John Regehr, Nathan Cooprider, J. Regehr, 2006, LCTES '06.
John Regehr, Nuno P. Lopes, 2018, ArXiv.
Luca P. Carloni, John Regehr, Florence Maraninchi, 2010 .
Eric Eide, John Regehr, J. Regehr, 2008, EMSOFT '08.
John Regehr, J. Regehr, 2005 .
John Regehr, Zhengyang Liu, Jubi Taneja, 2020, CGO.
Xuejun Yang, John Regehr, Nathan Cooprider, 2009, LCTES '09.
Chung-Kil Hur, John Regehr, Ralf Jung, 2018, Proc. ACM Program. Lang..
John Regehr, John A. Stankovic, 2001, Proceedings Seventh IEEE Real-Time Technology and Applications Symposium.
John Regehr, Kirk Webb, Alastair David Reid, 2003, EMSOFT.
John Regehr, John A. Stankovic, J. Stankovic, 2000, OPSR.
John Regehr, Santosh Nagarakatte, Nuno P. Lopes, 2015, PLDI.
Chung-Kil Hur, John Regehr, Sanjoy Das, 2017, PLDI.
John Regehr, Jubi Taneja, Zhengyang Liu, 2020 .
Philip Levis, John Regehr, Will Archer, 2007, IPSN.
John Regehr, Usit Duongsaa, J. Regehr, 2004 .
Alex Groce, John Regehr, Chaoqiang Zhang, 2016, Softw. Test. Verification Reliab..
Michael B. Jones, John Regehr, John A. Stankovic, 2000 .
Michael B. Jones, Stefan Saroiu, John Regehr, 2001, Proceedings Seventh IEEE Real-Time Technology and Applications Symposium.
Alex Groce, Eric Eide, Weng-Keen Wong, 2013, PLDI.
Alex Groce, Eric Eide, John Regehr, 2012, ISSTA 2012.
John Regehr, Matthew Flatt, Adam Wick, 2009, ISMM '09.
John Regehr, Usit Duongsaa, J. Regehr, 2005, LCTES.
John Regehr, Usit Duongsaa, J. Regehr, 2005, LCTES '05.
Eric Eide, David Gay, John Regehr, 2007, SenSys '07.
John Regehr, Luca Abeni, S. Anna, 2002 .
John Regehr, J. Regehr, 2005, EMSOFT.
Eric Eide, John Regehr, Jay Lepreau, 2002, ICSE '02.
Xuejun Yang, Eric Eide, John Regehr, 2012, PLDI.
Michael B. Jones, John Regehr, 1999, Proceedings of the Seventh Workshop on Hot Topics in Operating Systems.
Mike Hibler, John Regehr, Aaron Paulos, 2011, Middleware '11.
John Regehr, Nathan Cooprider, 2007, PLDI '07.
Xuejun Yang, John Regehr, Virgile Prevosto, 2012, NASA Formal Methods.
John Regehr, Alastair Reid, 2003 .
John Regehr, Zhengyang Liu, Manasij Mukherjee, 2020, Proc. ACM Program. Lang..
Eric Eide, John Regehr, Venkat Chakravarthy, 2008, AOSD.
John Regehr, Will Dietz, Peng Li, 2012, ICSE 2012.
Peng Li, John Regehr, Peng Li, 2010, IPSN '10.
John Regehr, Nathan Cooprider, 2008, SIGBED.
Alex Groce, Eric Eide, John Regehr, 2013, 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE).
John Regehr, J. Regehr, 2013, PLDI 2013.
Mike Hibler, John Regehr, Aaron Paulos, 2011 .
John Regehr, J. Regehr, 2002, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..
Alex Groce, Eric Eide, Weng-Keen Wong, 2013, ACM-SIGPLAN Symposium on Programming Language Design and Implementation.
John Regehr, John A. Stankovic, J. Stankovic, 2001, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420).
John Regehr, Jay Lepreau, Kirk Webb, 2003, RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.
John Regehr, Santosh Nagarakatte, Nuno P. Lopes, 2018, Commun. ACM.
Insup Lee, John Regehr, Oleg Sokolsky, 2007, RV.
John Regehr, 2007, Handbook of Real-Time and Embedded Systems.
John Regehr, Jay Lepreau, Kirk Webb, 2002 .
David Gay, John Regehr, Nathan Cooprider, 2006, PLOS '06.
Xuejun Yang, Eric Eide, John Regehr, 2011, PLDI '11.
Bjorn De Sutter, John Regehr, Guodong Li, 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
John Regehr, 2006, IEEE Distributed Syst. Online.
John Regehr, Raimondas Sasnauskas, J. Regehr, 2014, WODA+PERTEA 2014.
John Regehr, Anton Burtsev, A. Burtsev, 2013 .
Mike Hibler, Eric Eide, John Regehr, 2016, VEE.
John Regehr, J. Regehr, 2002, USENIX Annual Technical Conference, FREENIX Track.
John Regehr, Yang Chen, Jeroen Ketema, 2017, ArXiv.
Eric Eide, John Regehr, Nathan Cooprider, 2006, PLOS '06.
Chung-Kil Hur, John Regehr, Nuno P. Lopes, 2021, PLDI.
John Regehr, John A. Stankovic, Marty Humphrey, 2000 .