Dr. Andreas Wortmann Dipl.-Inform. Dipl.-Wirt.Inform. Team Leader Model-Driven Systems Engineering Software Engineering Department of Computer Science 3 RWTH Aachen University Ahornstraße 55 D-52074 Aachen tel. +49 (241) 80-21346 fax. +49 (241) 80-22218 wortmannse-rwth.de room 4219 @andwor

Content

• Research
• Teaching
• Academic Service
• Publications
• Miscellanea

Research

We investigate software & systems engineering through the lens of software languages. To this end, we conceive and develop, concepts, methods, and tools to facilitate efficient systems engineering with domain-specific software languages and language processing tools. This includes developing sophisticated language architectures for application in different domains including automated driving, the smart factories of Industry 4.0, and robotics.

To this end, the model-driven systems engineering research group at the chair of Software Engineering concentrates on related research projects, such as iserveU or CrESt. In this group, we also conduct teaching and academic organization in the context of language-driven systems engineering. Part of these activities are illustrated below.

Teaching

Our research activities and their results influence the courses we offer. In the past, research in model-driven engineering, software language engineering, and their application to robotics manifested in project classes and seminars:

• Seminar A Journey into Software Language Workbenches (Winter 2018/19)
• Project class Model-Driven Engineering the Industry 4.0 (Winter 2018/19)
• Lecture Software Language Engineering (Summer 2018)
• Project class Model-Driven Engineering the Industry 4.0 (Summer 2018)
• Project class Model-Driven Engineering the Industry 4.0 (Winter 2017/18)
• Project class Architecture Modeling Languages for Robotics (Summer 2017)
• Project class Model-based Development of Robotics Applications (Summer 2014)
• Project class Model-based Development of Robotics Applications (Winter 2013/14)
  (in which we also developed a new ROS node for the Sick S300 laser scanner)
• Project class Model-based Development of Robotics Applications (Winter 2012/13)
• Seminar Model-based Software Development (Summer 2012)
• Exercise Softwaretechnik (Winter 2011/12)
• Exercise Generative Software Engineering (Summer 2011)

Videos of the project classes' results and more are available on my youtube channel.

Our research also influences the bachelor theses and master theses we offer. Currently, we have the following interesting theses in the intersections of model-driven engineering, software language engineering, and robotics for you.

Academic Service

I helped organizing the Workshop on Model-Driven Robotics Software Engineering 2018, 5th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering, 1st Workshop on Pains in Model-Driven Engineering Practice, 1st International Workshop on Robotics Software Engineering (RoSE'18) at ICSE 2018, MODELS 2018, SPLC 2018, 5th International Workshop on the Globalization of Modeling Languages (GEMOC), Tutorial on Language Engineering with The GEMOC Studio at ICSA 2017 (Tutorial Website), Workshop on Model-Driven Robotics Software Engineering 2017, the Workshop on Model-Driven Knowledge Engineering 2015, as well as the Software Engineering 2013 conference.

Besides this, I served in program committees of various conferences and workshops including EXE 2018, CommitMDE 2018, ME 2018, GEMOC 2018 CBI 2018, SLE 2018, SPLTea 2018, SEAA 2018 (DSLs and Model-Based Development Track), MEKES 2018, Robotic Computing 2018, EXE 2017, SLE 2017, Robotic Computing 2017, ETFA 2017, MiSE 2017, MORSE 2016, ETFA 2016, DSLRob 2015, MORSE 2015, ETFA 2015, DSLRob 2014.

Moreover, I also reviewed for the following journals: Journal on Software and Systems Modeling (SoSyM), Journal of Systems and Software, Empirical Software Engineering, Journal of Software Engineering for Robotics, Business & Information Systems Engineering.

I also served in the Commission for Teaching (KfL) of Computer Science at RWTH Aachen University and am a member of the editorial board of the Journal of Automotive Software Engineering (JASE) as well as of the board of the European Association for Programming Languages and Systems (EAPLS).

Publications

Of course, our research manifests in publications related to modeling, language engineering, and applying it to robotics as well. We, therefore, also prepared curated lists on these topics for you.

• [BEK+19] A. Butting, R. Eikermann, O. Kautz, B. Rumpe, and A. Wortmann. Systematic Composition of Independent Language Features, Journal of Systems and Software, 152, pages 50-69, June, 2019.
  
• [BKRW19] A. Butting, O. Kautz, B. Rumpe, and A. Wortmann. Continuously analyzing finite, message-driven, time-synchronous component & connector systems during architecture evolution, Journal of Systems and Software, 149, pages 437-461, March, 2019.
  
• [DGH+19] I. Drave, T. Greifenberg, S. Hillemacher, S. Kriebel, E. Kusmenko, M. Markthaler, P. Orth, K. S. Salman, J. Richenhagen, B. Rumpe, C. Schulze, M. Wenckstern, and A. Wortmann. SMArDT modeling for automotive software testing, Software: Practice and Experience, 49, pages 301-328, February, 2019.
  
• [DJM+19] M. Dalibor, N. Jansen, J. Michael, B. Rumpe, and A. Wortmann. Towards Sustainable Systems Engineering-Integrating Tools via Component and Connector Architectures, In: Georg Jacobs, Jonas Marheineke, editors, Antriebstechnisches Kolloquium 2019: Tagungsband zur Konferenz, pages 121-133, February, 2019, Books on Demand.
  
• [HMR+19] K. Hölldobler, J. Michael, J. O. Ringert, B. Rumpe, and A. Wortmann. Innovations in Model-based Software And Systems Engineering, The Journal of Object Technology, 18, pages 1-60, July, 2019.
  
• [ABK+18] K. Adam, A. Butting, O. Kautz, J. Pfeiffer, B. Rumpe, and A. Wortmann. Retrofitting Type-safe Interfaces into Template-based Code Generators, In: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD'18), pages 179 - 190, January, 2018, SciTePress.
  
• [BDL+18] A. Butting, M. Dalibor, G. Leonhardt, B. Rumpe, and A. Wortmann. Deriving Fluent Internal Domain-specific Languages from Grammars, In: International Conference on Software Language Engineering (SLE'18), pages 187-199, 2018, ACM.
  
• [BEK+18a] A. Butting, R. Eikermann, O. Kautz, B. Rumpe, and A. Wortmann. Controlled and Extensible Variability of Concrete and Abstract Syntax with Independent Language Features, In: Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems (VAMOS'18), pages 75-82, January, 2018, ACM.
  
• [BEK+18b] A. Butting, R. Eikermann, O. Kautz, B. Rumpe, and A. Wortmann. Modeling Language Variability with Reusable Language Components, In: International Conference on Systems and Software Product Line (SPLC'18), September, 2018, ACM.
  
• [BGRW18] A. Butting, T. Greifenberg, B. Rumpe, and A. Wortmann. On the Need for Artifact Models in Model-Driven Systems Engineering Projects, In: Martina Seidl, Steffen Zschaler, editors, Software Technologies: Applications and Foundations, LNCS 10748, pages 146-153, January, 2018, Springer.
  
• [BHR+18] A. Butting, S. Hillemacher, B. Rumpe, D. Schmalzing, and A. Wortmann. Shepherding Model Evolution in Model-Driven Development, In: Joint Proceedings of the Workshops at Modellierung 2018 (MOD-WS 2018), CEUR Workshop Proceedings 2060, pages 67-77, February, 2018, CEUR-WS.org.
  
• [BJRW18] A. Butting, N. Jansen, B. Rumpe, and A. Wortmann. Translating Grammars to Accurate Metamodels, In: International Conference on Software Language Engineering (SLE'18), pages 174-186, 2018, ACM.
  
• [BKL+18] C. Brecher, E. Kusmenko, A. Lindt, B. Rumpe, S. Storms, S. Wein, M. von Wenckstern, and A. Wortmann. Multi-Level Modeling Framework for Machine as a Service Applications Based on Product Process Resource Models, In: Proceedings of the 2nd International Symposium on Computer Science and Intelligent Control (ISCSIC'18), September, 2018, ACM.
  
• [BKRW18] A. Butting, S. Konar, B. Rumpe, and A. Wortmann. Teaching Model-based Systems Engineering for Industry 4.0: Student Challenges and Expectations, In: Proceedings of MODELS 2018. Educators Symposium, October, 2018.
  
• [CKM+18] B. Combemale, J. Kienzle, G. Mussbacher, O. Barais, E. Bousse, W. Cazzola, P. Collet, T. Degueule, R. Heinrich, J. Jézéquel, M. Leduc, T. Mayerhofer, S. Mosser, M. Schöttle, M. Strittmatter, and A. Wortmann. Concern-Oriented Language Development (COLD): Fostering Reuse in Language Engineering, Computer Languages, Systems & Structures, 54, pages 139 - 155, 2018.
  
• [DGH+18] I. Drave, T. Greifenberg, S. Hillemacher, S. Kriebel, M. Markthaler, B. Rumpe, and A. Wortmann. Model-Based Testing of Software-Based System Functions, In: Conference on Software Engineering and Advanced Applications (SEAA'18), pages 146-153, August, 2018.
  
• [GPW18] S. Götz, C. Piechnick, and A. Wortmann. Report on the 4th International Workshop on Model-driven Robot Software Engineering (MORSE), SIGSOFT Software Engineering Notes, 42, pages 32-34, New York, NY, USA, January, 2018.
  
• [HRW18] K. Hölldobler, B. Rumpe, and A. Wortmann. Software Language Engineering in the Large: Towards Composing and Deriving Languages, Computer Languages, Systems & Structures, 54, pages 386-405, 2018.
  
• [JWCR18] R. Jolak, A. Wortmann, M. Chaudron, and B. Rumpe. Does Distance Still Matter? Revisiting Collaborative Distributed Software Design, IEEE Software, 35, pages 40-47, 2018.
  
• [KMS+18] S. Kriebel, M. Markthaler, K. S. Salman, T. Greifenberg, S. Hillemacher, B. Rumpe, C. Schulze, A. Wortmann, P. Orth, and J. Richenhagen. Improving Model-based Testing in Automotive Software Engineering, In: International Conference on Software Engineering: Software Engineering in Practice (ICSE'18), pages 172-180, June, 2018, ACM.
  
• [RW18] B. Rumpe, and A. Wortmann. Abstraction and Refinement in Hierarchically Decomposable and Underspecified CPS-Architectures, Chapter in Marten Lohstroh, Patricia Sirjani Marjan Derler, editors, Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, Springer, ISBN 978-3-319-95246-8, LNCS 10760, pages 383-406, 2018.
  
• [ABH+17] K. Adam, A. Butting, R. Heim, O. Kautz, J. Pfeiffer, B. Rumpe, and A. Wortmann. Modeling Robotics Tasks for Better Separation of Concerns, Platform-Independence, and Reuse, Aachener Informatik-Berichte, Software Engineering, Band 28, Shaker Verlag, ISBN 978-3-8440-5319-7, December, 2017.
  
• [ABK+17] K. Adam, A. Butting, O. Kautz, B. Rumpe, and A. Wortmann. Executing Robot Task Models in Dynamic Environments, In: Proceedings of MODELS 2017. Workshop EXE, CEUR 2019, September, 2017.
  
• [AHRW17] K. Adam, K. Hölldobler, B. Rumpe, and A. Wortmann. Engineering Robotics Software Architectures with Exchangeable Model Transformations, In: International Conference on Robotic Computing (IRC'17), pages 172-179, April, 2017, IEEE.
  
• [AHRW17b] K. Adam, K. Hölldobler, B. Rumpe, and A. Wortmann. Modeling Robotics Software Architectures with Modular Model Transformations, Journal of Software Engineering for Robotics (JOSER), 8, pages 3-16, 2017.
  
• [ARW17] K. Adam, B. Rumpe, and A. Wortmann. Improving Reuse in Architecture Modeling with Higher-Order Components, In: Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme XIII (MBEES'17), Univ. Hamburg, March, 2017.
  
• [BGRW17] A. Butting, T. Greifenberg, B. Rumpe, and A. Wortmann. Taming the Complexity of Model-Driven Systems Engineering Projects, Part of the Grand Challenges in Modeling (GRAND'17) Workshop, July, 2017.
  
• [BHH+17] A. Butting, A. Haber, L. Hermerschmidt, O. Kautz, B. Rumpe, and A. Wortmann. Systematic Language Extension Mechanisms for the MontiArc Architecture Description Language, In: European Conference on Modelling Foundations and Applications (ECMFA'17), LNCS 10376, pages 53-70, July, 2017, Springer.
  
• [BHK+17] A. Butting, R. Heim, O. Kautz, J. O. Ringert, B. Rumpe, and A. Wortmann. A Classification of Dynamic Reconfiguration in Component and Connector Architecture Description Languages, In: Proceedings of MODELS 2017. Workshop ModComp, CEUR 2019, September, 2017.
  
• [BKRW17] A. Butting, O. Kautz, B. Rumpe, and A. Wortmann. Semantic Differencing for Message-Driven Component & Connector Architectures, In: International Conference on Software Architecture (ICSA'17), pages 145-154, April, 2017, IEEE.
  
• [BKRW17a] A. Butting, O. Kautz, B. Rumpe, and A. Wortmann. Architectural Programming with MontiArcAutomaton, In: In 12th International Conference on Software Engineering Advances (ICSEA 2017), pages 213-218, May, 2017, IARIA XPS Press.
  
• [BSW17] F. Boulanger, E. Syriani, and A. Wortmann. Fifth Workshop on the Globalization of Modeling Languages (GEMOC 2017), In: Proceedings of MODELS 2017, CEUR 2019, September, 2017.
  
• [DMW17] T. Degueule, T. Mayerhofer, and A. Wortmann. Engineering a ROVER Language in GEMOC STUDIO & MONTICORE: A Comparison of Language Reuse Support, In: Proceedings of MODELS 2017. Workshop EXE, CEUR 2019, September, 2017.
  
• [ELR+17] R. Eikermann, M. Look, A. Roth, B. Rumpe, and A. Wortmann. Architecting Cloud Services for the Digital me in a Privacy-Aware Environment, Chapter in Software Architecture for Big Data and the Cloud, Elsevier Science & Technology, pages 207-226, June, 2017.
  
• [HRRW17] K. Hölldobler, A. Roth, B. Rumpe, and A. Wortmann. Advances in Modeling Language Engineering, In: International Conference on Model and Data Engineering, LNCS 10563, pages 3-17, October, 2017, Springer.
  
• [RRSW17] J. O. Ringert, B. Rumpe, C. Schulze, and A. Wortmann. Teaching Agile Model-Driven Engineering for Cyber-Physical Systems, In: International Conference on Software Engineering: Software Engineering and Education Track (ICSE'17), pages 127-136, May, 2017, IEEE.
  
• [TRW17] T. Bolender, B. Rumpe, and A. Wortmann. Investigating the Effects of Integrating Handcrafted Code in Model-Driven Engineering, In: Proceedings of MODELS 2017. Workshop EXE, CEUR 2019, September, 2017.
  
• [WCB17] A. Wortmann, B. Combemale, and O. Barais. A Systematic Mapping Study on Modeling for Industry 4.0, In: Conference on Model Driven Engineering Languages and Systems (MODELS'17), pages 281-291, September, 2017, IEEE.
  
• [ABH+16] K. Adam, A. Butting, R. Heim, O. Kautz, B. Rumpe, and A. Wortmann. Model-Driven Separation of Concerns for Service Robotics, In: International Workshop on Domain-Specific Modeling (DSM'16), pages 22-27, October, 2016, ACM.
  
• [BRW16a] A. Butting, B. Rumpe, and A. Wortmann. Embedding Component Behavior DSLs into the MontiArcAutomaton ADL, In: Globalization of Modeling Languages Workshop (GEMOC'16), CEUR Workshop Proceedings 1731, October, 2016.
  
• [CMSNR+16] M. Czaplik, P. Mir Seyed Nazari, A. Roth, B. Rumpe, V. Voigt, M. v. Wenckstern, and A. Wortmann. Der Weg zur Modellbasierten Evolution und Adaption medizinischer Leitlinien, In: Fail Safety in Medical Cyber-Physical Systems Workshop (FS-MCPS'16), CEUR Workshop Proceedings 1559, pages 195-200, February, 2016.
  
• [GMR+16] T. Greifenberg, K. Müller, A. Roth, B. Rumpe, C. Schulze, and A. Wortmann. Modeling Variability in Template-based Code Generators for Product Line Engineering, In: Modellierung 2016 Conference, LNI 254, pages 141-156, March, 2016, Bonner Köllen Verlag.
  
• [HKR+16] R. Heim, O. Kautz, J. O. Ringert, B. Rumpe, and A. Wortmann. Retrofitting Controlled Dynamic Reconfiguration into the Architecture Description Language MontiArcAutomaton, In: Software Architecture - 10th European Conference (ECSA'16), LNCS 9839, pages 175-182, December, 2016, Springer.
  
• [HMSNRW16] R. Heim, P. Mir Seyed Nazari, B. Rumpe, and A. Wortmann. Compositional Language Engineering using Generated, Extensible, Static Type Safe Visitors, In: Conference on Modelling Foundations and Applications (ECMFA), LNCS 9764, pages 67-82, July, 2016, Springer.
  
• [HRW16] R. Heim, B. Rumpe, and A. Wortmann. Extending Architecture Description Languages With Exchangeable Component Behavior Languages, In: Conference on Software Engineering & Knowledge Engineering (SEKE'16), pages 1-6, June, 2016, KSI Research Inc., Fredericton, Canada.
  
• [RRW16] J. O. Ringert, B. Rumpe, and A. Wortmann. Model-Based Specification of Component Behavior with Controlled Underspecification, In: Modellbasierte Entwicklung eingebetteter Systeme (MBEES'16), pages 1-12, March, 2016, fortiss, An-Institut TU München, Technical Report.
  
• [Wor16] A. Wortmann. An Extensible Component & Connector Architecture Description Infrastructure for Multi-Platform Modeling, Aachener Informatik-Berichte, Software Engineering, Band 25, Shaker Verlag, November, 2016.
  
• [BRSTW15] A. Butting, B. Rumpe, C. Schulze, U. Thomas, and A. Wortmann. Modeling Reusable, Platform-Independent Robot Assembly Processes, In: International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob 2015), 2015.
  
• [GHK+15] T. Greifenberg, K. Hölldobler, C. Kolassa, M. Look, P. Mir Seyed Nazari, K. Müller, A. Navarro Perez, D. Plotnikov, D. Reiß, A. Roth, B. Rumpe, M. Schindler, and A. Wortmann. A Comparison of Mechanisms for Integrating Handwritten and Generated Code for Object-Oriented Programming Languages, In: Model-Driven Engineering and Software Development Conference (MODELSWARD'15), pages 74-85, 2015, SciTePress.
  
• [GHK+15a] T. Greifenberg, K. Hölldobler, C. Kolassa, M. Look, P. Mir Seyed Nazari, K. Müller, A. Navarro Perez, D. Plotnikov, D. Reiß, A. Roth, B. Rumpe, M. Schindler, and A. Wortmann. Integration of Handwritten and Generated Object-Oriented Code, In: Model-Driven Engineering and Software Development, Communications in Computer and Information Science 580, pages 112-132, 2015, Springer.
  
• [HHR+15] L. Hermerschmidt, K. Hölldobler, B. Rumpe, and A. Wortmann. Generating Domain-Specific Transformation Languages for Component & Connector Architecture Descriptions, In: Workshop on Model-Driven Engineering for Component-Based Software Systems (ModComp'15), CEUR Workshop Proceedings 1463, pages 18-23, 2015.
  
• [HLMSN+15] A. Haber, M. Look, P. Mir Seyed Nazari, A. Navarro Perez, B. Rumpe, S. Völkel, and A. Wortmann. Integration of Heterogeneous Modeling Languages via Extensible and Composable Language Components, In: Model-Driven Engineering and Software Development Conference (MODELSWARD'15), pages 19-31, 2015, SciTePress.
  
• [HLMSN+15a] A. Haber, M. Look, P. Mir Seyed Nazari, A. Navarro Perez, B. Rumpe, S. Völkel, and A. Wortmann. Composition of Heterogeneous Modeling Languages, In: Model-Driven Engineering and Software Development, Communications in Computer and Information Science 580, pages 45-66, 2015, Springer.
  
• [HMSNR+15] R. Heim, P. Mir Seyed Nazari, J. O. Ringert, B. Rumpe, and A. Wortmann. Modeling Robot and World Interfaces for Reusable Tasks, In: Intelligent Robots and Systems Conference (IROS'15), pages 1793-1798, 2015, IEEE.
  
• [RRRW15b] J. O. Ringert, A. Roth, B. Rumpe, and A. Wortmann. Language and Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector Systems, Journal of Software Engineering for Robotics (JOSER), 6, pages 33-57, 2015.
  
• [RRW15] J. O. Ringert, B. Rumpe, and A. Wortmann. Tailoring the MontiArcAutomaton Component & Connector ADL for Generative Development, In: MORSE/VAO Workshop on Model-Driven Robot Software Engineering and View-based Software-Engineering, pages 41-47, 2015, ACM.
  
• [RRW15a] J. O. Ringert, B. Rumpe, and A. Wortmann. Transforming Platform-Independent to Platform-Specific Component and Connector Software Architecture Models, In: Workshop on Model-Driven Engineering for Component-Based Software Systems (ModComp'15), CEUR Workshop Proceedings 1463, pages 30-35, 2015.
  
• [RRW15b] J. O. Ringert, B. Rumpe, and A. Wortmann. Composing Code Generators for C&C ADLs with Application-Specific Behavior Languages (Tool Demonstration), In: Conference on Generative Programming: Concepts and Experiences (GPCE'15), pages 113-116, 2015, ACM.
  
• [RRRW14] J. O. Ringert, A. Roth, B. Rumpe, and A. Wortmann. Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector Systems, In: Model-Driven Robot Software Engineering Workshop (MORSE'14), CEUR Workshop Proceedings 1319, pages 66 - 77, 2014.
  
• [RRW14a] J. O. Ringert, B. Rumpe, and A. Wortmann. Architecture and Behavior Modeling of Cyber-Physical Systems with MontiArcAutomaton, Aachener Informatik-Berichte, Software Engineering, Band 20, Shaker Verlag, December, 2014.
  
• [LNPR+13] M. Look, A. Navarro Pérez, J. O. Ringert, B. Rumpe, and A. Wortmann. Black-box Integration of Heterogeneous Modeling Languages for Cyber-Physical Systems, In: Globalization of Modeling Languages Workshop (GEMOC'13), CEUR Workshop Proceedings 1102, 2013.
  
• [RRW13] J. O. Ringert, B. Rumpe, and A. Wortmann. From Software Architecture Structure and Behavior Modeling to Implementations of Cyber-Physical Systems, In: Software Engineering Workshopband (SE'13), LNI 215, pages 155-170, 2013.
  
• [RRW13b] J. O. Ringert, B. Rumpe, and A. Wortmann. A Case Study on Model-Based Development of Robotic Systems using MontiArc with Embedded Automata, In: Holger Giese, Michaela Huhn, Jan Philipps, Bernhard Schätz, editors, Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme, pages 30-43, 2013.
  
• [RRW13c] J. O. Ringert, B. Rumpe, and A. Wortmann. MontiArcAutomaton: Modeling Architecture and Behavior of Robotic Systems, In: Conference on Robotics and Automation (ICRA'13), pages 10-12, 2013, IEEE.
  
• [THR+13] U. Thomas, G. Hirzinger, B. Rumpe, C. Schulze, and A. Wortmann. A New Skill Based Robot Programming Language Using UML/P Statecharts, In: Conference on Robotics and Automation (ICRA'13), pages 461-466, 2013, IEEE.
  
• [RRW12] J. O. Ringert, B. Rumpe, and A. Wortmann. A Requirements Modeling Language for the Component Behavior of Cyber Physical Robotics Systems, Chapter in N. Seyff, A. Koziolek, editors, Modelling and Quality in Requirements Engineering: Essays Dedicated to Martin Glinz on the Occasion of His 60th Birthday, Monsenstein und Vannerdat, ISBN 978-3869917245, pages 133-146, Münster, 2012.
  
• [SWL10] S. Schiffer, A. Wortmann, and G. Lakemeyer. Self-Maintenance for Autonomous Robots in the Situation Calculus, In: Gerhard Lakemeyer, Hector J. Levesque, Fiora Pirri, editors, Cognitive Robotics, Dagstuhl Seminar Proceedings, Dagstuhl, Germany, June 16-17, 2010, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany.
  
• [SWL10a] S. Schiffer, A. Wortmann, and G. Lakemeyer. Self-Maintenance for Autonomous Robots controlled by ReadyLog, In: Felix Ingrand, Jeremie Guiochet, editors, Proceedings of the 7th IARP Workshop on Technical Challenges for Dependable Robots in Human Environments, pages 101-107, Toulouse, France, June 16-17, 2010.
  

Miscellanea

• My Erdös Number is five: I coauthored with Gerhard Lakemeyer, who coauthored with Joseph Y. Halpern, who coauthored with Ashok K. Chandra, who coauthored with Shmuel Zaks, who coauthored with Paul Erdös.
• There is a XKCD comic on this.
• The MontiArcAutomaton website explains how we model robotics applications
• I am a member of the IEEE RAS Technical Committee of Software Engineering for Robotics and Automaton (TC-SOFT).
• A short vita can be found on my personal website.