Bernhard Steffen

Cited by

	All	Since 2018
Citations	16642	4113
h-index	68	30
i10-index	267	122

1000

500

250

750

19911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202370 94 176 241 260 388 337 391 361 330 332 402 430 420 447 501 557 511 636 466 547 815 699 981 525 712 525 755 843 542 773 659 537

Public access

View all

10 articles

2 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
Oscar NierstraszProfessor Emeritus of Computer Science, Software Composition Group, University of BernVerified email at unibe.ch
Malte IsbernerRed HatVerified email at redhat.com
Anna-Lena LamprechtUniversity of Potsdam, Institute of Computer ScienceVerified email at uni-potsdam.de
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 GlabbeekUNSWVerified 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	807	1993
Reactive, generative, and stratified models of probabilistic processes RJ VanGlabbeek, SA Smolka, B Steffen Information and Computation 121 (1), 59-80, 1995	687	1995
Reactive, generative, and stratified models of probabilistic processes RJ VanGlabbeek, SA Smolka, B Steffen Information and Computation 121 (1), 59-80, 1995	687	1995
Lazy code motion J Knoop, O Rüthing, B Steffen Proceedings of the ACM SIGPLAN 1992 conference on Programming language …, 1992	392	1992
Partial dead code elimination J Knoop, O Rüthing, B Steffen ACM Sigplan Notices 29 (6), 147-158, 1994	298	1994
The concurrency workbench R Cleaveland, J Parrow, B Steffen Automatic Verification Methods for Finite State Systems: International …, 1990	283	1990
Model-checking: A tutorial introduction M Müller-Olm, D Schmidt, B Steffen Static Analysis: 6th International Symposium, SAS’99 Venice, Italy …, 1999	282	1999
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	281	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 Hardware and Software, Verification and Testing: Second International Haifa …, 2007	262	2007
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	231	1993
The TTT algorithm: a redundancy-free approach to active automata learning M Isberner, F Howar, B Steffen Runtime Verification: 5th International Conference, RV 2014, Toronto, ON …, 2014	217	2014
The open-source learnLib: a framework for active automata learning M Isberner, F Howar, B Steffen Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015	198	2015
Data flow analysis as model checking B Steffen International Symposium on Theoretical Aspects of Computer Software, 346-364, 1991	195	1991
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	194	2005
Model checking for context-free processes O Burkart, B Steffen International Conference on Concurrency Theory, 123-137, 1992	184	1992
The interprocedural coincidence theorem J Knoop, B Steffen Compiler Construction: 4th International Conference, CC'92 Paderborn, FRG …, 1992	182	1992
Program Analysis as Model Checking of Abstract Interpretations D Schmidt, B Steffen International Static Analysis Symposium, 351-380, 1998	180	1998
Faster model checking for the modal mu-calculus R Cleaveland, M Klein, B Steffen Computer Aided Verification: Fourth International Workshop, CAV'92 Montreal …, 1993	179	1993
Introduction to active automata learning from a practical perspective B Steffen, F Howar, M Merten Formal Methods for Eternal Networked Software Systems: 11th International …, 2011	176	2011

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

Cited by

Co-authors