Philip Koopman

发表

Philip Koopman, 1988 .

Daniel P. Siewiorek, Philip Koopman, Yennun Huang, 2001, 2001 International Conference on Dependable Systems and Networks.

Philip Koopman, Michael Paulitsch, Jennifer Morris, 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05).

Bernd Finkbeiner, Maria Laura Delle Monache, Philip Koopman, 2017, SCAV@CPSWeek.

Philip Koopman, Jennifer Morris, 2005, ACM SIGSOFT Softw. Eng. Notes.

Philip Koopman, Marilyn Wolf, Eric Feron, 2010, Proceedings of the IEEE.

Philip Koopman, Bhargav P. Upender, 1993 .

Philip Koopman, Jennifer Black, 2008, 2008 14th IEEE Pacific Rim International Symposium on Dependable Computing.

Philip Koopman, P. Koopman, 2009 .

Rajeev Gandhi, Priya Narasimhan, Howie Choset, 2005, TECS.

Philip Koopman, Michelle Bayouth, 1998, J. Intell. Transp. Syst..

Philip Koopman, P. Koopman, 1996, Proceedings International Conference on Computer Design. VLSI in Computers and Processors.

Daniel P. Siewiorek, Philip Koopman, 1991 .

Philip Koopman, Paul Vernaza, David Guttendorf, 2015, 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

Philip Koopman, 2018, IEEE Consumer Electron. Mag..

Philip Koopman, Brendan Hall, Justin Ray, 2009 .

Philip Koopman, Christopher Szilagyi, 2013, IEEE Security & Privacy.

Philip Koopman, Justin Ray, P. Koopman, 2006, International Conference on Dependable Systems and Networks (DSN'06).

Philip Koopman, Geoffrey R. Hendrey, 1999 .

Philip Koopman, Michael D. Wagner, Uma Ferrell, 2019, SAFECOMP Workshops.

Daniel P. Siewiorek, Philip Koopman, 1991 .

Mary Shaw, Philip Koopman, Orna Raz, 2002 .

Philip Koopman, Daniel P. Siewiorek, 1991 .

Mary Shaw, Philip Koopman, Orna Raz, 2002, WOSS '02.

Philip Koopman, Michael Wagner, Justin Ray, 2017 .

Philip Koopman, Jonathan K. Chang, David Guttendorf, 2018, 2018 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR).

Philip Koopman, P. Koopman, 2010 .

Philip Koopman, Beth Osyk, P. Koopman, 2019, SAE Technical Paper Series.

Mary Shaw, Christos Faloutsos, Philip Koopman, 2003 .

Philip Koopman, Michael Wagner, 2014 .

Philip Koopman, Michael Wagner, P. Koopman, 2016 .

Philip Koopman, Robert R. Hoffman, R. Hoffman, 2003, IEEE Intell. Syst..

Philip Koopman, Tridib Chakravarty, P. Koopman, 2004, International Conference on Dependable Systems and Networks, 2004.

Philip Koopman, Aaron Kane, 2013, CARS@SAFECOMP.

Edward A. Lee, Alberto L. Sangiovanni-Vincentelli, Sharad Malik, 2000, DAC.

Peter Lee, Philip Koopman, P. Lee, 1989, PLDI '89.

Philip Koopman, Frank Fratrik, P. Koopman, 2019, SafeAI@AAAI.

Daniel P. Siewiorek, Philip Koopman, 1988, Proceedings., 2nd Symposium on the Frontiers of Massively Parallel Computation.

Charles P. Shelton, Philip Koopman, 2004, International Conference on Dependable Systems and Networks, 2004.

Charles P. Shelton, Philip Koopman, C. Shelton, 2002, WADS.

Mary Shaw, Philip Koopman, Orna Raz, 2002, ICSE '02.

Daniel Kroening, Philip Koopman, Jennifer Morris, 2004, International Conference on Dependable Systems and Networks, 2004.

Philip Koopman, Jennifer Black, Theresa Maxino, 2007 .

Philip Koopman, John DeVale, 2001, 2001 International Conference on Dependable Systems and Networks.

Philip Koopman, 1998, Proceedings Computer Security, Dependability, and Assurance: From Needs to Solutions (Cat. No.98EX358).

Philip Koopman, Elizabeth Latronico, 2001, UML.

Philip Koopman, Michael D. Wagner, P. Koopman, 2020, SAFECOMP Workshops.

Philip Koopman, Christopher Szilagyi, 2009, 2009 IEEE/IFIP International Conference on Dependable Systems & Networks.

Philip Koopman, Jeffery P. Hansen, Carol L. Hoover, 1999, Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering.

Philip Koopman, 2012, DSN 2012.

Philip Koopman, Christopher Martin, 2004, 10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings..

Philip Koopman, Claire Le Goues, David Guttendorf, 2020, 2020 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks-Supplemental Volume (DSN-S).

Philip Koopman, Claire Le Goues, Michael D. Wagner, 2017, 2018 IEEE/ACM 40th International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP).

Priya Narasimhan, Philip Koopman, Jennifer Black, 2005 .

Philip Koopman, 1993 .

Philip Koopman, John DeVale, P. Koopman, 2002, Proceedings International Conference on Dependable Systems and Networks.

Mary Shaw, Christos Faloutsos, Philip Koopman, 2004, SEKE.

Philip Koopman, John DeVale, P. Koopman, 2000, IEEE Trans. Software Eng..

Philip Koopman, Christopher Szilagyi, P. Koopman, 2012 .

Philip Koopman, Michael D. Wagner, P. Koopman, 2017, IEEE Intelligent Transportation Systems Magazine.

Peter Lee, Daniel P. Siewiorek, Philip Koopman, 1990, Proceedings. 1990 International Conference on Computer Languages.

Philip Koopman, Michael Wagner, P. Koopman, 2018 .

Philip Koopman, Justin Ray, 2009, 2009 IEEE/IFIP International Conference on Dependable Systems & Networks.

Philip Koopman, Elizabeth Latronico, Elizabeth Latronico, 2005 .

Daniel P. Siewiorek, Philip Koopman, Christopher P. Dingman, 1997, Proceedings of SRDS'97: 16th IEEE Symposium on Reliable Distributed Systems.

Philip Koopman, Anupam Datta, Omar Chowdhury, 2015, RV.

Daniel P. Siewiorek, Philip Koopman, 1991 .

Charles P. Shelton, Philip Koopman, William Nace, 2003, Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003)..

Philip Koopman, John DeVale, P. Koopman, 1999, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352).

Philip Koopman, Jennifer Black, Theresa Maxino, 2007 .

Philip Koopman, William Nace, Linux Handhelds, 2001 .

Philip Koopman, Jennifer Black, 2009, 2009 IEEE/IFIP International Conference on Dependable Systems & Networks.

Philip Koopman, Kimberly Fernsler, 1999, Proceedings 10th International Symposium on Software Reliability Engineering (Cat. No.PR00443).

Philip Koopman, 1996 .

Philip Koopman, P. Koopman, 1996 .

Philip Koopman, Elizabeth Latronico, Paul S. Miner, 2004, International Conference on Dependable Systems and Networks, 2004.

Philip Koopman, Christopher Martin, Beth Latronico, 2001 .

Philip Koopman, P. Koopman, 2003 .

Philip Koopman, Jennifer Morris, P. Koopman, 2003 .

Philip Koopman, Thomas E. Fuhrman, Aaron Kane, 2014, 2014 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks.

Peter Lee, Daniel P. Siewiorek, Philip Koopman, 1992, TOPL.

Philip Koopman, 2004, Computer.

Philip Koopman, John Peter Devale, 2001 .

Ravishankar K. Iyer, Zbigniew T. Kalbarczyk, Philip Koopman, 2002, Dependable Systems and Networks.

Philip Koopman, Chris Szilagy, P. Koopman, 2008 .

Philip Koopman, Henrique Madeira, 2008, DSN.

Philip Koopman, Eushiuan Tran, P. Koopman, 1999 .

Charles P. Shelton, Philip Koopman, 2003 .

Daniel P. Siewiorek, Philip Koopman, J. Pan, 1999, 1999 IEEE AUTOTESTCON Proceedings (Cat. No.99CH36323).

Daniel P. Siewiorek, Philip Koopman, 1991 .

Philip Koopman, Meredith Beveridge, 2002, Proceedings of the Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. (WORDS 2002).

Daniel P. Siewiorek, Philip Koopman, 1991 .

Philip Koopman, P. Koopman, 2002, Proceedings International Conference on Dependable Systems and Networks.

Philip Koopman, Elizabeth Latronico, 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05).

Philip Koopman, Bhargav P. Upender, 1994 .

Philip Koopman, 1991, FORTH '90 and '91.

Philip Koopman, Daniel P. Siewiorek, 1991 .

Philip Koopman, William Nace, 2000, DIPES.

Philip Koopman, D. P. Siewiorek, 1992 .

Philip Koopman, Henrique Madeira, 2002, DSN.

Charles P. Shelton, Philip Koopman, Kobey Devale, 2000, Proceeding International Conference on Dependable Systems and Networks. DSN 2000.

Daniel P. Siewiorek, Philip Koopman, Nathan P. Kropp, 1998, Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224).

Philip Koopman, P. Koopman, 2010, WESE '10.

Philip Koopman, Rick VanNorman, 1990 .

Philip Koopman, P. Koopman, 1990 .

Philip Koopman, Claire Le Goues, Milda Zizyte, 2021, 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S).

Benjamin Kuipers, Philip Koopman, Marilyn Wolf, 2021, Computer.

Philip Koopman, Aaron Kane, P. Koopman, 2018 .

Philip Koopman, Jennifer Morris, 2005 .

Philip Koopman, 2018 .