Seguir
Alexander Knapp
Alexander Knapp
Dirección de correo verificada de informatik.uni-augsburg.de
Título
Citado por
Citado por
Año
Optimization of global production scheduling with deep reinforcement learning
B Waschneck, A Reichstaller, L Belzner, T Altenmüller, T Bauernhansl, ...
Procedia Cirp 72, 1264-1269, 2018
3542018
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
3252001
UML-based web engineering: an approach based on standards
N Koch, A Knapp, G Zhang, H Baumeister
Web Engineering: Modelling and Implementing Web Applications, 157-191, 2008
2702008
Model checking timed UML state machines and collaborations
A Knapp, S Merz, C Rauh
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International …, 2002
2662002
Model checking and code generation for UML state machines and collaborations
A Knapp, S Merz
1622002
Model-driven generation of web applications in UWE
A Kraus, A Knapp, N Koch
1542007
Model checking of UML 2.0 interactions
A Knapp, J Wuttke
Models in Software Engineering: Workshops and Symposia at MoDELS 2006, Genoa …, 2007
1452007
Deep reinforcement learning for semiconductor production scheduling
B Waschneck, A Reichstaller, L Belzner, T Altenmüller, T Bauernhansl, ...
2018 29th annual SEMI advanced semiconductor manufacturing conference (ASMC …, 2018
1402018
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
1101999
The Java memory model: Operationally, denotationally, axiomatically
P Cenciarelli, A Knapp, E Sibilio
European Symposium on Programming, 331-346, 2007
1062007
Modelling adaptivity with aspects
H Baumeister, A Knapp, N Koch, G Zhang
Web Engineering: 5th International Conference, ICWE 2005, Sydney, Australia …, 2005
1052005
UML 2.0 interactions: Semantics and refinement
MV Cengarle, A Knapp
962004
Semantic-based development of service-oriented systems
M Wirsing, A Clark, S Gilmore, M Hölzl, A Knapp, N Koch, A Schroeder
Formal Techniques for Networked and Distributed Systems-FORTE 2006: 26th …, 2006
952006
Towards ocl/rt
MV Cengarle, A Knapp
FME 2002: Formal Methods—Getting IT Right: International Symposium of …, 2002
842002
What is a multi-modeling language?
A Boronat, A Knapp, J Meseguer, M Wirsing
Recent Trends in Algebraic Development Techniques: 19th International …, 2009
722009
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
722004
Interactive verification of UML state machines
M Balser, S Bäumler, A Knapp, W Reif, A Thums
Formal Methods and Software Engineering: 6th International Conference on …, 2004
712004
ArgoUWE: A CASE tool for Web applications
A Knapp, N Koch, F Moser, G Zhang
712003
A formal semantics for UML interactions
A Knapp
International Conference on the Unified Modeling Language, 116-130, 1999
651999
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, ...
622007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20