Teaching nullspace constraints in physical human-robot interaction using Reservoir Computing. - Arne Nordmann; Christian Emmerich; Stefan Rüther; Andre Lemme; Sebastian Wrede 001; Jochen J. Steil (ICRA, 2012)

Software Abstractions for Simulation and Control of a Continuum Robot. - Arne Nordmann; Matthias Rolf; Sebastian Wrede 001 (SIMPAR, 2012)

A Meta-model and Toolchain for Improved Interoperability of Robotic Frameworks. - Johannes Wienke; Arne Nordmann; Sebastian Wrede 001 (SIMPAR, 2012)

Assisted Gravity Compensation to cope with the complexity of kinesthetic teaching on redundant robots. - Christian Emmerich; Arne Nordmann; Agnes Swadzba; Jochen J. Steil; Sebastian Wrede 001 (ICRA, 2013)

A Domain-Specific Language for Rich Motor Skill Architectures - Arne Nordmann; Sebastian Wrede 001 (CoRR, 2013)

A user study on kinesthetic teaching of redundant robots in task and configuration space. - Sebastian Wrede 001; Christian Emmerich; Ricarda Grünberg; Arne Nordmann; Agnes Swadzba; Jochen J. Steil (J. Hum. Robot Interact., 2013)

Kinesthetic Teaching Using Assisted Gravity Compensation for Model-Free Trajectory Generation in Confined Spaces. - Jochen J. Steil; Christian Emmerich; Agnes Swadzba; Ricarda Grünberg; Arne Nordmann; Sebastian Wrede 001 (Technology Transfer Experiments from the ECHORD Project, 2014)

The Cognitive Interaction Toolkit - Improving Reproducibility of Robotic Systems Experiments. - Florian Lier; Johannes Wienke; Arne Nordmann; Sven Wachsmuth; Sebastian Wrede 001 (SIMPAR, 2014)

A Survey on Domain-Specific Languages in Robotics. - Arne Nordmann; Nico Hochgeschwender; Sebastian Wrede 001 (SIMPAR, 2014)

DSLs in Robotics: A Case Study in Programming Self-reconfigurable Robots. - Ulrik Pagh Schultz; Mirko Bordignon; Kasper Støy; Arne Nordmann; Nico Hochgeschwender; Sebastian Wrede 001 (GTTSE, 2015)

Modeling of movement control architectures based on motion primitives using domain-specific languages. - Arne Nordmann; Sebastian Wrede 001; Jochen J. Steil (ICRA, 2015)

A multi-level control architecture for the bionic handling assistant. - Matthias Rolf; Klaus Neumann 002; Jeffrey F. Queisser; René Felix Reinhart; Arne Nordmann; Jochen J. Steil (Adv. Robotics, 2015)

Dependability Challenges in the Model-Driven Engineering of Automotive Systems. - Rakshith Amarnath; Peter Munk; Eike Thaden; Arne Nordmann; Simon Burton 001 (ISSRE Workshops, 2016)

Modeling of motion primitive architectures using domain-specific languages. - Arne Nordmann (2016)

Modularization of Domain-Specific Languages for Extensible Component-Based Robotic Systems. - Dennis Leroy Wigand; Arne Nordmann; Michael Goerlich; Sebastian Wrede 001 (IRC, 2017)

Semi-automatic safety analysis and optimization. - Peter Munk; Andreas Abele; Eike Thaden; Arne Nordmann; Rakshith Amarnath; Markus Schweizer; Simon Burton 001 (DAC, 2018)

Lessons Learned from Model-Based Safety Assessment with SysML and Component Fault Trees. - Arne Nordmann; Peter Munk (MoDELS, 2018)

Towards Semantic Object Discovery for Vehicular Named Data Networks. - Dennis Grewe; Marco Wagner; Sebastian Schildt; Arne Nordmann; Jeroen Laverman (VTC Spring, 2018)

Oncilla robot: a versatile open-source quadruped research robot with compliant pantograph legs. - Alexander Spröwitz; Alexandre Tuleu; Mostafa Ajaoolleian; Massimo Vespignani; Rico Moeckel; Peter Eckert; Michiel D'Haene; Jonas Degrave; Arne Nordmann; Benjamin Schrauwen; Jochen J. Steil; Auke Jan Ijspeert (CoRR, 2018)

Oncilla Robot: A Versatile Open-Source Quadruped Research Robot With Compliant Pantograph Legs. - Alexander Spröwitz; Alexandre Tuleu; Mostafa Ajallooeian; Massimo Vespignani; Rico Möckel; Peter Eckert; Michiel D'Haene; Jonas Degrave; Arne Nordmann; Benjamin Schrauwen; Jochen J. Steil; Auke Jan Ijspeert (Frontiers Robotics AI, 2018)

Compositionality of Component Fault Trees. - Simon Greiner; Peter Munk; Arne Nordmann (IMBSA, 2019)

A Domain Specific Language to Support HAZOP Studies of SysML Models. - Arut Prakash Kaleeswaran; Peter Munk; Samir Sarkic; Thomas Vogel 001; Arne Nordmann (IMBSA, 2019)

Towards Integrating Ontologies into Verification for Autonomous Driving. - Arut Prakash Kaleeswaran; Arne Nordmann; Anees ul Mehdi (ISWC (Satellites), 2019)

Proof of Compositionality of CFT Correctness. - Simon Greiner; Peter Munk; Arne Nordmann (CoRR, 2019)

Using language workbenches and domain-specific languages for safety-critical software development. - Markus Voelter; Bernd Kolb; Klaus Birken; Federico Tomassetti; Patrick Alff; Laurent Wiart; Andreas Wortmann 001; Arne Nordmann (Softw. Syst. Model., 2019)

Counterexample Interpretation for Contract-Based Design. - Arut Prakash Kaleeswaran; Arne Nordmann; Thomas Vogel 001; Lars Grunske (IMBSA, 2020)

Model-based safety assessment with SysML and component fault trees: application and lessons learned. - Peter Munk; Arne Nordmann (Softw. Syst. Model., 2020)

FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems. - Daniel Ratiu; Arne Nordmann; Peter Munk; Carmen Cârlan; Markus Voelter (Domain-Specific Languages in Practice, 2021)

System Modes - Digestible System (Re-)Configuration for Robotics. - Arne Nordmann; Ralph Lange; Francisco Martín Rico (RoSE@ICSE, 2021)

Model-Based Reliability and Safety: Reducing the Complexity of Safety Analyses Using Component Fault Trees. - Kai Höfig; Andreas Joanni; Marc Zeller; Francesco Montrone; Martin Rothfelder; Rakshith Amarnath; Peter Munk; Arne Nordmann (CoRR, 2021)

A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation. - Arut Prakash Kaleeswaran; Arne Nordmann; Thomas Vogel 001; Lars Grunske (CoRR, 2021)

Industry Best Practices in Robotics Software Engineering. - Robert Bocchino; Arne Nordmann; Allison Thackston; Andreas Angerer; Federico Ciccozzi; Ivano Malavolta; Andreas Wortmann 001 (CoRR, 2022)

A systematic literature review on counterexample explanation. - Arut Prakash Kaleeswaran; Arne Nordmann; Thomas Vogel 001; Lars Grunske (Inf. Softw. Technol., 2022)

A systematic literature review on counterexample explanation - Summary. - Arut Prakash Kaleeswaran; Arne Nordmann; Thomas Vogel 001; Lars Grunske (Software Engineering, 2023)

A user study for evaluation of formal verification results and their explanation at Bosch. - Arut Prakash Kaleeswaran; Arne Nordmann; Thomas Vogel 001; Lars Grunske (Empir. Softw. Eng., 2023)