The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Markus Roggenbach: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Yoshinao Isobe, Markus Roggenbach
    A Complete Axiomatic Semantics for the CSP Stable-Failures Model. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2006, pp:158-172 [Conf]
  2. Markus Roggenbach
    Determinization of Büchi-Automata. [Citation Graph (0, 0)][DBLP]
    Automata, Logics, and Infinite Games, 2001, pp:43-60 [Conf]
  3. Yoshinao Isobe, Markus Roggenbach
    A Generic Theorem Prover of CSP Refinement. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:108-123 [Conf]
  4. Christoph Lüth, Markus Roggenbach, Lutz Schröder
    CCC - The Casl Consistency Checker. [Citation Graph (0, 0)][DBLP]
    WADT, 2004, pp:94-105 [Conf]
  5. 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. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:82-117 [Conf]
  6. Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder
    Algebraic-Coalgebraic Specification in Co Casl. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:376-392 [Conf]
  7. Andy Gimblett, Markus Roggenbach, Bernd-Holger Schlingloff
    Towards a Formal Specification of an Electronic Payment System in CSP-CASL. [Citation Graph (0, 0)][DBLP]
    WADT, 2004, pp:61-78 [Conf]
  8. Markus Roggenbach, Lutz Schröder
    Towards Trustworthy Specifications I: Consistency Checks. [Citation Graph (0, 0)][DBLP]
    WADT, 2001, pp:305-327 [Conf]
  9. Markus Roggenbach, Lutz Schröder, Till Mossakowski
    Specifying Real Numbers in CASL. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:146-161 [Conf]
  10. Mila E. Majster-Cederbaum, Markus Roggenbach
    On two different Characterizations of Bisimulation. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1996, v:59, n:, pp:- [Journal]
  11. Till Mossakowski, Markus Roggenbach, Lutz Schröder
    CoCASL at Work -- Modelling Process Algebra. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
  12. Mila E. Majster-Cederbaum, Markus Roggenbach
    Transistion Systems from Event Structures Revisited. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1998, v:67, n:3, pp:119-124 [Journal]
  13. Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel
    Algebraic-coalgebraic specification in CoCasl. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2006, v:67, n:1-2, pp:146-197 [Journal]
  14. Markus Roggenbach
    CSP-CASL - A new integration of process algebra and algebraic specification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:354, n:1, pp:42-71 [Journal]
  15. Markus Roggenbach, Mila E. Majster-Cederbaum
    Towards a unified view of bisimulation: a comparative study. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:238, n:1-2, pp:81-130 [Journal]
  16. Till Mossakowski, Markus Roggenbach
    Structured CSP - A Process Algebra as an Institution. [Citation Graph (0, 0)][DBLP]
    WADT, 2006, pp:92-110 [Conf]

  17. Tools for CSP. [Citation Graph (, )][DBLP]


  18. Specification-based testing for refinement. [Citation Graph (, )][DBLP]


  19. Specification-Based Testing for Software Product Lines. [Citation Graph (, )][DBLP]


  20. Property Preserving Refinement for Csp-Casl. [Citation Graph (, )][DBLP]


  21. A New CSP Operator for Optional Parallelism. [Citation Graph (, )][DBLP]


  22. CSP-CASL-Prover: A Generic Tool for Process and Data Refinement. [Citation Graph (, )][DBLP]


  23. The Stable Revivals Model in CSP-Prover. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002