From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics. - Pietro Cenciarelli; Alexander Knapp; Bernhard Reus; Martin Wirsing (AMAST, 1997)

EPK-fix: Methods and Tools for Engineering Electronic Product Catalogues. - Alexander Knapp; Nora Koch; Martin Wirsing; J. Duckeck; Rainer Lutze; Hartmut Fritzsche; D. Timm; Patrick Closhen; Markus Frisch; Hans-Jürgen Hoffmann; Bernd Gaede; Josef Schneeberger; et al. (IDMS, 1997)

Verifying a compiler optimization for Multi-Threaded Java. - Bernhard Reus; Alexander Knapp; Pietro Cenciarelli; Martin Wirsing (WADT, 1997)

An Event-Based Structural Operational Semantics of Multi-Threaded Java. - Pietro Cenciarelli; Alexander Knapp; Bernhard Reus; Martin Wirsing (Formal Syntax and Semantics of Java, 1999)

A Formal Semantics for UML Interactions. - Alexander Knapp (UML, 1999)

A formal approach to object-oriented software engineering. - Alexander Knapp (Shaker, 2000)

fOOSE- Eine integrierte formale Softwareentwicklungsmethode. - Alexander Knapp (Ausgezeichnete Informatikdissertationen, 2000)

Specifying Component Invariants with OCL. - Rolf Hennicker; Hubert Baumeister; Alexander Knapp; Martin Wirsing (GI Jahrestagung (1), 2001)

A Formal Semantics for OCL 1.4. - María Victoria Cengarle; Alexander Knapp (UML, 2001)

Model checking UML state machines and collaborations. - Timm Schäfer; Alexander Knapp; Stephan Merz (Workshop on Software Model Checking @ CAV, 2001)

A formal approach to object-oriented software engineering. - Alexander Knapp (Softwaretechnik-Trends, 2001)

Towards OCL/RT. - María Victoria Cengarle; Alexander Knapp (FME, 2002)

Model Checking - Timed UML State Machines and Collaborations. - Alexander Knapp; Stephan Merz; Christopher Rauh (FTRTFT, 2002)

View Consistency in Software Development. - Martin Wirsing; Alexander Knapp (RISSEF, 2002)

A formal approach to object-oriented software engineering. - Martin Wirsing; Alexander Knapp (Theor. Comput. Sci., 2002)

Semantics of OCL Operation Specifications. - Rolf Hennicker; Alexander Knapp; Hubert Baumeister (OCL 2.0 @ UML, 2003)

Refining Mobile UML State Machines. - Alexander Knapp; Stephan Merz; Martin Wirsing (AMAST, 2004)

A coordination architecture for time-dependent components. - Michael N. Barth; Alexander Knapp (IASTED Conf. on Software Engineering, 2004)

Interactive Verification of UML State Machines. - Michael Balser; Simon Bäumler; Alexander Knapp; Wolfgang Reif; Andreas Thums (ICFEM, 2004)

Modeling the Structure of Web Applications with ArgoUWE. - Alexander Knapp; Nora Koch; Gefei Zhang (ICWE, 2004)

Consistency Checking in an Infrastructure for Large-Scale Generative. - Axel Rauschmayer; Alexander Knapp; Martin Wirsing (ASE, 2004)

Property-Driven Development. - Hubert Baumeister; Alexander Knapp; Martin Wirsing (SEFM, 2004)

Glass-Box and Black-Box Views on Object-Oriented Specifications. - Michel Bidoit; Rolf Hennicker; Alexander Knapp; Hubert Baumeister (SEFM, 2004)

Modeling Business Processes in Web Applications with ArgoUWE. - Alexander Knapp; Nora Koch; Gefei Zhang; Hanns-Martin Hassler (UML, 2004)

OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness. - María Victoria Cengarle; Alexander Knapp (Softw. Syst. Model., 2004)

Modelling Adaptivity with Aspects. - Hubert Baumeister; Alexander Knapp; Nora Koch; Gefei Zhang (ICWE, 2005)

Modelling the Behaviour of Web Applications with ArgoUWE. - Alexander Knapp; Nora Koch; Gefei Zhang (ICWE, 2005)

Truly On-the-Fly LTL Model Checking. - Moritz Hammer; Alexander Knapp; Stephan Merz (TACAS, 2005)

Unified Modeling Language 2.0. - Alexander Knapp; Harald Störrle (VL/HCC, 2005)

A Component Model for Architectural Programming. - Hubert Baumeister; Florian Hacklinger; Rolf Hennicker; Alexander Knapp; Martin Wirsing (FACS, 2005)

Semantic-Based Development of Service-Oriented Systems. - Martin Wirsing; Allan Clark; Stephen Gilmore; Matthias M. Hölzl; Alexander Knapp; Nora Koch; Andreas Schroeder 001 (FORTE, 2006)

Model Transformations for Integrating and Validating Web Application Models. - Alexander Knapp; Gefei Zhang (Modellierung, 2006)

Model Checking of UML 2.0 Interactions. - Alexander Knapp; Jochen Wuttke (MoDELS (Workshops), 2006)

Specification and refinement of mobile systems in MTLA and mobile UML. - Alexander Knapp; Stephan Merz; Martin Wirsing; Júlia Zappe (Theor. Comput. Sci., 2006)

Modelling the CoCoME with the Java/AComponent Model. - Alexander Knapp; Stephan Janisch; Rolf Hennicker; Allan Clark; Stephen Gilmore; Florian Hacklinger; Hubert Baumeister; Martin Wirsing (CoCoME, 2007)

The Java Memory Model: Operationally, Denotationally, Axiomatically. - Pietro Cenciarelli; Alexander Knapp; Eleonora Sibilio (ESOP, 2007)

Activity-Driven Synthesis of State Machines. - Rolf Hennicker; Alexander Knapp (FASE, 2007)

Model-Driven Generation of Web Applications in UWE. - Andreas Kraus; Alexander Knapp; Nora Koch (MDWE, 2007)

MDWEnet: A Practical Approach to Achieving Interoperability of Model-Driven Web Engineering Methods. - Antonio Vallecillo; Nora Koch; Cristina Cachero; Sara Comai; Piero Fraternali; Irene Garrigós; Jaime Gómez; Gerti Kappel; Alexander Knapp; Maristella Matera; Santiago Meliá; Nathalie Moreno; et al. (MDWE, 2007)

Enhancing UML State Machines with Aspects. - Gefei Zhang; Matthias M. Hölzl; Alexander Knapp (MoDELS, 2007)

Layout of (Software) Engineering Diagrams. - Andrew Fish; Alexander Knapp (VL/HCC, 2007)

Proceedings of the Workshop on the Layout of (Software) Engineering Diagrams (LED 2007) - Preface. - Andrew Fish; Alexander Knapp; Harald Störrle (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007)

UWE - Ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen (UWE - An Approach for the Model-Driven Development of Web Applications). - Alexander Knapp; Nora Koch; Martin Wirsing; Gefei Zhang (i-com, 2007)

A Heterogeneous Approach to UML Semantics. - María Victoria Cengarle; Alexander Knapp; Andrzej Tarlecki; Martin Wirsing (Concurrency, Graphs and Models, 2008)

Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication. - Rolf Hennicker; Stephan Janisch; Alexander Knapp (Monterey Workshop, 2008)

What Is a Multi-modeling Language? - Artur Boronat; Alexander Knapp; José Meseguer 001; Martin Wirsing (WADT, 2008)

Executing Underspecified OCL Operation Contracts with a SAT Solver. - Matthias P. Krieger; Alexander Knapp (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Correct Execution of Reconfiguration for Stateful Components. - Moritz Hammer; Alexander Knapp (FACS, 2008)

On the Observable Behaviour of Composite Components. - Rolf Hennicker; Stephan Janisch; Alexander Knapp (FACS, 2008)

Uml-Based Web Engineering - An Approach Based on Standards. - Nora Koch; Alexander Knapp; Gefei Zhang; Hubert Baumeister (Web Engineering, 2008)

Interactions. - María Victoria Cengarle; Alexander Knapp; Heribert Mühlberger (UML 2 Semantics and Applications, 2009)

UWE4JSF: A Model-Driven Generation Approach for Web Applications. - Christian Kroiss; Nora Koch; Alexander Knapp (ICWE, 2009)

Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages. - Jordi Cabot; Joanna Chimiak-Opoka; Martin Gogolla; Frédéric Jouault; Alexander Knapp (MoDELS (Workshops), 2009)

Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009. - Jordi Cabot; Joanna Chimiak-Opoka; Martin Gogolla; Frédéric Jouault; Alexander Knapp (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Automatic and efficient simulation of operation contracts. - Matthias P. Krieger; Alexander Knapp; Burkhart Wolff (GPCE, 2010)

A heterogeneous approach to service-oriented systems specification. - Alexander Knapp; Grzegorz Marczynski; Martin Wirsing; Artur Zawlocki (SAC, 2010)

Modeling the Car Crash Crisis Management System Using HiLA. - Matthias M. Hölzl; Alexander Knapp; Gefei Zhang (LNCS Trans. Aspect Oriented Softw. Dev., 2010)

Modeling Secure Navigation in Web Information Systems. - Marianne Busch; Alexander Knapp; Nora Koch (BIR, 2011)

Modal Interface Theories for Communication-Safe Component Assemblies. - Rolf Hennicker; Alexander Knapp (ICTAC, 2011)

On the Correctness of the SIMT Execution Model of GPUs. - Axel Habermaier; Alexander Knapp (ESOP, 2012)

SMT-Based False Positive Elimination in Static Program Analysis. - Maximilian Junker; Ralf Huuck; Ansgar Fehnker; Alexander Knapp (ICFEM, 2012)

Assessment of Effort Reduction due to Model-to-Model Transformations in the Web Domain. - Nora Koch; Alexander Knapp; Sergej Kozuruba (ICWE, 2012)

Model-driven security: MDsec '12 Workshop at MoDELS 2012, Innsbruck, Austria. - Nora Koch; Alexander Knapp; Geri Georg; Marina Egea; Benoit Baudry (MDsec@MoDELS, 2012)

Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl. - Phillip James; Alexander Knapp; Till Mossakowski; Markus Roggenbach (WADT, 2012)

Adapting applications to exploit virtualization management knowledge. - Vitalian A. Danciu; Alexander Knapp (CNSM, 2013)

An Approach for Isolated Testing of Self-Organization Algorithms. - Benedikt Eberhardinger; Gerrit Anders; Hella Seebach; Florian Siefert; Alexander Knapp; Wolfgang Reif (Software Engineering for Self-Adaptive Systems, 2013)

Who Cares About Software Process Modelling? A First Investigation About the Perceived Value of Process Engineering and Process Consumption. - Marco Kuhrmann; Daniel Méndez Fernández; Alexander Knapp (PROFES, 2013)

Modellierung von Vorgehensmodellen - Paradigmen, Sprachen, Tools. - Marco Kuhrmann; Daniel Méndez Fernández; Oliver Linssen; Alexander Knapp (Software Engineering (Workshops), 2013)

Constraint Relationships for Soft Constraints. - Alexander Schiendorfer; Jan-Philipp Steghöfer; Alexander Knapp; Florian Nafz; Wolfgang Reif (SGAI Conf., 2013)

Rapid Prototyping for Domain-specific Languages - From Stakeholder Analyses to Modelling Tools. - Marco Kuhrmann; Georg Kalus; Alexander Knapp (Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2013)

Assembly Theories for Communication-Safe Component Systems. - Rolf Hennicker; Alexander Knapp; Martin Wirsing (FPS@ETAPS, 2014)

Quality over Quantity in Soft Constraints. - Alexander Knapp; Alexander Schiendorfer; Wolfgang Reif (ICTAI, 2014)

An Index for Software Engineering Models. - Harald Störrle; Regina Hebig; Alexander Knapp (PSRC@MoDELS, 2014)

Towards Testing Self-organizing, Adaptive Systems. - Benedikt Eberhardinger; Hella Seebach; Alexander Knapp; Wolfgang Reif (ICTSS, 2014)

Efficient Representation of Timed UML 2 Interactions. - Alexander Knapp; Harald Störrle (SAM, 2014)

On the use of test cases in model-based software product line development. - Alexander Knapp; Markus Roggenbach; Bernd-Holger Schlingloff (SPLC, 2014)

An Institutional Framework for Heterogeneous Formal Development in UML. - Alexander Knapp; Till Mossakowski; Markus Roggenbach (CoRR, 2014)

Institutions for OCL-Like Expression Languages. - Alexander Knapp; María Victoria Cengarle (Software, Services, and Systems, 2015)

Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -. - Alexander Knapp; Till Mossakowski; Markus Roggenbach (Software, Services, and Systems, 2015)

Partial Valuation Structures for Qualitative Soft Constraints. - Alexander Schiendorfer; Alexander Knapp; Jan-Philipp Steghöfer; Gerrit Anders; Florian Siefert; Wolfgang Reif (Software, Services, and Systems, 2015)

An Institution for Simple UML State Machines. - Alexander Knapp; Till Mossakowski; Markus Roggenbach; Martin Glauer (FASE, 2015)

Moving from interface theories to assembly theories. - Rolf Hennicker; Alexander Knapp (Acta Informatica, 2015)

Automating Test Case Selection in Model-Based Software Product Line Development. - Alexander Knapp; Markus Roggenbach; Bernd-Holger Schlingloff (Int. J. Softw. Informatics, 2015)

Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis. - Axel Habermaier; Alexander Knapp; Johannes Leupolz; Wolfgang Reif (FMICS-AVoCS, 2016)

Report of the Fourth Workshop on the Globalization of Modeling Languages (GEMOC 2016). - Julien Deantoni; Jeff Gray 001; Eugene Syriani; Moussa Amrani; Alexander Knapp (GEMOC@MoDELS, 2016)

Discovering Timing Feature Interactions with Timed UML 2 Interactions. - Harald Störrle; Alexander Knapp (MoDeVVa@MoDELS, 2016)

Risk-Based Interoperability Testing Using Reinforcement Learning. - André Reichstaller; Benedikt Eberhardinger; Alexander Knapp; Wolfgang Reif; Marcel Gehlen (ICTSS, 2016)

Hunting the Game - Towards a Game of Testing Adaptive Systems. - André Reichstaller; Alexander Knapp (QRS Companion, 2016)

SECO Patterns: Architectural Decision Support in Software Ecosystems. - Kilian Telschig; Nikolai Schoffel; Klaus-Benedikt Schultis; Christoph Elsner; Alexander Knapp (MARCH@WICSA, 2016)

Multi-view Consistency in UML. - Alexander Knapp; Till Mossakowski (CoRR, 2016)

UML Interactions Meet State Machines - An Institutional Approach. - Alexander Knapp; Till Mossakowski (CALCO, 2017)

Towards safe dynamic updates of distributed embedded applications in factory automation. - Kilian Telschig; Alexander Knapp (ETFA, 2017)

Compressing Uniform Test Suites Using Variational Autoencoders. - André Reichstaller; Alexander Knapp (QRS Companion, 2017)

Transferring Context-Dependent Test Inputs. - André Reichstaller; Alexander Knapp (QRS, 2017)

Multi-view Consistency in UML: A Survey. - Alexander Knapp; Till Mossakowski (Graph Transformation, Specifications, and Nets, 2018)

A Real-Time Container Architecture for Dependable Distributed Embedded Applications. - Kilian Telschig; Andreas Schonberger; Alexander Knapp (CASE, 2018)

Test suite reduction for self-organizing systems: a mutation-based approach. - André Reichstaller; Benedikt Eberhardinger; Hella Ponsar; Alexander Knapp; Wolfgang Reif (AST@ICSE, 2018)

Mutation-Based Test Suite Evolution for Self-Organizing Systems. - André Reichstaller; Thomas Gabor; Alexander Knapp (ISoLA (3), 2018)

Risk-Based Testing of Self-Adaptive Systems Using Run-Time Predictions. - André Reichstaller; Alexander Knapp (SASO, 2018)

Term Charters. - Alexander Knapp; María Victoria Cengarle (WADT, 2018)

MiniBrass: Soft constraints for MiniZinc. - Alexander Schiendorfer; Alexander Knapp; Gerrit Anders; Wolfgang Reif (Constraints An Int. J., 2018)

Adaptive Tests for Adaptive Systems: The Need for New Concepts in Testing for Future Software Systems. - Benedikt Eberhardinger; Hella Seebach; André Reichstaller; Alexander Knapp; Wolfgang Reif (Softwaretechnik-Trends, 2018)

Applying Deep Learning For Imitating Adaptive Agent Behavior in Statistical Software Testing. - André Reichstaller; Benedikt Eberhardinger; Hella Seebach; Alexander Knapp; Wolfgang Reif (Softwaretechnik-Trends, 2018)

Formal methods for transport systems. - Maurice H. ter Beek; Stefania Gnesi; Alexander Knapp (Int. J. Softw. Tools Technol. Transf., 2018)

Formal methods and automated verification of critical systems. - Maurice H. ter Beek; Stefania Gnesi; Alexander Knapp (Int. J. Softw. Tools Technol. Transf., 2018)

Qualitative and quantitative analysis of safety-critical systems with s#. - Johannes Leupolz; Alexander Knapp; Axel Habermaier; Wolfgang Reif (Int. J. Softw. Tools Technol. Transf., 2018)

A Hybrid Dynamic Logic for Event/Data-Based Systems. - Rolf Hennicker; Alexandre Madeira; Alexander Knapp (FASE, 2019)

Synchronous Reconfiguration of Distributed Embedded Applications During Operation. - Kilian Telschig; Alexander Knapp (ICSA, 2019)

Time-Critical State Transfer during Operation of Distributed Embedded Applications. - Kilian Telschig; Alexander Knapp (INDIN, 2019)

Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions. - Rolf Hennicker; Alexander Knapp; Alexandre Madeira; Felix Mindt (DaLí, 2019)

Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS. - Tobias Rosenberger; Saddek Bensalem; Alexander Knapp; Markus Roggenbach (WADT, 2020)

André Platzer: Logical foundations of cyber-physical systems. - Alexander Knapp; Markus Roggenbach (Formal Aspects Comput., 2020)

2-Term Charters. - Alexander Knapp; María Victoria Cengarle (J. Object Technol., 2020)

Specifying Event/Data-based Systems (keynote). - Alexander Knapp (CS&P, 2021)

Hybrid dynamic logic institutions for event/data-based systems. - Rolf Hennicker; Alexander Knapp; Alexandre Madeira (Formal Aspects Comput., 2021)

Observational interpretations of hybrid dynamic logic with binders and silent transitions. - Rolf Hennicker; Alexander Knapp; Alexandre Madeira (J. Log. Algebraic Methods Program., 2021)

Automated QoS-Aware Service Selection Based on Soft Constraints. - Elias Keis; Carlos Gustavo López Pombo; Agustín Eloy Martinez Suñé; Alexander Knapp (WADT, 2022)

An Institutional Approach to Communicating UML State Machines. - Tobias Rosenberger; Alexander Knapp; Markus Roggenbach (FASE, 2022)

Cube Bot - A Smart Factory Showcase for the Real-Time Container Architecture. - Joseph Hirsch; Marius Lichtblau; Marian Lingsch Rosenfeld; Kilian Telschig; Alexander Knapp (INDIN, 2022)

A Hoare Logic with Regular Behavioral Specifications. - Gidon Ernst; Alexander Knapp; Toby Murray (ISoLA (1), 2022)

Epistemic Ensembles. - Rolf Hennicker; Alexander Knapp; Martin Wirsing (ISoLA (3), 2022)

Specification of systems with parameterised events: An institution-independent approach. - Rolf Hennicker; Alexander Knapp (J. Log. Algebraic Methods Program., 2022)

An Intermediate Language-Based Approach to Implementing and Verifying Communicating UML State Machines. - Alexander Knapp (Applicable Formal Methods for Safe Industrial Products, 2023)

Interpreting Knowledge-based Programs. - Alexander Knapp; Heribert Mühlberger; Bernhard Reus (ESOP, 2023)

Interpreting Knowledge-based Programs (Extended Version with Proofs). - Alexander Knapp; Heribert Mühlberger; Bernhard Reus (CoRR, 2023)

A reduction-based cut-free Gentzen calculus for dynamic epistemic logic. - Martin Wirsing; Alexander Knapp (Log. J. IGPL, 2023)

Epistemic Ensembles in Semantic and Symbolic Environments. - Rolf Hennicker; Alexander Knapp; Martin Wirsing (ISoLA (2), 2024)

Symbolic Realisation of Epistemic Processes. - Rolf Hennicker; Alexander Knapp; Martin Wirsing (LPAR, 2024)

Hybrid-Dynamic Ehrenfeucht-Fraïssé Games. - Guillermo Badia; Daniel Gaina; Alexander Knapp; Tomasz Kowalski; Martin Wirsing (CoRR, 2024)

Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs). - Rolf Hennicker; Alexander Knapp; Martin Wirsing (CoRR, 2024)

A Tale of Formal Methods, Organic Computing, and Intelligent Robotics - The Scientific Life of Wolfgang Reif. - Dominik Haneberg; Alexander Knapp; Oliver Kosak; Florian Nafz; Hella Ponsar; Gerhard Schellhorn; Martin Wirsing (Go Where the Bugs Are, 2025)