Bernhard Steffen

Citée par

	Toutes	Depuis 2020
Citations	18115	3697
indice h	72	27
indice i10	282	111

1000

500

250

750

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202579 99 180 231 285 400 346 383 386 329 336 419 432 433 462 502 572 525 657 450 567 874 669 999 508 663 553 782 891 762 728 745 641 711 108

Accès public

Tout afficher

12 articles

2 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Tiziana MargariaUniversity of Limerick - Lero, The Irish Software Research Centre, - Confirm, Centre for SmartAdresse e-mail validée de ul.ie
Falk HowarTU DortmundAdresse e-mail validée de tu-dortmund.de
Demetri TerzopoulosDistinguished Professor & Chancellor's Professor of Computer Science, UCLAAdresse e-mail validée de cs.ucla.edu
Stefan NaujokatResearcher, TU DortmundAdresse e-mail validée de tu-dortmund.de
Maik MertenTeacher, Federal University of Applied Administrative SciencesAdresse e-mail validée de tu-dortmund.de
Oscar NierstraszProfessor Emeritus, U Bern, Soul Polisher @feenk.comAdresse e-mail validée de feenk.com
Rance CleavelandDepartment of Computer Science, University of MarylandAdresse e-mail validée de cs.umd.edu
Malte IsbernerRed HatAdresse e-mail validée de redhat.com
Anna-Lena LamprechtUniversity of Potsdam, Institute of Computer ScienceAdresse e-mail validée de uni-potsdam.de
Johannes NeubauerPostdoctoral researcher in computer science, TU DortmundAdresse e-mail validée de cs.tu-dortmund.de
Sofia CasselPostdoctoral researcher, KTH Royal Institute of TechnologyAdresse e-mail validée de kth.se
Joachim ParrowProfessor in Computing Science, Uppsala UniversityAdresse e-mail validée de it.uu.se
Kim G. LarsenDirector, Professor Aalborg UniversityAdresse e-mail validée de cs.aau.dk
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityAdresse e-mail validée de cs.sunysb.edu
Susanne GrafResearch Director, CNRS, Grenoble University, VerimagAdresse e-mail validée de imag.fr
Mike HincheyLero-the Irish Software Engineering Research CentreAdresse e-mail validée de lero.ie
Martin LeuckerProfessor of Computer Science, University of LübeckAdresse e-mail validée de isp.uni-luebeck.de
Helmut SeidlProfessor für Informatik, School of CIT, TU MünchenAdresse e-mail validée de in.tum.de
Rob van GlabbeekUNSWAdresse e-mail validée de cs.stanford.edu
Jan JürjensUniversität Koblenz-Landau, GermanyAdresse e-mail validée de jurjens.de

Suivre

Bernhard Steffen

Professor für Informatik, TU Dortmund

Adresse e-mail validée de cs.uni-dortmund.de

Programmiersysteme Verifikation Validierung Model Checking Automata Learning


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	821	1993
Reactive, generative, and stratified models of probabilistic processes RJ VanGlabbeek, SA Smolka, B Steffen Information and Computation 121 (1), 59-80, 1995	721	1995
Lazy code motion J Knoop, O Rüthing, B Steffen Proceedings of the ACM SIGPLAN 1992 conference on Programming language …, 1992	399	1992
Partial dead code elimination J Knoop, O Rüthing, B Steffen ACM Sigplan Notices 29 (6), 147-158, 1994	323	1994
Model-checking: A tutorial introduction M Müller-Olm, D Schmidt, B Steffen International Static Analysis Symposium, 330-354, 1999	295	1999
The concurrency workbench R Cleaveland, J Parrow, B Steffen Automatic Verification Methods for Finite State Systems: International …, 1990	295	1990
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	293	1994
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	283	2007
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	270	2014
Verification on infinite structures O Burkart, D Caucal, F Moller, B Steffen Handbook of Process algebra, 545-623, 2001	268	2001
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	243	2015
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	234	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	206	2011
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	206	2005
Data flow analysis as model checking B Steffen International Symposium on Theoretical Aspects of Computer Software, 346-364, 1991	198	1991
Model checking for context-free processes O Burkart, B Steffen International Conference on Concurrency Theory, 123-137, 1992	192	1992
Faster model checking for the modal mu-calculus R Cleaveland, M Klein, B Steffen Computer Aided Verification: Fourth International Workshop, CAV'92 Montreal …, 1993	187	1993
The interprocedural coincidence theorem J Knoop, B Steffen Compiler Construction: 4th International Conference, CC'92 Paderborn, FRG …, 1992	184	1992
Program Analysis as Model Checking of Abstract Interpretations D Schmidt, B Steffen International Static Analysis Symposium, 351-380, 1998	181	1998
Compositional minimisation of finite state systems using interface specifications S Graf, B Steffen, G Lüttgen Formal Aspects of Computing 8, 607-616, 1996	167	1996

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs