| 2008 |
|---|
| 21 | EE | Stefan Gruner,
Derrick G. Kourie,
Markus Roggenbach,
Tinus Strauss,
Bruce W. Watson:
A New CSP Operator for Optional Parallelism.
CSSE (2) 2008: 788-791 |
| 20 | EE | Temesghen Kahsai,
Markus Roggenbach,
Bernd-Holger Schlingloff:
Specification-Based Testing for Software Product Lines.
SEFM 2008: 149-158 |
| 19 | EE | Markus Roggenbach:
Tools for CSP.
SEFM 2008: 213-214 |
| 2007 |
|---|
| 18 | EE | Temesghen Kahsai,
Markus Roggenbach,
Bernd-Holger Schlingloff:
Specification-based testing for refinement.
SEFM 2007: 237-246 |
| 2006 |
|---|
| 17 | EE | Yoshinao Isobe,
Markus Roggenbach:
A Complete Axiomatic Semantics for the CSP Stable-Failures Model.
CONCUR 2006: 158-172 |
| 16 | EE | Till Mossakowski,
Markus Roggenbach:
Structured CSP - A Process Algebra as an Institution.
WADT 2006: 92-110 |
| 15 | EE | Till Mossakowski,
Lutz Schröder,
Markus Roggenbach,
Horst Reichel:
Algebraic-coalgebraic specification in CoCasl.
J. Log. Algebr. Program. 67(1-2): 146-197 (2006) |
| 14 | EE | Markus Roggenbach:
CSP-CASL - A new integration of process algebra and algebraic specification.
Theor. Comput. Sci. 354(1): 42-71 (2006) |
| 2005 |
|---|
| 13 | | José Luiz Fiadeiro,
Neil Harman,
Markus Roggenbach,
Jan J. M. M. Rutten:
Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
Springer 2005 |
| 12 | EE | Yoshinao Isobe,
Markus Roggenbach:
A Generic Theorem Prover of CSP Refinement.
TACAS 2005: 108-123 |
| 2004 |
|---|
| 11 | EE | Andy Gimblett,
Markus Roggenbach,
Bernd-Holger Schlingloff:
Towards a Formal Specification of an Electronic Payment System in CSP-CASL.
WADT 2004: 61-78 |
| 10 | EE | Christoph Lüth,
Markus Roggenbach,
Lutz Schröder:
CCC - The Casl Consistency Checker.
WADT 2004: 94-105 |
| 2003 |
|---|
| 9 | EE | Till Mossakowski,
Markus Roggenbach,
Lutz Schröder:
CoCASL at Work -- Modelling Process Algebra.
Electr. Notes Theor. Comput. Sci. 82(1): (2003) |
| 2002 |
|---|
| 8 | EE | Till Mossakowski,
Horst Reichel,
Markus Roggenbach,
Lutz Schröder:
Algebraic-Coalgebraic Specification in Co Casl.
WADT 2002: 376-392 |
| 7 | EE | Bernd Krieg-Brückner,
Dieter Hutter,
Arne Lindow,
Christoph Lüth,
Achim Mahnke,
Erica Melis,
Philipp Meier,
Arnd Poetzsch-Heffter,
Markus Roggenbach,
George Russell,
Jan-Georg Smaus,
Martin Wirsing:
MultiMedia Instruction in Safe and Secure Systems.
WADT 2002: 82-117 |
| 2001 |
|---|
| 6 | EE | Markus Roggenbach:
Determinization of Büchi-Automata.
Automata, Logics, and Infinite Games 2001: 43-60 |
| 5 | EE | Markus Roggenbach,
Lutz Schröder:
Towards Trustworthy Specifications I: Consistency Checks.
WADT 2001: 305-327 |
| 2000 |
|---|
| 4 | EE | Markus Roggenbach,
Mila E. Majster-Cederbaum:
Towards a unified view of bisimulation: a comparative study.
Theor. Comput. Sci. 238(1-2): 81-130 (2000) |
| 1999 |
|---|
| 3 | | Markus Roggenbach,
Lutz Schröder,
Till Mossakowski:
Specifying Real Numbers in CASL.
WADT 1999: 146-161 |
| 1998 |
|---|
| 2 | EE | Mila E. Majster-Cederbaum,
Markus Roggenbach:
Transistion Systems from Event Structures Revisited.
Inf. Process. Lett. 67(3): 119-124 (1998) |
| 1996 |
|---|
| 1 | | Mila E. Majster-Cederbaum,
Markus Roggenbach:
On two different Characterizations of Bisimulation.
Bulletin of the EATCS 59: (1996) |
