Steven M. German

2007
27	EE	Xiaofang Chen, Steven M. German, Ganesh Gopalakrishnan: Transaction Based Modeling and Verification of Hardware Protocols. FMCAD 2007: 53-61
2006
26	EE	Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan: Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications. SPIN 2006: 252-270
2005
25	EE	Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan: Symbolic Partial Order Reduction for Rule Based Transition Systems. CHARME 2005: 332-335
2004
24	EE	Dean 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
23	EE	Steven M. German: Formal Design of Cache Memory Protocols in IBM. Formal Methods in System Design 22(2): 133-141 (2003)
2001
22	EE	Randal 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
21	EE	Edmund M. Clarke, Steven M. German, Yuan Lu, Helmut Veith, Dong Wang: Executable Protocol Specification in ESL. FMCAD 2000: 197-216
1999
20	EE	Randal 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
18	EE	Randal 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
15		Edmund 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
13		Steven M. German: Programming in a General Model of Synchronization. CONCUR 1992: 534-549
12	EE	Steven 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
5	EE	Edmund 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
2	EE	Steven 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

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

Colors in the list of coauthors