Alexander Knapp
Alexander Knapp
Verified email at informatik.uni-augsburg.de
Title
Cited by
Cited by
Year
Model checking UML state machines and collaborations
T Schäfer, A Knapp, S Merz
Electronic Notes in Theoretical Computer Science 55 (3), 357-369, 2001
2912001
Model checking timed UML state machines and collaborations
A Knapp, S Merz, C Rauh
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2002
2392002
UML-based web engineering
N Koch, A Knapp, G Zhang, H Baumeister
Web Engineering: Modelling and Implementing Web Applications, 157-191, 2008
2282008
Model checking and code generation for UML state machines and collaborations
A Knapp, S Merz
Proc. 5th Wsh. Tools for System Design and Verification, 59-64, 2002
1442002
Model checking of UML 2.0 interactions
A Knapp, J Wuttke
International Conference on Model Driven Engineering Languages and Systems …, 2006
1282006
Model-Driven Generation of Web Applications in UWE.
A Kraus, A Knapp, N Koch
MDWE 261, 2007
1212007
An event-based structural operational semantics of multi-threaded Java
P Cenciarelli, A Knapp, B Reus, M Wirsing
Formal syntax and semantics of Java, 157-200, 1999
1061999
The Java memory model: Operationally, denotationally, axiomatically
P Cenciarelli, A Knapp, E Sibilio
European Symposium on Programming, 331-346, 2007
1002007
Modelling adaptivity with aspects
H Baumeister, A Knapp, N Koch, G Zhang
International conference on web engineering, 406-416, 2005
972005
Semantic-based development of service-oriented systems
M Wirsing, A Clark, S Gilmore, M Hölzl, A Knapp, N Koch, A Schroeder
International Conference on Formal Techniques for Networked and Distributed …, 2006
912006
UML 2.0 interactions: Semantics and refinement
MV Cengarle, A Knapp
Proc. 3rd Int. Wsh. Critical Systems Development with UML (CSDUML’04), 85-99, 2004
872004
Towards ocl/rt
MV Cengarle, A Knapp
International Symposium of Formal Methods Europe, 390-409, 2002
852002
Modeling business processes in web applications with ArgoUWE
A Knapp, N Koch, G Zhang, HM Hassler
International Conference on the Unified Modeling Language, 69-83, 2004
712004
ArgoUWE: A CASE tool for Web applications
A Knapp, N Koch, F Moser, G Zhang
Engineering Methods to Support Information Systems Evolution, 37, 2001
672001
Interactive verification of UML state machines
M Balser, S Bäumler, A Knapp, W Reif, A Thums
International Conference on Formal Engineering Methods, 434-448, 2004
662004
A formal semantics for UML interactions
A Knapp
International Conference on the Unified Modeling Language, 116-130, 1999
611999
Uwe4jsf: A model-driven generation approach for web applications
C Kroiss, N Koch, A Knapp
International Conference on Web Engineering, 493-496, 2009
592009
What is a multi-modeling language?
A Boronat, A Knapp, J Meseguer, M Wirsing
International Workshop on Algebraic Development Techniques, 71-87, 2008
592008
MDWEnet: A practical approach to achieving interoperability of model-driven web engineering methods
A Vallecillo, N Koch, C Cachero, S Comai, P Fraternali, I Garrigós, ...
Politecnico di Milano. Dipartimento di Elettronica e Informazione, 2007
582007
A component model for architectural programming
H Baumeister, F Hacklinger, R Hennicker, A Knapp, M Wirsing
572006
The system can't perform the operation now. Try again later.
Articles 1–20