( en | de | ru )

 

Disambiguation of "Roggenbach, Markus"

Author of the publication

copydeleteadd this publication to your clipboard
Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain using CASL

, , , and . Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, volume 7841 of Lecture Notes in Computer Science, page 178-194. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Markus Roggenbach

Hans Roggenbach

Werner Roggenbach

Jens Roggenbach

Markus Markus

 

Other publications of authors with the same name

Proof Principles of CSP - CSP-Prover in Practice., and . LDIC, page 425-442. Springer, (2007)Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS., , , and . WADT, volume 12669 of Lecture Notes in Computer Science, page 120-141. Springer, (2020)Specifying real numbers in CASL, , and . Recent Developments in Algebraic Development Techniques, 14th International Workshop, WADT'99, volume 1827 of Lecture Notes in Computer Science, page 146--161. Springer; Berlin; http://www.springer.de, (2000)Methodological guidelines (for CASL), and . (2002)CoFI note M-6.Software Model Checking for Mobile Security - Collusion Detection in K K., , and . SPIN, volume 10869 of Lecture Notes in Computer Science, page 3-25. Springer, (2018)Software Model Checking of Interlocking Programs., , and . Applicable Formal Methods for Safe Industrial Products, volume 14165 of Lecture Notes in Computer Science, page 130-146. Springer, (2023)Structured CSP -- A Process Algebra as an Institution, and . WADT 2006, volume 4409 of Lecture Notes in Computer Science, page 92-110. Springer-Verlag Heidelberg, (2007)Compositional modelling and reasoning in an institution for processes and data, , and . WADT 2010, volume 7137 of Lecture Notes in Computer Science, page 251-269. Springer, (2012)Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -., , , , , , , , , and 3 other author(s). FMFun, volume 1301 of Communications in Computer and Information Science, page 1-26. Springer, (2019)CSP-CASL-Prover: A Generic Tool for Process and Data Refinement., , and . AVoCS, volume 250 of Electronic Notes in Theoretical Computer Science, page 69-84. Elsevier, (2008)