| 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 | 386 | 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 | 331 | 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 | 271 | 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 | 267 | 2002 |
| Model checking and code generation for UML state machines and collaborations A Knapp, S Merz | 166 | 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 | 154 | 2018 |
| Model-driven generation of web applications in UWE A Kraus, A Knapp, N Koch | 154 | 2007 |
| Model checking of UML 2.0 interactions A Knapp, J Wuttke Models in Software Engineering: Workshops and Symposia at MoDELS 2006, Genoa …, 2007 | 145 | 2007 |
| 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 | 111 | 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 Web Engineering: 5th International Conference, ICWE 2005, Sydney, Australia …, 2005 | 105 | 2005 |
| 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 | 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 | 86 | 2002 |
| What is a multi-modeling language? A Boronat, A Knapp, J Meseguer, M Wirsing Recent Trends in Algebraic Development Techniques: 19th International …, 2009 | 76 | 2009 |
| 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 | 74 | 2004 |
| ArgoUWE: A CASE tool for Web applications A Knapp, N Koch, F Moser, G Zhang | 72 | 2003 |
| 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 | 70 | 2004 |
| A formal semantics for UML interactions A Knapp International Conference on the Unified Modeling Language, 116-130, 1999 | 64 | 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 |
