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

Philip Koopman Vis

Phil Koopman, Philip J. Koopman Jr.

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

*2008
43EEPhilip Koopman, Henrique Madeira: Message from the conference general chair and coordinator. DSN 2008
42EEJennifer Black, Philip Koopman: Indirect Control Path Analysis and Goal Coverage Strategies for Elaborating System Safety Goals in Composite Systems. PRDC 2008: 184-191
2007
41EEPhilip Koopman: Reliability, Safety, and Security in Everyday Embedded Systems (Extended Abstract). LADC 2007: 1-2
2006
40EEJustin Ray, Philip Koopman: Efficient High Hamming Distance CRCs for Embedded Networks. DSN 2006: 3-12
2005
39EEMichael Paulitsch, Jennifer Morris, Brendan Hall, Kevin Driscoll, Elizabeth Latronico, Philip Koopman: Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems. DSN 2005: 346-355
38EEElizabeth Latronico, Philip Koopman: Design Time Reliability Analysis of Distributed Fault Tolerance Algorithms. DSN 2005: 486-495
37EEJennifer Morris, Philip Koopman: Representing design tradeoffs in safety-critical systems. ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005)
36EEPhilip Koopman, Howie Choset, Rajeev Gandhi, Bruce H. Krogh, Diana Marculescu, Priya Narasimhan, JoAnn M. Paul, Ragunathan Rajkumar, Daniel P. Siewiorek, Asim Smailagic, Peter Steenkiste, Donald E. Thomas, Chenxi Wang: Undergraduate embedded system education at Carnegie Mellon. ACM Trans. Embedded Comput. Syst. 4(3): 500-528 (2005)
2004
35EEPhilip Koopman, Tridib Chakravarty: Cyclic Redundancy Code (CRC) Polynomial Selection For Embedded Networks. DSN 2004: 145-
34EEElizabeth Latronico, Paul S. Miner, Philip Koopman: Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees. DSN 2004: 275-284
33EECharles P. Shelton, Philip Koopman: Improving System Dependability with Functional Alternatives. DSN 2004: 295-
32EEJennifer Morris, Daniel Kroening, Philip Koopman: Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems. DSN 2004: 377-
31EEChristopher Martin, Philip Koopman: Representing User Workarounds as a Component of System Dependability. PRDC 2004: 353-362
30 Orna Raz, Rebecca B. Buchheit, Mary Shaw, Philip Koopman, Christos Faloutsos: Automated Assistance for Eliciting User Expectations. SEKE 2004: 80-85
29EEPhilip Koopman: Embedded System Security. IEEE Computer 37(7): 95-97 (2004)
2003
28EECharles P. Shelton, Philip Koopman, William Nace: A Framework for Scalable Analysis and Design of System-wide Graceful Degradation in Distributed Embedded Systems. WORDS 2003: 156-163
27EEPhilip Koopman, Robert R. Hoffman: Work-arounds, Make-work, and Kludges. IEEE Intelligent Systems 18(6): 70-75 (2003)
2002
26EEJohn DeVale, Philip Koopman: Robust Software - No More Excuses. DSN 2002: 145-154
25EEPhilip Koopman: 32-Bit Cyclic Redundancy Codes for Internet Applications. DSN 2002: 459-472
24 Ravishankar K. Iyer, Zbigniew Kalbarczyk, Philip Koopman, Henrique Madeira, Gunter Heiner, Karama Kanoun, Haim Levendel, Brendan Murphy, Lawrence G. Votta, Don Wilson: Joint Panel - IPDS and Workshop on Dependability Benchmarking. DSN 2002
23EEPhilip Koopman, Henrique Madeira: Workshop on Dependability Benchmarking. DSN 2002: 790-791
22EEOrna Raz, Philip Koopman, Mary Shaw: Semantic anomaly detection in online data sources. ICSE 2002: 302-312
21EECharles P. Shelton, Philip Koopman: Using Architectural Properties to Model and Measure Graceful Degradation. WADS 2002: 267-289
20EEMeredith Beveridge, Philip Koopman: Jini Meets Embedded Control Networking: A Case Study in Portability Failure. WORDS 2002: 11-18
19EEOrna Raz, Philip Koopman, Mary Shaw: Enabling automatic adaptation in systems with under-specified elements. WOSS 2002: 55-60
18EEPhilip Koopman: Guest Editor's Introduction: Critical Embedded Automotive Networks. IEEE Micro 22(4): 14-18 (2002)
2001
17EEJiantao Pan, Philip Koopman, Daniel P. Siewiorek, Yennun Huang, Robert Gruber, Mimi Ling Jiang: Robustness Testing and Hardening of CORBA ORB Implementations. DSN 2001: 141-150
16EEJohn DeVale, Philip Koopman: Performance Evaluation of Exception Handling in I/O Libraries. DSN 2001: 519
15EEElizabeth Latronico, Philip Koopman: Representing Embedded System Sequence Diagrams as a Formal Language. UML 2001: 302-316
2000
14EESharad Malik, D. K. Arvind, Edward A. Lee, Phil Koopman, Alberto L. Sangiovanni-Vincentelli, Wayne Wolf: Embedded systems education (panel abstract). DAC 2000: 519
13 William Nace, Phil Koopman: A Product Family Approach to Graceful Degradation. DIPES 2000: 131-140
12EECharles P. Shelton, Philip Koopman, Kobey Devale: Robustness Testing of the Microsoft Win32 API. DSN 2000: 261-
11EEPhil Koopman, John DeVale: The Exception Handling Effectiveness of POSIX Operating Systems. IEEE Trans. Software Eng. 26(9): 837-848 (2000)
1999
10EEPhilip Koopman, John DeVale: Comparing the Robustness of POSIX Operating Systems. FTCS 1999: 30-37
9EECarol L. Hoover, Jeffery P. Hansen, Philip Koopman, Sandeep Tamboli: The Amaranth Framework: Probabilistic, Utility-Based Quality of Service Management for High-Assurance Computing. HASE 1999: 207-216
8EEArjun Cholkar, Philip Koopman: A widely deployable Web-based network simulation framework using CORBA IDL-based APIs. Winter Simulation Conference 1999: 1587-1594
1998
7 Nathan P. Kropp, Philip J. Koopman Jr., Daniel P. Siewiorek: Automated Robustness Testing of Off-the-Shelf Software Components. FTCS 1998: 230-239
1997
6 Philip J. Koopman Jr., John Sung, Christopher P. Dingman, Daniel P. Siewiorek, Ted Marz: Comparing Operating Systems Using Robustness Benchmarks. SRDS 1997: 72-79
1996
5EEPhilip Koopman: Embedded System Design Issues (The Rest of the Story). ICCD 1996: 310-
1992
4EEPhilip J. Koopman Jr., Peter Lee, Daniel P. Siewiorek: Cache Behavior of Combinator Graph Reduction. ACM Trans. Program. Lang. Syst. 14(2): 265-297 (1992)
3 William F. Keown Jr., Philip J. Koopman Jr., Aaron Collins: Real-Time Performance of the HARRIS RTX 2000 Stack Architecture Versus the Sun 4 SPARC and the Sun 3 M68020 Architectures With a Proposed Real-Time Performance BenchMark. SIGMETRICS Performance Evaluation Review 19(4): 40-48 (1992)
1990
2 Philip J. Koopman Jr., Peter Lee, Daniel P. Siewiorek: Cache Performance of Combinator Graph Reduction. ICCL 1990: 39-48
1989
1 Philip J. Koopman Jr., Peter Lee: A Fresh Look at Combinator Graph Reduction. PLDI 1989: 110-119

Coauthor Index

1D. K. Arvind [14]
2Meredith Beveridge [20]
3Jennifer Black [42]
4Rebecca B. Buchheit [30]
5Tridib Chakravarty [35]
6Arjun Cholkar [8]
7Howie Choset [36]
8Aaron Collins [3]
9John DeVale [10] [11] [16] [26]
10Kobey Devale [12]
11Christopher P. Dingman [6]
12Kevin Driscoll [39]
13Christos Faloutsos [30]
14Rajeev Gandhi [36]
15Robert Gruber [17]
16Brendan Hall [39]
17Jeffery P. Hansen [9]
18Gunter Heiner [24]
19Robert R. Hoffman [27]
20Carol L. Hoover [9]
21Yennun Huang [17]
22Ravishankar K. Iyer (Ravi K. Iyer) [24]
23Mimi Ling Jiang [17]
24Zbigniew Kalbarczyk [24]
25Karama Kanoun [24]
26William F. Keown Jr. [3]
27Daniel Kroening (Daniel Kröning) [32]
28Bruce H. Krogh [36]
29Nathan P. Kropp [7]
30Elizabeth Latronico [15] [34] [38] [39]
31Edward A. Lee [14]
32Peter Lee [1] [2] [4]
33Haim Levendel [24]
34Henrique Madeira [23] [24] [43]
35Sharad Malik [14]
36Diana Marculescu [36]
37Christopher Martin [31]
38Ted Marz [6]
39Paul S. Miner [34]
40Jennifer Morris [32] [37] [39]
41Brendan Murphy [24]
42William Nace [13] [28]
43Priya Narasimhan [36]
44Jiantao Pan [17]
45JoAnn M. Paul [36]
46Michael Paulitsch [39]
47Ragunathan Rajkumar [36]
48Justin Ray [40]
49Orna Raz [19] [22] [30]
50Alberto L. Sangiovanni-Vincentelli [14]
51Mary Shaw [19] [22] [30]
52Charles P. Shelton [12] [21] [28] [33]
53Daniel P. Siewiorek [2] [4] [6] [7] [17] [36]
54Asim Smailagic [36]
55Peter Steenkiste [36]
56John Sung [6]
57Sandeep Tamboli [9]
58Donald E. Thomas [36]
59Lawrence G. Votta [24]
60Chenxi Wang [36]
61Don Wilson [24]
62Wayne Wolf [14]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)