| 2024 | ISoLA | Epistemic Ensembles in Semantic and Symbolic Environments. | Rolf Hennicker, Alexander Knapp, Martin Wirsing |
| 2024 | LPAR | Symbolic Realisation of Epistemic Processes. | Rolf Hennicker, Alexander Knapp, Martin Wirsing |
| 2023 | ESOP | Interpreting Knowledge-based Programs. | Alexander Knapp, Heribert Mhlberger, Bernhard Reus |
| 2022 | FASE | An Institutional Approach to Communicating UML State Machines. | Tobias Rosenberger, Alexander Knapp, Markus Roggenbach |
| 2022 | INDIN | Cube Bot - A Smart Factory Showcase for the Real-Time Container Architecture. | Joseph Hirsch, Marius Lichtblau, Marian Lingsch Rosenfeld, Kilian Telschig, Alexander Knapp |
| 2022 | ISoLA | A Hoare Logic with Regular Behavioral Specifications. | Gidon Ernst, Alexander Knapp, Toby Murray |
| 2022 | ISoLA | Epistemic Ensembles. | Rolf Hennicker, Alexander Knapp, Martin Wirsing |
| 2019 | FASE | A Hybrid Dynamic Logic for Event/Data-Based Systems. | Rolf Hennicker, Alexandre Madeira, Alexander Knapp |
| 2019 | INDIN | Time-Critical State Transfer during Operation of Distributed Embedded Applications. | Kilian Telschig, Alexander Knapp |
| 2019 | ICSA | Synchronous Reconfiguration of Distributed Embedded Applications During Operation. | Kilian Telschig, Alexander Knapp |
| 2019 | TAP | Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions. | Rolf Hennicker, Alexander Knapp, Alexandre Madeira, Felix Mindt |
| 2018 | ICSE | Test suite reduction for self-organizing systems: a mutation-based approach. | Andr Reichstaller, Benedikt Eberhardinger, Hella Ponsar, Alexander Knapp, Wolfgang Reif |
| 2018 | ISoLA | Mutation-Based Test Suite Evolution for Self-Organizing Systems. | Andr Reichstaller, Thomas Gabor, Alexander Knapp |
| 2017 | CALCO | UML Interactions Meet State Machines - An Institutional Approach. | Alexander Knapp, Till Mossakowski |
| 2017 | ETFA | Towards safe dynamic updates of distributed embedded applications in factory automation. | Kilian Telschig, Alexander Knapp |
| 2017 | QRS | Compressing Uniform Test Suites Using Variational Autoencoders. | Andr Reichstaller, Alexander Knapp |
| 2017 | QRS | Transferring Context-Dependent Test Inputs. | Andr Reichstaller, Alexander Knapp |
| 2016 | FMICS | Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis. | Axel Habermaier, Alexander Knapp, Johannes Leupolz, Wolfgang Reif |
| 2016 | MODELS | Report of the Fourth Workshop on the Globalization of Modeling Languages (GEMOC 2016). | Julien Deantoni, Jeff Gray, Eugene Syriani, Moussa Amrani, Alexander Knapp |
| 2016 | MODELS | Discovering Timing Feature Interactions with Timed UML 2 Interactions. | Harald Strrle, Alexander Knapp |
| 2016 | QRS | Hunting the Game - Towards a Game of Testing Adaptive Systems. | Andr Reichstaller, Alexander Knapp |
| 2015 | FASE | An Institution for Simple UML State Machines. | Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer |
| 2014 | ICTAI | Quality over Quantity in Soft Constraints. | Alexander Knapp, Alexander Schiendorfer, Wolfgang Reif |
| 2014 | MODELS | An Index for Software Engineering Models. | Harald Strrle, Regina Hebig, Alexander Knapp |
| 2014 | SPLC | On the use of test cases in model-based software product line development. | Alexander Knapp, Markus Roggenbach, Bernd-Holger Schlingloff |
| 2013 | CNSM | Adapting applications to exploit virtualization management knowledge. | Vitalian A. Danciu, Alexander Knapp |
| 2013 | PROFES | Who Cares About Software Process Modelling? A First Investigation About the Perceived Value of Process Engineering and Process Consumption. | Marco Kuhrmann, Daniel Mndez Fernndez, Alexander Knapp |
| 2013 | SGAI | Constraint Relationships for Soft Constraints. | Alexander Schiendorfer, Jan-Philipp Steghfer, Alexander Knapp, Florian Nafz, Wolfgang Reif |
| 2012 | ESOP | On the Correctness of the SIMT Execution Model of GPUs. | Axel Habermaier, Alexander Knapp |
| 2012 | ICFEM | SMT-Based False Positive Elimination in Static Program Analysis. | Maximilian Junker, Ralf Huuck, Ansgar Fehnker, Alexander Knapp |
| 2012 | ICWE | Assessment of Effort Reduction due to Model-to-Model Transformations in the Web Domain. | Nora Koch, Alexander Knapp, Sergej Kozuruba |
| 2012 | MODELS | Model-driven security: MDsec '12 Workshop at MoDELS 2012, Innsbruck, Austria. | Nora Koch, Alexander Knapp, Geri Georg, Marina Egea, Benoit Baudry |
| 2011 | ICTAC | Modal Interface Theories for Communication-Safe Component Assemblies. | Rolf Hennicker, Alexander Knapp |
| 2010 | GPCE | Automatic and efficient simulation of operation contracts. | Matthias P. Krieger, Alexander Knapp, Burkhart Wolff |
| 2010 | SAC | A heterogeneous approach to service-oriented systems specification. | Alexander Knapp, Grzegorz Marczynski, Martin Wirsing, Artur Zawlocki |
| 2009 | ICWE | UWE4JSF: A Model-Driven Generation Approach for Web Applications. | Christian Kroiss, Nora Koch, Alexander Knapp |
| 2009 | MODELS | Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages. | Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frdric Jouault, Alexander Knapp |
| 2007 | ESOP | The Java Memory Model: Operationally, Denotationally, Axiomatically. | Pietro Cenciarelli, Alexander Knapp, Eleonora Sibilio |
| 2007 | FASE | Activity-Driven Synthesis of State Machines. | Rolf Hennicker, Alexander Knapp |
| 2007 | ICWE | Model-Driven Generation of Web Applications in UWE. | Andreas Kraus, Alexander Knapp, Nora Koch |
| 2007 | ICWE | MDWEnet: A Practical Approach to Achieving Interoperability of Model-Driven Web Engineering Methods. | Antonio Vallecillo, Nora Koch, Cristina Cachero, Sara Comai, Piero Fraternali, Irene Garrigs, Jaime Gmez, Gerti Kappel, Alexander Knapp, Maristella Matera, Santiago Meli, Nathalie Moreno, Birgit Prll, Thomas Reiter, Werner Retschitzegger, Jos Eduardo Rivera, Andrea Schauerhuber, Wieland Schwinger, Manuel Wimmer, Gefei Zhang |
| 2007 | MODELS | Enhancing UML State Machines with Aspects. | Gefei Zhang, Matthias M. Hlzl, Alexander Knapp |
| 2006 | FORTE | Semantic-Based Development of Service-Oriented Systems. | Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hlzl, Alexander Knapp, Nora Koch, Andreas Schroeder |
| 2006 | MODELS | Model Checking of UML 2.0 Interactions. | Alexander Knapp, Jochen Wuttke |
| 2005 | ICWE | Modelling Adaptivity with Aspects. | Hubert Baumeister, Alexander Knapp, Nora Koch, Gefei Zhang |
| 2005 | ICWE | Modelling the Behaviour of Web Applications with ArgoUWE. | Alexander Knapp, Nora Koch, Gefei Zhang |
| 2005 | TACAS | Truly On-the-Fly LTL Model Checking. | Moritz Hammer, Alexander Knapp, Stephan Merz |
| 2004 | ICFEM | Interactive Verification of UML State Machines. | Michael Balser, Simon Bumler, Alexander Knapp, Wolfgang Reif, Andreas Thums |
| 2004 | ICWE | Modeling the Structure of Web Applications with ArgoUWE. | Alexander Knapp, Nora Koch, Gefei Zhang |
| 2004 | SEFM | Property-Driven Development. | Hubert Baumeister, Alexander Knapp, Martin Wirsing |
| 2004 | SEFM | Glass-Box and Black-Box Views on Object-Oriented Specifications. | Michel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister |
| 2002 | FM | Towards OCL/RT. | Mara Victoria Cengarle, Alexander Knapp |
| 2001 | GI | Specifying Component Invariants with OCL. | Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing |