Search

Publications


2015

2014

2013

2012

2011

2010

2009

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

2006

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

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

1999

1998

1997

1996