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

David L. Dill Vis

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
145 David L. Dill, Tadayoshi Kohno: 2008 USENIX/ACCURATE Electronic Voting Workshop, July 28-29, 2008, San Jose, CA, USA, Proceedings USENIX Association 2008
144EEDavid L. Dill: A Retrospective on Murphi. 25 Years of Model Checking 2008: 77-88
143EEDavid L. Dill: Formal Verification and Biology. ATVA 2008: 3
142EEEric Whitman Smith, David L. Dill: Automatic Formal Verification of Block Cipher Implementations. FMCAD 2008: 1-7
141EECristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler: EXE: Automatically Generating Inputs of Death. ACM Trans. Inf. Syst. Secur. 12(2): (2008)
140EEDavid L. Dill, Daniel Castro: Point/counterpoint: The U.S. should ban paperless electronic voting machines. Commun. ACM 51(10): 29-33 (2008)
2007
139EEVijay Ganesh, David L. Dill: A Decision Procedure for Bit-Vectors and Arrays. CAV 2007: 519-531
2006
138EECristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler: EXE: automatically generating inputs of death. ACM Conference on Computer and Communications Security 2006: 322-335
137EEDavid L. Dill: I Think I Voted: E-Voting vs. Democracy. CAV 2006: 2
136EEHusam Abu-Haimed, David L. Dill, Sergey Berezin: A Refinement Method for Validity Checking of Quantified First-Order Formulas in Hardware Verification. FMCAD 2006: 145-152
135EECarolyn L. Talcott, David L. Dill: Multiple Representations of Biological Processes. T. Comp. Sys. Biology: 221-245 (2006)
2005
134EEDebashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill: A New Reachability Algorithm for Symmetric Multi-processor Architecture. ATVA 2005: 26-38
133EEDebashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill, E. Allen Emerson: Predictive Reachability Using a Sample-Based Approach. CHARME 2005: 388-392
132EEDebashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill, E. Allen Emerson: Multi-threaded reachability. DAC 2005: 467-470
131EEMadanlal Musuvathi, David L. Dill: An Incremental Heap Canonicalization Algorithm. SPIN 2005: 28-42
130EEDavid L. Dill, Merrill Knapp, Pamela Gage, Carolyn L. Talcott, Keith Laderoute, Patrick Lincoln: The Pathalyzer: A Tool for Analysis of Signal Transduction Pathways. Systems Biology and Regulatory Genomics 2005: 11-22
2004
129EEJacob Chang, Sergey Berezin, David L. Dill: Using Interface Refinement to Integrate Formal Verification into the Design Cycle. CAV 2004: 122-134
128EEDebashis Sahoo, Subramanian K. Iyer, Jawahar Jain, Christian Stangier, Amit Narayan, David L. Dill, E. Allen Emerson: A Partitioning Methodology for BDD-Based Verification. FMCAD 2004: 399-413
127EEDavid L. Dill: The battle of accountable voting systems. MEMOCODE 2004: 105
126EEPoorvi L. Vora, Ben Adida, Ren Bucholz, David Chaum, David L. Dill, David R. Jefferson, Douglas W. Jones, William Lattin, Aviel D. Rubin, Michael I. Shamos, Moti Yung: Evaluation of voting systems. Commun. ACM 47(11): 144 (2004)
125EEDavid L. Dill, Aviel D. Rubin: Guest Editors' Introduction: E-Voting Security. IEEE Security & Privacy 2(1): 22-23 (2004)
2003
124EEHusam Abu-Haimed, Sergey Berezin, David L. Dill: Strengthening Invariants by Symbolic Consistency Testing. CAV 2003: 407-419
123EEHusam Abu-Haimed, Sergey Berezin, David L. Dill: Semi-formal Verification of Memory Systems by Symbolic Simulation. CHARME 2003: 158-163
122EEDavid L. Dill, Patrick Lincoln: Evolution as Design Engineer. CMSB 2003: 202-206
121EECésar Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna: Event Correlation: Language and Semantics. EMSOFT 2003: 323-339
120EESergey Berezin, Vijay Ganesh, David L. Dill: An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic. TACAS 2003: 521-536
119EEDavid L. Dill, Bruce Schneier, Barbara Simons: Voting and technology: who gets to count your vote? Commun. ACM 46(8): 29-31 (2003)
2002
118EEMadanlal Musuvathi, Andy Chou, David L. Dill, Dawson R. Engler: Model checking system software with CMC. ACM SIGOPS European Workshop 2002: 219-222
117EEAaron Stump, David L. Dill: Faster Proof Checking in the Edinburgh Logical Framework. CADE 2002: 392-407
116EEClark W. Barrett, David L. Dill, Aaron Stump: Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT. CAV 2002: 236-249
115EEAaron Stump, Clark W. Barrett, David L. Dill: CVC: A Cooperating Validity Checker. CAV 2002: 500-504
114EEDavid L. Dill, Nate James, Shishpal Rawat, Gérard Berry, Limor Fix, Harry Foster, Rajeev K. Ranjan, Gunnar Stålmarck, Curt Widdoes: Formal verification methods: getting around the brick wall. DAC 2002: 576-577
113EEKanna Shimizu, David L. Dill: Deriving a simulation input generator and a coverage metric from a formal specification. DAC 2002: 801-806
112EEVijay Ganesh, Sergey Berezin, David L. Dill: Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods. FMCAD 2002: 171-186
111EESatyaki Das, David L. Dill: Counter-Example Based Predicate Discovery in Predicate Abstraction. FMCAD 2002: 19-32
110EEClark W. Barrett, David L. Dill, Aaron Stump: A Generalization of Shostak's Method for Combining Decision Procedures. FroCos 2002: 132-146
109EEMadanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill: CMC: A Pragmatic Approach to Model Checking Real Code. OSDI 2002
108EEAaron Stump, Clark W. Barrett, David L. Dill: Producing Proofs from an Arithmetic Decision Procedure in Elliptical LF. Electr. Notes Theor. Comput. Sci. 70(2): (2002)
107 Robert B. Jones, Jens U. Skakkebæk, David L. Dill: Formal Verification of Out-of-Order Execution with Incremental Flushing. Formal Methods in System Design 20(2): 139-158 (2002)
106EEKanna Shimizu, David L. Dill: Using Formal Specifications for Functional Validation of Hardware Designs. IEEE Design & Test of Computers 19(4): 96-106 (2002)
2001
105EEKanna Shimizu, David L. Dill, Ching-Tsun Chou: A Specification Methodology by a Collection of Compact Properties as Applied to the Intel® ItaniumTM Processor Bus Protocol. CHARME 2001: 340-354
104EEDavid Lie, Andy Chou, Dawson R. Engler, David L. Dill: A simple method for extracting models for protocol code. ISCA 2001: 192-203
103 Aaron Stump, Clark W. Barrett, David L. Dill, Jeremy R. Levitt: A Decision Procedure for an Extensional Theory of Arrays. LICS 2001: 29-37
102 Satyaki Das, David L. Dill: Successive Approximation of Abstract Transition Relations. LICS 2001: 51-60
101 Ulrich Stern, David L. Dill: Parallelizing the Murj Verifier. Formal Methods in System Design 18(2): 117-129 (2001)
2000
100EEDavid Y. W. Park, Ulrich Stern, Jens U. Skakkebæk, David L. Dill: Java Model Checking. ASE 2000: 253-256
99EEClark W. Barrett, David L. Dill, Aaron Stump: A Framework for Cooperating Decision Procedures. CADE 2000: 79-98
98EEChris Wilson, David L. Dill: Reliable verification using symbolic simulation with scalar values. DAC 2000: 124-129
97EEKanna Shimizu, David L. Dill, Alan J. Hu: Monitor-Based Formal Specification of PCI. FMCAD 2000: 335-353
96EEChris Wilson, David L. Dill, Randal E. Bryant: Symbolic Simulation with Approximate Values. FMCAD 2000: 470-485
95EEDavid L. Dill: Model checking Java programs. FMSP 2000: 1
94 Shankar G. Govindaraju, David L. Dill: Counterexample-Guided Choice of Projections in Approximate Symbolic Model Checking. ICCAD 2000: 115-119
93EEDavid L. Dill: Model checking Java programs (abstract only). ISSTA 2000: 179
92EESeungjoon Park, Satyaki Das, David L. Dill: Automatic checking of aggregation abstractions through stateenumeration. IEEE Trans. on CAD of Integrated Circuits and Systems 19(10): 1202-1210 (2000)
1999
91EEDavid L. Dill: Alternative Approaches to Hardware Verification (abstract). CAV 1999: 1
90EESatyaki Das, David L. Dill, Seungjoon Park: Experience with Predicate Abstraction. CAV 1999: 160-171
89EEShankar G. Govindaraju, David L. Dill, Jules P. Bergmann: Improved Approximate Reachability Using Auxiliary State Variables. DAC 1999: 312-316
88EEEllen Sentovich, David L. Dill, Serdar Tasiran: Formal verification meets simulation (tutorial abstract). ICCAD 1999: 221
87EEShankar G. Govindaraju, David L. Dill: Approximate Symbolic Model Checking using Overlapping Projections. Electr. Notes Theor. Comput. Sci. 23(2): (1999)
86 C. Norris Ip, David L. Dill: Verifying Systems with Replicated Components in Mur[b.phiv]. Formal Methods in System Design 14(3): 273-310 (1999)
85EESeungjoon Park, David L. Dill: An Executable Specification and Verifier for Relaxed Memory Order. IEEE Trans. Computers 48(2): 227-235 (1999)
84EEKenneth Y. Yun, David L. Dill: Automatic synthesis of extended burst-mode circuits. I.(Specification and hazard-free implementations). IEEE Trans. on CAD of Integrated Circuits and Systems 18(2): 101-117 (1999)
83EEKenneth Y. Yun, David L. Dill: Automatic synthesis of extended burst-mode circuits. II. (Automaticsynthesis). IEEE Trans. on CAD of Integrated Circuits and Systems 18(2): 118-132 (1999)
82EESupratik Chakraborty, Kenneth Y. Yun, David L. Dill: Timing analysis of asynchronous systems using time separation of events. IEEE Trans. on CAD of Integrated Circuits and Systems 18(8): 1061-1076 (1999)
1998
81EEUlrich Stern, David L. Dill: Using Magnatic Disk Instead of Main Memory in the Murphi Verifier. CAV 1998: 172-183
80EEJens U. Skakkebæk, Robert B. Jones, David L. Dill: Formal Verification of Out-of-Order Execution Using Incremental Flushing. CAV 1998: 98-109
79EEDavid L. Dill: What's Between Simulation and Formal Verification? (Extended Abstract). DAC 1998: 328-329
78EEShankar G. Govindaraju, David L. Dill, Alan J. Hu, Mark Horowitz: Approximate Reachability with BDDs Using Overlapping Projections. DAC 1998: 451-456
77EEClark W. Barrett, David L. Dill, Jeremy R. Levitt: A Decision Procedure for Bit-Vector Arithmetic. DAC 1998: 522-527
76EEC. Han Yang, David L. Dill: Validation with Guided Search of the State Space. DAC 1998: 599-604
75EERobert B. Jones, Jens U. Skakkebæk, David L. Dill: Reducing Manual Abstraction in Formal Verification of Out-of-Order Execution. FMCAD 1998: 2-17
74EEJeffrey X. Su, David L. Dill, Jens U. Skakkebæk: Formally Verifying Data and Control with Weak Reachability Invariants. FMCAD 1998: 387-402
73EEDavid Y. W. Park, Jens U. Skakkebæk, Mats Per Erik Heimdahl, Barbara J. Czerny, David L. Dill: Checking properties of safety critical specifications using efficient decision procedures. FMSP 1998: 34-43
72EEDavid Y. W. Park, Jens U. Skakkebæk, David L. Dill: Static Analysis to Identify Invariants in RSML Specifications. FTRTFT 1998: 133-142
71EEShankar G. Govindaraju, David L. Dill: Verification by approximate forward and backward reachability. ICCAD 1998: 366-370
70EEKenneth Y. Yun, Bill Lin, David L. Dill, Srinivas Devadas: BDD-based synthesis of extended burst-mode controllers. IEEE Trans. on CAD of Integrated Circuits and Systems 17(9): 782-792 (1998)
69EESeungjoon Park, David L. Dill: Verification of Cache Coherence Protocols by Aggregation of Distributed Transactions. Theory Comput. Syst. 31(4): 355-376 (1998)
1997
68EESupratik Chakraborty, David L. Dill, Kun-Yung Chang, Kenneth Y. Yun: Timing Analysis of Extended Burst-Mode Circuits. ASYNC 1997: 101-111
67EESupratik Chakraborty, David L. Dill: More Accurate Polynomial-Time Min-Max Timing Simulation. ASYNC 1997: 112-
66EEUlrich Stern, David L. Dill: Parallelizing the Murphi Verifier. CAV 1997: 256-278
65 Seungjoon Park, Satyaki Das, David L. Dill: Automatic Checking of Aggregation Abstractions Through State Enumeration. FORTE 1997: 207-222
64EESupratik Chakraborty, David L. Dill: Approximate algorithms for time separation of events. ICCAD 1997: 190-194
1996
63EEC. Norris Ip, David L. Dill: Verifying Systems with Replicated Components in Murphi. CAV 1996: 147-158
62EESeungjoon Park, David L. Dill: Protocol Verification by Aggregation of Distributed Transactions. CAV 1996: 300-310
61EEDavid L. Dill: The Murphi Verification System. CAV 1996: 390-393
60EEC. Norris Ip, David L. Dill: State Reduction Using Reversible Rules. DAC 1996: 564-567
59 Robert B. Jones, Carl-Johan H. Seger, David L. Dill: Self-Consistency Checking. FMCAD 1996: 159-171
58 Clark W. Barrett, David L. Dill, Jeremy R. Levitt: Validity Checking for Combinations of Theories with Equality. FMCAD 1996: 187-201
57 Jeffrey X. Su, David L. Dill, Clark W. Barrett: Automatic Generation of Invariants in Processor Verification. FMCAD 1996: 377-388
56 Ulrich Stern, David L. Dill: A New Scheme for Memory-Efficient Probabilistic Verification. FORTE 1996: 333-348
55 Seungjoon Park, David L. Dill: Verification of FLASH Cache Coherence Protocol by Aggregation of Distributed Transactions. SPAA 1996: 288-296
54 C. Norris Ip, David L. Dill: Better Verification Through Symmetry. Formal Methods in System Design 9(1/2): 41-75 (1996)
53 Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave: An Invitation to Formal Methods. IEEE Computer 29(4): 16-30 (1996)
1995
52EEDavid L. Dill, Howard Wong-Toi: Verification of Real-Time Systems by Successive Over and Under Approximation. CAV 1995: 409-422
51 Ulrich Stern, David L. Dill: Improved probabilistic verification by hash compaction. CHARME 1995: 206-224
50 Ulrich Stern, David L. Dill: Automatic verification of the SCI cache coherence protocol. CHARME 1995: 21-34
49EERobert B. Jones, David L. Dill, Jerry R. Burch: Efficient validity checking for processor verification. ICCAD 1995: 2-6
48EEKenneth Y. Yun, David L. Dill: A high-performance asynchronous SCSI controller. ICCD 1995: 44-
47EERichard C. Ho, C. Han Yang, Mark Horowitz, David L. Dill: Architecture Validation for Processors. ISCA 1995: 404-413
46EESeungjoon Park, David L. Dill: An Executable Specification, Analyzer and Verifier for RMO (Relaxed Memory Order). SPAA 1995: 34-41
45EESteven M. Nowick, David L. Dill: Exact two-level minimization of hazard-free logic with multiple-input changes. IEEE Trans. on CAD of Integrated Circuits and Systems 14(8): 986-997 (1995)
1994
44 David L. Dill: Computer Aided Verification, 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994, Proceedings Springer 1994
43EEJerry R. Burch, David L. Dill: Automatic verification of Pipelined Microprocessor Control. CAV 1994: 68-80
42EEDavid L. Dill: Hierarchical Models of Synchronous Circuits (Abstract). CONCUR 1994: 161
41EEAlan J. Hu, Gary York, David L. Dill: New Techniques for Efficient Verification with Implicitly Conjoined BDDs. DAC 1994: 276-282
40EEKenneth Y. Yun, Bill Lin, David L. Dill, Srinivas Devadas: Performance-driven synthesis of asynchronous controllers. ICCAD 1994: 550-557
39EEJerry R. Burch, Edmund M. Clarke, David E. Long, Kenneth L. McMillan, David L. Dill: Symbolic model checking for sequential circuit verification. IEEE Trans. on CAD of Integrated Circuits and Systems 13(4): 401-424 (1994)
38 Rajeev Alur, David L. Dill: A Theory of Timed Automata. Theor. Comput. Sci. 126(2): 183-235 (1994)
37EEMark E. Dean, David L. Dill, Mark Horowitz: Self-timed logic using Current-Sensing Completion Detection (CSCD). VLSI Signal Processing 7(1-2): 7-16 (1994)
1993
36EEAlan J. Hu, David L. Dill: Efficient Verification with BDDs using Implicitly Conjoined Invariants. CAV 1993: 3-14
35 C. Norris Ip, David L. Dill: Better Verification Through Symmetry. CHDL 1993: 97-111
34EEAlan J. Hu, David L. Dill: Reducing BDD Size by Exploiting Functional Dependencies. DAC 1993: 266-271
33EEPolly Siegel, Giovanni De Micheli, David L. Dill: Automatic Technology Mapping for Generalized Fundamental-Mode Asynchronous Designs. DAC 1993: 61-67
32EEKenneth Y. Yun, David L. Dill: Unifying synchronous/asynchronous state machine synthesis. ICCAD 1993: 255-260
31EEJerry R. Burch, David L. Dill, Elizabeth Wolf, Giovanni De Micheli: Modeling hierarchical combinational circuits. ICCAD 1993: 612-617
30 C. Norris Ip, David L. Dill: Efficient Verification of Symmetric Concurrent Systems. ICCD 1993: 230-234
29 Rajeev Alur, Costas Courcoubetis, David L. Dill: Model-Checking in Dense Real-time Inf. Comput. 104(1): 2-34 (1993)
1992
28EECostas Courcoubetis, David L. Dill, Magda Chatzaki, Panagiotis Tzounakis: Verification with Real-Time COSPAN. CAV 1992: 274-287
27EEAlan J. Hu, David L. Dill, Andreas J. Drexler, C. Han Yang: Higher-Level Specification and Verification with BDDs. CAV 1992: 82-95
26EERajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi: Minimization of Timed Transition Systems. CONCUR 1992: 340-354
25EEKenneth Y. Yun, David L. Dill: Automatic synthesis of 3D asynchronous state machines. ICCAD 1992: 576-580
24EESteven M. Nowick, David L. Dill: Exact two-level minimization of hazard-free logic with multiple-input changes. ICCAD 1992: 626-630
23 Steven M. Nowick, Kenneth Y. Yun, David L. Dill: Practical Asynchronous Controller Design. ICCD 1992: 341-345
22 Kenneth Y. Yun, David L. Dill, Steven M. Nowick: Synthesis of 3D Asynchronous State Machines. ICCD 1992: 346-350
21 Kenneth L. McMillan, David L. Dill: Algorithms for Interface Timing Verification. ICCD 1992: 48-51
20 David L. Dill, Andreas J. Drexler, Alan J. Hu, C. Han Yang: Protocol Verification as a Hardware Design Aid. ICCD 1992: 522-525
19EERajeev Alur, Costas Courcoubetis, David L. Dill, Nicolas Halbwachs, Howard Wong-Toi: An implementation of three algorithms for timing verification based on automata emptiness. IEEE Real-Time Systems Symposium 1992: 157-166
18 David L. Dill, Steven M. Nowick, Robert F. Sproull: Specification and Automatic Verification of Self-Timed Queues. Formal Methods in System Design 1(1): 29-60 (1992)
17 Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMillan, David L. Dill, L. J. Hwang: Symbolic Model Checking: 10^20 States and Beyond Inf. Comput. 98(2): 142-170 (1992)
1991
16EEDavid L. Dill, Alan J. Hu, Howard Wong-Toi: Checking for Language Inclusion Using Simulation Preorders. CAV 1991: 255-265
15EERajeev Alur, Costas Courcoubetis, David L. Dill: Model-Checking for Probabilistic Real-Time Systems (Extended Abstract). ICALP 1991: 115-126
14 Steven M. Nowick, David L. Dill: Automatic Synthesis of Locally-Clocked Asynchronous State Machines. ICCAD 1991: 318-321
13 Mark E. Dean, David L. Dill, Mark Horowitz: Self-Timed Logic Using Current-Sensing Completion Detection (CSCD). ICCD 1991: 187-191
12 Steven M. Nowick, David L. Dill: Synthesis of Asynchronous State Machines Using A Local Clock. ICCD 1991: 192-197
11EERajeev Alur, Costas Courcoubetis, David L. Dill: Verifying Automata Specifications of Probabilistic Real-time Systems. REX Workshop 1991: 28-44
10EERajeev Alur, David L. Dill: The Theory of Timed Automata. REX Workshop 1991: 45-73
1990
9EEHoward Wong-Toi, David L. Dill: Synthesizing Processes and Schedulers from Temporal Specifications. CAV 1990: 272-281
8EEPaul Loewenstein, David L. Dill: Verification of a Multiprocessor Cache Protocol Using Simulation Relations and Higher-Order Logic. CAV 1990: 302-311
7EEJerry R. Burch, Edmund M. Clarke, Kenneth L. McMillan, David L. Dill: Sequential Circuit Verification Using Symbolic Model Checking. DAC 1990: 46-51
6EERajeev Alur, David L. Dill: Automata For Modeling Real-Time Systems. ICALP 1990: 322-335
5 Rajeev Alur, Costas Courcoubetis, David L. Dill: Model-Checking for Real-Time Systems LICS 1990: 414-425
4 Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMillan, David L. Dill, L. J. Hwang: Symbolic Model Checking: 10^20 States and Beyond LICS 1990: 428-439
1989
3EEDavid L. Dill: Timing Assumptions and Verification of Finite-State Concurrent Systems. Automatic Verification Methods for Finite State Systems 1989: 197-212
2EEDavid L. Dill: Complete Trace Structures. Hardware Specification, Verification and Synthesis 1989: 224-243
1986
1 Michael C. Browne, Edmund M. Clarke, David L. Dill, Bud Mishra: Automatic Verification of Sequential Circuits Using Temporal Logic. IEEE Trans. Computers 35(12): 1035-1044 (1986)

Coauthor Index

1Husam Abu-Haimed [123] [124] [136]
2Ben Adida [126]
3Rajeev Alur [5] [6] [10] [11] [15] [19] [26] [29] [38]
4Clark W. Barrett (Clark Barrett) [57] [58] [77] [99] [103] [108] [110] [115] [116]
5Sergey Berezin [112] [120] [123] [124] [129] [136]
6Jules P. Bergmann [89]
7Gérard Berry [114]
8Jonathan P. Bowen [53]
9Michael C. Browne [1]
10Randal E. Bryant [96]
11Ren Bucholz [126]
12Jerry R. Burch [4] [7] [17] [31] [39] [43] [49]
13Ricky W. Butler [53]
14Cristian Cadar [138] [141]
15Daniel Castro [140]
16Supratik Chakraborty [64] [67] [68] [82]
17Jacob Chang [129]
18Kun-Yung Chang [68]
19Magda Chatzaki [28]
20David Chaum [126]
21Andy Chou [104] [109] [118]
22Ching-Tsun Chou [105]
23Edmund M. Clarke [1] [4] [7] [17] [39]
24Costas Courcoubetis [5] [11] [15] [19] [26] [28] [29]
25Barbara J. Czerny [73]
26Satyaki Das [65] [90] [92] [102] [111]
27Mark E. Dean [13] [37]
28Srinivas Devadas [40] [70]
29Andreas J. Drexler [20] [27]
30E. Allen Emerson [128] [132] [133]
31Dawson R. Engler [104] [109] [118] [138] [141]
32Limor Fix [114]
33Harry Foster [114]
34Pamela Gage [130]
35Vijay Ganesh [112] [120] [138] [139] [141]
36Robert L. Glass [53]
37Shankar G. Govindaraju [71] [78] [87] [89] [94]
38David Gries [53]
39Nicolas Halbwachs [19] [26]
40Anthony Hall [53]
41Mats Per Erik Heimdahl [73]
42Michael G. Hinchey (Mike Hinchey) [53]
43Richard C. Ho [47]
44C. Michael Holloway [53]
45Mark Horowitz [13] [37] [47] [78]
46Alan J. Hu [16] [20] [27] [34] [36] [41] [78] [97]
47L. J. Hwang [4] [17]
48C. Norris Ip [30] [35] [54] [60] [63] [86]
49Subramanian K. Iyer [128] [132] [133] [134]
50Daniel Jackson [53]
51Jawahar Jain [128] [132] [133] [134]
52Nate James [114]
53David R. Jefferson [126]
54Cliff B. Jones [53]
55Douglas W. Jones [126]
56Robert B. Jones [49] [59] [75] [80] [107]
57Merrill Knapp [130]
58Tadayoshi Kohno [145]
59Keith Laderoute [130]
60William Lattin [126]
61Jeremy R. Levitt [58] [77] [103]
62David Lie [104]
63Bill Lin [40] [70]
64Patrick Lincoln [122] [130]
65Paul Loewenstein [8]
66David E. Long [39]
67Michael J. Lutz [53]
68Zohar Manna [121]
69Kenneth L. McMillan [4] [7] [17] [21] [39]
70Giovanni De Micheli [31] [33]
71Bud Mishra (Bhubaneswar Mishra) [1]
72Madanlal Musuvathi [109] [118] [131]
73Amit Narayan [128]
74Steven M. Nowick [12] [14] [18] [22] [23] [24] [45]
75David Y. W. Park [72] [73] [100] [109]
76Seungjoon Park [46] [55] [62] [65] [69] [85] [90] [92]
77David Lorge Parnas [53]
78Peter M. Pawlowski [138] [141]
79Rajeev K. Ranjan [114]
80Shishpal Rawat [114]
81Aviel D. Rubin [125] [126]
82John M. Rushby [53]
83Debashis Sahoo [128] [132] [133] [134]
84César Sánchez [121]
85Sriram Sankaranarayanan [121]
86Bruce Schneier [119]
87Carl-Johan H. Seger [59]
88Ellen Sentovich (Ellen M. Sentovich) [88]
89Michael I. Shamos [126]
90Kanna Shimizu [97] [105] [106] [113]
91Polly Siegel [33]
92Barbara B. Simons (Barbara Simons) [119]
93Henny B. Sipma (Henny Sipma) [121]
94Jens U. Skakkebæk [72] [73] [74] [75] [80] [100] [107]
95Eric Whitman Smith [142]
96Robert F. Sproull [18]
97Gunnar Stålmarck [114]
98Christian Stangier [128]
99Ulrich Stern [50] [51] [56] [66] [81] [100] [101]
100Aaron Stump [99] [103] [108] [110] [115] [116] [117]
101Jeffrey X. Su [57] [74]
102Carolyn L. Talcott [130] [135]
103Serdar Tasiran [88]
104Panagiotis Tzounakis [28]
105Poorvi L. Vora [126]
106Curt Widdoes [114]
107Chris Wilson [96] [98]
108Jeannette M. Wing [53]
109Elizabeth Wolf [31]
110Howard Wong-Toi [9] [16] [19] [26] [52]
111C. Han Yang [20] [27] [47] [76]
112Gary York [41]
113Kenneth Y. Yun [22] [23] [25] [32] [40] [48] [68] [70] [82] [83] [84]
114Moti Yung (Mordechai M. Yung) [126]
115Pamela Zave [53]
116Ting Zhang [121]

Colors in the list of coauthors

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