Alexander Knapp

ORCID

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 49

Top Venues

CoRR

Int. J. Softw. Tools Technol. Transf.

Software, Services, and Systems

WADT

Ludwig Maximilian University of Munich, Germany (PHD)

Education History

Ludwig Maximilian University of Munich, Germany

PHD

Publications

Rolf Hennicker, Alexander Knapp, Martin Wirsing
Symbolic Realisation of Epistemic Processes. LPAR (2024)
Guillermo Badia, Daniel Gaina, Alexander Knapp, Tomasz Kowalski, Martin Wirsing
Hybrid-Dynamic Ehrenfeucht-Fraïssé Games. CoRR (2024)
Alexander Knapp
An Intermediate Language-Based Approach to Implementing and Verifying Communicating UML State Machines. Applicable Formal Methods for Safe Industrial Products (2023)
Alexander Knapp, Heribert Mühlberger, Bernhard Reus
Interpreting Knowledge-based Programs. ESOP (2023)
Alexander Knapp, Heribert Mühlberger, Bernhard Reus
Interpreting Knowledge-based Programs (Extended Version with Proofs). CoRR (2023)
Martin Wirsing, Alexander Knapp
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic. Log. J. IGPL 31 (6) (2023)
Rolf Hennicker, Alexander Knapp
Specification of systems with parameterised events: An institution-independent approach. J. Log. Algebraic Methods Program. 128 (2022)
Elias Keis, Carlos Gustavo López Pombo, Agustín Eloy Martinez Suñé, Alexander Knapp
Automated QoS-Aware Service Selection Based on Soft Constraints. WADT (2022)
Rolf Hennicker, Alexander Knapp, Martin Wirsing
Epistemic Ensembles. ISoLA (3) (2022)
Joseph Hirsch, Marius Lichtblau, Marian Lingsch Rosenfeld, Kilian Telschig, Alexander Knapp
Cube Bot - A Smart Factory Showcase for the Real-Time Container Architecture. INDIN (2022)
Gidon Ernst, Alexander Knapp, Toby Murray
A Hoare Logic with Regular Behavioral Specifications. ISoLA (1) (2022)
Gidon Ernst, Alexander Knapp, Toby Murray
A Hoare Logic with Regular Behavioral Specifications. CoRR (2022)
Tobias Rosenberger, Alexander Knapp, Markus Roggenbach
An Institutional Approach to Communicating UML State Machines. FASE (2022)
Rolf Hennicker, Alexander Knapp, Alexandre Madeira
Hybrid dynamic logic institutions for event/data-based systems. Formal Aspects Comput. 33 (6) (2021)
Rolf Hennicker, Alexander Knapp, Alexandre Madeira
Observational interpretations of hybrid dynamic logic with binders and silent transitions. J. Log. Algebraic Methods Program. 122 (2021)
Alexander Knapp
Specifying Event/Data-based Systems (keynote). CS&P (2021)
Alexander Knapp, Markus Roggenbach
André Platzer: Logical foundations of cyber-physical systems. Formal Aspects Comput. 32 (1) (2020)
Alexander Knapp, María Victoria Cengarle
2-Term Charters. J. Object Technol. 19 (3) (2020)
Tobias Rosenberger, Saddek Bensalem, Alexander Knapp, Markus Roggenbach
Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS. WADT (2020)
Tobias Rosenberger, Saddek Bensalem, Alexander Knapp, Markus Roggenbach
Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS. CoRR (2020)
Rolf Hennicker, Alexander Knapp, Alexandre Madeira, Felix Mindt
Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions. DaLí (2019)
Kilian Telschig, Alexander Knapp
Synchronous Reconfiguration of Distributed Embedded Applications During Operation. ICSA (2019)
Rolf Hennicker, Alexandre Madeira, Alexander Knapp
A Hybrid Dynamic Logic for Event/Data-Based Systems. FASE (2019)
Rolf Hennicker, Alexandre Madeira, Alexander Knapp
A Hybrid Dynamic Logic for Event/Data-based Systems. CoRR (2019)
Kilian Telschig, Alexander Knapp
Time-Critical State Transfer during Operation of Distributed Embedded Applications. INDIN (2019)
Kilian Telschig, Andreas Schonberger, Alexander Knapp
A Real-Time Container Architecture for Dependable Distributed Embedded Applications. CASE (2018)
Alexander Knapp, Till Mossakowski
Multi-view Consistency in UML: A Survey. Graph Transformation, Specifications, and Nets (2018)
Johannes Leupolz, Alexander Knapp, Axel Habermaier, Wolfgang Reif
Qualitative and quantitative analysis of safety-critical systems with s#. Int. J. Softw. Tools Technol. Transf. 20 (4) (2018)
André Reichstaller, Benedikt Eberhardinger, Hella Ponsar, Alexander Knapp, Wolfgang Reif
Test suite reduction for self-organizing systems: a mutation-based approach. AST@ICSE (2018)
Benedikt Eberhardinger, Hella Seebach, André Reichstaller, Alexander Knapp, Wolfgang Reif
Adaptive Tests for Adaptive Systems: The Need for New Concepts in Testing for Future Software Systems. Softwaretechnik-Trends 38 (1) (2018)
André Reichstaller, Benedikt Eberhardinger, Hella Seebach, Alexander Knapp, Wolfgang Reif
Applying Deep Learning For Imitating Adaptive Agent Behavior in Statistical Software Testing. Softwaretechnik-Trends 38 (1) (2018)
André Reichstaller, Alexander Knapp
Risk-Based Testing of Self-Adaptive Systems Using Run-Time Predictions. SASO (2018)
Alexander Schiendorfer, Alexander Knapp, Gerrit Anders, Wolfgang Reif
MiniBrass: Soft constraints for MiniZinc. Constraints An Int. J. 23 (4) (2018)
André Reichstaller, Thomas Gabor, Alexander Knapp
Mutation-Based Test Suite Evolution for Self-Organizing Systems. ISoLA (3) (2018)
Alexander Knapp, María Victoria Cengarle
Term Charters. WADT (2018)
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
Formal methods for transport systems. Int. J. Softw. Tools Technol. Transf. 20 (3) (2018)
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
Formal methods and automated verification of critical systems. Int. J. Softw. Tools Technol. Transf. 20 (4) (2018)
Alexander Knapp, Till Mossakowski
UML Interactions Meet State Machines - An Institutional Approach. CALCO (2017)
André Reichstaller, Alexander Knapp
Transferring Context-Dependent Test Inputs. QRS (2017)
André Reichstaller, Alexander Knapp
Compressing Uniform Test Suites Using Variational Autoencoders. QRS Companion (2017)
Kilian Telschig, Alexander Knapp
Towards safe dynamic updates of distributed embedded applications in factory automation. ETFA (2017)
André Reichstaller, Benedikt Eberhardinger, Alexander Knapp, Wolfgang Reif, Marcel Gehlen
Risk-Based Interoperability Testing Using Reinforcement Learning. ICTSS (2016)
Julien Deantoni, Jeff Gray, Eugene Syriani, Moussa Amrani, Alexander Knapp
Report of the Fourth Workshop on the Globalization of Modeling Languages (GEMOC 2016). GEMOC@MoDELS (2016)
Kilian Telschig, Nikolai Schoffel, Klaus-Benedikt Schultis, Christoph Elsner, Alexander Knapp
SECO Patterns: Architectural Decision Support in Software Ecosystems. MARCH@WICSA (2016)
André Reichstaller, Alexander Knapp
Hunting the Game - Towards a Game of Testing Adaptive Systems. QRS Companion (2016)
Axel Habermaier, Alexander Knapp, Johannes Leupolz, Wolfgang Reif
Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis. FMICS-AVoCS (2016)
Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Alexander Knapp, Wolfgang Reif
An Approach for Isolated Testing of Self-Organization Algorithms. CoRR (2016)
Harald Störrle, Alexander Knapp
Discovering Timing Feature Interactions with Timed UML 2 Interactions. MoDeVVa@MoDELS (2016)
Alexander Knapp, Till Mossakowski
Multi-view Consistency in UML. CoRR (2016)
Rolf Hennicker, Alexander Knapp
Moving from interface theories to assembly theories. Acta Informatica 52 (2-3) (2015)
Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer
An Institution for Simple UML State Machines. FASE (2015)
Alexander Schiendorfer, Alexander Knapp, Jan-Philipp Steghöfer, Gerrit Anders, Florian Siefert, Wolfgang Reif
Partial Valuation Structures for Qualitative Soft Constraints. Software, Services, and Systems (2015)
Alexander Knapp, Markus Roggenbach, Bernd-Holger Schlingloff
Automating Test Case Selection in Model-Based Software Product Line Development. Int. J. Softw. Informatics 9 (2) (2015)
Alexander Knapp, María Victoria Cengarle
Institutions for OCL-Like Expression Languages. Software, Services, and Systems (2015)
Alexander Knapp, Till Mossakowski, Markus Roggenbach
Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -. Software, Services, and Systems (2015)
Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer
An Institution for Simple UML State Machines. CoRR (2014)
Harald Störrle, Regina Hebig, Alexander Knapp
An Index for Software Engineering Models. PSRC@MoDELS (2014)
Rolf Hennicker, Alexander Knapp, Martin Wirsing
Assembly Theories for Communication-Safe Component Systems. FPS@ETAPS (2014)
Alexander Knapp, Harald Störrle
Efficient Representation of Timed UML 2 Interactions. SAM (2014)
Alexander Knapp, Alexander Schiendorfer, Wolfgang Reif
Quality over Quantity in Soft Constraints. ICTAI (2014)
Alexander Knapp, Markus Roggenbach, Bernd-Holger Schlingloff
On the use of test cases in model-based software product line development. SPLC (2014)
Alexander Knapp, Till Mossakowski, Markus Roggenbach
An Institutional Framework for Heterogeneous Formal Development in UML. CoRR (2014)
Benedikt Eberhardinger, Hella Seebach, Alexander Knapp, Wolfgang Reif
Towards Testing Self-organizing, Adaptive Systems. ICTSS (2014)
Alexander Schiendorfer, Jan-Philipp Steghöfer, Alexander Knapp, Florian Nafz, Wolfgang Reif
Constraint Relationships for Soft Constraints. SGAI Conf. (2013)
Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Alexander Knapp, Wolfgang Reif
An Approach for Isolated Testing of Self-Organization Algorithms. Software Engineering for Self-Adaptive Systems (2013)
Marco Kuhrmann, Georg Kalus, Alexander Knapp
Rapid Prototyping for Domain-specific Languages - From Stakeholder Analyses to Modelling Tools. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 8 (1) (2013)
Vitalian A. Danciu, Alexander Knapp
Adapting applications to exploit virtualization management knowledge. CNSM (2013)
Marco Kuhrmann, Daniel Méndez Fernández, Oliver Linssen, Alexander Knapp
Modellierung von Vorgehensmodellen - Paradigmen, Sprachen, Tools. Software Engineering (2013)
Marco Kuhrmann, Daniel Méndez Fernández, Oliver Linssen, Alexander Knapp
Modellierung von Vorgehensmodellen - Paradigmen, Sprachen, Tools. Software Engineering (Workshops) (2013)
Marco Kuhrmann, Daniel Méndez Fernández, Alexander Knapp
Who Cares About Software Process Modelling? A First Investigation About the Perceived Value of Process Engineering and Process Consumption. PROFES (2013)
Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach
Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl. WADT (2012)
Nora Koch, Alexander Knapp, Geri Georg, Marina Egea, Benoit Baudry
Model-driven security: MDsec '12 Workshop at MoDELS 2012, Innsbruck, Austria. MDsec@MoDELS (2012)
Axel Habermaier, Alexander Knapp
On the Correctness of the SIMT Execution Model of GPUs. ESOP (2012)
Maximilian Junker, Ralf Huuck, Ansgar Fehnker, Alexander Knapp
SMT-Based False Positive Elimination in Static Program Analysis. ICFEM (2012)
Nora Koch, Alexander Knapp, Sergej Kozuruba
Assessment of Effort Reduction due to Model-to-Model Transformations in the Web Domain. ICWE (2012)
Marianne Busch, Alexander Knapp, Nora Koch
Modeling Secure Navigation in Web Information Systems. BIR (2011)
Rolf Hennicker, Alexander Knapp
Modal Interface Theories for Communication-Safe Component Assemblies. ICTAC (2011)
Matthias M. Hölzl, Alexander Knapp, Gefei Zhang
Modeling the Car Crash Crisis Management System Using HiLA. LNCS Trans. Aspect Oriented Softw. Dev. 7 (2010)
Matthias P. Krieger, Alexander Knapp, Burkhart Wolff
Automatic and efficient simulation of operation contracts. GPCE (2010)
Rolf Hennicker, Stephan Janisch, Alexander Knapp
On the Observable Behaviour of Composite Components. Electron. Notes Theor. Comput. Sci. 260 (2010)
Alexander Knapp, Grzegorz Marczynski, Martin Wirsing, Artur Zawlocki
A heterogeneous approach to service-oriented systems specification. SAC (2010)
Moritz Hammer, Alexander Knapp
Correct Execution of Reconfiguration for Stateful Components. Electron. Notes Theor. Comput. Sci. 260 (2010)
Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp
Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages. MoDELS (Workshops) (2009)
Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp
Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 24 (2009)
Christian Kroiss, Nora Koch, Alexander Knapp
UWE4JSF: A Model-Driven Generation Approach for Web Applications. ICWE (2009)
Matthias P. Krieger, Alexander Knapp
Executing Underspecified OCL Operation Contracts with a SAT Solver. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 15 (2008)
Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing
What Is a Multi-modeling Language? WADT (2008)
María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing
A Heterogeneous Approach to UML Semantics. Concurrency, Graphs and Models (2008)
Rolf Hennicker, Stephan Janisch, Alexander Knapp
Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication. Monterey Workshop (2008)
Andreas Kraus, Alexander Knapp, Nora Koch
Model-Driven Generation of Web Applications in UWE. MDWE (2007)
Gefei Zhang, Matthias M. Hölzl, Alexander Knapp
Enhancing UML State Machines with Aspects. MoDELS (2007)
Andrew Fish, Alexander Knapp, Harald Störrle
Proceedings of the Workshop on the Layout of (Software) Engineering Diagrams (LED 2007) - Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 7 (2007)
Rolf Hennicker, Alexander Knapp
Activity-Driven Synthesis of State Machines. FASE (2007)
Alexander Knapp, Nora Koch, Martin Wirsing, Gefei Zhang
UWE - Ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen (UWE - An Approach for the Model-Driven Development of Web Applications). i-com 6 (3) (2007)
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, Birgit Pröll, Thomas Reiter, Werner Retschitzegger, José Eduardo Rivera, Andrea Schauerhuber, Wieland Schwinger, Manuel Wimmer, Gefei Zhang
MDWEnet: A Practical Approach to Achieving Interoperability of Model-Driven Web Engineering Methods. MDWE (2007)
Andrew Fish, Alexander Knapp
Layout of (Software) Engineering Diagrams. VL/HCC (2007)
Pietro Cenciarelli, Alexander Knapp, Eleonora Sibilio
The Java Memory Model: Operationally, Denotationally, Axiomatically. ESOP (2007)
Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, Martin Wirsing
Modelling the CoCoME with the Java/AComponent Model. CoCoME (2007)
Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing
A Component Model for Architectural Programming. Electron. Notes Theor. Comput. Sci. 160 (2006)
Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder
Semantic-Based Development of Service-Oriented Systems. FORTE (2006)

Alexander Knapp.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alexander Knapp