Markus Roggenbach

	2009
24		D. Gift Samuel, Markus Roggenbach, Yoshinao Isobe: The Stable Revivals Model in CSP-Prover. Electr. Notes Theor. Comput. Sci. 250(2): 119-134 (2009)
23		Liam O'Reilly, Markus Roggenbach, Yoshinao Isobe: CSP-CASL-Prover: A Generic Tool for Process and Data Refinement. Electr. Notes Theor. Comput. Sci. 250(2): 69-84 (2009)
	2008
22		Stefan Gruner, Derrick G. Kourie, Markus Roggenbach, Tinus Strauss, Bruce W. Watson: A New CSP Operator for Optional Parallelism. CSSE (2) 2008: 788-791
21		Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff: Specification-Based Testing for Software Product Lines. SEFM 2008: 149-158
20		Markus Roggenbach: Tools for CSP. SEFM 2008: 213-214
19		Temesghen Kahsai, Markus Roggenbach: Property Preserving Refinement for Csp-Casl. WADT 2008: 206-220
	2007
18		Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff: Specification-based testing for refinement. SEFM 2007: 237-246
	2006
17		Yoshinao Isobe, Markus Roggenbach: A Complete Axiomatic Semantics for the CSP Stable-Failures Model. CONCUR 2006: 158-172
16		Till Mossakowski, Markus Roggenbach: Structured CSP - A Process Algebra as an Institution. WADT 2006: 92-110
15		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		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		Yoshinao Isobe, Markus Roggenbach: A Generic Theorem Prover of CSP Refinement. TACAS 2005: 108-123
	2004
11		Andy Gimblett, Markus Roggenbach, Bernd-Holger Schlingloff: Towards a Formal Specification of an Electronic Payment System in CSP-CASL. WADT 2004: 61-78
10		Christoph Lüth, Markus Roggenbach, Lutz Schröder: CCC - The Casl Consistency Checker. WADT 2004: 94-105
	2003
9		Till Mossakowski, Markus Roggenbach, Lutz Schröder: CoCASL at Work -- Modelling Process Algebra. Electr. Notes Theor. Comput. Sci. 82(1): (2003)
	2002
8		Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder: Algebraic-Coalgebraic Specification in Co Casl. WADT 2002: 376-392
7		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		Markus Roggenbach: Determinization of Büchi-Automata. Automata, Logics, and Infinite Games 2001: 43-60
5		Markus Roggenbach, Lutz Schröder: Towards Trustworthy Specifications I: Consistency Checks. WADT 2001: 305-327
	2000
4		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		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)

Coauthor Index

1	José Luiz Fiadeiro	[13]
2	Andy Gimblett	[11]
3	Stefan Gruner	[22]
4	Neil Harman	[13]
5	Dieter Hutter	[7]
6	Yoshinao Isobe	[12] [17] [23] [24]
7	Temesghen Kahsai	[18] [19] [21]
8	Derrick G. Kourie	[22]
9	Bernd Krieg-Brückner	[7]
10	Arne Lindow	[7]
11	Christoph Lüth	[7] [10]
12	Achim Mahnke	[7]
13	Mila E. Majster-Cederbaum	[1] [2] [4]
14	Philipp Meier	[7]
15	Erica Melis	[7]
16	Till Mossakowski	[3] [8] [9] [15] [16]
17	Liam O'Reilly	[23]
18	Arnd Poetzsch-Heffter	[7]
19	Horst Reichel	[8] [15]
20	George Russell	[7]
21	Jan J. M. M. Rutten	[13]
22	D. Gift Samuel	[24]
23	Bernd-Holger Schlingloff	[11] [18] [21]
24	Lutz Schröder	[3] [5] [8] [9] [10] [15]
25	Jan-Georg Smaus	[7]
26	Tinus Strauss	[22]
27	Bruce W. Watson	[22]
28	Martin Wirsing	[7]

Colors in the list of coauthors