Markus Roggenbach

Available identifiers

zbMath Open roggenbach.markusMaRDI QIDQ293332

List of research outcomes

Publication	Date of Publication	Type
Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K	2023-03-21	Paper
Formal methods for software engineering. Languages, methods, application domains. With a foreword by Manfred Broy and a contribution on the origins and development of formal methods by John V. Tucker	2022-02-21	Paper
Institution-based encoding and verification of simple UML state machines in CASL/SPASS	2021-10-27	Paper
Book review of: A. Platzer, Logical foundations of cyber-physical systems	2020-07-27	Paper
An algebraic theory for data linkage	2020-06-08	Paper
Specifying with syntactic theory functors	2020-04-22	Paper
Transition systems from event structures revisited	2016-06-09	Paper
Towards an Institutional Framework for Heterogeneous Formal Development in UML	2015-06-22	Paper
CSP-CASL-Prover: A Generic Tool for Process and Data Refinement	2015-03-18	Paper
The Stable Revivals Model in CSP-Prover	2015-03-18	Paper
Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans	2014-11-26	Paper
Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl	2013-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q2843729	2013-08-23	Paper
Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum	2012-06-08	Paper
Compositional Modelling and Reasoning in an Institution for Processes and Data	2012-06-08	Paper
Proof Principles of CSP – CSP-Prover in Practice	2011-08-08	Paper
Recent Trends in Algebraic Development Techniques	2010-04-20	Paper
Property Preserving Refinement for Csp-Casl	2009-10-22	Paper
Structured CSP – A Process Algebra as an Institution	2007-09-10	Paper
A Complete Axiomatic Semantics for the CSP Stable-Failures Model	2007-09-04	Paper
CSP-CASL -- a new integration of process algebra and algebraic specification	2006-04-28	Paper
Algebraic-coalgebraic specification in CoCASL	2006-04-28	Paper
Recent Trends in Algebraic Development Techniques	2005-11-11	Paper
Recent Trends in Algebraic Development Techniques	2005-11-11	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4471725	2004-07-30	Paper
Determinization of Büchi-Automata	2003-07-16	Paper
https://portal.mardi4nfdi.de/entity/Q2722021	2001-07-11	Paper
Towards a unified view of bisimulation: A comparative study	2000-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q4896928	1997-02-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Markus Roggenbach