Bernhard Steffen

Cited by

	All	Since 2016
Citations	14505	3347
h-index	65	28
i10-index	246	102

1100

550

275

825

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202175 88 151 238 280 368 312 360 371 315 313 377 423 408 415 489 563 497 653 490 574 786 713 1007 538 703 530 787 803 479 43

Co-authors

Tiziana MargariaUniversity of Limerick - Lero, The Irish Software Research Centre, - Confirm, Centre for SmartVerified email at lero.ie
Falk HowarTU 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
Stefan NaujokatResearcher, TU DortmundVerified email at tu-dortmund.de
Demetri TerzopoulosDistinguished Professor & Chancellor's Professor of Computer Science, UCLAVerified email at cs.ucla.edu
Malte IsbernerStackRox Inc.Verified email at stackrox.com
Anna-Lena LamprechtUtrecht University, Department of Information and Computing SciencesVerified email at uu.nl
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
Oscar NierstraszProfessor of Computer Science, Software Composition Group, University of BernVerified email at inf.unibe.ch
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-LandauVerified 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	770	1993
Reactive, generative, and stratified models of probabilistic processes RJ VanGlabbeek, SA Smolka, B Steffen Information and Computation 121 (1), 59-80, 1995	641	1995
Reactive, generative, and stratified models of probabilistic processes RJ VanGlabbeek, SA Smolka, B Steffen Information and Computation 121 (1), 59-80, 1995	641	1995
Lazy code motion J Knoop, O Rüthing, B Steffen Proceedings of the ACM SIGPLAN 1992 conference on Programming language …, 1992	361	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	270	1994
Verification on infinite structures O Burkart, D Caucal, F Moller, B Steffen Handbook of Process algebra, 545-623, 2001	260	2001
The concurrency workbench R Cleaveland, J Parrow, B Steffen International Conference on Computer Aided Verification, 24-37, 1989	256	1989
Partial dead code elimination J Knoop, O Rüthing, B Steffen ACM SIGPLAN Notices 29 (6), 147-158, 1994	251	1994
Model-driven development with the jABC B Steffen, T Margaria, R Nagel, S Jörges, C Kubczak Haifa verification conference, 92-108, 2006	244	2006
Model-checking M Müller-Olm, D Schmidt, B Steffen International Static Analysis Symposium, 330-354, 1999	239	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	221	1993
Data flow analysis as model checking B Steffen International Symposium on Theoretical Aspects of Computer Software, 346-364, 1991	186	1991
The interprocedural coincidence theorem J Knoop, B Steffen International Conference on Compiler Construction, 125-140, 1992	184	1992
Model checking for context-free processes O Burkart, B Steffen International Conference on Concurrency Theory, 123-137, 1992	174	1992
Program Analysis as Model Checking of Abstract Interpretations D Schmidt, B Steffen International Static Analysis Symposium, 351-380, 1998	171	1998
Faster model checking for the modal mu-calculus R Cleaveland, M Klein, B Steffen International Conference on Computer Aided Verification, 410-422, 1992	166	1992
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	155	2005
Parallelism for free: Efficient and optimal bitvector analyses for parallel programs J Knoop, B Steffen, J Vollmer ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (3), 268-299, 1996	151	1996
Compositional minimization of finite state systems S Graf, B Steffen International Conference on Computer Aided Verification, 186-196, 1990	149	1990
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	145	1991

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

Upload PDF

Follow this author

Cited by

Co-authors