Alexander Knapp

147 papers A* 1A 6B 22C 12Misc 1Journal 38Unranked 60
YearRankTypeTitle / Venue / Authors
2026 J jnl
PauliEngine: High-Performant Symbolic Arithmetic for Quantum Operations.
CoRR
Leon Müller, Adelina Bärligea, Alexander Knapp, Jakob S. Kottmann
2025 B ed.
11th Conference on Algebra and Coalgebra in Computer Science, CALCO 2025, University of Strathclyde, UK, June 16-18, 2025
CALCO
Corina Cîrstea, Alexander Knapp
2025 J jnl
A Modular Bisimulation characterisation for Fragments of Hybrid Logic.
Bull. Symb. Log.
Guillermo Badia, Daniel Gaina, Alexander Knapp, Tomasz Kowalski, Martin Wirsing
2025 — conf
A Tale of Formal Methods, Organic Computing, and Intelligent Robotics - The Scientific Life of Wolfgang Reif.
Go Where the Bugs Are
Dominik Haneberg, Alexander Knapp, Oliver Kosak, Florian Nafz, Hella Ponsar, Gerhard Schellhorn, Martin Wirsing
2025 — ed.
Go Where the Bugs Are - Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
Go Where the Bugs Are
Gidon Ernst, Matthias Güdemann, Alexander Knapp, Florian Nafz, Frank Ortmeier, Hella Ponsar, Gerhard Schellhorn, Alexander Schiendorfer
2025 J jnl
Hybrid-Dynamic Ehrenfeucht-Fraïssé Games.
ACM Trans. Comput. Log.
Guillermo Badia, Daniel Gaina, Alexander Knapp, Tomasz Kowalski, Martin Wirsing
2025 B ed.
Software Engineering and Formal Methods - 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
SEFM
Alexandre Madeira, Alexander Knapp
2024 J jnl
Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs).
CoRR
Rolf Hennicker, Alexander Knapp, Martin Wirsing
2024 — conf
Epistemic Ensembles in Semantic and Symbolic Environments.
ISoLA (2)
Rolf Hennicker, Alexander Knapp, Martin Wirsing
2024 J jnl
Hybrid-Dynamic Ehrenfeucht-Fraïssé Games.
CoRR
Guillermo Badia, Daniel Gaina, Alexander Knapp, Tomasz Kowalski, Martin Wirsing
2024 B conf
Symbolic Realisation of Epistemic Processes.
LPAR
Rolf Hennicker, Alexander Knapp, Martin Wirsing
2023 J jnl
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic.
Log. J. IGPL
Martin Wirsing, Alexander Knapp
2023 — conf
An Intermediate Language-Based Approach to Implementing and Verifying Communicating UML State Machines.
Applicable Formal Methods for Safe Industrial Products
Alexander Knapp
2023 J jnl
Interpreting Knowledge-based Programs (Extended Version with Proofs).
CoRR
Alexander Knapp, Heribert Mühlberger, Bernhard Reus
2023 A conf
Interpreting Knowledge-based Programs.
ESOP
Alexander Knapp, Heribert Mühlberger, Bernhard Reus
2022 — conf
A Hoare Logic with Regular Behavioral Specifications.
ISoLA (1)
Gidon Ernst, Alexander Knapp, Toby Murray
2022 J jnl
A Hoare Logic with Regular Behavioral Specifications.
CoRR
Gidon Ernst, Alexander Knapp, Toby Murray
2022 B conf
An Institutional Approach to Communicating UML State Machines.
FASE
Tobias Rosenberger, Alexander Knapp, Markus Roggenbach
2022 — conf
Automated QoS-Aware Service Selection Based on Soft Constraints.
WADT
Elias Keis, Carlos Gustavo López Pombo, Agustín Eloy Martinez Suñé, Alexander Knapp
2022 C conf
Cube Bot - A Smart Factory Showcase for the Real-Time Container Architecture.
INDIN
Joseph Hirsch, Marius Lichtblau, Marian Lingsch Rosenfeld, Kilian Telschig, Alexander Knapp
2022 — conf
Epistemic Ensembles.
ISoLA (3)
Rolf Hennicker, Alexander Knapp, Martin Wirsing
2022 J jnl
Specification of systems with parameterised events: An institution-independent approach.
J. Log. Algebraic Methods Program.
Rolf Hennicker, Alexander Knapp
2021 J jnl
Hybrid dynamic logic institutions for event/data-based systems.
Formal Aspects Comput.
Rolf Hennicker, Alexander Knapp, Alexandre Madeira
2021 J jnl
Observational interpretations of hybrid dynamic logic with binders and silent transitions.
J. Log. Algebraic Methods Program.
Rolf Hennicker, Alexander Knapp, Alexandre Madeira
2021 — conf
Specifying Event/Data-based Systems (keynote).
CS&P
Alexander Knapp
2020 J jnl
2-Term Charters.
J. Object Technol.
Alexander Knapp, María Victoria Cengarle
2020 J jnl
André Platzer: Logical foundations of cyber-physical systems.
Formal Aspects Comput.
Alexander Knapp, Markus Roggenbach
2020 — conf
Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS.
WADT
Tobias Rosenberger, Saddek Bensalem, Alexander Knapp, Markus Roggenbach
2020 J jnl
Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS.
CoRR
Tobias Rosenberger, Saddek Bensalem, Alexander Knapp, Markus Roggenbach
2019 B conf
A Hybrid Dynamic Logic for Event/Data-Based Systems.
FASE
Rolf Hennicker, Alexandre Madeira, Alexander Knapp
2019 J jnl
A Hybrid Dynamic Logic for Event/Data-based Systems.
CoRR
Rolf Hennicker, Alexandre Madeira, Alexander Knapp
2019 — conf
Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions.
DaLí
Rolf Hennicker, Alexander Knapp, Alexandre Madeira, Felix Mindt
2019 A conf
Synchronous Reconfiguration of Distributed Embedded Applications During Operation.
ICSA
Kilian Telschig, Alexander Knapp
2019 C conf
Time-Critical State Transfer during Operation of Distributed Embedded Applications.
INDIN
Kilian Telschig, Alexander Knapp
2018 — conf
A Real-Time Container Architecture for Dependable Distributed Embedded Applications.
CASE
Kilian Telschig, Andreas Schonberger, Alexander Knapp
2018 J jnl
Adaptive Tests for Adaptive Systems: The Need for New Concepts in Testing for Future Software Systems.
Softwaretechnik-Trends
Benedikt Eberhardinger, Hella Seebach, André Reichstaller, Alexander Knapp, Wolfgang Reif
2018 J jnl
Applying Deep Learning For Imitating Adaptive Agent Behavior in Statistical Software Testing.
Softwaretechnik-Trends
André Reichstaller, Benedikt Eberhardinger, Hella Seebach, Alexander Knapp, Wolfgang Reif
2018 J jnl
Formal methods and automated verification of critical systems.
Int. J. Softw. Tools Technol. Transf.
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
2018 J jnl
Formal methods for transport systems.
Int. J. Softw. Tools Technol. Transf.
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
2018 J jnl
MiniBrass: Soft constraints for MiniZinc.
Constraints An Int. J.
Alexander Schiendorfer, Alexander Knapp, Gerrit Anders, Wolfgang Reif
2018 — conf
Multi-view Consistency in UML: A Survey.
Graph Transformation, Specifications, and Nets
Alexander Knapp, Till Mossakowski
2018 — conf
Mutation-Based Test Suite Evolution for Self-Organizing Systems.
ISoLA (3)
André Reichstaller, Thomas Gabor, Alexander Knapp
2018 J jnl
Qualitative and quantitative analysis of safety-critical systems with s#.
Int. J. Softw. Tools Technol. Transf.
Johannes Leupolz, Alexander Knapp, Axel Habermaier, Wolfgang Reif
2018 — conf
Risk-Based Testing of Self-Adaptive Systems Using Run-Time Predictions.
SASO
André Reichstaller, Alexander Knapp
2018 — conf
Term Charters.
WADT
Alexander Knapp, María Victoria Cengarle
2018 — conf
Test suite reduction for self-organizing systems: a mutation-based approach.
AST@ICSE
André Reichstaller, Benedikt Eberhardinger, Hella Ponsar, Alexander Knapp, Wolfgang Reif
2017 — conf
Compressing Uniform Test Suites Using Variational Autoencoders.
QRS Companion
André Reichstaller, Alexander Knapp
2017 C conf
Towards safe dynamic updates of distributed embedded applications in factory automation.
ETFA
Kilian Telschig, Alexander Knapp
2017 C conf
Transferring Context-Dependent Test Inputs.
QRS
André Reichstaller, Alexander Knapp
2017 B conf
UML Interactions Meet State Machines - An Institutional Approach.
CALCO
Alexander Knapp, Till Mossakowski
2016 J jnl
An Approach for Isolated Testing of Self-Organization Algorithms.
CoRR
Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Alexander Knapp, Wolfgang Reif
2016 — ed.
Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
FMICS-AVoCS
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
2016 — conf
Discovering Timing Feature Interactions with Timed UML 2 Interactions.
MoDeVVa@MoDELS
Harald Störrle, Alexander Knapp
2016 — conf
Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis.
FMICS-AVoCS
Axel Habermaier, Alexander Knapp, Johannes Leupolz, Wolfgang Reif
2016 — conf
Hunting the Game - Towards a Game of Testing Adaptive Systems.
QRS Companion
André Reichstaller, Alexander Knapp
2016 J jnl
Multi-view Consistency in UML.
CoRR
Alexander Knapp, Till Mossakowski
2016 — conf
Report of the Fourth Workshop on the Globalization of Modeling Languages (GEMOC 2016).
GEMOC@MoDELS
Julien Deantoni, Jeff Gray, Eugene Syriani, Moussa Amrani, Alexander Knapp
2016 C conf
Risk-Based Interoperability Testing Using Reinforcement Learning.
ICTSS
André Reichstaller, Benedikt Eberhardinger, Alexander Knapp, Wolfgang Reif, Marcel Gehlen
2016 — conf
SECO Patterns: Architectural Decision Support in Software Ecosystems.
MARCH@WICSA
Kilian Telschig, Nikolai Schoffel, Klaus-Benedikt Schultis, Christoph Elsner, Alexander Knapp
2015 B conf
An Institution for Simple UML State Machines.
FASE
Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer
2015 J jnl
Automating Test Case Selection in Model-Based Software Product Line Development.
Int. J. Softw. Informatics
Alexander Knapp, Markus Roggenbach, Bernd-Holger Schlingloff
2015 — conf
Institutions for OCL-Like Expression Languages.
Software, Services, and Systems
Alexander Knapp, María Victoria Cengarle
2015 J jnl
Moving from interface theories to assembly theories.
Acta Informatica
Rolf Hennicker, Alexander Knapp
2015 — conf
Partial Valuation Structures for Qualitative Soft Constraints.
Software, Services, and Systems
Alexander Schiendorfer, Alexander Knapp, Jan-Philipp Steghöfer, Gerrit Anders, Florian Siefert, Wolfgang Reif
2015 — conf
Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -.
Software, Services, and Systems
Alexander Knapp, Till Mossakowski, Markus Roggenbach
2014 — conf
An Index for Software Engineering Models.
PSRC@MoDELS
Harald Störrle, Regina Hebig, Alexander Knapp
2014 J jnl
An Institution for Simple UML State Machines.
CoRR
Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer
2014 J jnl
An Institutional Framework for Heterogeneous Formal Development in UML.
CoRR
Alexander Knapp, Till Mossakowski, Markus Roggenbach
2014 — conf
Assembly Theories for Communication-Safe Component Systems.
FPS@ETAPS
Rolf Hennicker, Alexander Knapp, Martin Wirsing
2014 — conf
Efficient Representation of Timed UML 2 Interactions.
SAM
Alexander Knapp, Harald Störrle
2014 B conf
On the use of test cases in model-based software product line development.
SPLC
Alexander Knapp, Markus Roggenbach, Bernd-Holger Schlingloff
2014 B conf
Quality over Quantity in Soft Constraints.
ICTAI
Alexander Knapp, Alexander Schiendorfer, Wolfgang Reif
2014 C conf
Towards Testing Self-organizing, Adaptive Systems.
ICTSS
Benedikt Eberhardinger, Hella Seebach, Alexander Knapp, Wolfgang Reif
2013 B conf
Adapting applications to exploit virtualization management knowledge.
CNSM
Vitalian A. Danciu, Alexander Knapp
2013 — conf
An Approach for Isolated Testing of Self-Organization Algorithms.
Software Engineering for Self-Adaptive Systems
Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Alexander Knapp, Wolfgang Reif
2013 — conf
Constraint Relationships for Soft Constraints.
SGAI Conf.
Alexander Schiendorfer, Jan-Philipp Steghöfer, Alexander Knapp, Florian Nafz, Wolfgang Reif
2013 C conf
Modellierung von Vorgehensmodellen - Paradigmen, Sprachen, Tools.
Software Engineering
Marco Kuhrmann, Daniel Méndez Fernández, Oliver Linssen, Alexander Knapp
2013 C conf
Modellierung von Vorgehensmodellen - Paradigmen, Sprachen, Tools.
Software Engineering (Workshops)
Marco Kuhrmann, Daniel Méndez Fernández, Oliver Linssen, Alexander Knapp
2013 J jnl
Rapid Prototyping for Domain-specific Languages - From Stakeholder Analyses to Modelling Tools.
Enterp. Model. Inf. Syst. Archit.
Marco Kuhrmann, Georg Kalus, Alexander Knapp
2013 B conf
Who Cares About Software Process Modelling? A First Investigation About the Perceived Value of Process Engineering and Process Consumption.
PROFES
Marco Kuhrmann, Daniel Méndez Fernández, Alexander Knapp
2012 B conf
Assessment of Effort Reduction due to Model-to-Model Transformations in the Web Domain.
ICWE
Nora Koch, Alexander Knapp, Sergej Kozuruba
2012 — conf
Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl.
WADT
Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach
2012 — conf
Model-driven security: MDsec '12 Workshop at MoDELS 2012, Innsbruck, Austria.
MDsec@MoDELS
Nora Koch, Alexander Knapp, Geri Georg, Marina Egea, Benoit Baudry
2012 A conf
On the Correctness of the SIMT Execution Model of GPUs.
ESOP
Axel Habermaier, Alexander Knapp
2012 C conf
SMT-Based False Positive Elimination in Static Program Analysis.
ICFEM
Maximilian Junker, Ralf Huuck, Ansgar Fehnker, Alexander Knapp
2011 C conf
Modal Interface Theories for Communication-Safe Component Assemblies.
ICTAC
Rolf Hennicker, Alexander Knapp
2011 — conf
Modeling Secure Navigation in Web Information Systems.
BIR
Marianne Busch, Alexander Knapp, Nora Koch
2010 Misc conf
A heterogeneous approach to service-oriented systems specification.
SAC
Alexander Knapp, Grzegorz Marczynski, Martin Wirsing, Artur Zawlocki
2010 B conf
Automatic and efficient simulation of operation contracts.
GPCE
Matthias P. Krieger, Alexander Knapp, Burkhart Wolff
2010 J jnl
Modeling the Car Crash Crisis Management System Using HiLA.
LNCS Trans. Aspect Oriented Softw. Dev.
Matthias M. Hölzl, Alexander Knapp, Gefei Zhang
2009 — ch.
Interactions.
UML 2 Semantics and Applications
María Victoria Cengarle, Alexander Knapp, Heribert Mühlberger
2009 — conf
Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages.
MoDELS (Workshops)
Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp
2009 J jnl
Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp
2009 B conf
UWE4JSF: A Model-Driven Generation Approach for Web Applications.
ICWE
Christian Kroiss, Nora Koch, Alexander Knapp
2008 — conf
A Heterogeneous Approach to UML Semantics.
Concurrency, Graphs and Models
María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing
2008 — conf
Correct Execution of Reconfiguration for Stateful Components.
FACS
Moritz Hammer, Alexander Knapp
2008 J jnl
Executing Underspecified OCL Operation Contracts with a SAT Solver.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Matthias P. Krieger, Alexander Knapp
2008 — conf
On the Observable Behaviour of Composite Components.
FACS
Rolf Hennicker, Stephan Janisch, Alexander Knapp
2008 — conf
Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication.
Monterey Workshop
Rolf Hennicker, Stephan Janisch, Alexander Knapp
2008 — ch.
Uml-Based Web Engineering - An Approach Based on Standards.
Web Engineering
Nora Koch, Alexander Knapp, Gefei Zhang, Hubert Baumeister
2008 — conf
What Is a Multi-modeling Language?
WADT
Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing
2007 B conf
Activity-Driven Synthesis of State Machines.
FASE
Rolf Hennicker, Alexander Knapp
2007 A conf
Enhancing UML State Machines with Aspects.
MoDELS
Gefei Zhang, Matthias M. Hölzl, Alexander Knapp
2007 B conf
Layout of (Software) Engineering Diagrams.
VL/HCC
Andrew Fish, Alexander Knapp
2007 — conf
MDWEnet: A Practical Approach to Achieving Interoperability of Model-Driven Web Engineering Methods.
MDWE
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
2007 — conf
Model-Driven Generation of Web Applications in UWE.
MDWE
Andreas Kraus, Alexander Knapp, Nora Koch
2007 — conf
Modelling the CoCoME with the Java/AComponent Model.
CoCoME
Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, Martin Wirsing
2007 J jnl
Proceedings of the Workshop on the Layout of (Software) Engineering Diagrams (LED 2007) - Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Andrew Fish, Alexander Knapp, Harald Störrle
2007 A conf
The Java Memory Model: Operationally, Denotationally, Axiomatically.
ESOP
Pietro Cenciarelli, Alexander Knapp, Eleonora Sibilio
2007 J jnl
UWE - Ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen (UWE - An Approach for the Model-Driven Development of Web Applications).
i-com
Alexander Knapp, Nora Koch, Martin Wirsing, Gefei Zhang
2006 — conf
Model Checking of UML 2.0 Interactions.
MoDELS (Workshops)
Alexander Knapp, Jochen Wuttke
2006 — conf
Model Transformations for Integrating and Validating Web Application Models.
Modellierung
Alexander Knapp, Gefei Zhang
2006 C conf
Semantic-Based Development of Service-Oriented Systems.
FORTE
Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder
2006 J jnl
Specification and refinement of mobile systems in MTLA and mobile UML.
Theor. Comput. Sci.
Alexander Knapp, Stephan Merz, Martin Wirsing, Júlia Zappe
2005 — conf
A Component Model for Architectural Programming.
FACS
Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing
2005 B conf
Modelling Adaptivity with Aspects.
ICWE
Hubert Baumeister, Alexander Knapp, Nora Koch, Gefei Zhang
2005 B conf
Modelling the Behaviour of Web Applications with ArgoUWE.
ICWE
Alexander Knapp, Nora Koch, Gefei Zhang
2005 J jnl
Truly On-The-Fly LTL Model Checking
CoRR
Moritz Hammer, Alexander Knapp, Stephan Merz
2005 A conf
Truly On-the-Fly LTL Model Checking.
TACAS
Moritz Hammer, Alexander Knapp, Stephan Merz
2005 B conf
Unified Modeling Language 2.0.
VL/HCC
Alexander Knapp, Harald Störrle
2004 — conf
A coordination architecture for time-dependent components.
IASTED Conf. on Software Engineering
Michael N. Barth, Alexander Knapp
2004 A* conf
Consistency Checking in an Infrastructure for Large-Scale Generative.
ASE
Axel Rauschmayer, Alexander Knapp, Martin Wirsing
2004 B conf
Glass-Box and Black-Box Views on Object-Oriented Specifications.
SEFM
Michel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister
2004 C conf
Interactive Verification of UML State Machines.
ICFEM
Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums
2004 — conf
Modeling Business Processes in Web Applications with ArgoUWE.
UML
Alexander Knapp, Nora Koch, Gefei Zhang, Hanns-Martin Hassler
2004 B conf
Modeling the Structure of Web Applications with ArgoUWE.
ICWE
Alexander Knapp, Nora Koch, Gefei Zhang
2004 J jnl
OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness.
Softw. Syst. Model.
María Victoria Cengarle, Alexander Knapp
2004 B conf
Property-Driven Development.
SEFM
Hubert Baumeister, Alexander Knapp, Martin Wirsing
2004 — ed.
Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers
RISSEF
Martin Wirsing, Alexander Knapp, Simonetta Balsamo
2004 — conf
Refining Mobile UML State Machines.
AMAST
Alexander Knapp, Stephan Merz, Martin Wirsing
2003 — conf
Semantics of OCL Operation Specifications.
OCL 2.0 @ UML
Rolf Hennicker, Alexander Knapp, Hubert Baumeister
2002 J jnl
A formal approach to object-oriented software engineering.
Theor. Comput. Sci.
Martin Wirsing, Alexander Knapp
2002 — conf
Model Checking - Timed UML State Machines and Collaborations.
FTRTFT
Alexander Knapp, Stephan Merz, Christopher Rauh
2002 — conf
Towards OCL/RT.
FME
María Victoria Cengarle, Alexander Knapp
2002 — conf
View Consistency in Software Development.
RISSEF
Martin Wirsing, Alexander Knapp
2001 — conf
A Formal Semantics for OCL 1.4.
UML
María Victoria Cengarle, Alexander Knapp
2001 J jnl
A formal approach to object-oriented software engineering.
Softwaretechnik-Trends
Alexander Knapp
2001 — conf
Model checking UML state machines and collaborations.
Workshop on Software Model Checking @ CAV
Timm Schäfer, Alexander Knapp, Stephan Merz
2001 — conf
Specifying Component Invariants with OCL.
GI Jahrestagung (1)
Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing
2000 — —
A formal approach to object-oriented software engineering.
Alexander Knapp
2000 — ch.
fOOSE- Eine integrierte formale Softwareentwicklungsmethode.
Ausgezeichnete Informatikdissertationen
Alexander Knapp
1999 — conf
A Formal Semantics for UML Interactions.
UML
Alexander Knapp
1999 — conf
An Event-Based Structural Operational Semantics of Multi-Threaded Java.
Formal Syntax and Semantics of Java
Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing
1997 — conf
EPK-fix: Methods and Tools for Engineering Electronic Product Catalogues.
IDMS
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, Herbert Stoyan, Andreas Turk
1997 — conf
From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics.
AMAST
Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing
1997 — conf
Verifying a compiler optimization for Multi-Threaded Java.
WADT
Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing
1996 — conf
A formal approach to object-oriented software engineering.
WRLA
Martin Wirsing, Alexander Knapp