Seuraa
Bernhard Steffen
Bernhard Steffen
Professor für Informatik, TU Dortmund
Vahvistettu sähköpostiosoite verkkotunnuksessa cs.uni-dortmund.de
Nimike
Viittaukset
Viittaukset
Vuosi
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
8201993
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
3221994
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
2331993
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
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
2052011
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
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20