Alexander Knapp

Available identifiers

zbMath Open knapp.alexanderMaRDI QIDQ777874

List of research outcomes

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	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	2023-11-24	Paper
Interpreting knowledge-based programs	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
Institutions for OCL-Like Expression Languages	2015-06-22	Paper
Partial Valuation Structures for Qualitative Soft Constraints	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
A formal approach to object-oriented software engineering	2001-07-05	Paper

Research outcomes over time

This page was built for person: Alexander Knapp