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 engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceSystems EngineeringFormal MethodsSoftware AnalysisProgram AnalysisSoftware EngineeringAutomated ReasoningFormal VerificationSoftware Design
Publications per year
1989–2023
The concurrency workbench
Rance Cleaveland, Joachim Parrow, Bernhard Steffen · ACM Transactions on Programming Languages and Systems · 1993 · 553 citations · Full text
Engineering, Verification, Computer Architecture +19
Reactive, Generative, and Stratified Models of Probabilistic Processes
R.J. vanGlabbeek, Scott A. Smolka, Bernhard Steffen · Information and Computation · 1995 · 348 citations
Stratified Models, Engineering, Probabilistic System +4
Lazy code motion
Jens Knoop, Oliver Rüthing, Bernhard Steffen · 1992 · 260 citations · Full text
Engineering, Compiler Technology, Computer Architecture +22
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
Engineering, Automated Reasoning, Modal Logic +7
Optimal code motion
Jens Knoop, Oliver Rüthing, Bernhard Steffen · ACM Transactions on Programming Languages and Systems · 1994 · 201 citations · Full text
Mathematical Programming, Engineering, Unnecessary Code Motion +20
1–5 of 123