| 2007 |
|---|
| 39 | EE | Pietro Cenciarelli,
Alexander Knapp,
Eleonora Sibilio:
The Java Memory Model: Operationally, Denotationally, Axiomatically.
ESOP 2007: 331-346 |
| 38 | EE | Rolf Hennicker,
Alexander Knapp:
Activity-Driven Synthesis of State Machines.
FASE 2007: 87-101 |
| 37 | EE | Gefei Zhang,
Matthias M. Hölzl,
Alexander Knapp:
Enhancing UML State Machines with Aspects.
MoDELS 2007: 529-543 |
| 36 | EE | Andrew Fish,
Alexander Knapp:
Layout of (Software) Engineering Diagrams.
VL/HCC 2007: 4 |
| 2006 |
|---|
| 35 | EE | 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 |
| 34 | EE | Alexander Knapp,
Jochen Wuttke:
Model Checking of UML 2.0 Interactions.
MoDELS Workshops 2006: 42-51 |
| 33 | | Alexander Knapp,
Gefei Zhang:
Model Transformations for Integrating and Validating Web Application Models.
Modellierung 2006: 115-128 |
| 32 | EE | 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) |
| 31 | EE | 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) |
| 2005 |
|---|
| 30 | EE | Hubert Baumeister,
Alexander Knapp,
Nora Koch,
Gefei Zhang:
Modelling Adaptivity with Aspects.
ICWE 2005: 406-416 |
| 29 | EE | Alexander Knapp,
Nora Koch,
Gefei Zhang:
Modelling the Behaviour of Web Applications with ArgoUWE.
ICWE 2005: 624-626 |
| 28 | EE | Moritz Hammer,
Alexander Knapp,
Stephan Merz:
Truly On-the-Fly LTL Model Checking.
TACAS 2005: 191-205 |
| 27 | EE | Alexander Knapp,
Harald Störrle:
Unified Modeling Language 2.0.
VL/HCC 2005: 9 |
| 26 | EE | Moritz Hammer,
Alexander Knapp,
Stephan Merz:
Truly On-The-Fly LTL Model Checking
CoRR abs/cs/0511061: (2005) |
| 2004 |
|---|
| 25 | | Martin Wirsing,
Alexander Knapp,
Simonetta Balsamo:
Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers
Springer 2004 |
| 24 | EE | Alexander Knapp,
Stephan Merz,
Martin Wirsing:
Refining Mobile UML State Machines.
AMAST 2004: 274-288 |
| 23 | EE | Axel Rauschmayer,
Alexander Knapp,
Martin Wirsing:
Consistency Checking in an Infrastructure for Large-Scale Generative.
ASE 2004: 238-247 |
| 22 | | Michael N. Barth,
Alexander Knapp:
A coordination architecture for time-dependent components.
IASTED Conf. on Software Engineering 2004: 6-11 |
| 21 | EE | Michael Balser,
Simon Bäumler,
Alexander Knapp,
Wolfgang Reif,
Andreas Thums:
Interactive Verification of UML State Machines.
ICFEM 2004: 434-448 |
| 20 | EE | Alexander Knapp,
Nora Koch,
Gefei Zhang:
Modeling the Structure of Web Applications with ArgoUWE.
ICWE 2004: 615-616 |
| 19 | EE | Michel Bidoit,
Rolf Hennicker,
Alexander Knapp,
Hubert Baumeister:
Glass-Box and Black-Box Views on Object-Oriented Specifications.
SEFM 2004: 208-217 |
| 18 | EE | Hubert Baumeister,
Alexander Knapp,
Martin Wirsing:
Property-Driven Development.
SEFM 2004: 96-102 |
| 17 | EE | Alexander Knapp,
Nora Koch,
Gefei Zhang,
Hanns-Martin Hassler:
Modeling Business Processes in Web Applications with ArgoUWE.
UML 2004: 69-83 |
| 16 | EE | Rolf Hennicker,
Alexander Knapp,
Hubert Baumeister:
Semantics of OCL Operation Specifications.
Electr. Notes Theor. Comput. Sci. 102: 111-132 (2004) |
| 15 | EE | 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) |
| 2002 |
|---|
| 14 | EE | María Victoria Cengarle,
Alexander Knapp:
Towards OCL/RT.
FME 2002: 390-409 |
| 13 | EE | Alexander Knapp,
Stephan Merz,
Christopher Rauh:
Model Checking - Timed UML State Machines and Collaborations.
FTRTFT 2002: 395-416 |
| 12 | EE | Martin Wirsing,
Alexander Knapp:
View Consistency in Software Development.
RISSEF 2002: 341-357 |
| 11 | EE | Martin Wirsing,
Alexander Knapp:
A formal approach to object-oriented software engineering.
Theor. Comput. Sci. 285(2): 519-560 (2002) |
| 2001 |
|---|
| 10 | | Rolf Hennicker,
Hubert Baumeister,
Alexander Knapp,
Martin Wirsing:
Specifying Component Invariants with OCL.
GI Jahrestagung (1) 2001: 600-607 |
| 9 | EE | María Victoria Cengarle,
Alexander Knapp:
A Formal Semantics for OCL 1.4.
UML 2001: 118-133 |
| 8 | EE | Timm Schäfer,
Alexander Knapp,
Stephan Merz:
Model checking UML state machines and collaborations.
Electr. Notes Theor. Comput. Sci. 55(3): (2001) |
| 7 | | Alexander Knapp:
A formal approach to object-oriented software engineering.
Softwaretechnik- Trends 21(3): (2001) |
| 1999 |
|---|
| 6 | EE | 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 |
| 5 | | Alexander Knapp:
A Formal Semantics for UML Interactions.
UML 1999: 116-130 |
| 1997 |
|---|
| 4 | | Pietro Cenciarelli,
Alexander Knapp,
Bernhard Reus,
Martin Wirsing:
From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics.
AMAST 1997: 75-90 |
| 3 | | Alexander Knapp,
Nora Koch,
Martin Wirsing,
J. Duckeck,
Rainer Lutze,
Hartmut Fritzsche,
D. Timm,
Patrick Closhen,
M. 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 |
| 2 | | Bernhard Reus,
Alexander Knapp,
Pietro Cenciarelli,
Martin Wirsing:
Verifying a compiler optimization for Multi-Threaded Java.
WADT 1997: 402-417 |
| 1996 |
|---|
| 1 | EE | Martin Wirsing,
Alexander Knapp:
A formal approach to object-oriented software engineering.
Electr. Notes Theor. Comput. Sci. 4: (1996) |
