Bernhard Steffen 个人学术档案

引用次数

	总计	2019 年至今
引用	17195	3840
h 指数	70	29
i10 指数	274	111

1000

500

250

750

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202472 98 179 235 265 389 338 389 367 330 338 409 431 420 457 503 572 536 633 454 547 819 693 981 499 695 546 764 853 615 768 655 626 316

开放获取的出版物数量

查看全部

11 篇文章

2 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Tiziana MargariaUniversity of Limerick - Lero, The Irish Software Research Centre, - Confirm, Centre for Smart在 ul.ie 的电子邮件经过验证
Falk HowarTU Dortmund在 tu-dortmund.de 的电子邮件经过验证
Demetri TerzopoulosDistinguished Professor & Chancellor's Professor of Computer Science, UCLA在 cs.ucla.edu 的电子邮件经过验证
Stefan NaujokatResearcher, TU Dortmund在 tu-dortmund.de 的电子邮件经过验证
Maik MertenTeacher, Federal University of Applied Administrative Sciences在 tu-dortmund.de 的电子邮件经过验证
Rance CleavelandDepartment of Computer Science, University of Maryland在 cs.umd.edu 的电子邮件经过验证
Malte IsbernerRed Hat在 redhat.com 的电子邮件经过验证
Oscar NierstraszProfessor Emeritus of Computer Science, Software Composition Group, University of Bern在 unibe.ch 的电子邮件经过验证
Anna-Lena LamprechtUniversity of Potsdam, Institute of Computer Science在 uni-potsdam.de 的电子邮件经过验证
Johannes NeubauerPostdoctoral researcher in computer science, TU Dortmund在 cs.tu-dortmund.de 的电子邮件经过验证
Sofia CasselPostdoctoral researcher, KTH Royal Institute of Technology在 kth.se 的电子邮件经过验证
Joachim ParrowProfessor in Computing Science, Uppsala University在 it.uu.se 的电子邮件经过验证
Kim G. LarsenDirector, Professor Aalborg University在 cs.aau.dk 的电子邮件经过验证
Scott A. SmolkaProfessor of Computer Science, Stony Brook University在 cs.sunysb.edu 的电子邮件经过验证
Mike HincheyLero-the Irish Software Engineering Research Centre在 lero.ie 的电子邮件经过验证
Susanne GrafResearch Director, CNRS, Grenoble University, Verimag在 imag.fr 的电子邮件经过验证
Martin LeuckerProfessor of Computer Science, University of Lübeck在 isp.uni-luebeck.de 的电子邮件经过验证
Helmut SeidlProfessor für Informatik, School of CIT, TU München在 in.tum.de 的电子邮件经过验证
Rob van GlabbeekUNSW在 cs.stanford.edu 的电子邮件经过验证
Jan JürjensUniversität Koblenz-Landau, Germany在 jurjens.de 的电子邮件经过验证

关注

Bernhard Steffen

Professor für Informatik, TU Dortmund

在 cs.uni-dortmund.de 的电子邮件经过验证

Programmiersysteme Verifikation Validierung Model Checking Automata Learning


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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	808	1993
Reactive, generative, and stratified models of probabilistic processes RJ VanGlabbeek, SA Smolka, B Steffen Information and Computation 121 (1), 59-80, 1995	707	1995
Lazy code motion J Knoop, O Rüthing, B Steffen Proceedings of the ACM SIGPLAN 1992 conference on Programming language …, 1992	391	1992
Partial dead code elimination J Knoop, O Rüthing, B Steffen ACM Sigplan Notices 29 (6), 147-158, 1994	315	1994
The concurrency workbench R Cleaveland, J Parrow, B Steffen Automatic Verification Methods for Finite State Systems: International …, 1990	289	1990
Model-checking: A tutorial introduction M Müller-Olm, D Schmidt, B Steffen Static Analysis: 6th International Symposium, SAS’99 Venice, Italy …, 1999	287	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	286	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	269	2007
Verification on infinite structures O Burkart, D Caucal, F Moller, B Steffen Handbook of Process algebra, 545-623, 2001	268	2001
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	243	2014
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	229	1993
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	224	2015
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	199	2005
Data flow analysis as model checking B Steffen International Symposium on Theoretical Aspects of Computer Software, 346-364, 1991	195	1991
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	190	2011
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	185	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	184	1993
Program Analysis as Model Checking of Abstract Interpretations D Schmidt, B Steffen International Static Analysis Symposium, 351-380, 1998	179	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

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用