Publications

2012

• SMT-Based False Positive Elimination in Static Program Analysis
  Maximilian Junker, Ralf Huuck, Ansgar Fehnker, Alexander Knapp
  In: Toshiaki Aoki, Kenji Taguchi (Hgg.). Proc. 14th Int. Conf. Formal Methods and Software Engineering (ICFEM'12). Lect. Notes Comp. Sci. 7635. Springer, Berlin, 2012. S. 316-331.
• Assessment of Effort Reduction due to Model-to-Model Transformations in the Web Domain
  Nora Koch, Alexander Knapp, Sergej Kozuruba
  In: Marco Brambilla, Takehiro Tokuda, Robert Tolksdorf (Hgg.). Proc. 12th Int. Conf. Web Engineering (ICWE'12). Lect. Notes Comp. Sci. 7387. Springer, Berlin, 2012. S. 215-222.
• Framework for Integration of Virtual Metrology and Predictive Maintenance
  Georg Roeder, Andreas Mattes, Markus Pfeffer, Martin Schellenberger, Lothar Pfitzner, Alexander Knapp, Heribert Mühlberger, Andreas Kyek, Benjamin Lenz, Markus Frisch, Josef Bichlmeier, Günter Leditzky, Erich Lind, Silvia Zoia, Giuseppe Fazio
  In: Proc. 23rd Ann. SEMI Advanced Semiconductor Manufacturing Conf. (ASMC'12). S. 288-293.
• On the Correctness of the SIMT Execution Model of GPUs
  Axel Habermaier, Alexander Knapp
  In: Helmut Seidl (Hg.). Proc. 21st Europ. Symp. Programming Languages and Systems (ESOP'12). Lect. Notes Comp. Sci. 7211. Springer, Berlin, 2012. S. 316-335.
• On the Correctness of the SIMT Execution Model of GPUs
  Axel Habermaier, Alexander Knapp
  Technical Report 2012-01, Institute of Computer Science, University of Augsburg
  Technical Report 2012-01

2011

• Developing a Framework for Virtual Metrology and Predictive Maintenance
  Martin Schellenberger, Georg Roeder, Andreas Mattes, Markus Pfeffer, Lothar Pfitzner, Alexander Knapp, Heribert Mühlberger, Josef Bichlmeier, Cristian Valeanu, Andreas Kyek, Benjaming Lenz, Markus Frisch, Günther Leditzky
  Future Lab Int. 39, 2011. S. 32-37.
• Modeling Secure Navigation in Web Information Systems
  Marianne Busch, Alexander Knapp, Nora Koch
  In: Janis Grabis, Marite Kirikova (Hgg.). Proc. 10th Int. Conf. Perspectives in Business Informatics Research (BIR'11). Lect. Notes Bus. Inf. Proc. 90. Springer, Berlin, 2011. S. 239-253.
• Modal Interface Theories for Communication-Safe Component Assemblies
  Rolf Hennicker, Alexander Knapp
  In: Antonio Cerone, Pekka Pihlajasaari (Hgg.). Proc. 8th Int. Coll. Theoretical Aspects of Computing (ICTAC'11). Lect. Notes Comp. Sci. 6916. Springer, Berlin, 2011. S. 135-153.

2010

• Modeling the Car Crash Crisis Management System Using HiLA
  Matthias M. Hölzl, Alexander Knapp, Gefei Zhang
  T. Aspect-Oriented Software Development 7, 2010, S. 234-271.
• Automatic and Efficient Simulation of Operation Contracts
  Matthias P. Krieger, Alexander Knapp, Burkhart Wolff
  In: Eelco Visser, Jaakko Järvi (Hgg.). Proc. 9th Int. Conf. Generative Programming And Component Engineering (GPCE'10). ACM, 2010. S. 53-62.
• A Heterogeneous Approach to Service-oriented Systems Specification
  Alexander Knapp, Grzegorz Marczynski, Martin Wirsing, Artur Zawłocki
  In: Sung Y. Shin, Sascha Ossowski, Michael Schumacher, Mathew J. Palakal, Chih-Cheng Hung (Hgg.). Proc. 25th ACM Symp. Applied Computing (SAC'10). ACM, 2010. S. 2477-2484.
• Correct Execution of Reconfiguration for Stateful Components
  Moritz Hammer, Alexander Knapp
  In: Carlos Canal, Corina Pasareanu (Hgg.). Proc. 5th Int. Wsh. Formal Aspects of Component Software (FACS'08). Electr. Notes Theo. Comp. Sci. 260, 2010. S. 125-153.
• On the Observable Behaviour of Composite Components
  Rolf Hennicker, Stephan Janisch, Alexander Knapp
  In: Carlos Canal, Corina Pasareanu (Hgg.). Proc. 5th Int. Wsh. Formal Aspects of Component Software (FACS'08). Electr. Notes Theo. Comp. Sci. 260, 2010. S. 125-153.

2009

• Interactions
  María Victoria Cengarle, Alexander Knapp, Heribert Mühlberger
  In: Kevin Lano (Hg.). UML 2 Semantics and Applications. Wiley, 2009. Kapitel 9, S. 205-248.
• Proc. 9th Int. Wsh. OCL. The Pragmatics of OCL and Other Textual Specification Languages (OCL'09)
  Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp (Hgg.)
  Electr. Comm. EASST 24, 2009
• UWE4JSF: A Model-Driven Generation Approach for Web Applications
  Christian Kroiss, Nora Koch, Alexander Knapp
  In: Martin Gaedke, Michael Grossniklaus, Oscar Díaz (Hgg.). Proc. 9th Int. Conf. Web Engineering (ICWE'09). Lect. Notes Comp. Sci. 5648, Springer, Berlin, 2009. S. 493-496.
• What is a Multi-Modeling Language?
  Artur Boronat, Alexander Knapp, José Meseguer, and Martin Wirsing
  In: Andrea Corradini, Ugo Montanari (Hgg.). Rev. Sel. Papers 19th Int. Wsh. Recent Trends in Algebraic Development Techniques (WADT'08). Springer, Berlin, 2009. S. 71-87.

2008

• An Institution for UML 2.0 Interactions
  María Victoria Cengarle, Alexander Knapp
  Technischer Bericht TUM-I0808, Institut für Informatik, Technische Universität München, 2008.
• A Heterogeneous Approach to UML Semantics
  María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing
  In: Pierpaolo Degano, Rocco De Nicola, José Meseguer (Hgg.). Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. Lect. Notes Comp. Sci. 5065, Springer, Berlin, 2008. S. 383-402.
• Executing Underspecified OCL Operation Contracts with a SAT Solver
  Matthias P. Krieger, Alexander Knapp
  In: Jordi Cabot, Martin Gogolla, Pieter van Gorp (Hgg.). Proc. 8th Int. Wsh. Object Constraint Language (OCL'08). Electr. Comm. EASST 15, 2008.
• Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication
  Rolf Hennicker, Stephan Janisch, Alexander Knapp
  In: Christine Choppy, Oleg Sokolsky (Hgg.). Proc. 15th Int. Wsh. Monterey. Future Trends and Techniques for Development (Monterey'08), Revised and Selected Papers. Lect. Notes Comp. Sci. 6028. Springer, Berlin, 2008. S. 154-180.
• Modelling the CoCoME with the Java/A Component Model
  Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, Martin Wirsing
  In: Andreas Rausch, Ralf Reussner, Raffaela Mirandola, Frantisek Plasil (Hgg.). The Common Component Modeling Example: Comparing Software Component Models. Lect. Notes Comp. Sci. 5153, Springer, Berlin, 2008. S. 207-237.
• UML-Based Web Engineering: An Approach Based on Standards
  Nora Koch, Alexander Knapp, Gefei Zhang, Hubert Baumeister
  In: Luis Olsina, Oscar Pastor, Gustavo Rossi, Daniel Schwabe (Hgg.). Web Engineering: Modelling and Implementing Web Applications. Human-Computer Interaction Series 12, Springer, Berlin, 2008. Kapitel 7, S. 157-191.

2007

• Enhancing UML State Machines with Aspects
  Gefei Zhang, Matthias Hölzl, Alexander Knapp
  In: Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank Weil (Hgg.). Proc. 10th Int. Conf. Model Driven Engineering Languages and Systems (MoDELS'07). Lect. Notes Comp. Sci. 4735, Springer, Berlin, 2007. S. 529-543.
• Proc. 1st Int. Wsh. Layout of (Software) Engineering Diagrams (LED'07)
  Andrew Fish, Alexander Knapp, Harald Störrle (Hgg.)
  Electr. Comm. EASST 7, 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ó, Jaime Gómes, Gerti Kappel, Alexander Knapp, Maristella Matera, Santiago Meliá, Nathalie Moreno, Birgit Pröll, Thomas Reiter, Werner Retschitzegger, José E. Rivera, Andrea Schauerhuber, Wieland Schwinger, Manuel Wimmer, Gefei Zhang
  In: Nora Koch, Antonio Vallecillo, Geert-Jan Houben (Hgg.). Proc. 3rd Int. Wsh. Model-Driven Web Engineering (MDWE'07). CEUR-WS 261, 2007.
• Model-Driven Generation of Web Applications in UWE
  Andreas Kraus, Alexander Knapp, Nora Koch
  In: Nora Koch, Antonio Vallecillo, Geert-Jan Houben (Hgg.). Proc. 3rd Int. Wsh. Model-Driven Web Engineering (MDWE'07). CEUR-WS 261 , 2007.
• The Java Memory Model: Operationally, Denotationally, Axiomatically
  Pietro Cenciarelli, Alexander Knapp, Eleonora Sibilio
  In: Rocco de Nicola (Hg.). Proc. 16th Europ. Symp. Programming (ESOP'07). Lect. Notes Comp. Sci. 4421, Springer, Berlin, 2007. S. 331-346.
• Activity-Driven Synthesis of State Machines
  Rolf Hennicker, Alexander Knapp
  In: Matt D. Dwyer, Antónia Lopes (Hgg.). Proc. 10th Int. Conf. Fundamental Approaches to Software Engineering (FASE'07). Lect. Notes Comp. Sci. 4422, Springer, Berlin, 2007. S. 87-101.
• UWE - Ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen
  Alexander Knapp, Nora Koch, Martin Wirsing, Gefei Zhang
  i-com 6(3), 2007. S. 5-12.
• Model Checking of UML 2.0 Interactions
  Alexander Knapp, Jochen Wuttke
  In: Thomas Kühne (Hg.). Wsh.s and Symp. MoDELS'06, Reports and Revised Sel. Papers. Lect. Notes Comp. Sci. 4364, Springer, Berlin, 2007. S. 42-51.

2006

• A Component Model for Architectural Programming
  Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing
  In: Luis Barbosa, Zhiming Liu (Hgg.). Proc. 2nd Int. Wsh. Formal Aspects of Component Software (FACS'05). Elect. Notes Theo. Comp. Sci. 160, 2006. S. 75-96.
• Model Checking of UML 2.0 Interactions
  Alexander Knapp, Jochen Wuttke
  In: Siv Hilde Houmb, Geri Georg, Robert France, Dorian C. Petriu, Jan Jürjens (Hgg.). Proc. 5th Int. Wsh. Critical Systems Development Using Modeling Languages (CSDUML'06). telenor, R&I Research Note N 20/2006, 2006. S. 52-67.
• Semantic-Based Development of Service-Oriented Systems
  Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder
  In: E. Najn et al. (Hgg.). Proc. 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE'06), Lect. Notes Comp. Sci. 4229. Springer, Berlin, 2006. S. 24-45.
• Specification and Refinement of Mobile Systems in MTLA and Mobile UML
  Alexander Knapp, Stephan Merz, Martin Wirsing, Julia Zappe
  Theo. Comp. Sci., 351(2), 2006. S.184-202.
• Model Transformations for Integrating and Validating Web Application Models
  Gefei Zhang, Alexander Knapp
  In: Heinrich C. Mayr, Ruth Breu (Hgg.). Proc. Modellierung 2006 (MOD'06), Lect. Notes Informatics P-82. Gesellschaft für Informatik, 2006. S. 115-128.

2005

• UML 2.0
  Alexander Knapp, Harald Störrle
  Tutorial. Institut für Informatik, Ludwig-Maximilians-Universität München, 2005. Vorträge: SEFM'05, VL/HCC'05, Ludwig-Maximilians-Universität München, University of Brighton, IASTED SE'07.
• Operational Semantics of UML 2.0 Interactions
  María Victoria Cengarle, Alexander Knapp
  Technischer Bericht TUM-I0505, Institut für Informatik, Technische Universität München, 2005.
• Modelling Adaptivity with Aspects
  Hubert Baumeister, Alexander Knapp, Nora Koch, Gefei Zhang
  In: David Lowe, Martin Gaedke (Hgg.). Proc. 5th Int. Conf. Web Engineering (ICWE'05). Lect. Notes Comp. Sci. 3579, Springer, Berlin, 2005. S. 406-416.
• Modelling the Behaviour of Web Applications with ArgoUWE
  Alexander Knapp, Nora Koch, Gefei Zhang
  In: David Lowe, Martin Gaedke (Hgg.). Proc. 5th Int. Conf. Web Engineering (ICWE'05). Lect. Notes Comp. Sci. 3579, Springer, Berlin, 2005. S. 624-626.
• Truly On-The-Fly Model Checking
  Moritz Hammer, Alexander Knapp, Stephan Merz
  In: Nicolas Halbwachs, Lenore D. Zuck (Hgg.). Proc. 11th Int. Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05). Lect. Notes Comp. Sci. 3440, Springer, Berlin, 2005. S. 191-205.
• Aspect-Oriented Modeling of Access Control in Web Applications
  Gefei Zhang, Hubert Baumeister, Nora Koch, Alexander Knapp
  In: Proc. 6th Int. Wsh. Aspect Oriented Modeling (WAOM'05), Chicago, 2005.

2004

• Interactive Verification of UML State Machines
  Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums
  In: Jim Davies, Wolfram Schulte, Mike Barnett (Hgg.). Proc. 6th Int. Conf. Formal Engineering Methods (ICFEM'04). Lect. Notes Comp. Sci. 3308, Springer, Berlin, 2004. S. 434-448.
• Semantics of UML State Machines
  Alexander Knapp
  Technischer Bericht 0408, Institut für Informatik, Ludwig-Maximilians-Universität München, 2004.
• OCL 1.4/1.5 vs. OCL 2.0 Expressions: Formal Semantics and Expressiveness
  María Victoria Cengarle, Alexander Knapp
  Softw. Syst. Model. 3(1), 2004. S. 9-30.
• UML 2.0 Interactions: Semantics and Refinement
  María Victoria Cengarle, Alexander Knapp
  In: Jan Jürjens, Eduardo B. Fernandez, Robert France, Bernhard Rumpe (Hgg.). Proc. 3rd Int. Wsh. Critical Systems Development with UML (CSDUML'04). Technischer Bericht TUM-I0415, Institut für Informatik, Technische Universität München, 2004. S. 85-99.
• Refining Mobile UML State Machines
  Alexander Knapp, Stephan Merz, Martin Wirsing
  In: Savi Maharaj, Charles Rattray, Carron Shankland (Hgg.). Proc. 10th Int. Conf. Algebraic Methodology and Software Technology (AMAST'04). Lect. Notes Comp. Sci. 3116, Springer, Berlin, 2004. S. 274-288.
• Modeling Business Processes in Web Applications with ArgoUWE
  Alexander Knapp, Nora Koch, Gefei Zhang, Hanns-Martin Hassler
  In: Thomas Baar, Alfred Strohmeier, Ana Moreira, Stephen J. Mellor (Hgg.). Proc. 7th Int. Conf. Unified Modeling Language (UML'04). Lect. Notes Comp. Sci. 3273, Springer, Berlin, 2004. S. 69-83.
• Property-Driven Development
  Hubert Baumeister, Alexander Knapp, Martin Wirsing
  In: Jorge R. Cuellar, Zhimming Liu (Hgg.). Proc. 2nd IEEE Int. Conf. Software Engineering and Formal Methods (SEFM'04). IEEE, 2004. S. 96-102 (extended abstract).
• Consistency Checking in an Infrastructure for Large-Scale Generative Programming
  Axel Rauschmayer, Alexander Knapp, Martin Wirsing
  In: Proc. 19th IEEE Int. Conf. Automated Software Engineering (ASE'04). IEEE, September 2004. S. 238-247.
• Glass-Box and Black-Box Views on Object-Oriented Specifications
  Michel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister
  In: Jorge R. Cuellar, Zhimming Liu (Hgg.) Proc. 2nd IEEE Int. Conf. Software Engineering and Formal Methods (SEFM'04). IEEE, 2004. S. 208-217.
• Modeling the Structure of Web Applications with ArgoUWE
  Alexander Knapp, Nora Koch, Gefei Zhang
  In: Nora Koch, Piero Fraternali, Martin Wirsing (Hgg.). Proc. 4th Int. Conf. Web Engineering (ICWE'04). Lect. Notes Comp. Sci. 3140, Springer, Berlin, 2004. S. 615-616.
• Semantics of OCL Operation Specifications
  Rolf Hennicker, Alexander Knapp, Hubert Baumeister
  In: Peter H. Schmitt (Hg.). Proc. Wsh. OCL 2.0 - Industry Standard or Scientific Playground? (WOCL'03). Electr. Notes Theo. Comp. Sci. 120, Elsevier, 2004. S. 111-132.
• View Consistency in Software Development
  Martin Wirsing, Alexander Knapp
  In: Martin Wirsing, Alexander Knapp, Simonetta Balsamo (Hgg.). Proc. 9th Int. Wsh. Monterey. Radical Innovations of Software and Systems Engineering in the Future (Monterey'02), Revised Papers. Lect. Notes Comp. Sci. 2941. Springer, Berlin, 2004. S. 341-357
• Sel. Rev. Papers 9th Int. Wsh. Monterey: Radical Innovations of Software and Systems Engineering in the Future (Monterey'02)
  Martin Wirsing, Alexander Knapp, Simonetta Balsamo (Hgg.)
  Lect. Notes Comp. Sci. 2941. Springer, Berlin, 2004. (On-site proc.: Technical Report CS-2002-10, Dipartimento die Informatica, Università Cà Foscari di Venezia).
• A Coordination Architecture for Time-Dependent Components
  Michael Barth, Alexander Knapp
  In: M. H. Hamza (Hg.). Proc. 22nd Int. Multi-Conf. Applied Informatics. Software Engineering (IASTED SE'04). ACTA Press, 2004. S. 6-11.
• Type-checking AHEAD
  Axel Rauschmayer, Alexander Knapp, Martin Wirsing
  Technischer Bericht 0406, Ludwig-Maximilians-Universität München, Institut für Informatik, 2004.

2003

• ArgoUWE: A CASE Tool for Web Applications
  Alexander Knapp, Nora Koch, Flavia Moser, Gefei Zhang
  In: Jolita Ralyté, Colette Roland (Hgg.). Proc. 1st Int. Wsh. Engineering Methods to Support Information Systems Evolution (EMSISE'03). Genève, 2003. S. 37-50.

2002

• Towards OCL/RT
  María Victoria Cengarle, Alexander Knapp
  In: Lars-Henrik Eriksson, Peter Alexander Lindsay (Hgg.). Proc. 11th Int. Symp. Formal Methods Europe (FME'02). Lect. Notes Comp. Sci. 2391, Springer, Berlin, 2002. S. 390-409.
• Model Checking and Code Generation for UML State Machines and Collaborations
  Alexander Knapp, Stephan Merz
  In: Dominik Haneberg, Gerhard Schellhorn, Wolfgang Reif (Hgg.). Proc. 5th Wsh. Tools for System Design and Verification. Technischer Bericht 2002-11, Institut für Informatik, Universität Augsburg, 2002. S. 59-64.
• Model Checking Timed UML State Machines and Collaborations
  Alexander Knapp, Stephan Merz, Christopher Rauh
  In: Werner Damm, Ernst Rüdiger Olderog (Hgg.). Proc. 7th Int. Symp. Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT'02). Lect. Notes Comp. Sci. 2469, Springer, Berlin, 2002. S. 395-416

2001

• A Formal Semantics for OCL 1.4
  María Victoria Cengarle, Alexander Knapp
  In: Martin Gogolla, Cris Kobryn (Hgg.). Proc. 4th Int. Conf. Unified Modeling Language (UML'01). Lect. Notes Comp. Sci. 2185. Springer, Berlin, 2001. S. 118-133.
• Specifying Component Invariants with OCL
  Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing
  In: Kurt Bauknecht, Wilfried Brauer, Thomas Mück (Hgg.).Proc. GI/OCG-Jahrestagung. books@ocg.at 157/I, ÖGI (Austrian Computer Society), 2001. S. 600-607.
• OCL Component Invariants
  Hubert Baumeister, Rolf Hennicker, Alexander Knapp, Martin Wirsing
  In: Luqi, Manfred Broy (Hgg.). Proc. Wsh. Montery - Engineering Automation for Software Intensive System Integration. U.S. Naval Postgraduate School, Monterey, 2001. S. 208-215.
• fOOSE - Eine integrierte formale Softwareentwicklungsmethode
  Alexander Knapp
  In: Dorothea Wagner et al. (Hgg.). Ausgezeichnete Informatikdissertationen. Lect. Notes Inform. D-1, Gesellschaft für Informatik, Bonn, 2001. S. 85-96.
• Model Checking UML State Machines and Collaborations
  Timm Schäfer, Alexander Knapp, Stephan Merz
  In: Scott D. Stoller, Willem Visser (Hg.). Proc. Wsh. Software Model Checking. Electr. Notes Theo. Comp. Sci. 55(3) , 2001.
• On the Expressive Power of Pure OCL
  María Victoria Cengarle, Alexander Knapp
  Technischer Bericht 0101, Institut für Informatik, Ludwig-Maximilians-Universität München, 2001.

2000

• A Formal Approach to Object-Oriented Software Engineering
  Alexander Knapp
  Dissertation, Ludwig-Maximilians-Universität München. Shaker-Verlag, 2000.
• Proc. Wsh. Dynamic Behaviour in UML Models: Semantic Questions
  Gianna Reggio, Alexander Knapp, Bernhard Rumpe, Bran Selic, Roel Wieringa (Hgg.)
  Technischer Bericht 0006, Institut für Informatik, Ludwig-Maximilians-Universität München, 2000.
• Generating Rewrite Theories from UML Collaborations
  Alexander Knapp
  In: Kokichi Futatsugi, Ataru T. Nakagawa, Tetsuo Tamai (Hgg.). Cafe: An Industrial-Strength Algebraic Formal Method. Elsevier, Amsterdam-&c., 2000. S. 97-120

1999

• A Formal Semantics for UML Interactions
  Alexander Knapp
  In: Robert B. France, Bernhard Rumpe (Hgg.). Proc. 2nd Int. Conf. Unified Modeling Language (UML'99). Lect. Notes Comp. Sci. 1723, Springer, Berlin, 1999. S. 116-130.
• An Event-Based Structural Operational Semantics of Multi-Threaded Java
  Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing
  In: Jim Alves-Foss (Hg.). Formal Syntax and Semantics of Java. Lect. Notes Comp. Sci. 1523, Springer, Berlin, 1999. S. 157-200.

1998

• Verifying a Compiler Optimization for Multi-Threaded Java
  Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing
  In: Francesco Parisi Presicce (Hg.). Sel. Papers 12th Int. Wsh. Recent Trends in Algebraic Development Techniques. Lect. Notes Comp. Sci. 1376, Springer, Berlin, 1998. S. 402-417.
• Case Studies With CafeOBJ
  Alexander Knapp
  In: Proc. CafeOBJ Symp. '98, Numazu, Japan, 1998.

1997

• From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics
  Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing
  In: Michael Johnson (Hg.). Proc. 6th Int. Conf. Algebraic Methodology and Software Technology. Lect. Notes Comp. Sci. 1349. Springer, Berlin, 1997. S. 75-90
• Developing Formal Semantics of EPKML
  Alexander Knapp, Piotr Kosiuczenko
  Technischer Bericht 9704, Institut für Informatik, Ludwig-Maximilians-Universität München, 1997.
• An Implementation of The First-Order Constrained Lambda Calculus via Explicit Substitutions
  Alexander Knapp, Luis Mandel
  Interner Bericht, Institut für Informatik, Ludwig-Maximilians-Universität München, 1997.
• EPKML: Eine Spezifikationssprache für elektronische Produktkataloge
  Alexander Knapp, Nora Koch, Martin Wirsing
  Technischer Bericht 9713, Institut für Informatik, Ludwig-Maximilians-Universität München, 1997.
• EPK-fix: Methods and Tools for Engineering Electronic Product Catalogues
  Alexander Knapp, Nora Koch, Martin Wirsing, Jochen Duckeck, Rainer Lutze, Hartmut Fritzsche, Dietrich Timm, Patrick Closhen, Martin Frisch, Hans-Jürgen Hoffmann, Bernd Gaede, Josef Schneeberger, Herbert Stoyan, Andreas Turk
  In: Ralf Steinmetz, L. C. Wolf (Hgg.). Interactive Distributed Multimedia Systems and Telecommunication Services. Lect. Notes Comp. Sci. 1309. Springer, Berlin, 1997. S. 199-209

1996

• The EPKML Language
  Alexander Knapp, Nora Koch, Luis Mandel
  Technischer Bericht 9605, Institut für Informatik, Ludwig-Maximilians-Universität München, 1996.
• EPK-fix: Methoden und Werkzeuge zur effizienten Erstellung elektronischer Produktkataloge
  Rainer Lutze, Patrick Closhen, Jochen Duckeck, Hartmut Fritzsche, Bernd Gaede, Hans-Jürgen Hoffmann, Alexander Knapp, Nora Koch, Dietrich Timm, Andreas Turk
  In: Ursula Grote, Gottfried Wolf (Hgg.). Statusseminar des BMBF - Softwaretechnologie. DLR, 1996. S. 299-318.
• A Formal Approach to Object-Oriented Software Engineering
  Martin Wirsing, Alexander Knapp
  In: José Meseguer (Hg.). Proc. 1st Int. Wsh. Rewriting Logic and Its Applications (WRLA'96). Electr. Notes Theo. Comp. Sci. 4. Elsevier, 1996. S. 321-359.