| Publication | Date of Publication | Type |
|---|
| Automated QoS-aware service selection based on soft constraints | 2024-06-26 | Paper |
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic
Logic Journal of the IGPL | 2024-02-20 | Paper |
| An institutional approach to communicating UML state machines | 2024-01-23 | Paper |
A hybrid dynamic logic for event/data-based systems
Fundamental Approaches to Software Engineering | 2023-11-24 | Paper |
| Interpreting knowledge-based programs | 2023-11-24 | Paper |
Specification of systems with parameterised events: An institution-independent approach
Journal of Logical and Algebraic Methods in Programming | 2022-08-26 | Paper |
Hybrid dynamic logic institutions for event/data-based systems
Formal Aspects of Computing | 2022-01-11 | Paper |
Institution-based encoding and verification of simple UML state machines in CASL/SPASS
(available as arXiv preprint) | 2021-10-27 | Paper |
| Institution-based encoding and verification of simple UML state machines in CASL/SPASS | 2021-10-27 | Paper |
Observational interpretations of hybrid dynamic logic with binders and silent transitions
Journal of Logical and Algebraic Methods in Programming | 2021-09-03 | Paper |
Book review of: A. Platzer, Logical foundations of cyber-physical systems
Formal Aspects of Computing | 2020-07-27 | Paper |
| Behavioural and abstractor specifications for a dynamic logic with binders and silent transitions | 2020-07-08 | Paper |
| Term charters | 2020-06-08 | Paper |
MiniBrass: soft constraints for MiniZinc
Constraints | 2019-10-25 | Paper |
| UML interactions meet state machines -- an institutional approach | 2018-08-13 | Paper |
Multi-view consistency in UML: a survey
(available as arXiv preprint) | 2018-04-04 | Paper |
Institutions for OCL-like expression languages
Software, Services, and Systems | 2015-06-22 | Paper |
Partial valuation structures for qualitative soft constraints
Software, Services, and Systems | 2015-06-22 | Paper |
Towards an institutional framework for heterogeneous formal development in UML -- a position paper
Software, Services, and Systems | 2015-06-22 | Paper |
Moving from interface theories to assembly theories
Acta Informatica | 2015-04-16 | Paper |
Assembly theories for communication-safe component systems
From Programs to Systems. The Systems perspective in Computing | 2014-07-24 | Paper |
Designing domain specific languages -- a craftsman's approach for the railway domain using \textsc{Casl}
Recent Trends in Algebraic Development Techniques | 2013-09-13 | Paper |
On the correctness of the SIMT execution model of GPUs
Programming Languages and Systems | 2012-06-22 | Paper |
Modal Interface Theories for Communication-Safe Component Assemblies
Theoretical Aspects of Computing – ICTAC 2011 | 2012-01-06 | Paper |
What Is a Multi-modeling Language?
Recent Trends in Algebraic Development Techniques | 2009-10-22 | Paper |
A Heterogeneous Approach to UML Semantics
Concurrency, Graphs and Models | 2008-06-19 | Paper |
The Java Memory Model: Operationally, Denotationally, Axiomatically
Programming Languages and Systems | 2007-09-04 | Paper |
Specification and refinement of mobile systems in MTLA and mobile UML
Theoretical Computer Science | 2006-04-06 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | Paper |
| scientific article; zbMATH DE number 2090148 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2006483 (Why is no real title available?) | 2003-11-20 | Paper |
A formal approach to object-oriented software engineering
Theoretical Computer Science | 2002-08-13 | Paper |
| A formal approach to object-oriented software engineering | 2001-07-05 | Paper |
