Alexander Knapp - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Modal Interface Theories for Communication-Safe Component AssembliesRolf Hennicker, Alexander Knapp. ictac 2011: 135-153 [doi]

2010

2009

2008

2007

The Java Memory Model: Operationally, Denotationally, AxiomaticallyPietro Cenciarelli, Alexander Knapp, Eleonora Sibilio. ESOP 2007: 331-346 [doi]

Layout of (Software) Engineering DiagramsAndrew Fish, Alexander Knapp. vl 2007: 4 [doi]

Proceedings of the Workshop on the Layout of (Software) Engineering Diagrams (LED 2007) - PrefaceAndrew Fish, Alexander Knapp, Harald Störrle. eceasst, 7, 2007. [doi]

Activity-Driven Synthesis of State MachinesRolf Hennicker, Alexander Knapp. FASE 2007: 87-101 [doi]

Modelling the CoCoME with the Java/AComponent ModelAlexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, Martin Wirsing. dagstuhl 2008: 207-237 [doi]

UWE - Ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen (UWE - An Approach for the Model-Driven Development of Web Applications)Alexander Knapp, Nora Koch, Martin Wirsing, Gefei Zhang. icom, 6(3):5-12, 2007. [doi]

Model-Driven Generation of Web Applications in UWEAndreas Kraus, Alexander Knapp, Nora Koch. ICWE 2007: [doi]

Enhancing UML State Machines with AspectsGefei Zhang, Matthias M. Hölzl, Alexander Knapp. MoDELS 2007: 529-543 [doi]

2006

2005

2004

Interactive Verification of UML State MachinesMichael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums. icfem 2004: 434-448 [doi]

A coordination architecture for time-dependent componentsMichael N. Barth, Alexander Knapp. iastedSE 2004: 6-11

Property-Driven DevelopmentHubert Baumeister, Alexander Knapp, Martin Wirsing. sefm 2004: 96-102 [doi]

Glass-Box and Black-Box Views on Object-Oriented SpecificationsMichel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister. sefm 2004: 208-217 [doi]

OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressivenessMaría Victoria Cengarle, Alexander Knapp. SoSyM, 3(1):9-30, 2004. [doi]

Semantics of OCL Operation SpecificationsRolf Hennicker, Alexander Knapp, Hubert Baumeister. ENTCS, 102:111-132, 2004. [doi]

Refining Mobile UML State MachinesAlexander Knapp, Stephan Merz, Martin Wirsing. amast 2004: 274-288 [doi]

Modeling the Structure of Web Applications with ArgoUWEAlexander Knapp, Nora Koch, Gefei Zhang. ICWE 2004: 615-616 [doi]

Modeling Business Processes in Web Applications with ArgoUWEAlexander Knapp, Nora Koch, Gefei Zhang, Hanns-Martin Hassler. uml 2004: 69-83 [doi]

Consistency Checking in an Infrastructure for Large-Scale GenerativeAxel Rauschmayer, Alexander Knapp, Martin Wirsing. jckbse 2004: 238-247 [doi]

Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised PapersMartin Wirsing, Alexander Knapp, Simonetta Balsamo, editors, Volume 2941 of Lecture Notes in Computer Science, Springer, 2004.

2002

2001

2000

A formal approach to object-oriented software engineeringAlexander Knapp. PhD thesis, Universität München, 2000.

1999

An Event-Based Structural Operational Semantics of Multi-Threaded JavaPietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing. java 1999: 157-200 [doi]

A Formal Semantics for UML InteractionsAlexander Knapp. uml 1999: 116-130

1997

1996

A formal approach to object-oriented software engineeringMartin Wirsing, Alexander Knapp. ENTCS, 4, 1996. [doi]