Philip Koopman
发表
Philip Koopman,
1988
.
Philip Koopman,
2007,
LADC.
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,
1990
.
Philip Koopman,
Bhargav P. Upender,
1993
.
Philip Koopman,
Tridib Chakravarty,
2001
.
Mary Shaw,
Christos Faloutsos,
Philip Koopman,
2004
.
Philip Koopman,
Jennifer Black,
2008,
2008 14th IEEE Pacific Rim International Symposium on Dependable Computing.
Philip Koopman,
P. Koopman,
2009
.
Philip Koopman,
2011
.
Rajeev Gandhi,
Priya Narasimhan,
Howie Choset,
2005,
TECS.
Philip Koopman,
1990
.
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,
Aaron Collins,
William F. Keown,
1992,
CARN.
Philip Koopman,
2017,
SCAV@CPSWeek.
Philip Koopman,
2002
.
Philip Koopman,
Justin Ray,
P. Koopman,
2006,
International Conference on Dependable Systems and Networks (DSN'06).
Philip Koopman,
Geoffrey R. Hendrey,
1999
.
Philip Koopman,
Christopher Szilagyi,
2010,
WESS '10.
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
.
Philip Koopman,
Henrique Madeira,
1999
.
Philip Koopman,
Alan M. Finn,
1994
.
Philip Koopman,
2011
.
Philip Koopman,
P. Koopman,
1998
.
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,
2014
.
Philip Koopman,
P. Koopman,
2010
.
Philip Koopman,
Beth Osyk,
P. Koopman,
2019,
SAE Technical Paper Series.
Philip Koopman,
Arjun Cholkar,
1999,
WSC '99.
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.
Charles P. Shelton,
Philip Koopman,
2001
.
Philip Koopman,
Brendan Hall,
Kevin R. Driscoll,
2015
.
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.
Philip Koopman,
1988
.
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,
Kobey Devale,
John Peter Devale,
2008
.
Philip Koopman,
Michael D. Wagner,
P. Koopman,
2020,
SAFECOMP Workshops.
Philip Koopman,
2018,
SAFECOMP.
Philip Koopman,
2013
.
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,
Peter Lee,
1991
.
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).
Philip Koopman,
2011
.
Priya Narasimhan,
Philip Koopman,
Jennifer Black,
2005
.
Philip Koopman,
Peter Lee,
1989
.
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,
Michelle Bayouth,
1998
.
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,
1990
.
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,
1990
.
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,
1990
.
Philip Koopman,
John DeVale,
P. Koopman,
1999,
Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352).
Daniel P. Siewiorek,
Philip Koopman,
1991
.
Philip Koopman,
Jennifer Black,
Theresa Maxino,
2007
.
Philip Koopman,
William Nace,
Linux Handhelds,
2001
.
Philip Koopman,
1990
.
Philip Koopman,
Jennifer Black,
2003
.
Philip Koopman,
Elizabeth Latronico,
2003
.
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,
Marilyn Wolf,
Ahmed Abdallah,
2010
.
Philip Koopman,
Arjun Cholkar,
1999
.
Philip Koopman,
Elizabeth Latronico,
Paul S. Miner,
2004,
International Conference on Dependable Systems and Networks, 2004.
Philip Koopman,
1990
.
Philip Koopman,
Christopher Martin,
Beth Latronico,
2001
.
Philip Koopman,
P. Koopman,
2003
.
Philip Koopman,
Jennifer Morris,
P. Koopman,
2003
.
Philip Koopman,
Jack Weast,
Beth Osyk,
2019,
SAFECOMP.
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
.
Philip Koopman,
1987
.
Philip Koopman,
Glen B. Haydon,
1992
.
Philip Koopman,
Justin Ray,
2010,
MMB/DFT.
Philip Koopman,
William Nace,
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,
Henrique Madeira,
2001
.
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).
Philip Koopman,
Eushiuan Tran,
1997
.
Daniel P. Siewiorek,
Philip Koopman,
1991
.
Philip Koopman,
P. Koopman,
2002,
Proceedings International Conference on Dependable Systems and Networks.
Philip Koopman,
John V. D'Anniballe,
1993
.
Philip Koopman,
Elizabeth Latronico,
2005,
2005 International Conference on Dependable Systems and Networks (DSN'05).
Philip Koopman,
Bhargav P. Upender,
1994
.
Philip Koopman,
Aaron Collins,
William F. Keown,
1992,
PERV.
Philip Koopman,
1991,
FORTH '90 and '91.
Philip Koopman,
1998,
Integr. Comput. Aided Eng..
Philip Koopman,
P. Koopman,
1995
.
Philip Koopman,
Daniel P. Siewiorek,
1991
.
Philip Koopman,
William Nace,
2000,
DIPES.
Philip Koopman,
Jeffery P. Hansen,
Carol L. Hoover,
2001
.
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.
Charles P. Shelton,
Philip Koopman,
C. Shelton,
2002
.
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
.