Publications
|
2023 |
|
Martin Wirsing and Alexander Knapp. 2023. A reduction-based cut-free Gentzen calculus for dynamic epistemic logic. Logic Journal of the IGPL 31, 6, 1047-1068. DOI: 10.1093/jigpal/jzac078 |
|
2022 |
|
Joseph Hirsch, Marius Lichtblau, Marian Lingsch Rosenfeld, Kilian Telschig and Alexander Knapp. 2022. Cube Bot — a smart factory showcase for the real-time container architecture. In 2022 IEEE 20th International Conference on Industrial Informatics (INDIN), 25-28 July 2022, Perth, Australia. IEEE, Piscataway, NJ, 312-316 DOI: 10.1109/indin51773.2022.9976101 |
|
Rolf Hennicker and Alexander Knapp. 2022. Specification of systems with parameterised events: an institution-independent approach. Journal of Logical and Algebraic Methods in Programming 128, 100791. DOI: 10.1016/j.jlamp.2022.100791 |
|
2021 |
|
Rolf Hennicker, Alexander Knapp and Alexandre Madeira. 2021. Hybrid dynamic logic institutions for event/data-based systems. Formal Aspects of Computing 33, 6, 1209-1248. |
|
Rolf Hennicker, Alexander Knapp and Alexandre Madeira. 2021. Observational interpretations of hybrid dynamic logic with binders and silent transitions. Journal of Logical and Algebraic Methods in Programming 122, 100698. DOI: 10.1016/j.jlamp.2021.100698 |
|
2020 |
|
Alexander Knapp and María Victoria Cengarle. 2020. 2-term charters. The Journal of Object Technology 19, 3, 3:1-12. DOI: 10.5381/jot.2020.19.3.a10 |
|
Alexander Knapp and Markus Roggenbach. 2020. Book Review: André Platzer: Logical foundations of cyber-physical systems. Springer International Publishing, 2018, XXXI+639 pp, ISBN: 978-3-319-63587-3 (Hardcover, $39.99). Formal Aspects of Computing 32, 1, 149-151. DOI: 10.1007/s00165-020-00510-7 |
|
2019 |
|
Kilian Telschig and Alexander Knapp. 2019. Synchronous reconfiguration of distributed embedded applications during operation. In 2019 IEEE International Conference on Software Architecture (ICSA), 25-29 March 2019, Hamburg, Germany. IEEE, Piscataway, NJ, 121-130 DOI: 10.1109/icsa.2019.00021 |
|
2018 |
|
Benedikt Eberhardinger, Hella Seebach, André Reichstaller, Alexander Knapp and Wolfgang Reif. 2018. Adaptive tests for adaptive systems: the need for new concepts in testing for future software systems. Softwaretechnik-Trends 38, 1, 61-64. |
|
Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Alexander Knapp and Wolfgang Reif. 2018. An approach for isolated testing of self-organization algorithms. Lecture Notes in Computer Science 9640, 188-222. DOI: 10.1007/978-3-319-74183-3_7 |
|
André Reichstaller, Benedikt Eberhardinger, Hella Seebach, Alexander Knapp and Wolfgang Reif. 2018. Applying deep learning for imitating adaptive agent behavior in statistical software testing. Softwaretechnik-Trends 38, 1, 57-60. |
|
Maurice H. ter Beek, Stefania Gnesi and Alexander Knapp. 2018. Formal methods and automated verification of critical systems. International Journal on Software Tools for Technology Transfer 20, 4, 355-358. DOI: 10.1007/s10009-018-0494-5 |
|
Maurice H. ter Beek, Stefania Gnesi and Alexander Knapp. 2018. Formal methods for transport systems. International Journal on Software Tools for Technology Transfer 20, 3, 237-241. DOI: 10.1007/s10009-018-0487-4 |
|
Alexander Schiendorfer, Alexander Knapp, Gerrit Anders and Wolfgang Reif. 2018. MiniBrass: soft constraints for MiniZinc. Constraints 23, 4, 403-450. DOI: 10.1007/s10601-018-9289-2 |
|
Bernd Waschneck, André Reichstaller, Lenz Belzner, Thomas Altenmüller, Thomas Bauernhansl, Alexander Knapp and Andreas Kyek. 2018. Optimization of global production scheduling with deep reinforcement learning. Procedia CIRP 72, 1264-1269. DOI: 10.1016/j.procir.2018.03.212 |
|
Johannes Leupolz, Alexander Knapp, Axel Habermaier and Wolfgang Reif. 2018. Qualitative and quantitative analysis of safety-critical systems with S#. International Journal on Software Tools for Technology Transfer 20, 4, 359-377. DOI: 10.1007/s10009-017-0464-3 |
|
2017 |
|
Kilian Telschig and Alexander Knapp. 2017. Towards safe dynamic updates of distributed embedded applications in factory automation. In Christoforos Hadjicostis, Richard Zurawski (Eds.). 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 12-15 September 2017, Limassol, Cyprus. IEEE, Piscataway, NJ, 1-4 DOI: 10.1109/etfa.2017.8247735 |
|
2016 |
|
Axel Habermaier, Alexander Knapp, Johannes Leupolz and Wolfgang Reif. 2016. Fault-aware modeling and specification for efficient formal safety analysis. Lecture Notes in Computer Science 9933, 97-114. DOI: 10.1007/978-3-319-45943-1_7 |
|
2015 |
|
Alexander Knapp, Till Mossakowski, Markus Roggenbach and Martin Glauer. 2015. An institution for simple UML state machines. Lecture Notes in Computer Science 9033, 3-18. DOI: 10.1007/978-3-662-46675-9_1 |
|
Alexander Knapp and María Victoria Cengarle. 2015. Institutions for OCL-like expression languages. Lecture Notes in Computer Science 8950, 193-214. DOI: 10.1007/978-3-319-15545-6_14 |
|
Rolf Hennicker and Alexander Knapp. 2015. Moving from interface theories to assembly theories. Acta Informatica 52, 2-3, 235-268. DOI: 10.1007/s00236-015-0220-7 |
|
Alexander Schiendorfer, Alexander Knapp, Jan-Philipp Steghöfer, Gerrit Anders, Florian Siefert and Wolfgang Reif. 2015. Partial valuation structures for qualitative soft constraints. Lecture Notes in Computer Science 8950, 115-133. DOI: 10.1007/978-3-319-15545-6_10 |
|
Alexander Knapp, Till Mossakowski and Markus Roggenbach. 2015. Towards an institutional framework for heterogeneous formal development in UML: a position paper. Lecture Notes in Computer Science 8950, 215-230. DOI: 10.1007/978-3-319-15545-6_15 |
|
2014 |
|
Rolf Hennicker, Alexander Knapp and Martin Wirsing. 2014. Assembly theories for communication-safe component systems. Lecture Notes in Computer Science 8415, 145-160. DOI: 10.1007/978-3-642-54848-2_10 |
|
Alexander Knapp and Harald Störrle. 2014. Efficient representation of timed UML 2 interactions. Lecture Notes in Computer Science 8769, 110-125. DOI: 10.1007/978-3-319-11743-0_8 |
|
Alexander Knapp and Alexander Schiendorfer. 2014. Embedding constraint relationships into C-semirings. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2014-03. Fakultät für Angewandte Informatik, Universität Augsburg, Augsburg. |
|
Alexander Knapp, Markus Roggenbach and Bernd-Holger Schlingloff. 2014. On the use of test cases in model-based software product line development. In Stefania Gnesi, Patrick Heymans, Julia Rubin, Krzysztof Czarnecki, Deepak Dhungana and Alessandro Fantechi (Ed.). Proceedings of the 18th International Software Product Line Conference - SPLC '14, Florence, Italy, September 15 - 19, 2014. ACM Press, New York, NY, 247-251. DOI: 10.1145/2648511.2648539 |
|
Alexander Knapp, Alexander Schiendorfer and Wolfgang Reif. 2014. Quality over quantity in soft constraints. In Andreas Andreou (Ed.). 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, 10-12 November 2014, Limassol, Cyprus. IEEE, Los Alamitos, CA, 453-460. DOI: 10.1109/ictai.2014.75 |
|
Benedikt Eberhardinger, Hella Seebach, Alexander Knapp and Wolfgang Reif. 2014. Towards testing self-organizing, adaptive systems. Lecture Notes in Computer Science 8763, 180-185. DOI: 10.1007/978-3-662-44857-1_13 |
|
2013 |
|
Vitalian A. Danciu and Alexander Knapp. 2013. Adapting applications to exploit virtualization management knowledge. In M. Feridun, G. Dreo Rodosek, S. Vaton, T. A. Trinh, S. Keith-Marsoun, D. Hausheer, T. Hoßfeld and B. Stiller (Ed.). Proceedings of the 9th International Conference on Network and Service Management (CNSM 2013), 14-18 October 2013, Zurich, Switzerland. IEEE, Los Alamitos, CA, 355-363. DOI: 10.1109/cnsm.2013.6727858 |
|
Alexander Schiendorfer, Jan-Philipp Steghöfer, Alexander Knapp, Florian Nafz and Wolfgang Reif. 2013. Constraint relationships for soft constraints. In Max Bramer and Miltos Petridis (Ed.). Research and Development in Intelligent Systems XXX: Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence. Springer International, Cham (SGAI: International Conference on Innovative Techniques and Applications of Artificial Intelligence), 241-255. DOI: 10.1007/978-3-319-02621-3_17 |
|
Marco Kuhrmann, Daniel Méndez Fernández, Oliver Linssen and Alexander Knapp. 2013. Modellierung von Vorgehensmodellen – Paradigmen, Sprachen, Tools. In Stefan Kowalewski and Bernhard Rumpe (Ed.). Software Engineering 2013 - Fachtagung des GI-Fachbereichs Softwaretechnik 26. Februar - 1. März 2013 in Aachen. Gesellschaft für Informatik e.V., Bonn (GI-Edition : lecture notes in informatics : GI-Edition / Proceedings), 371-372. |
|
Marco Kuhrmann, Georg Kalus and Alexander Knapp. 2013. Rapid Prototyping for Domain-specific Languages - From Stakeholder Analyses to Modelling Tools. Enterprise Modelling and Information Systems Architectures (EMISA) 8, 1, 62-74. DOI: 10.18417/emisa.8.1.4 |
|
Marco Kuhrmann, Daniel Méndez Fernández and Alexander Knapp. 2013. Who cares about software process modelling? A first investigation about the perceived value of process engineering and process consumption. Lecture Notes in Computer Science 7983, 138-152. DOI: 10.1007/978-3-642-39259-7_13 |
|
2012 |
|
Nora Koch, Alexander Knapp and Sergej Kozuruba. 2012. Assessment of effort reduction due to model-to-model transformations in the web domain. Lecture Notes in Computer Science 7387, 215-222. DOI: 10.1007/978-3-642-31753-8_16 |
|
G. Roeder, A. Mattes, M. Pfeffer, M. Schellenberger, L. Pfitzner, Alexander Knapp, H. Muhlberger, A. Kyek, B. Lenz, M. Frisch, J. Bichlmeier, G. Leditzky, E. Lind, S. Zoia and G. Fazio. 2012. Framework for integration of virtual metrology and predictive maintenance. In Jennifer Braggin, Larry Pulvirent, Scott Lantz and Holly Magoon (Ed.). 2012 SEMI Advanced Semiconductor Manufacturing Conference, 15-17 May 2012, Saratoga Springs, NY, USA. IEEE, Los Alamitos, CA, 288-293. DOI: 10.1109/asmc.2012.6212913 |
|
Nora Koch, Alexander Knapp, Geri Georg, Marina Egea and Benoit Baudry. 2012. Model-driven security: MDsec '12 Workshop at MoDELS 2012, Innsbruck, Austria. In Proceedings of the Workshop on Model-Driven Security, MODELS '12: ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems, Innsbruck, Austria, October 1-5, 2012. ACM, New York, NY, 1-2 DOI: 10.1145/2422498.2422499 |
|
Axel Habermaier and Alexander Knapp. 2012. On the Correctness of the SIMT Execution Model of GPUs. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2012-01. . |
|
Axel Habermaier and Alexander Knapp. 2012. On the correctness of the SIMT execution model of GPUs. Lecture Notes in Computer Science 7211, 316-335. DOI: 10.1007/978-3-642-28869-2_16 |
|
Maximilian Junker, Ralf Huuck, Ansgar Fehnker and Alexander Knapp. 2012. SMT-based false positive elimination in static program analysis. Lecture Notes in Computer Science 7635, 316-331. DOI: 10.1007/978-3-642-34281-3_23 |
|
2011 |
|
Matthias P. Krieger, Alexander Knapp and Burkhart Wolff. 2011. Automatic and efficient simulation of operation contracts. In Eelco Visser and Jaakko Järvi (Ed.). Proceedings of the GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering, Eindhoven, The Netherlands — October 10 - 13, 2010. Association for Computing Machinery (ACM), New York, NY (ACM SIGPLAN Notices - GPCE '10 ; 46,2), 53-62. DOI: 10.1145/1942788.1868303 |
|
M. Schellenberger, Georg Roeder, Andreas Mattes, Markus Pfeffer, Lothar Pfitzner, Alexander Knapp, H. Mühlberger, Josef Bichlmeier, Christian Valeanu, Andreas Kyek, Benjamin Lenz, Markus Frisch and Günther Leditzky. 2011. Developing a framework for virtual metrology and predictive maintenance. Future Fab International 39, 32-37. |
|
Rolf Hennicker and Alexander Knapp. 2011. Modal interface theories for communication-safe component assemblies. Lecture Notes in Computer Science 6916, 135-153. DOI: 10.1007/978-3-642-23283-1_11 |
|
Marianne Busch, Alexander Knapp and Nora Koch. 2011. Modeling secure navigation in web information systems. Lecture Notes in Business Information Processing 90, 239-253. DOI: 10.1007/978-3-642-24511-4_19 |
|
2010 |
|
Alexander Knapp, Grzegorz Marczyński, Martin Wirsing and Artur Zawłocki. 2010. A heterogeneous approach to service-oriented systems specification. In Sung Y. Shin, Sascha Ossowski and Michael Schumacher (Ed.). Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10, Sierre, Switzerland — March 22 - 26, 2010. ACM Press, New York, NY, 2477-2484. DOI: 10.1145/1774088.1774600 |
|
Moritz Hammer and Alexander Knapp. 2010. Correct Execution of Reconfiguration for Stateful Components. Electronic Notes in Theoretical Computer Science 260, 91-108. DOI: 10.1016/j.entcs.2009.12.033 |
|
Matthias Hölzl, Alexander Knapp and Gefei Zhang. 2010. Modeling the car crash crisis management system using HiLA. Lecture Notes in Computer Science 6210, 234-271. DOI: 10.1007/978-3-642-16086-8_7 |
|
Rolf Hennicker, Stephan Janisch and Alexander Knapp. 2010. On the Observable Behaviour of Composite Components. Electronic Notes in Theoretical Computer Science 260, 125-153. DOI: 10.1016/j.entcs.2009.12.035 |
|
Rolf Hennicker, Stephan Janisch and Alexander Knapp. 2010. Refinement of components in connection-safe assemblies with synchronous and asynchronous communication. Lecture Notes in Computer Science 6028, 154-180. DOI: 10.1007/978-3-642-12566-9_9 |
|
2009 |
|
María Victoria Cengarle, Alexander Knapp and Heribert Mühlberger. 2009. Interactions. In Kevin Lano (Ed.). UML 2 Semantics and Applications. Wiley, Hoboken, N.J., 205-248. DOI: 10.1002/9780470522622.ch9 |
|
Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frederic Jouault and Alexander Knapp. 2009. Preface: The Pragmatics of OCL and Other Textual Specification Languages 2009. Electronic Communications of the EASST 24, 1-2. DOI: 10.14279/tuj.eceasst.24.342.326 |
|
Christian Kroiss, Nora Koch and Alexander Knapp. 2009. UWE4JSF: a model-driven generation approach for web applications. Lecture Notes in Computer Science 5648, 493-496. DOI: 10.1007/978-3-642-02818-2_46 |
|
Artur Boronat, Alexander Knapp, José Meseguer and Martin Wirsing. 2009. What is a multi-modeling language?. Lecture Notes in Computer Science 5486, 71-87. DOI: 10.1007/978-3-642-03429-9_6 |
|
2008 |
|
María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki and Martin Wirsing. 2008. A heterogeneous approach to UML semantics. Lecture Notes in Computer Science 5065, 383-402. DOI: 10.1007/978-3-540-68679-8_23 |
|
María Victoria Cengarle and Alexander Knapp. 2008. An institution for UML 2.0 interactions. Technische Universität München, München (Technischer Bericht ; TUM-I0808). |
|
Matthias P. Krieger and Alexander Knapp. 2008. Executing Underspecified OCL Operation Contracts with a SAT Solver. Electronic Communications of the EASST 15, . DOI: 10.14279/tuj.eceasst.15.176.173 |
|
Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister and Martin Wirsing. 2008. Modelling the CoCoME with the Java/A component model. Lecture Notes in Computer Science 5153, 207-237. DOI: 10.1007/978-3-540-85289-6_9 |
|
2007 |
|
Rolf Hennicker and Alexander Knapp. 2007. Activity-driven synthesis of state machines. Lecture Notes in Computer Science 4422, 87-101. DOI: 10.1007/978-3-540-71289-3_8 |
|
Gefei Zhang, Matthias Hölzl and Alexander Knapp. 2007. Enhancing UML state machines with aspects. Lecture Notes in Computer Science 4735, 529-543. DOI: 10.1007/978-3-540-75209-7_36 |
|
Antonio Vallecillo, Nora Koch, Cristina Cachero, Sara Comai, Piero Fraternali, Irene Garrigós, Jaime Gómez, Gerti Kappel, Alexander Knapp, Maristella Matera, Santiago Meliá, Nathalie Moreno, Birgit Pröll, Thomas Reiter, Werner Retschitzegger, José E. Rivera, Andrea Schauerhuber, Wieland Schwinger, Manuel Wimmer and Gefei Zhang. 2007. MDWEnet: a practical approach to achieving interoperability of model-driven web engineering methods. In Nora Koch, Antonio Vallecillo and Geert-Jan Houben (Ed.). MDWE 2007- 3rd International Workshop on Model-Driven Web Engineering: Proceedings of the 3rd International Workshop on Model-Driven Web Engineering - MDWE 2007, Como, Italy, July 17, 2007. CEUR-WS, Aachen (CEUR Workshop Proceedings (CEUR-WS) ; 261) |
|
Alexander Knapp and Jochen Wuttke. 2007. Model checking of UML 2.0 interactions. Lecture Notes in Computer Science 4364, 42-51. DOI: 10.1007/978-3-540-69489-2_6 |
|
Andreas Kraus, Alexander Knapp and Nora Koch. 2007. Model-driven generation of web applications in UWE. In Nora Koch, Antonio Vallecillo and Geert-Jan Houben (Ed.). MDWE 2007 - 3rd International Workshop on Model-Driven Web Engineering: Proceedings of the 3rd International Workshop on Model-Driven Web Engineering - MDWE 2007, Como, Italy, July 17, 2007. CEUR-WS, Aachen (CEUR Workshop Proceedings (CEUR-WS) ; 261) |
|
Andrew Fish, Alexander Knapp and Harald Störrle. 2007. Proceedings of the Workshop on the Layout of (Software) Engineering Diagrams (LED 2007) - Preface. Electronic Communications of the EASST 7, . DOI: 10.14279/tuj.eceasst.7 |
|
Pietro Cenciarelli, Alexander Knapp and Eleonora Sibilio. 2007. The Java memory model: operationally, denotationally, axiomatically. Lecture Notes in Computer Science 4421, 331-346. DOI: 10.1007/978-3-540-71316-6_23 |
|
Alexander Knapp, Nora Koch, Martin Wirsing and Gefei Zhang. 2007. UWE – Ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen (UWE – An Approach for the Model-Driven Development of Web Applications). i-com 6, 3, 5-12. DOI: 10.1524/icom.2007.6.3.5 |
|
Nora Koch, Alexander Knapp, Gefei Zhang and Hubert Baumeister. 2007. Uml-Based Web Engineering: An Approach Based on Standards. In Gustavo Rossi, Oscar Pastor, Daniel Schwabe and Luis Olsina (Ed.). Web Engineering: Modelling and Implementing Web Applications. Springer, London [u.a.] (Human-Computer Interaction Series (HCIS)), 157-191. DOI: 10.1007/978-1-84628-923-1_7 |
|
2006 |
|
Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp and Martin Wirsing. 2006. A Component Model for Architectural Programming. Electronic Notes in Theoretical Computer Science 160, 75-96. DOI: 10.1016/j.entcs.2006.05.015 |
|
Alexander Knapp and Gefei Zhang. 2006. Model transformations for integrating and validating web application models. In Heinrich C. Mayr and Ruth Breu (Ed.). Modellierung 2006 (MOD'06), 22.-24. März 2006, Innsbruck, Tirol, Austria. Gesellschaft für Informatik e.V., Bonn (Lecture Notes in Informatics ; P-82), 115-128. |
|
Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias Hölzl, Alexander Knapp, Nora Koch and Andreas Schroeder. 2006. Semantic-based development of service-oriented systems. Lecture Notes in Computer Science 4229, 24-45. DOI: 10.1007/11888116_3 |
|
Alexander Knapp, Stephan Merz, Martin Wirsing and Júlia Zappe. 2006. Specification and refinement of mobile systems in MTLA and mobile UML. Theoretical Computer Science 351, 2, 184-202. DOI: 10.1016/j.tcs.2005.09.067 |
|
2005 |
|
Gefei Zhang, Hubert Baumeister, Nora Koch and Alexander Knapp. 2005. Aspect-oriented modeling of access control in web applications. In 6th International Workshop Aspect-Oriented Modeling (AOM'05), Chicago, USA, 2005. |
|
Hubert Baumeister, Alexander Knapp, Nora Koch and Gefei Zhang. 2005. Modelling adaptivity with aspects. Lecture Notes in Computer Science 3579, 406-416. DOI: 10.1007/11531371_53 |
|
Alexander Knapp, Nora Koch and Gefei Zhang. 2005. Modelling the behaviour of web applications with ArgoUWE. Lecture Notes in Computer Science 3579, 624-626. DOI: 10.1007/11531371_87 |
|
María Victoria Cengarle and Alexander Knapp. 2005. Operational semantics of UML 2.0 interactions. Technische Universität München, München (Technischer Bericht ; TUM-I0505). |
|
Moritz Hammer, Alexander Knapp and Stephan Merz. 2005. Truly on-the-fly LTL model checking. Lecture Notes in Computer Science 3440, 191-205. DOI: 10.1007/978-3-540-31980-1_13 |
|
2004 |
|
Michael Barth and Alexander Knapp. 2004. A Coordination Architecture for Time-Dependent Components. In M.H. Hamza (Ed.). Proceedings of the IASTED International Conference on Software Engineering : as part of the 22nd IASTED International Multi-Conference on Applied Informatics (IASTED SE 2004), February 17 - 19, 2004, Innsbruck, Austria. ACTA Press, Anaheim [u.a.], 6-11. |
|
A. Rauschmayer, Alexander Knapp and Martin Wirsing. 2004. Consistency checking in an infrastructure for large-scale generative programming. In Bob Werner (Ed.). Proceedings, 19th International Conference on Automated Software Engineering 2004, 24-24 September 2004, Linz, Austria. IEEE, Los Alamitos, CA, 238-247. DOI: 10.1109/ase.2004.1342741 |
|
M. Bidoit, R. Hennicker, Alexander Knapp and H. Baumeister. 2004. Glass-box and black-box views on object-oriented specifications. In Frances M. Titsworth (Ed.). Proceedings of the Second International Conference on Software Engineering and Formal Methods - SEFM 2004, 30-30 September 2004, Beijing, China. IEEE, Los Alamitos, CA, 208-217. DOI: 10.1109/sefm.2004.1347522 |
|
Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif and Andreas Thums. 2004. Interactive verification of UML state machines. Lecture Notes in Computer Science 3308, 434-448. DOI: 10.1007/978-3-540-30482-1_36 |
|
Alexander Knapp, Nora Koch, Gefei Zhang and Hanns-Martin Hassler. 2004. Modeling business processes in web applications with ArgoUWE. Lecture Notes in Computer Science 3273, 69-83. DOI: 10.1007/978-3-540-30187-5_6 |
|
Alexander Knapp, Nora Koch and Gefei Zhang. 2004. Modeling the structure of web applications with ArgoUWE. Lecture Notes in Computer Science 3140, 615-616. DOI: 10.1007/978-3-540-27834-4_91 |
|
María Victoria Cengarle and Alexander Knapp. 2004. OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness. Software and Systems Modeling 3, 1, 9-30. DOI: 10.1007/s10270-003-0035-9 |
|
H. Baumeister, Alexander Knapp and Martin Wirsing. 2004. Property-driven development. In Frances M. Titsworth (Ed.). Proceedings of the Second International Conference on Software Engineering and Formal Methods - SEFM 2004, 30 September 2004, Beijing, China. IEEE, Los Alamitos, CA, 96-102. DOI: 10.1109/sefm.2004.1347507 |
|
Martin Wirsing, Alexander Knapp and Simonetta Balsamo (Ed.). 2004. Radical innovations of software and systems engineering in the future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002; revised papers. Springer, Berlin [u.a.] (Lecture notes in computer science ; 2941). DOI: 10.1007/b96009 |
|
Alexander Knapp, Stephan Merz and Martin Wirsing. 2004. Refining mobile UML state machines. Lecture Notes in Computer Science 3116, 274-288. DOI: 10.1007/978-3-540-27815-3_23 |
|
Rolf Hennicker, Alexander Knapp and Hubert Baumeister. 2004. Semantics of OCL Operation Specifications. Electronic Notes in Theoretical Computer Science 102, 111-132. DOI: 10.1016/j.entcs.2003.09.006 |
|
Alexander Knapp. 2004. Semantics of UML state machines. Ludwig-Maximilians-Universität, München (LMU Technischer Bericht ; TR0408). |
|
Axel Rauschmayer, Alexander Knapp and Martin Wirsing. 2004. Type-checking AHEAD. LMU München, München (LMU Technischer Bericht ; TR0406). |
|
María Victoria Cengarle and Alexander Knapp. 2004. UML 2.0 interactions: semantics and refinement. In Jan Jürjens, Eduardo B. Fernández, Robert France and Bernhard Rumpe (Ed.). 3rd International Workshop on Critical Systems Development with UML. Technische Universität München, München (Technischer Bericht ; TUM-I0415), 85-99. |
|
Martin Wirsing and Alexander Knapp. 2004. View consistency in software development. Lecture Notes in Computer Science 2941, 341-357. DOI: 10.1007/978-3-540-24626-8_24 |
|
2003 |
|
Alexander Knapp, Nora Koch, Flavia Moser and Gefei Zhang. 2003. ArgoUWE: a CASE tool for web applications. In Jolita Ralyté and Colette Rolland (Ed.). EMSISE'03: International Workshop on Engineering Methods to Support Information Systems Evolution, in Conjunction with OOIS'03, 9th International Conference on Object-oriented Information Systems, Geneva, Switzerland, September 2-5, 2003. University of Geneva, Geneva, 37-50. |
|
2002 |
|
Martin Wirsing and Alexander Knapp. 2002. A formal approach to object-oriented software engineering. Theoretical Computer Science 285, 2, 519-560. DOI: 10.1016/s0304-3975(01)00367-x |
|
Alexander Knapp and Stephan Merz. 2002. Model checking and code generation for UML state machines and collaborations. In Proceedings of the 5th Workshop on Tools for System Design and Verification. Universität Augsburg, Augsburg (Technischer Bericht ; 2002-11), 59-64. |
|
Alexander Knapp, Stephan Merz and Christopher Rauh. 2002. Model checking timed UML state machines and collaborations. Lecture Notes in Computer Science 2469, 395-414. DOI: 10.1007/3-540-45739-9_23 |
|
María Victoria Cengarle and Alexander Knapp. 2002. Towards OCL/RT. Lecture Notes in Computer Science 2391, 390-409. DOI: 10.1007/3-540-45614-7_22 |
|
2001 |
|
María Victoria Cengarle and Alexander Knapp. 2001. A formal semantics for OCL 1.4. Lecture Notes in Computer Science 2185, 118-133. DOI: 10.1007/3-540-45441-1_10 |
|
Timm Schäfer, Alexander Knapp and Stephan Merz. 2001. Model Checking UML State Machines and Collaborations. Electronic Notes in Theoretical Computer Science 55, 3, 357-369. DOI: 10.1016/s1571-0661(04)00262-2 |
|
Hubert Baumeister, Rolf Henniker, Alexander Knapp and Martin Wirsing. 2001. OCL component invariants. In M. Luqi and Manfred Broy (Ed.). Proceedings of the Monterey Workshop 2001 on Engineering Automation for Software Intensive System Integration, June 18-22, 2001, Monterey, California. U.S. Naval Postgraduate School, Monterey, CA, 208-215. |
|
María Victoria Cengarle and Alexander Knapp. 2001. On the expressive power of pure OCL. LMU München, München (LMU Technischer Bericht ; TR0101). |
|
Rolf Hennicker, Hubert Baumeister, Alexander Knapp and Martin Wirsing. 2001. Specifying component invariants with OCL. In Kurt Bauknecht, Wilfried Brauer and Thomas Mück (Ed.). Informatik 2001: Wirtschaft und Wissenschaft in der Network Economy - Visionen und Wirklichkeit, Tagungsband der GI/OCG-Jahrestagung, Vienna, Austria, September 25-28, 2001. UVK-Verlagsgesellschaft, Konstanz (Schriftenreihe der Österreichischen Computer-Gesellschaft ; 157), 600-607. |
|
Alexander Knapp. 2001. fOOSE - eine integrierte formale Softwareentwicklungsmethode. In D. Wagner (Ed.). Ausgezeichnete Informatikdissertationen 2000. Gesellschaft für Informatik e.V., Bonn (Lecture Notes in Informatics), 85-96. |
|
2000 |
|
2000. Dynamic Behaviour in UML Models: Semantic Questions; Workshop Proceedings. LMU München, München (LMU Technischer Bericht ; TR0006). |
|
Alexander Knapp. 2000. Generating Rewrite Theories from UML Collaborations. In K. Futatsugi, A.T. Nakagawa and T. Tamai (Ed.). CAFE: An Industrial-Strength Algebraic Formal Method. Elsevier, Amsterdam [u.a.], 97-120. DOI: 10.1016/b978-044450556-9/50065-4 |
|
1999 |
|
Alexander Knapp. 1999. A formal semantics for UML interactions. Lecture Notes in Computer Science 1723, 116-130. DOI: 10.1007/3-540-46852-8_9 |
|
Pietro Cenciarelli, Alexander Knapp, Bernhard Reus and Martin Wirsing. 1999. An event-based structural operational semantics of multi-threaded Java. Lecture Notes in Computer Science 1523, 157-200. DOI: 10.1007/3-540-48737-9_5 |
|
1998 |
|
Alexander Knapp. 1998. Case studies with CafeOBJ. In CafeOBJ Symposium, 26-29 April 1998, Kyoto, Japan. |
|
Bernhard Reus, Alexander Knapp, Pietro Cenciarelli and Martin Wirsing. 1998. Verifying a compiler optimization for multi-threaded Java. Lecture Notes in Computer Science 1376, 402-417. DOI: 10.1007/3-540-64299-4_47 |
|
1997 |
|
Alexander Knapp and Luis Mandel. 1997. An Implementation of The First-Order Constrained Lambda Calculus via Explicit Substitutions. |
|
Alexander Knapp and Piotr Kosiuczenko. 1997. Developing formal semantics of epkml. LMU München, München (LMU Technischer Bericht ; TR9704). |
|
Alexander Knapp, N. Koch, Martin Wirsing, J. Duckeck, R. Lutze, H. Fritzsche, D. Timm, P. Closhen, M. Frisch, H.-J. Hoffmann, B. Gaede, J. Schneeberger, H. Stoyan and A. Turk. 1997. EPK-fix: Methods and tools for engineering electronic product catalogues. Lecture Notes in Computer Science 1309, 199-209. DOI: 10.1007/bfb0000352 |
|
Alexander Knapp and Nora Koch. 1997. EPKML: eine Spezifikationssprache für elektronische Produktkataloge. LMU München, München (LMU Technischer Bericht ; TR9713). |
|
Pietro Cenciarelli, Alexander Knapp, Bernhard Reus and Martin Wirsing. 1997. From sequential to multi-threaded Java: An event-based operational semantics. Lecture Notes in Computer Science 1349, 75-90. DOI: 10.1007/bfb0000464 |
|
1996 |
|
Martin Wirsing and Alexander Knapp. 1996. A Formal Approach to Object-Oriented Software Engineering. Electronic Notes in Theoretical Computer Science 4, 322-360. DOI: 10.1016/s1571-0661(04)00046-5 |
|
Rainer Lutze, Patrick Closhen, Jochen Duckeck, Hartmut Fritzsche, Bernd Gaede, Alexander Knapp, Hans-Jürgen Hoffmann, Nora Koch, Dietrich Timm and Andreas Turk. 1996. EPK-fix: Methoden und Werkzeuge zur effizienten Erstellung elektronischer Produktkataloge. In Ursula Grote (Ed.). Statusseminar des BMBF Softwaretechnologie: 25.-26. März 1996; Berlin. Projektträger Informationstechnik des BMBF bei der DLR, Berlin, 299-318. |
|
Alexander Knapp, Nora Koch and Luis Mandel. 1996. The EPKML language. LMU München, München (LMU Technischer Bericht ; TR9605). |