Bernhard Steffen
Bernhard Steffen
Professor für Informatik, TU Dortmund
Bestätigte E-Mail-Adresse bei cs.uni-dortmund.de
TitelZitiert vonJahr
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
7691993
Reactive, generative, and stratified models of probabilistic processes
RJ VanGlabbeek, SA Smolka, B Steffen
Information and Computation 121 (1), 59-80, 1995
626*1995
Reactive, generative, and stratified models of probabilistic processes
R Van Glabbeek, SA Smolka, B Steffen, CMN Tofts
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science …, 1990
6261990
Lazy code motion
J Knoop, O Rüthing, B Steffen
ACM SIGPLAN Notices 27 (7), 224-234, 1992
3511992
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
2621994
The concurrency workbench
R Cleaveland, J Parrow, B Steffen
International Conference on Computer Aided Verification, 24-37, 1989
2621989
Verification on infinite structures
O Burkart, D Caucal, F Moller, B Steffen
Handbook of Process algebra, 545-623, 2001
2522001
Partial dead code elimination
J Knoop, O Rüthing, B Steffen
ACM SIGPLAN Notices 29 (6), 147-158, 1994
2391994
Model-checking
M Müller-Olm, D Schmidt, B Steffen
International Static Analysis Symposium, 330-354, 1999
2251999
Model-driven development with the jABC
B Steffen, T Margaria, R Nagel, S Jörges, C Kubczak
Haifa verification conference, 92-108, 2006
2242006
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
2201993
The interprocedural coincidence theorem
J Knoop, B Steffen
International Conference on Compiler Construction, 125-140, 1992
1741992
Data flow analysis as model checking
B Steffen
International Symposium on Theoretical Aspects of Computer Software, 346-364, 1991
1741991
Model checking for context-free processes
O Burkart, B Steffen
International Conference on Concurrency Theory, 123-137, 1992
1701992
Faster model checking for the modal mu-calculus
R Cleaveland, M Klein, B Steffen
International Conference on Computer Aided Verification, 410-422, 1992
1611992
Program Analysis as Model Checking of Abstract Interpretations
D Schmidt, B Steffen
International Static Analysis Symposium, 351-380, 1998
1571998
Compositional minimization of finite state systems
S Graf, B Steffen
International Conference on Computer Aided Verification, 186-196, 1990
1511990
A linear-time model-checking algorithm for the alternation-free modal mu-calculus
R Cleaveland, B Steffen
International Conference on Computer Aided Verification, 48-58, 1991
1491991
Parallelism for free: Efficient and optimal bitvector analyses for parallel programs
J Knoop, B Steffen, J Vollmer
ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (3), 268-299, 1996
1481996
Learnlib: A library for automata learning and experimentation
H Raffelt, B Steffen
International Conference on Fundamental Approaches to Software Engineering …, 2006
1402006
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20