Bernhard Steffen

引用先

	すべて	2020 年以来
引用	17955	3658
h 指標	71	27
i10 指標	284	109

1000

500

250

750

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202574 100 179 235 271 389 339 388 384 327 337 411 432 424 460 501 577 523 652 439 557 826 701 992 503 700 553 766 852 760 742 726 657 694 76

オープンアクセス

すべて表示

12 件の論文

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, U Bern, Soul Polisher @feenk.com確認したメールアドレス: feenk.com
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
Susanne GrafResearch Director, CNRS, Grenoble University, Verimag確認したメールアドレス: imag.fr
Mike HincheyLero-the Irish Software Engineering Research Centre確認したメールアドレス: lero.ie
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	814	1993
Reactive, generative, and stratified models of probabilistic processes RJ VanGlabbeek, SA Smolka, B Steffen Information and Computation 121 (1), 59-80, 1995	717	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	321	1994
Model-checking: A tutorial introduction M Müller-Olm, D Schmidt, B Steffen Static Analysis: 6th International Symposium, SAS’99 Venice, Italy …, 1999	294	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	271	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	245	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	207	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	202	2011
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	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

現在システムで処理を実行できません。しばらくしてからもう一度お試しください。

論文 1–20

年間引用数

重複した引用

結合された引用

共著者を追加共著者

フォロー

引用先

共著者