| 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 | 407 | 2018 |
| 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 | 334 | 2001 |
| 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 | 274 | 2008 |
| 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 | 268 | 2002 |
| Model checking and code generation for UML state machines and collaborations A Knapp, S Merz | 168 | 2002 |
| 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 | 167 | 2018 |
| Model-driven generation of web applications in UWE A Kraus, A Knapp, N Koch | 150 | 2007 |
| Model checking of UML 2.0 interactions A Knapp, J Wuttke International Conference on Model Driven Engineering Languages and Systems …, 2006 | 145 | 2006 |
| 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 | 113 | 1999 |
| The Java memory model: Operationally, denotationally, axiomatically P Cenciarelli, A Knapp, E Sibilio European Symposium on Programming, 331-346, 2007 | 108 | 2007 |
| Modelling adaptivity with aspects H Baumeister, A Knapp, N Koch, G Zhang International conference on web engineering, 406-416, 2005 | 104 | 2005 |
| 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 | 95 | 2006 |
| UML 2.0 interactions: Semantics and refinement MV Cengarle, A Knapp | 95 | 2004 |
| Towards ocl/rt MV Cengarle, A Knapp FME 2002: Formal Methods—Getting IT Right: International Symposium of …, 2002 | 87 | 2002 |
| What is a multi-modeling language? A Boronat, A Knapp, J Meseguer, M Wirsing International Workshop on Algebraic Development Techniques, 71-87, 2008 | 76 | 2008 |
| 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 | 75 | 2004 |
| ArgoUWE: A CASE tool for Web applications A Knapp, N Koch, F Moser, G Zhang | 70 | 2003 |
| 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 | 69 | 2004 |
| A formal semantics for UML interactions A Knapp International Conference on the Unified Modeling Language, 116-130, 1999 | 65 | 1999 |
| Uwe4jsf: A model-driven generation approach for web applications C Kroiss, N Koch, A Knapp International Conference on Web Engineering, 493-496, 2009 | 61 | 2009 |
