2009 |
6 | EE | Frank Salger,
Stefan Sauer,
Gregor Engels:
Integrated specification and quality assurance for large business information systems.
ISEC 2009: 129-130 |
2008 |
5 | EE | Frank Salger,
Marcel Bennicke,
Gregor Engels,
Claus Lewerentz:
Comprehensive Architecture Evaluation and Management in Large Software-Systems.
QoSA 2008: 205-219 |
2004 |
4 | EE | Mila E. Majster-Cederbaum,
Frank Salger:
Towards the hierarchical verification of reactive systems.
Theor. Comput. Sci. 318(3): 243-296 (2004) |
2000 |
3 | | Mila E. Majster-Cederbaum,
Frank Salger,
Maria Sorea:
A Priori Verification of Reactive Systems.
FORTE 2000: 35-50 |
2 | | Mila E. Majster-Cederbaum,
Frank Salger:
Correctness by Construction: Towards Verification in Hierarchical System Development.
SPIN 2000: 163-180 |
1999 |
1 | EE | Mila E. Majster-Cederbaum,
Frank Salger:
A Verification Technique Based on Syntactic Action Refinement in a TCSP-like Process Algebra and the Hennessy-Milner-Logic.
ASIAN 1999: 379-380 |