Bernhard Steffen

Cited by

	All	Since 2017
Citations	15431	3511
h-index	67	28
i10-index	251	109

980

490

245

735

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202282 92 156 244 295 399 333 377 395 320 319 367 438 402 435 493 550 496 651 454 558 796 688 971 509 691 519 758 797 509 772 152

Public access

View all

9 articles

4 articles

available

not available

Based on funding mandates

Co-authors

Tiziana MargariaUniversity of Limerick - Lero, The Irish Software Research Centre, - Confirm, Centre for SmartVerified email at ul.ie
Falk HowarTU DortmundVerified email at tu-dortmund.de
Demetri TerzopoulosDistinguished Professor & Chancellor's Professor of Computer Science, UCLAVerified email at cs.ucla.edu
Stefan NaujokatResearcher, TU DortmundVerified email at tu-dortmund.de
Maik MertenTeacher, Federal University of Applied Administrative SciencesVerified email at tu-dortmund.de
Rance CleavelandDepartment of Computer Science, University of MarylandVerified email at cs.umd.edu
Malte IsbernerStackRox Inc.Verified email at stackrox.com
Anna-Lena LamprechtUtrecht University, Department of Information and Computing SciencesVerified email at uu.nl
Oscar NierstraszProfessor of Computer Science, Software Composition Group, University of BernVerified email at inf.unibe.ch
Johannes NeubauerPostdoctoral researcher in computer science, TU DortmundVerified email at cs.tu-dortmund.de
Sofia CasselPostdoctoral researcher, KTH Royal Institute of TechnologyVerified email at kth.se
Joachim ParrowProfessor in Computing Science, Uppsala UniversityVerified email at it.uu.se
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerified email at cs.sunysb.edu
Mike HincheyLero-the Irish Software Engineering Research CentreVerified email at lero.ie
Susanne GrafResearch Director, CNRS, Grenoble University, VerimagVerified email at imag.fr
Martin LeuckerProfessor of Computer Science, University of LübeckVerified email at isp.uni-luebeck.de
Helmut SeidlProfessor für Informatik, TU MünchenVerified email at in.tum.de
Rob van GlabbeekData61, CSIRO and UNSWVerified email at cs.stanford.edu
Jan JürjensUniversität Koblenz-Landau, GermanyVerified email at jurjens.de

Bernhard Steffen

Professor für Informatik, TU Dortmund

Verified email at cs.uni-dortmund.de

Programmiersysteme Verifikation Validierung Model Checking Automata Learning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The concurrency workbench: A semantics-based tool for the verification of concurrent systems R Cleaveland, J Parrow, B Steffen ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (1), 36-72, 1993	785	1993
Reactive, generative, and stratified models of probabilistic processes RJ VanGlabbeek, SA Smolka, B Steffen Information and Computation 121 (1), 59-80, 1995	669	1995
Reactive, generative, and stratified models of probabilistic processes RJ VanGlabbeek, SA Smolka, B Steffen Information and Computation 121 (1), 59-80, 1995	669	1995
Lazy code motion J Knoop, O Rüthing, B Steffen Proceedings of the ACM SIGPLAN 1992 conference on Programming language …, 1992	375	1992
Optimal code motion: Theory and practice J Knoop, O Rüthing, B Steffen ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (4), 1117-1155, 1994	277	1994
The concurrency workbench R Cleaveland, J Parrow, B Steffen International Conference on Computer Aided Verification, 24-37, 1989	275	1989
Partial dead code elimination J Knoop, O Rüthing, B Steffen ACM SIGPLAN Notices 29 (6), 147-158, 1994	274	1994
Verification on infinite structures O Burkart, D Caucal, F Moller, B Steffen Handbook of Process algebra, 545-623, 2001	266	2001
Model-driven development with the jABC B Steffen, T Margaria, R Nagel, S Jörges, C Kubczak Haifa verification conference, 92-108, 2006	251	2006
Model-checking M Müller-Olm, D Schmidt, B Steffen International Static Analysis Symposium, 330-354, 1999	251	1999
A linear-time model-checking algorithm for the alternation-free modal mu-calculus R Cleaveland, B Steffen Formal methods in system design 2 (2), 121-147, 1993	226	1993
The interprocedural coincidence theorem J Knoop, B Steffen International Conference on Compiler Construction, 125-140, 1992	193	1992
Data flow analysis as model checking B Steffen International Symposium on Theoretical Aspects of Computer Software, 346-364, 1991	192	1991
Model checking for context-free processes O Burkart, B Steffen International Conference on Concurrency Theory, 123-137, 1992	181	1992
Faster model checking for the modal mu-calculus R Cleaveland, M Klein, B Steffen International Conference on Computer Aided Verification, 410-422, 1992	175	1992
Program Analysis as Model Checking of Abstract Interpretations D Schmidt, B Steffen International Static Analysis Symposium, 351-380, 1998	174	1998
Learnlib: A library for automata learning and experimentation H Raffelt, B Steffen, T Berg Proceedings of the 10th international workshop on Formal methods for …, 2005	171	2005
A linear-time model-checking algorithm for the alternation-free modal mu-calculus R Cleaveland, B Steffen International Conference on Computer Aided Verification, 48-58, 1991	159	1991
Compositional minimization of finite state systems S Graf, B Steffen International Conference on Computer Aided Verification, 186-196, 1990	157	1990
Domain-specific optimization in automata learning H Hungar, O Niese, B Steffen International Conference on Computer Aided Verification, 315-327, 2003	154	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors