Bernhard Steffen - Citas de Google Académico

Citado por

	Total	Desde 2014
Citas	13511	4099
Índice h	64	33
Índice i10	226	122

920

460

230

690

19901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201946 87 97 177 237 273 371 326 372 368 293 317 360 381 396 384 494 546 497 663 466 574 800 670 905 534 708 495 726 728

Coautores

Tiziana MargariaUniversity of Limerick - Lero, The Irish Software Research Centre, - Confirm, Centre for SmartDirección de correo verificada de lero.ie
Falk HowarTU DortmundDirección de correo verificada de tu-dortmund.de
Maik MertenTeacher, Federal University of Applied Administrative SciencesDirección de correo verificada de tu-dortmund.de
Rance CleavelandDepartment of Computer Science, University of MarylandDirección de correo verificada de cs.umd.edu
Stefan NaujokatResearcher, TU DortmundDirección de correo verificada de tu-dortmund.de
Anna-Lena LamprechtUtrecht UniversityDirección de correo verificada de uu.nl
Malte IsbernerStackRox Inc.Dirección de correo verificada de stackrox.com
Johannes NeubauerPostdoctoral researcher in computer science, TU DortmundDirección de correo verificada de cs.tu-dortmund.de
Sofia CasselPostdoctoral researcher, KTH Royal Institute of TechnologyDirección de correo verificada de kth.se
Joachim ParrowProfessor in Computing Science, Uppsala UniversityDirección de correo verificada de it.uu.se
Kim G. LarsenDirector, Professor Aalborg UniversityDirección de correo verificada de cs.aau.dk
Demetri TerzopoulosDistinguished Professor & Chancellor's Professor of Computer Science, UCLADirección de correo verificada de cs.ucla.edu
Oscar NierstraszProfessor of Computer Science, Software Composition Group, University of BernDirección de correo verificada de inf.unibe.ch
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityDirección de correo verificada de cs.sunysb.edu
Mike HincheyLero-the Irish Software Engineering Research CentreDirección de correo verificada de lero.ie
Susanne GrafResearch Director, CNRS, Grenoble University, VerimagDirección de correo verificada de imag.fr
Martin LeuckerProfessor of Computer Science, University of LübeckDirección de correo verificada de isp.uni-luebeck.de
Rob van GlabbeekData61, CSIRO and UNSWDirección de correo verificada de cs.stanford.edu
Helmut SeidlProfessor für Informatik, TU MünchenDirección de correo verificada de in.tum.de
Jan JürjensUniversität Koblenz-LandauDirección de correo verificada de jurjens.de

Bernhard Steffen

Professor für Informatik, TU Dortmund

Dirección de correo verificada de cs.uni-dortmund.de

Programmiersysteme Verifikation Validierung Model Checking Automata Learning


Título	Citado por	Año
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	769	1993
Reactive, generative, and stratified models of probabilistic processes RJ VanGlabbeek, SA Smolka, B Steffen Information and Computation 121 (1), 59-80, 1995	627*	1995
Reactive, generative, and stratified models of probabilistic processes R Van Glabbeek, SA Smolka, B Steffen, CMN Tofts [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science …, 1990	627	1990
Lazy code motion J Knoop, O Rüthing, B Steffen ACM SIGPLAN Notices 27 (7), 224-234, 1992	351	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	262	1994
The concurrency workbench R Cleaveland, J Parrow, B Steffen International Conference on Computer Aided Verification, 24-37, 1989	262	1989
Verification on infinite structures O Burkart, D Caucal, F Moller, B Steffen Handbook of Process algebra, 545-623, 2001	252	2001
Partial dead code elimination J Knoop, O Rüthing, B Steffen ACM SIGPLAN Notices 29 (6), 147-158, 1994	239	1994
Model-checking M Müller-Olm, D Schmidt, B Steffen International Static Analysis Symposium, 330-354, 1999	225	1999
Model-driven development with the jABC B Steffen, T Margaria, R Nagel, S Jörges, C Kubczak Haifa verification conference, 92-108, 2006	224	2006
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	220	1993
The interprocedural coincidence theorem J Knoop, B Steffen International Conference on Compiler Construction, 125-140, 1992	174	1992
Data flow analysis as model checking B Steffen International Symposium on Theoretical Aspects of Computer Software, 346-364, 1991	174	1991
Model checking for context-free processes O Burkart, B Steffen International Conference on Concurrency Theory, 123-137, 1992	170	1992
Faster model checking for the modal mu-calculus R Cleaveland, M Klein, B Steffen International Conference on Computer Aided Verification, 410-422, 1992	161	1992
Program Analysis as Model Checking of Abstract Interpretations D Schmidt, B Steffen International Static Analysis Symposium, 351-380, 1998	157	1998
Compositional minimization of finite state systems S Graf, B Steffen International Conference on Computer Aided Verification, 186-196, 1990	151	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	149	1991
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	148	1996
Learnlib: A library for automata learning and experimentation H Raffelt, B Steffen International Conference on Fundamental Approaches to Software Engineering …, 2006	140	2006

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Subir PDF

Seguir a este autor

Citado por

Coautores