Steven M. German

	2007
27		Xiaofang Chen, Steven M. German, Ganesh Gopalakrishnan: Transaction Based Modeling and Verification of Hardware Protocols. FMCAD 2007: 53-61
	2006
26		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		Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan: Symbolic Partial Order Reduction for Rule Based Transition Systems. CHARME 2005: 332-335
	2004
24		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		Steven M. German: Formal Design of Cache Memory Protocols in IBM. Formal Methods in System Design 22(2): 133-141 (2003)
	2001
22		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		Edmund M. Clarke, Steven M. German, Yuan Lu, Helmut Veith, Dong Wang: Executable Protocol Specification in ESL. FMCAD 2000: 197-216
	1999
20		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		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		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		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		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

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page