 | 2009 |
|---|
| 46 |       | Christian Kroiss,
Nora Koch,
Alexander Knapp:
UWE4JSF: A Model-Driven Generation Approach for Web Applications.
ICWE 2009: 493-496 |
| 2008 |
|---|
| 45 | | María Victoria Cengarle,
Alexander Knapp,
Andrzej Tarlecki,
Martin Wirsing:
A Heterogeneous Approach to UML Semantics.
Concurrency, Graphs and Models 2008: 383-402 |
| 44 | | Matthias P. Krieger,
Alexander Knapp:
Executing Underspecified OCL Operation Contracts with a SAT Solver.
ECEASST 15: (2008) |
| 2007 |
|---|
| 43 | | 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 |
| 42 | | Pietro Cenciarelli,
Alexander Knapp,
Eleonora Sibilio:
The Java Memory Model: Operationally, Denotationally, Axiomatically.
ESOP 2007: 331-346 |
| 41 | | Rolf Hennicker,
Alexander Knapp:
Activity-Driven Synthesis of State Machines.
FASE 2007: 87-101 |
| 40 | | 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 |
| 39 | | Andreas Kraus,
Alexander Knapp,
Nora Koch:
Model-Driven Generation of Web Applications in UWE.
MDWE 2007 |
| 38 | | Gefei Zhang,
Matthias M. Hölzl,
Alexander Knapp:
Enhancing UML State Machines with Aspects.
MoDELS 2007: 529-543 |
| 37 | | Andrew Fish,
Alexander Knapp:
Layout of (Software) Engineering Diagrams.
VL/HCC 2007: 4 |
| 36 | | Andrew Fish,
Alexander Knapp,
Harald Störrle:
Proceedings of the Workshop on the Layout of (Software) Engineering Diagrams (LED 2007) - Preface.
ECEASST 7: (2007) |
| 2006 |
|---|
| 35 | | 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 | | 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 | | 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 | | 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 | | Hubert Baumeister,
Alexander Knapp,
Nora Koch,
Gefei Zhang:
Modelling Adaptivity with Aspects.
ICWE 2005: 406-416 |
| 29 | | Alexander Knapp,
Nora Koch,
Gefei Zhang:
Modelling the Behaviour of Web Applications with ArgoUWE.
ICWE 2005: 624-626 |
| 28 | | Moritz Hammer,
Alexander Knapp,
Stephan Merz:
Truly On-the-Fly LTL Model Checking.
TACAS 2005: 191-205 |
| 27 | | Alexander Knapp,
Harald Störrle:
Unified Modeling Language 2.0.
VL/HCC 2005: 9 |
| 26 | | 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 | | Alexander Knapp,
Stephan Merz,
Martin Wirsing:
Refining Mobile UML State Machines.
AMAST 2004: 274-288 |
| 23 | | 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 | | Michael Balser,
Simon Bäumler,
Alexander Knapp,
Wolfgang Reif,
Andreas Thums:
Interactive Verification of UML State Machines.
ICFEM 2004: 434-448 |
| 20 | | Alexander Knapp,
Nora Koch,
Gefei Zhang:
Modeling the Structure of Web Applications with ArgoUWE.
ICWE 2004: 615-616 |
| 19 | | Michel Bidoit,
Rolf Hennicker,
Alexander Knapp,
Hubert Baumeister:
Glass-Box and Black-Box Views on Object-Oriented Specifications.
SEFM 2004: 208-217 |
| 18 | | Hubert Baumeister,
Alexander Knapp,
Martin Wirsing:
Property-Driven Development.
SEFM 2004: 96-102 |
| 17 | | Alexander Knapp,
Nora Koch,
Gefei Zhang,
Hanns-Martin Hassler:
Modeling Business Processes in Web Applications with ArgoUWE.
UML 2004: 69-83 |
| 16 | | Rolf Hennicker,
Alexander Knapp,
Hubert Baumeister:
Semantics of OCL Operation Specifications.
Electr. Notes Theor. Comput. Sci. 102: 111-132 (2004) |
| 15 | | 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 | | María Victoria Cengarle,
Alexander Knapp:
Towards OCL/RT.
FME 2002: 390-409 |
| 13 | | Alexander Knapp,
Stephan Merz,
Christopher Rauh:
Model Checking - Timed UML State Machines and Collaborations.
FTRTFT 2002: 395-416 |
| 12 | | Martin Wirsing,
Alexander Knapp:
View Consistency in Software Development.
RISSEF 2002: 341-357 |
| 11 | | 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 | | María Victoria Cengarle,
Alexander Knapp:
A Formal Semantics for OCL 1.4.
UML 2001: 118-133 |
| 8 | | 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 | | 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 | | Martin Wirsing,
Alexander Knapp:
A formal approach to object-oriented software engineering.
Electr. Notes Theor. Comput. Sci. 4: (1996) |
