Concepedia
Statistics
Publications
123
Citations
6.3K
H-Index
44
Active since
1989
Affiliations
TU Dortmund University(Current)
University of Potsdam
University of Passau
Forschungszentrum Jülich
University of Göttingen
Bernhard Steffen is an author at TU Dortmund University specializing in computing, computer science, and systems engineering.
Publications per year
1989–2023
The concurrency workbench
Rance Cleaveland, Joachim Parrow, Bernhard Steffen · ACM Transactions on Programming Languages and Systems · 1993 · 555 citations · Full text
Computing, Computer Science, Computer Systems +17
Reactive, Generative, and Stratified Models of Probabilistic Processes
R.J. vanGlabbeek, Scott A. Smolka, Bernhard Steffen · Information and Computation · 1995 · 350 citations
Computing, Computer Science, Formal Methods +16
Lazy code motion
Jens Knoop, Oliver Rüthing, Bernhard Steffen · 1992 · 261 citations · Full text
Computing, Computer Engineering, Computer Science +17
A linear-time model-checking algorithm for the alternation-free modal mu-calculus
Rance Cleaveland, Bernhard Steffen · Formal Methods in System Design · 1993 · 223 citations
Computing, Computer Science, Algorithms +11
Optimal code motion
Jens Knoop, Oliver Rüthing, Bernhard Steffen · ACM Transactions on Programming Languages and Systems · 1994 · 202 citations · Full text
1–5 of 123