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

Steven M. German Vis

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

*2007
27EEXiaofang Chen, Steven M. German, Ganesh Gopalakrishnan: Transaction Based Modeling and Verification of Hardware Protocols. FMCAD 2007: 53-61
2006
26EERitwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan: Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications. SPIN 2006: 252-270
2005
25EERitwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan: Symbolic Partial Order Reduction for Rule Based Transition Systems. CHARME 2005: 332-335
2004
24EEDean G. Bair, Steven M. German, William D. Wollyung, Edward J. Kaminski Jr., James Schafer, Michael P. Mullen, William J. Lewis, Rebecca Wisniewski, Joerg Walter, Steven Mittermaier, Visda Vokhshoori, Robert J. Adkins, Michael Halas, Thomas Ruane, Ursel Hahn: Functional verification of the z990 superscalar, multibook microprocessor complex. IBM Journal of Research and Development 48(3-4): 347-366 (2004)
2003
23EESteven M. German: Formal Design of Cache Memory Protocols in IBM. Formal Methods in System Design 22(2): 133-141 (2003)
2001
22EERandal E. Bryant, Steven M. German, Miroslav N. Velev: Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic. ACM Trans. Comput. Log. 2(1): 93-134 (2001)
2000
21EEEdmund M. Clarke, Steven M. German, Yuan Lu, Helmut Veith, Dong Wang: Executable Protocol Specification in ESL. FMCAD 2000: 197-216
1999
20EERandal E. Bryant, Steven M. German, Miroslav N. Velev: Exploiting Positive Equality in a Logic of Equality with Uninterpreted Functions. CAV 1999: 470-482
19 Randal E. Bryant, Steven M. German, Miroslav N. Velev: Microprocessor Verification Using Efficient Decision Procedures for a Logic of Equality with Uninterpreted Functions. TABLEAUX 1999: 1-13
18EERandal E. Bryant, Steven M. German, Miroslav N. Velev: Processor Verification Using Efficient Reductions of the Logic of Uninterpreted Functions to Propositional Logic CoRR cs.LO/9910014: (1999)
17 Steven M. German: Introduction to the Special Issue on Verification of Arithmetic Hardware. Formal Methods in System Design 14(1): 5-6 (1999)
16 Edmund M. Clarke, Steven M. German, Xudong Zhao: Verifying the SRT Division Algorithm Using Theorem Proving Techniques. Formal Methods in System Design 14(1): 7-44 (1999)
1996
15EEEdmund M. Clarke, Steven M. German, Xudong Zhao: Verifying the SRT Division Algorithm Using Theorem Proving Techniques. CAV 1996: 111-122
14 Steven M. German: Research Goals for Formal Methods. ACM Comput. Surv. 28(4es): 118 (1996)
1992
13EESteven M. German: Programming in a General Model of Synchronization. CONCUR 1992: 534-549
12EESteven M. German, A. Prasad Sistla: Reasoning about Systems with Many Processes. J. ACM 39(3): 675-735 (1992)
11 Steven M. German: Semantics and Reasoning with Free Procedures. Theor. Comput. Sci. 97(1): 67-81 (1992)
1989
10 Steven M. German, Edmund M. Clarke, Joseph Y. Halpern: Reasoning about Procedures as Parameters in the Language L4 Inf. Comput. 83(3): 265-359 (1989)
1987
9 A. Prasad Sistla, Steven M. German: Reasoning with Many Processes LICS 1987: 138-152
1986
8 Steven M. German, Edmund M. Clarke, Joseph Y. Halpern: True Relative Completeness of an Axiom System for the Language L4 (Abridged) LICS 1986: 11-25
1984
7 Steven M. German: Monitoring for Deadlock and Blocking in Ada Tasking. IEEE Trans. Software Eng. 10(6): 764-777 (1984)
1983
6 Steven M. German, Edmund M. Clarke, Joseph Y. Halpern: Reasoning About Procedures as Parameters. Logic of Programs 1983: 206-220
5EEEdmund M. Clarke, Steven M. German, Joseph Y. Halpern: Effective Axiomatizations of Hoare Logics J. ACM 30(3): 612-636 (1983)
1982
4 Edmund M. Clarke, Steven M. German, Joseph Y. Halpern: On Effective Axiomatizations of Hoare Logics. POPL 1982: 309-321
1978
3 Steven M. German: Automating Proofs of the Absence of Common Runtime Errors. POPL 1978: 105-118
1975
2EESteven M. German, Ben Wegbreit: A synthesizer of inductive assertions. AFIPS National Computer Conference 1975: 369-376
1 Steven M. German, Ben Wegbreit: A Synthesizer of Inductive Assertions. IEEE Trans. Software Eng. 1(1): 68-75 (1975)

Coauthor Index

1Robert J. Adkins [24]
2Dean G. Bair [24]
3Ritwik Bhattacharya [25] [26]
4Randal E. Bryant [18] [19] [20] [22]
5Xiaofang Chen [27]
6Edmund M. Clarke [4] [5] [6] [8] [10] [15] [16] [21]
7Ganesh Gopalakrishnan [25] [26] [27]
8Ursel Hahn [24]
9Michael Halas [24]
10Joseph Y. Halpern [4] [5] [6] [8] [10]
11Edward J. Kaminski Jr. [24]
12William J. Lewis [24]
13Yuan Lu [21]
14Steven Mittermaier [24]
15Michael P. Mullen [24]
16Thomas Ruane [24]
17James Schafer [24]
18A. Prasad Sistla [9] [12]
19Helmut Veith [21]
20Miroslav N. Velev [18] [19] [20] [22]
21Visda Vokhshoori [24]
22Joerg Walter [24]
23Dong Wang [21]
24Ben Wegbreit [1] [2]
25Rebecca Wisniewski [24]
26William D. Wollyung [24]
27Xudong Zhao [15] [16]

Colors in the list of coauthors

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