Bernhard Steffen

Citado por

	Total	Desde 2019
Citas	17876	4382
Índice h	71	31
Índice i10	282	135

1000

500

250

750

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202474 99 180 235 271 389 339 389 381 331 337 409 432 423 459 504 560 536 653 441 556 825 700 990 503 702 552 767 852 728 775 693 659 657

Acceso público

Ver todo

12 artículos

2 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Tiziana MargariaUniversity of Limerick - Lero, The Irish Software Research Centre, - Confirm, Centre for SmartDirección de correo verificada de ul.ie
Falk HowarTU DortmundDirección de correo verificada de tu-dortmund.de
Demetri TerzopoulosDistinguished Professor & Chancellor's Professor of Computer Science, UCLADirección de correo verificada de cs.ucla.edu
Stefan NaujokatResearcher, TU 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
Malte IsbernerRed HatDirección de correo verificada de redhat.com
Oscar NierstraszProfessor Emeritus, U Bern, Soul Polisher @feenk.comDirección de correo verificada de feenk.com
Anna-Lena LamprechtUniversity of Potsdam, Institute of Computer ScienceDirección de correo verificada de uni-potsdam.de
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
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityDirección de correo verificada de cs.sunysb.edu
Susanne GrafResearch Director, CNRS, Grenoble University, VerimagDirección de correo verificada de imag.fr
Mike HincheyLero-the Irish Software Engineering Research CentreDirección de correo verificada de lero.ie
Martin LeuckerProfessor of Computer Science, University of LübeckDirección de correo verificada de isp.uni-luebeck.de
Helmut SeidlProfessor für Informatik, School of CIT, TU MünchenDirección de correo verificada de in.tum.de
Rob van GlabbeekUNSWDirección de correo verificada de cs.stanford.edu
Jan JürjensUniversität Koblenz-Landau, GermanyDirección de correo verificada de jurjens.de

Seguir

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 Ordenar por citas Ordenar por año Ordenar por título	Citado por 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	813	1993
Reactive, generative, and stratified models of probabilistic processes RJ VanGlabbeek, SA Smolka, B Steffen Information and Computation 121 (1), 59-80, 1995	714	1995
Lazy code motion J Knoop, O Rüthing, B Steffen Proceedings of the ACM SIGPLAN 1992 conference on Programming language …, 1992	395	1992
Partial dead code elimination J Knoop, O Rüthing, B Steffen ACM Sigplan Notices 29 (6), 147-158, 1994	319	1994
Model-checking: A tutorial introduction M Müller-Olm, D Schmidt, B Steffen Static Analysis: 6th International Symposium, SAS’99 Venice, Italy …, 1999	291	1999
The concurrency workbench R Cleaveland, J Parrow, B Steffen Automatic Verification Methods for Finite State Systems: International …, 1990	290	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	289	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	281	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	268	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	241	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	232	1993
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	205	2005
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	198	2011
Data flow analysis as model checking B Steffen International Symposium on Theoretical Aspects of Computer Software, 346-364, 1991	197	1991
Model checking for context-free processes O Burkart, B Steffen International Conference on Concurrency Theory, 123-137, 1992	188	1992
The interprocedural coincidence theorem J Knoop, B Steffen Compiler Construction: 4th International Conference, CC'92 Paderborn, FRG …, 1992	186	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	185	1993
Program Analysis as Model Checking of Abstract Interpretations D Schmidt, B Steffen International Static Analysis Symposium, 351-380, 1998	180	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	164	1996

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

Seguir

Citado por

Coautores