← Back to directory
Bernhard Steffen
Researcher Next ID · RN-000196
Professor · Computer Science
Dortmund, Germany
Not currently recruitingFunding unknown
- Works count
- 563
- Citation count
- 14,980
- H-index
- 65
- i10-index
- 281
About
563 publications and 14,980 citations recorded on OpenAlex.
Research interests
Computer Science
Formal Methods in Verification
Software Testing and Debugging Techniques
Model-Driven Software Engineering Techniques
Machine Learning and Algorithms
Logic, programming, and type systems
Publications
Applications of Evolutionary Computing
Lecture notes in computer science · 2009 · 10.1007/978-3-642-01129-0
Reactive, Generative, and Stratified Models of Probabilistic Processes
Information and Computation · 1995 · 10.1006/inco.1995.1123
The concurrency workbench
ACM Transactions on Programming Languages and Systems · 1993 · 10.1145/151646.151648
A linear-time model-checking algorithm for the alternation-free modal mu-calculus
Formal Methods in System Design · 1993 · 10.1007/bf01383878
Lazy code motion
Journal · 1992 · 10.1145/143095.143136
Current projects
No projects listed.