Alexander Knapp

Available identifiers

zbMath Open knapp.alexanderMaRDI QIDQ777874

List of research outcomes

Publication	Date of Publication	Type
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic	2024-02-20	Paper
A hybrid dynamic logic for event/data-based systems	2023-11-24	Paper
Specification of systems with parameterised events: An institution-independent approach	2022-08-26	Paper
Hybrid dynamic logic institutions for event/data-based systems	2022-01-11	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	2021-09-03	Paper
Book review of: A. Platzer, Logical foundations of cyber-physical systems	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	2019-10-25	Paper
https://portal.mardi4nfdi.de/entity/Q4580211	2018-08-13	Paper
Multi-view consistency in UML: a survey	2018-04-04	Paper
Partial Valuation Structures for Qualitative Soft Constraints	2015-06-22	Paper
Institutions for OCL-Like Expression Languages	2015-06-22	Paper
Towards an Institutional Framework for Heterogeneous Formal Development in UML	2015-06-22	Paper
Moving from interface theories to assembly theories	2015-04-16	Paper
Assembly Theories for Communication-Safe Component Systems	2014-07-24	Paper
Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl	2013-09-13	Paper
On the Correctness of the SIMT Execution Model of GPUs	2012-06-22	Paper
Modal Interface Theories for Communication-Safe Component Assemblies	2012-01-06	Paper
What Is a Multi-modeling Language?	2009-10-22	Paper
A Heterogeneous Approach to UML Semantics	2008-06-19	Paper
The Java Memory Model: Operationally, Denotationally, Axiomatically	2007-09-04	Paper
Specification and refinement of mobile systems in MTLA and mobile UML	2006-04-06	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
Algebraic Methodology and Software Technology	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4808841	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4435851	2003-11-20	Paper
A formal approach to object-oriented software engineering	2002-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q2723569	2001-07-05	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: Alexander Knapp