Concepedia

Steven M. German

SM

Statistics

Publications

16

Citations

1K

H-Index

14

Active since

1975

Affiliations

IBM (United States)(Current)

Stanford University

Carnegie Mellon University

Harvard University

TE Laboratories (Ireland)

Steven M. German is an author at IBM (United States) specializing in computer science, formal methods, and computing.

Publications per year

1975–2010

16

Publications

16

Reasoning about systems with many processes

Steven M. German, A. Prasad Sistla · Journal of the ACM · 1992 · 443 citations · Full text

Computing, Computer Science, Computer Systems +17

Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic

Randal E. Bryant, Steven M. German, Miroslav N. Velev · ACM Transactions on Computational Logic · 2001 · 151 citations

Computing, Computer Engineering, Computer Science +17

A synthesizer of inductive assertions

Steven M. German, Ben Wegbreit · IEEE Transactions on Software Engineering · 1975 · 84 citations

Computing, Computer Engineering, Computer Science +17

Reasoning with Many Processes

A. Prasad Sistla, Steven M. German · Logic in Computer Science · 1987 · 51 citations

Computing, Computer Science, Knowledge Representation +8

Monitoring for Deadlock and Blocking in Ada Tasking

Steven M. German · IEEE Transactions on Software Engineering · 1984 · 39 citations

Computing, Computer Engineering, Computer Science +16

1–5 of 16