Veröffentlichungen

2009

• UWE4JSF: A Model-Driven Generation Approach for Web Applications
  Christian Kroiss, Nora Koch, Alexander Knapp
  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.
• 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). 2008.
• 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.
• 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). 2008.
• 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

• Proc. 1st Int. Wsh. Layout of (Software) Engineering Diagrams (LED'07)
  Andrew Fish, Alexander Knapp, Harald Störrle (Hgg.)
  Electr. Comm. EASST 7, 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.
• 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.
• 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.
• 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.
• 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

• 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.
• 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.
• 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 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.
• 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.
• 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

• Semantics of UML State Machines
  Alexander Knapp
  Technischer Bericht 0408, Institut für Informatik, Ludwig-Maximilians-Universität München, 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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).
• 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).
• Type-checking AHEAD
  Axel Rauschmayer, Alexander Knapp, Martin Wirsing
  Technischer Bericht 0406, Ludwig-Maximilians-Universität München, Institut für Informatik, 2004.
• 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.

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

• 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.
• 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.
• 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.