×

zbMATH — the first resource for mathematics

Roggenbach, Markus

Compute Distance To:
Author ID: roggenbach.markus Recent zbMATH articles by "Roggenbach, Markus"
Published as: Roggenbach, M.; Roggenbach, Markus
Documents Indexed: 31 Publications since 1996, including 4 Books

Publications by Year

Citations contained in zbMATH Open

22 Publications have been cited 85 times in 53 Documents Cited by Year
Towards a unified view of bisimulation: A comparative study. Zbl 0944.68136
Roggenbach, M.; Majster-Cederbaum, M.
12
2000
A generic theorem prover of CSP refinement. Zbl 1087.68592
Isobe, Yoshinao; Roggenbach, Markus
10
2005
CSP-CASL – a new integration of process algebra and algebraic specification. Zbl 1088.68132
Roggenbach, Markus
7
2006
Structured CSP – a process algebra as an institution. Zbl 1196.68159
Mossakowski, Till; Roggenbach, Markus
6
2007
Proof principles of CSP – CSP-prover in practice. Zbl 1218.68105
Isobe, Yoshinao; Roggenbach, Markus
5
2008
Algebraic-coalgebraic specification in CoCASL. Zbl 1088.68115
Mossakowski, Till; Schröder, Lutz; Roggenbach, Markus; Reichel, Horst
5
2006
Algebraic-coalgebraic specification in CoCasl. Zbl 1278.68209
Mossakowski, Till; Reichel, Horst; Roggenbach, Markus; Schröder, Lutz
5
2003
Compositional modelling and reasoning in an institution for processes and data. Zbl 1312.68146
O’Reilly, Liam; Mossakowski, Till; Roggenbach, Markus
4
2012
Towards a formal specification of an electronic payment system in CSP-CASL. Zbl 1118.68546
Gimblett, Andy; Roggenbach, Markus; Schlingloff, Bernd-Holger
4
2005
The stable revivals model in CSP-Prover. Zbl 1335.68237
Samuel, D. Gift; Roggenbach, Markus; Isobe, Yoshinao
3
2009
Property preserving refinement for Csp-Casl. Zbl 1253.68229
Kahsai, Temesghen; Roggenbach, Markus
3
2009
A complete axiomatic semantics for the CSP stable-failures model. Zbl 1151.68535
Isobe, Yoshinao; Roggenbach, Markus
3
2006
CCC – the Casl consistency checker. Zbl 1118.68558
Lüth, Christoph; Roggenbach, Markus; Schröder, Lutz
3
2005
Specifying real numbers in CASL. Zbl 0966.68137
Roggenbach, Markus; Schröder, Lutz; Mossakowski, Till
3
2000
Transition systems from event structures revisited. Zbl 1339.68190
Majster-Cederbaum, Mila; Roggenbach, Markus
3
1998
Designing domain specific languages – a craftsman’s approach for the railway domain using Casl. Zbl 1394.68239
James, Phillip; Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus
2
2013
CSP-CASL-Prover: a generic tool for process and data refinement. Zbl 1335.68235
O’Reilly, Liam; Roggenbach, Markus; Isobe, Yoshinao
2
2009
Towards bialgebraic semantics for the linear time – branching time spectrum. Zbl 1312.68128
Maldonado, Ana Paula; Monteiro, Luís; Roggenbach, Markus
1
2012
CoCasl at work – modelling process algebra. Zbl 1270.68195
Mossakowski, Till; Roggenbach, Markus; Schröder, Lutz
1
2003
Determinization of Büchi-automata. Zbl 1021.03510
Roggenbach, Markus
1
2002
Towards trustworthy specifications. I: Consistency checks. Zbl 1043.68074
Roggenbach, Markus; Schröder, Lutz
1
2001
On two different characterizations of bisimulation. Zbl 0856.68108
Majster-Cederbaum, Mila; Roggenbach, Markus
1
1996
Designing domain specific languages – a craftsman’s approach for the railway domain using Casl. Zbl 1394.68239
James, Phillip; Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus
2
2013
Compositional modelling and reasoning in an institution for processes and data. Zbl 1312.68146
O’Reilly, Liam; Mossakowski, Till; Roggenbach, Markus
4
2012
Towards bialgebraic semantics for the linear time – branching time spectrum. Zbl 1312.68128
Maldonado, Ana Paula; Monteiro, Luís; Roggenbach, Markus
1
2012
The stable revivals model in CSP-Prover. Zbl 1335.68237
Samuel, D. Gift; Roggenbach, Markus; Isobe, Yoshinao
3
2009
Property preserving refinement for Csp-Casl. Zbl 1253.68229
Kahsai, Temesghen; Roggenbach, Markus
3
2009
CSP-CASL-Prover: a generic tool for process and data refinement. Zbl 1335.68235
O’Reilly, Liam; Roggenbach, Markus; Isobe, Yoshinao
2
2009
Proof principles of CSP – CSP-prover in practice. Zbl 1218.68105
Isobe, Yoshinao; Roggenbach, Markus
5
2008
Structured CSP – a process algebra as an institution. Zbl 1196.68159
Mossakowski, Till; Roggenbach, Markus
6
2007
CSP-CASL – a new integration of process algebra and algebraic specification. Zbl 1088.68132
Roggenbach, Markus
7
2006
Algebraic-coalgebraic specification in CoCASL. Zbl 1088.68115
Mossakowski, Till; Schröder, Lutz; Roggenbach, Markus; Reichel, Horst
5
2006
A complete axiomatic semantics for the CSP stable-failures model. Zbl 1151.68535
Isobe, Yoshinao; Roggenbach, Markus
3
2006
A generic theorem prover of CSP refinement. Zbl 1087.68592
Isobe, Yoshinao; Roggenbach, Markus
10
2005
Towards a formal specification of an electronic payment system in CSP-CASL. Zbl 1118.68546
Gimblett, Andy; Roggenbach, Markus; Schlingloff, Bernd-Holger
4
2005
CCC – the Casl consistency checker. Zbl 1118.68558
Lüth, Christoph; Roggenbach, Markus; Schröder, Lutz
3
2005
Algebraic-coalgebraic specification in CoCasl. Zbl 1278.68209
Mossakowski, Till; Reichel, Horst; Roggenbach, Markus; Schröder, Lutz
5
2003
CoCasl at work – modelling process algebra. Zbl 1270.68195
Mossakowski, Till; Roggenbach, Markus; Schröder, Lutz
1
2003
Determinization of Büchi-automata. Zbl 1021.03510
Roggenbach, Markus
1
2002
Towards trustworthy specifications. I: Consistency checks. Zbl 1043.68074
Roggenbach, Markus; Schröder, Lutz
1
2001
Towards a unified view of bisimulation: A comparative study. Zbl 0944.68136
Roggenbach, M.; Majster-Cederbaum, M.
12
2000
Specifying real numbers in CASL. Zbl 0966.68137
Roggenbach, Markus; Schröder, Lutz; Mossakowski, Till
3
2000
Transition systems from event structures revisited. Zbl 1339.68190
Majster-Cederbaum, Mila; Roggenbach, Markus
3
1998
On two different characterizations of bisimulation. Zbl 0856.68108
Majster-Cederbaum, Mila; Roggenbach, Markus
1
1996
all top 5

Cited by 94 Authors

11 Roggenbach, Markus
6 Ćirić, Miroslav D.
6 Ignjatović, Jelena
6 Schröder, Lutz
5 Mossakowski, Till
3 Hennicker, Rolf
3 Majster-Cederbaum, Mila E.
2 Barbosa, Luís S.
2 Bašić, Milan
2 Bidoit, Michel
2 Corradini, Andrea
2 Damljanović, Nada
2 Isobe, Yoshinao
2 Jančić, Ivana
2 Madeira, Alexandre
2 Martins, Manuel António
2 O’Reilly, Liam
2 Roşu, Grigore
2 Stamenković, Aleksandar
2 Tarlecki, Andrzej
1 Aguirre, Nazareno M.
1 Astesiano, Egidio
1 Best, Eike
1 Bogdanović, Stojan M.
1 Castro, Pablo F.
1 Cavalcanti, Ana
1 Chen, Zhenbang
1 Codescu, Mihai
1 De Nicola, Rocco
1 de Putter, Sander
1 Dong, JinSong
1 Du, Yibin
1 Falcão, Flávia
1 Fecher, Harald
1 Gadducci, Fabio
1 Gaudel, Marie-Claude
1 Gorla, Daniele
1 Gribovskaya, Natalya S.
1 Große-Rhode, Martin
1 Gruner, Stefan
1 Hausmann, Daniel
1 Heckel, Reiko
1 Hoffman, Piotr
1 Iyoda, Juliano
1 James, Phillip
1 Jančić, Zorana
1 Kahsai, Temesghen
1 Kirchner, Hélène
1 Kleine, Moritz
1 Klin, Bartek
1 Knapp, Alexander
1 Krieg-Brückner, Bernd
1 Labella, Anna
1 Liu, Yang
1 Liu, Zhiming
1 López Pombo, Carlos Gustavo
1 Lucanu, Dorel
1 Maibaum, Thomas Stephen Edward
1 Maldonado, Ana Paula
1 Martins Moreira, Anamaria
1 Micić, Ivana
1 Monteiro, Luís
1 Mosses, Peter D.
1 Murray, Toby
1 Padawitz, Peter
1 Pattinson, Dirk
1 Peleska, Jan
1 Petković, Tatjana
1 Qin, Shengchao
1 Reeves, Steve
1 Reichel, Horst
1 Ribeiro, Leila
1 Roscoe, Andrew William
1 Sampaio, Augusto C. A.
1 Samuel, D. Gift
1 Sanders, Jeffrey William
1 Sannella, Donald T.
1 Santiago, Regivan H. Nunes
1 Schultz, Patrick
1 Shamsizadeh, Marzieh
1 Shi, Ling
1 Stanimirović, Stefan
1 Steyn, T. J.
1 Streader, David
1 Sun, Jun
1 Tucker, John V.
1 Virbitskaite, Irina B.
1 Wang, Ji
1 Wijs, Anton J.
1 Wisnesky, Ryan
1 Zahedi, Mohammad Mehdi
1 Zhao, Yongxin
1 Zhu, Ping
1 Zucker, Jeffery I.

Citations by Year