Alexander Knapp

Marco Kuhrmann, Georg Kalus, Alexander Knapp: Rapid Prototyping for Domain-specific Languages - From Stakeholder Analyses to Modelling Tools. Enterprise Modelling and Information Systems Architectures 8(1): 62-74 (2013)

Axel Habermaier, Alexander Knapp: On the Correctness of the SIMT Execution Model of GPUs. ESOP 2012: 316-335

Maximilian Junker, Ralf Huuck, Ansgar Fehnker, Alexander Knapp: SMT-Based False Positive Elimination in Static Program Analysis. ICFEM 2012: 316-331

Nora Koch, Alexander Knapp, Sergej Kozuruba: Assessment of Effort Reduction due to Model-to-Model Transformations in the Web Domain. ICWE 2012: 215-222

Nora Koch, Alexander Knapp, Geri Georg, Marina Egea, Benoit Baudry: Model-driven security: MDsec '12 Workshop at MoDELS 2012, Innsbruck, Austria. MDsec 2012: 1

Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach: Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl. WADT 2012: 178-194

Marianne Busch, Alexander Knapp, Nora Koch: Modeling Secure Navigation in Web Information Systems. BIR 2011: 239-253

Rolf Hennicker, Alexander Knapp: Modal Interface Theories for Communication-Safe Component Assemblies. ICTAC 2011: 135-153

Moritz Hammer, Alexander Knapp: Correct Execution of Reconfiguration for Stateful Components. Electr. Notes Theor. Comput. Sci. 260: 91-108 (2010)

Rolf Hennicker, Stephan Janisch, Alexander Knapp: On the Observable Behaviour of Composite Components. Electr. Notes Theor. Comput. Sci. 260: 125-153 (2010)

Matthias M. Hölzl, Alexander Knapp, Gefei Zhang: Modeling the Car Crash Crisis Management System Using HiLA. T. Aspect-Oriented Software Development 7: 234-271 (2010)

Matthias P. Krieger, Alexander Knapp, Burkhart Wolff: Automatic and efficient simulation of operation contracts. GPCE 2010: 53-62

Alexander Knapp, Grzegorz Marczynski, Martin Wirsing, Artur Zawlocki: A heterogeneous approach to service-oriented systems specification. SAC 2010: 2477-2484

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. ECEASST 24 (2009)

Christian Kroiss, Nora Koch, Alexander Knapp: UWE4JSF: A Model-Driven Generation Approach for Web Applications. ICWE 2009: 493-496

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: 256-260

Matthias P. Krieger, Alexander Knapp: Executing Underspecified OCL Operation Contracts with a SAT Solver. ECEASST 15 (2008)

María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing: A Heterogeneous Approach to UML Semantics. Concurrency, Graphs and Models 2008: 383-402

Rolf Hennicker, Stephan Janisch, Alexander Knapp: Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication. Monterey Workshop 2008: 154-180

Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing: What Is a Multi-modeling Language? WADT 2008: 71-87

Nora Koch, Alexander Knapp, Gefei Zhang, Hubert Baumeister: Uml-Based Web Engineering - An Approach Based on Standards. Web Engineering 2008: 157-191

Andrew Fish, Alexander Knapp, Harald Störrle: Proceedings of the Workshop on the Layout of (Software) Engineering Diagrams (LED 2007) - Preface. ECEASST 7 (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): 5-12 (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: 207-237

Pietro Cenciarelli, Alexander Knapp, Eleonora Sibilio: The Java Memory Model: Operationally, Denotationally, Axiomatically. ESOP 2007: 331-346

Rolf Hennicker, Alexander Knapp: Activity-Driven Synthesis of State Machines. FASE 2007: 87-101

Andreas Kraus, Alexander Knapp, Nora Koch: Model-Driven Generation of Web Applications in UWE. MDWE 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

Gefei Zhang, Matthias M. Hölzl, Alexander Knapp: Enhancing UML State Machines with Aspects. MoDELS 2007: 529-543

Andrew Fish, Alexander Knapp: Layout of (Software) Engineering Diagrams. VL/HCC 2007: 4

Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing: A Component Model for Architectural Programming. Electr. Notes Theor. Comput. Sci. 160: 75-96 (2006)

Alexander Knapp, Stephan Merz, Martin Wirsing, Júlia Zappe: Specification and refinement of mobile systems in MTLA and mobile UML. Theor. Comput. Sci. 351(2): 184-202 (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: 24-45

Alexander Knapp, Gefei Zhang: Model Transformations for Integrating and Validating Web Application Models. Modellierung 2006: 115-128

Alexander Knapp, Jochen Wuttke: Model Checking of UML 2.0 Interactions. MoDELS Workshops 2006: 42-51

Hubert Baumeister, Alexander Knapp, Nora Koch, Gefei Zhang: Modelling Adaptivity with Aspects. ICWE 2005: 406-416

Alexander Knapp, Nora Koch, Gefei Zhang: Modelling the Behaviour of Web Applications with ArgoUWE. ICWE 2005: 624-626

Moritz Hammer, Alexander Knapp, Stephan Merz: Truly On-the-Fly LTL Model Checking. TACAS 2005: 191-205

Alexander Knapp, Harald Störrle: Unified Modeling Language 2.0. VL/HCC 2005: 9

Moritz Hammer, Alexander Knapp, Stephan Merz: Truly On-The-Fly LTL Model Checking. CoRR abs/cs/0511061 (2005)

Rolf Hennicker, Alexander Knapp, Hubert Baumeister: Semantics of OCL Operation Specifications. Electr. Notes Theor. Comput. Sci. 102: 111-132 (2004)

María Victoria Cengarle, Alexander Knapp: OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness. Software and System Modeling 3(1): 9-30 (2004)

Alexander Knapp, Stephan Merz, Martin Wirsing: Refining Mobile UML State Machines. AMAST 2004: 274-288

Michael N. Barth, Alexander Knapp: A coordination architecture for time-dependent components. IASTED Conf. on Software Engineering 2004: 6-11

Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums: Interactive Verification of UML State Machines. ICFEM 2004: 434-448

Alexander Knapp, Nora Koch, Gefei Zhang: Modeling the Structure of Web Applications with ArgoUWE. ICWE 2004: 615-616

Axel Rauschmayer, Alexander Knapp, Martin Wirsing: Consistency Checking in an Infrastructure for Large-Scale Generative. ASE 2004: 238-247

Hubert Baumeister, Alexander Knapp, Martin Wirsing: Property-Driven Development. SEFM 2004: 96-102

Michel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister: Glass-Box and Black-Box Views on Object-Oriented Specifications. SEFM 2004: 208-217

Alexander Knapp, Nora Koch, Gefei Zhang, Hanns-Martin Hassler: Modeling Business Processes in Web Applications with ArgoUWE. UML 2004: 69-83

Martin Wirsing, Alexander Knapp, Simonetta Balsamo (Eds.): Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers. Lecture Notes in Computer Science 2941, Springer 2004, isbn 3-540-21179-9

Martin Wirsing, Alexander Knapp: A formal approach to object-oriented software engineering. Theor. Comput. Sci. 285(2): 519-560 (2002)

María Victoria Cengarle, Alexander Knapp: Towards OCL/RT. FME 2002: 390-409

Alexander Knapp, Stephan Merz, Christopher Rauh: Model Checking - Timed UML State Machines and Collaborations. FTRTFT 2002: 395-416

Martin Wirsing, Alexander Knapp: View Consistency in Software Development. RISSEF 2002: 341-357

Timm Schäfer, Alexander Knapp, Stephan Merz: Model checking UML state machines and collaborations. Electr. Notes Theor. Comput. Sci. 55(3): 357-369 (2001)

Alexander Knapp: A formal approach to object-oriented software engineering. Softwaretechnik-Trends 21(3) (2001)

Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing: Specifying Component Invariants with OCL. GI Jahrestagung (1) 2001: 600-607

María Victoria Cengarle, Alexander Knapp: A Formal Semantics for OCL 1.4. UML 2001: 118-133

Alexander Knapp: A formal approach to object-oriented software engineering. Universität München 2000, pp. I-X, 1-180

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing: An Event-Based Structural Operational Semantics of Multi-Threaded Java. Formal Syntax and Semantics of Java 1999: 157-200

Alexander Knapp: A Formal Semantics for UML Interactions. UML 1999: 116-130

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing: From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics. AMAST 1997: 75-90

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: EPK-fix: Methods and Tools for Engineering Electronic Product Catalogues. IDMS 1997: 199-209

Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing: Verifying a compiler optimization for Multi-Threaded Java. WADT 1997: 402-417

Martin Wirsing, Alexander Knapp: A formal approach to object-oriented software engineering. Electr. Notes Theor. Comput. Sci. 4: 322-360 (1996)