dblp.uni-trier.dewww.uni-trier.de

Markus Roggenbach Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
21EEStefan Gruner, Derrick G. Kourie, Markus Roggenbach, Tinus Strauss, Bruce W. Watson: A New CSP Operator for Optional Parallelism. CSSE (2) 2008: 788-791
20EETemesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff: Specification-Based Testing for Software Product Lines. SEFM 2008: 149-158
19EEMarkus Roggenbach: Tools for CSP. SEFM 2008: 213-214
2007
18EETemesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff: Specification-based testing for refinement. SEFM 2007: 237-246
2006
17EEYoshinao Isobe, Markus Roggenbach: A Complete Axiomatic Semantics for the CSP Stable-Failures Model. CONCUR 2006: 158-172
16EETill Mossakowski, Markus Roggenbach: Structured CSP - A Process Algebra as an Institution. WADT 2006: 92-110
15EETill Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel: Algebraic-coalgebraic specification in CoCasl. J. Log. Algebr. Program. 67(1-2): 146-197 (2006)
14EEMarkus 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
12EEYoshinao Isobe, Markus Roggenbach: A Generic Theorem Prover of CSP Refinement. TACAS 2005: 108-123
2004
11EEAndy Gimblett, Markus Roggenbach, Bernd-Holger Schlingloff: Towards a Formal Specification of an Electronic Payment System in CSP-CASL. WADT 2004: 61-78
10EEChristoph Lüth, Markus Roggenbach, Lutz Schröder: CCC - The Casl Consistency Checker. WADT 2004: 94-105
2003
9EETill Mossakowski, Markus Roggenbach, Lutz Schröder: CoCASL at Work -- Modelling Process Algebra. Electr. Notes Theor. Comput. Sci. 82(1): (2003)
2002
8EETill Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder: Algebraic-Coalgebraic Specification in Co Casl. WADT 2002: 376-392
7EEBernd 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
6EEMarkus Roggenbach: Determinization of Büchi-Automata. Automata, Logics, and Infinite Games 2001: 43-60
5EEMarkus Roggenbach, Lutz Schröder: Towards Trustworthy Specifications I: Consistency Checks. WADT 2001: 305-327
2000
4EEMarkus 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
2EEMila 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)