Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Selected Publications by Markus Roggenbach
Selected Publications by Markus Roggenbach
M.Roggenbach:
CSP-CASL - A New Integration of Process Algebra and Algebraic
Specification
Accepted for publication in TCS.
T.Mossakowski, L.Schröder, M.Roggenbach, H.Reichel:
Algebraic-coalgebraic specification in CoCASL
Accepted for publication in JALP.
Y.Isobe, M.Roggenbach:
A generic theorem prover of CSP refinement.
In: Proceedings of TACAS 2005,
to appear in
LNCS,
Springer.
A.Gimblett, M.Roggenbach, H.Schlingloff:
Towards a Formal Specification of an Electronic Payment System in
CSP-CASL.
In J.L.Fiadeiro, P.Mosses, F.Orejas (eds): Recent Trends in Algebraic
Development Techniques, 17th International Workshop, WADT 2004,
Barcelona, Spain, March 27-30, 2004, Revised Selected Papers,
to appear in
LNCS 3423, pp. 61-78,
Springer.
C.Lüth, M.Roggenbach, L.Schröder:
CCC - The CASL Consistency Checker.
In J.L.Fiadeiro, P.Mosses, F.Orejas (eds): Recent Trends in Algebraic
Development Techniques, 17th International Workshop, WADT 2004,
Barcelona, Spain, March 27-30, 2004, Revised Selected Papers,
to appear in
LNCS 3423, pp. 94-105
Springer.
M.Roggenbach, T.Mossakowski, L.Schröder:
Standard Library of Basic Datatypes in CASL.
In P.Mosses (ed) : CASL Reference Manual,
LNCS 2960 (IFIP
Series),
Springer, 2004.
M.Roggenbach:
CSP-CASL - A new Integration of Process Algebra and Algebraic
Specification.
In F.Spoto, G.Scollo, A.Nijholt (eds): Proceedings of AMiLP-2003,
TWLT
21, Universiteit Twente 2003.
T.Mossakowski, M.Roggenbach, L.Schröder:
CoCASL at Work -- Modelling Process Algebra.
In
ENTCS 82 (1), 2003.
T.Mossakowski, H.Reichel, M.Roggenbach, L.Schröder:
Algebraic-coalgebraic specification in CoCASL.
Proceedings of WADT 2002,
LNCS 2755,
Springer, 2003.
B.Krieg-Brückner,
D.Hutter,
A.Lindow,
C.Lüth,
A.Mahnke,
E.Melis,
P.Meier,
A.Poetzsch-Heffter,
M.Roggenbach,
G.Russel,
J.G.Smaus,
M.Wirsing:
MultiMedia Instruction in Safe and Secure Systems.
Proceedings of WADT 2002,
LNCS 2755,
Springer 2003.
M.Roggenbach, L.Schröder:
Towards Trustworthy Specifications I: Consistency Checks.
In M.Cerioli, G.Reggio (eds): Proceedings of WADT 2001,
LNCS 2267,
Springer 2002.
M.Roggenbach: Determinization of Büchi-Automata.
In E.Grädel, W.Thomas, T.Wilke (eds):
Automata, Logics, and Infinite Games,
LNCS 2500,
Springer 2002.
M.Roggenbach, L.Schröder, and T.Mossakowski:
Specifying Real Numbers in CASL.
In D.Bert, C.Choppy, P.Mosses (eds): Proceedings of WADT 1999,
LNCS
1827, Springer 2000.
M.Roggenbach and M.Majster-Cederbaum :
Towards a unified view of bisimulation: a comparative study.
TCS 238 (2000).
M. Roggenbach:
Über abstrakte Charakterisierungen von Bisimulation.
Doktorarbeit, Universität Mannheim, 1998.
M. Majster-Cederbaum and M. Roggenbach:
Transition systems from event structures revisited.
Information Processing Letters, 67(3):119--124, August 1998.
M. Majster-Cederbaum and M. Roggenbach:
On an abstract characterization of bisimulation.
In Selected papers from 8th Nordic Workshop on Programming Theory,
University of Oslo, 1997.
M. Majster-Cederbaum and Markus Roggenbach:
On two different characterizations of bisimulation.
Bulletin of the EATCS, (59):164--172, June 1996.
M.Roggenbach:
On completions of semantic domains.
Technical Report 10/96, Fakultät für Mathematik und
Informatik, Universität Mannheim, May 1996.
M. Roggenbach:
On parallel algorithms for matrix multiplication.
In Proceedings of GRONICS-94, January 1994.
M. Roggenbach:
Über parallele Algorithmen zur Multiplikation von Matrizen.
Diplomarbeit, Universität Karlsruhe, 1993.
R. Creutzburg, T. Minkwitz, M. Roggenbach, and T. Umland:
Parallel FFT-like transform algorithms on transputers.
In I.Pitas (ed): Parallel Algorithms for Digital Image
Processing, Computer Vision and Neural Networks,
John Wiley & Sons, 1993.