متابعة
Bernhard Steffen
Bernhard Steffen
Professor für Informatik, TU Dortmund
بريد إلكتروني تم التحقق منه على cs.uni-dortmund.de
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
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‏
8211993
Reactive, generative, and stratified models of probabilistic processes‏
RJ VanGlabbeek, SA Smolka, B Steffen‏
Information and Computation 121 (1), 59-80, 1995‏
7211995
Lazy code motion‏
J Knoop, O Rüthing, B Steffen‏
Proceedings of the ACM SIGPLAN 1992 conference on Programming language …, 1992‏
3991992
Partial dead code elimination‏
J Knoop, O Rüthing, B Steffen‏
ACM Sigplan Notices 29 (6), 147-158, 1994‏
3231994
Model-checking: A tutorial introduction‏
M Müller-Olm, D Schmidt, B Steffen‏
International Static Analysis Symposium, 330-354, 1999‏
2951999
The concurrency workbench‏
R Cleaveland, J Parrow, B Steffen‏
Automatic Verification Methods for Finite State Systems: International …, 1990‏
2951990
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‏
2931994
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‏
2832007
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‏
2702014
Verification on infinite structures‏
O Burkart, D Caucal, F Moller, B Steffen‏
Handbook of Process algebra, 545-623, 2001‏
2682001
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‏
2432015
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‏
2341993
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‏
2062011
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‏
2062005
Data flow analysis as model checking‏
B Steffen‏
International Symposium on Theoretical Aspects of Computer Software, 346-364, 1991‏
1981991
Model checking for context-free processes‏
O Burkart, B Steffen‏
International Conference on Concurrency Theory, 123-137, 1992‏
1921992
Faster model checking for the modal mu-calculus‏
R Cleaveland, M Klein, B Steffen‏
Computer Aided Verification: Fourth International Workshop, CAV'92 Montreal …, 1993‏
1871993
The interprocedural coincidence theorem‏
J Knoop, B Steffen‏
Compiler Construction: 4th International Conference, CC'92 Paderborn, FRG …, 1992‏
1841992
Program Analysis as Model Checking of Abstract Interpretations‏
D Schmidt, B Steffen‏
International Static Analysis Symposium, 351-380, 1998‏
1811998
Compositional minimisation of finite state systems using interface specifications‏
S Graf, B Steffen, G Lüttgen‏
Formal Aspects of Computing 8, 607-616, 1996‏
1671996
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20