Markus Roggenbach
Markus Roggenbach
Professor of Computer Science, Swansea University
Verified email at swan.ac.uk
TitleCited byYear
Highly efficient near-infrared hybrid organic-inorganic nanocrystal electroluminescence device
KN Bourdakos, D Dissanayake, T Lutz, SRP Silva, RJ Curry
Applied Physics Letters 92 (15), 142, 2008
81*2008
CSP-Casl—a new integration of process algebra and algebraic specification
M Roggenbach
Theoretical Computer Science 354 (1), 42-71, 2006
772006
Algebraic–coalgebraic specification in CoCasl
T Mossakowski, L Schröder, M Roggenbach, H Reichel
The Journal of Logic and Algebraic Programming 67 (1-2), 146-197, 2006
75*2006
A generic theorem prover of CSP refinement
Y Isobe, M Roggenbach
International Conference on Tools and Algorithms for the Construction and …, 2005
732005
Algebraic–coalgebraic specification in CoCasl
T Mossakowski, L Schröder, M Roggenbach, H Reichel
The Journal of Logic and Algebraic Programming 67 (1-2), 146-197, 2006
492006
Automatically verifying railway interlockings using SAT-based model checking
P James, M Roggenbach
Electronic Communications of the EASST 35, 2011
48*2011
Towards a unified view of bisimulation: a comparative study
M Roggenbach, M Majster-Cederbaum
Theoretical Computer Science 238 (1-2), 81-130, 2000
442000
Establishing qualitative properties for probabilistic lossy channel systems
C Baier, B Engelen
International AMAST Workshop on Aspects of Real-Time Systems and Concurrent …, 1999
421999
Structured CSP–a process algebra as an institution
T Mossakowski, M Roggenbach
International Workshop on Algebraic Development Techniques, 92-110, 2006
332006
Defining and model checking abstractions of complex railway models using CSP|| B
F Moller, HN Nguyen, M Roggenbach, S Schneider, H Treharne
Haifa Verification Conference, 193-208, 2012
302012
Towards a formal specification of an electronic payment system in Csp-Casl
A Gimblett, M Roggenbach, BH Schlingloff
International Workshop on Algebraic Development Techniques, 61-78, 2004
292004
Techniques for modelling and verifying railway interlockings
P James, F Moller, HN Nguyen, M Roggenbach, S Schneider, H Treharne
International Journal on Software Tools for Technology Transfer 16 (6), 685-711, 2014
282014
Verification of solid state interlocking programs
P James, A Lawrence, F Moller, M Roggenbach, M Seisenberger, ...
International Conference on Software Engineering and Formal Methods, 253-268, 2013
242013
A complete axiomatic semantics for the CSP stable-failures model
Y Isobe, M Roggenbach
International Conference on Concurrency Theory, 158-172, 2006
232006
Multimedia instruction in safe and secure systems
B Krieg-Brückner, D Hutter, A Lindow, C Lüth, A Mahnke, E Melis, P Meier, ...
International Workshop on Algebraic Development Techniques, 82-117, 2002
232002
Verification of Scheme Plans Using CSP $$$$ B
P James, F Moller, HN Nguyen, M Roggenbach, S Schneider, H Treharne, ...
International Conference on Software Engineering and Formal Methods, 189-204, 2013
222013
CSP-Prover—A proof tool for the verification of scalable concurrent systems
Y Isobe, M Roggenbach
Information and Media Technologies 5 (1), 32-39, 2010
222010
Model problems in PDE-constrained optimization
E Haber, L Hanson
Dept. Mathematics Comput. Sci., Emory University, Atlanta, Georgia, USA, 2007
222007
Towards Trustworthy Specification I: Consistency Checks
M Roggenbach, L Schröder
International Workshop on Algebraic Development Techniques, 305-327, 2001
222001
Safety and line capacity in railways–an approach in Timed CSP
Y Isobe, F Moller, HN Nguyen, M Roggenbach
International Conference on Integrated Formal Methods, 54-68, 2012
212012
The system can't perform the operation now. Try again later.
Articles 1–20