Find me at research gate and google scholar. My ORCID is https://orcid.org/0000-0002-0179-1655.

2023

Arne Nordmann Arut Prakash Kaleeswaran, Thomas Vogel & Lars Grunske

A user study for evaluation of formal verification results and their explanation at Bosch Proceedings Article

In: Empirical Software Engineering, Springer, 2023.

Abstract | Links | BibTeX | Schlagwörter:

Antonio Cuadros Rodriguez Kaiwalya Belsare, Pablo Garrido Sánchez; von Mendel, Julian

Robot Operating System (ROS): The Complete Reference Book Chapter

In: Koubaa, Anis (Ed.): vol. 7, Chapter Micro-ROS, pp. 3–55, Springer International Publishing, 2023, ISBN: 978-3-031-09062-2.

Abstract | Links | BibTeX | Schlagwörter:

2022

Arne Nordmann Robert Bocchino, Allison Thackston

Industry Best Practices in Robotics Software Engineering Proceedings Article

In: 2022.

Abstract | Links | BibTeX | Schlagwörter:

Kaleeswaran, Arut Prakash; Nordmann, Arne; Vogel, Thomas; Grunske, Lars

A Systematic Literature Review on Counterexample Explanation Journal Article

In: Information and Software Technology, vol. 145, 2022.

Abstract | Links | BibTeX | Schlagwörter:

2021

Kaleeswaran, Arut Prakash; Nordmann, Arne; Vogel, Thomas; Grunske, Lars

A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation Journal Article

In: ICSME Registered Reports Track, 2021.

Links | BibTeX | Schlagwörter:

Ratiu, Daniel; Nordmann, Arne; Munk, Peter; Carlan, Carmen; Völter, Markus

FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems Book Chapter

In: Springer, 2021.

Abstract | Links | BibTeX | Schlagwörter: automotive, fasten, jetbrains, MBSA, metamodel, MPS, safety

Nordmann, Arne; Lange, Ralph; Rico, Francisco Martin

System Modes -- Digestible System (Re-)Configuration for Robotics Proceedings Article

In: 3rd International Workshop on Robotics Software Engineering (RoSE’21), 2021.

Links | BibTeX | Schlagwörter: configuration, open-source, reconfiguration, ROS, ROS 2, software, system modes

2020

Kaleeswaran, Arut Prakash; Nordmann, Arne; Vogel, Thomas; Grunske, Lars

Counterexample Interpretation for Contract-Based Design Book Section

In: Model-Based Safety and Assessment, pp. 99–114, Springer International Publishing, 2020.

Links | BibTeX | Schlagwörter: automotive, contract-based design, counterexample, model checking, safety

Munk, Peter; Nordmann, Arne

Model-Based Safety Assessment with SysML and Component Fault Trees: Application and Lessons Learned Journal Article

In: Software and Systems Modeling, vol. 19, no. 4, pp. 889–910, 2020.

Links | BibTeX | Schlagwörter: automotive, component fault trees, FMEA, FTA, lessons learned, MBSA, safety, SysML

2019

Kaleeswaran, Arut Prakash; Nordmann, Arne; ul Mehdi, Anees

Towards Integrating Ontologies into Verification for Autonomous Đriving Proceedings Article

In: Suárez-Figueroa, Mari Carmen; Cheng, Gong; Gentile, Anna Lisa; Guéret, Christophe; Keet, Maria C; Bernstein, Abraham (Ed.): ISWC Satellites, pp. 319–320, CEUR-WS.org, 2019.

Links | BibTeX | Schlagwörter: dblp

Kaleeswaran, Arut Prakash; Munk, Peter; Sarkic, Samir; Vogel, Thomas; Nordmann, Arne

A Domain Specific Language to Support HAZOP Studies of SysML Models Book Section

In: Model-Based Safety and Assessment, pp. 47–62, Springer International Publishing, 2019.

Links | BibTeX | Schlagwörter: automotive, DSL, HAZOP, MBSA, safety, SysML

Greiner, Simon; Munk, Peter; Nordmann, Arne

Compositionality of Component Fault Trees Book Section

In: Model-Based Safety and Assessment, pp. 125–140, Springer International Publishing, 2019.

Links | BibTeX | Schlagwörter: automotive, component fault trees, FTA, MBSA, safety, security

2018

Spröwitz, Alexander T; Tuleu, Alexandre; Ajallooeian, Mostafa; Vespignani, Massimo; Möckel, Rico; Eckert, Peter; textquotesingle, Michiel D; Degrave, Jonas; Nordmann, Arne; Schrauwen, Benjamin; Steil, Jochen; Ijspeert, Auke Jan

Oncilla Robot: A Versatile Open-Source Quadruped Research Robot with Compliant Pantograph Legs Journal Article

In: Frontiers in Robotics and AI, vol. 5, 2018.

Links | BibTeX | Schlagwörter: compliant, oncilla, open-source, quadruped, robot, robotics

Hofig, Kai; Joanni, Andreas; Zeller, Marc; Montrone, Francesco; Rothfelder, Martin; Amarnath, Rakshith; Munk, Peter; Nordmann, Arne

Model-Based Reliability and Safety: Reducing the Complexity of Safety Analyses Using Component Fault Trees Proceedings Article

In: 2018 Annual Reliability and Maintainability Symposium (RAMS), IEEE, 2018.

Links | BibTeX | Schlagwörter: automotive, component fault trees, FTA, MBSA, safety

Voelter, Markus; Kolb, Bernd; Birken, Klaus; Tomassetti, Federico; Alff, Patrick; Wiart, Laurent; Wortmann, Andreas; Nordmann, Arne

Using Language Workbenches and Domain-Specific Languages for Safety-Critical Software Development Journal Article

In: Software & Systems Modeling, vol. 18, no. 4, pp. 2507–2530, 2018.

Links | BibTeX | Schlagwörter: automotive, DSL, MPS, robotics, safety, verification

Nordmann, Arne; Munk, Peter

Lessons Learned from Model-Based Safety Assessment with SysML and Component Fault Trees Proceedings Article

In: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, ACM, 2018.

Links | BibTeX | Schlagwörter: automotive, component fault trees, FTA, lessons learned, MBSA, safety, SysML

Munk, Peter; Abele, Andreas; Thaden, Eike; Nordmann, Arne; Amarnath, Rakshith; Schweizer, Markus; Burton, Simon

Semi-Automatic Safety Analysis and Optimization Proceedings Article

In: Proceedings of the 55th Annual Design Automation Conference, ACM, 2018.

Links | BibTeX | Schlagwörter: automotive, component fault trees, FMEA, FTA, MBSA, safety

2017

Wigand, Dennis Leroy; Nordmann, Arne; Goerlich, Michael; Wrede, Sebastian

Modularization of Domain-Specific Languages for Extensible Component-Based Robotic Systems Proceedings Article

In: 2017 First IEEE International Conference on Robotic Computing (IRC), IEEE, 2017.

Links | BibTeX | Schlagwörter: component-based, control, DSL, MPS, robotics

Wigand, D L; Nordmann, A; Dehio, N; Mistry, M; Wrede, S

Domain-Specific Language Modularization Scheme Applied to a Multi-Arm Robotics Use-Case Journal Article

In: Journal of Software Engineering for Robotics, vol. 8, pp. 45–64, 2017.

Links | BibTeX | Schlagwörter: control, DSL, language modularization, MPS, robotics

Schultz, Ulrik Pagh; Bordignon, Mirko; Stoy, Kasper; Nordmann, Arne; Hochgeschwender, Nico; Wrede, Sebastian

DSLs in Robotics: A Case Study in Programming Self-Reconfigurable Robots Book Section

In: Lecture Notes in Computer Science, pp. 98–123, Springer International Publishing, 2017.

Links | BibTeX | Schlagwörter: case study, DSL, reconfiguration, robotics

2016

Amarnath, Rakshith; Munk, Peter; Thaden, Eike; Nordmann, Arne; Burton, Simon

Dependability Challenges in the Model-Driven Engineering of Automotive Systems Proceedings Article

In: 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), IEEE, 2016.

Links | BibTeX | Schlagwörter: automated driving, automotive, dependability, had, safety, security

Nordmann, Arne

Modeling of Motion Primitive Architectures using Domain-Specific Languages PhD Thesis

Bielefeld University, 2016.

Links | BibTeX | Schlagwörter: control, DSL, language modularization, motion, motion primitives, MPS, robotics

Nordmann, Arne; Hochgeschwender, Nico; Wigand, Dennis; Wrede, Sebastian

A Survey on Domain-Specific Modeling and Languages in Robotics Journal Article

In: Journal of Software Engineering for Robotics, vol. 7, pp. 5–99, 2016.

BibTeX | Schlagwörter: DSL, MDE, robotics, survey

2015

Nordmann, Arne; Wrede, Sebastian; Steil, Jochen

Modeling of Movement Control Architectures based on Motion Primitives using Domain-Specific Languages Proceedings Article

In: 2015 IEEE International Conference on Robotics and Automation (ICRA), IEEE, 2015.

Links | BibTeX | Schlagwörter: control, DSL, motion, motion primitives, robotics

Rolf, M; Neumann, K; ß, Quei J F; Reinhart, R F; Nordmann, A; Steil, J J

A Multi-Level Control Architecture for the Bionic Handling Assistant Journal Article

In: Advanced Robotics, vol. 29, no. 13, pp. 847–859, 2015.

Links | BibTeX | Schlagwörter: BHA, bionic, control, HRI, machine learning, robotics

2014

Lier, Florian; Wienke, Johannes; Nordmann, Arne; Wachsmuth, Sven; Wrede, Sebastian

The Cognitive Interaction Toolkit -- Improving Reproducibility of Robotic Systems Experiments Book Section

In: Simulation, Modeling, and Programming for Autonomous Robots, pp. 400–411, Springer International Publishing, 2014.

Links | BibTeX | Schlagwörter: experimentation, reproducibility, robotics, toolkit

Steil, Jochen J; Emmerich, Christian; Swadzba, Agnes; Grünberg, Ricarda; Nordmann, Arne; Wrede, Sebastian

Kinesthetic Teaching using Assisted Gravity Compensation for Model-Free Trajectory Generation in Confined Spaces Book Section

In: Springer Tracts in Advanced Robotics, pp. 107–127, Springer International Publishing, 2014.

Links | BibTeX | Schlagwörter: compliant, gravity compensation, HRI, kinesthetic teaching, machine learning, redundancy, robotics

Nordmann, Arne; Hochgeschwender, Nico; Wrede, Sebastian

A Survey on Domain-Specific Languages in Robotics Book Section

In: Simulation, Modeling, and Programming for Autonomous Robots, pp. 195–206, Springer International Publishing, 2014.

Links | BibTeX | Schlagwörter: DSL, MDE, robotics, survey

2013

Nordmann, Arne; Tuleu, Alexandre; Wrede, Sebastian

A Domain-Specific Language and Simulation Architecture for the Oncilla Robot Proceedings Article

In: ICRA 2013 Workshop on Developments of Simulation Tools for Robotics & Biomechanics, Karlsruhe, 2013.

Links | BibTeX | Schlagwörter: Bielefeld University, WP7-Software

Emmerich, C; Nordmann, A; Swadzba, A; Steil, J J; Wrede, S

Assisted Gravity Compensation to cope with the Complexity of Kinesthetic Teaching on Redundant Robots Proceedings Article

In: 2013 IEEE International Conference on Robotics and Automation, IEEE, 2013.

Links | BibTeX | Schlagwörter: compliant, gravity compensation, HRI, kinesthetic teaching, machine learning, redundancy, robotics

Nordmann, Arne; Wrede, Sebastian

A Domain-Specific Language for Rich Motor Skill Architectures Journal Article

In: CoRR, vol. abs/1302.6436, 2013.

Links | BibTeX | Schlagwörter: control, DSL, motion, motion primitives, MPS, robotics

Wrede, Sebastian; Emmerich, Christian; Grünberg, Ricarda; Nordmann, Arne; Swadzba, Agnes; Steil, Jochen

A User Study on Kinesthetic Teaching of Redundant Robots in Task and Configuration Space Journal Article

In: Journal of Human-Robot Interaction, vol. 2, no. 1, pp. 56–81, 2013.

Links | BibTeX | Schlagwörter: compliant, gravity compensation, HRI, kinesthetic teaching, machine learning, redundancy, robotics, user study

2012

Nordmann, Arne; Emmerich, Christian; Ruether, Stefan; Lemme, Andre; Wrede, Sebastian; Steil, Jochen

Teaching Nullspace Constraints in Physical Human-Robot Interaction using Reservoir Computing Proceedings Article

In: 2012 IEEE International Conference on Robotics and Automation, IEEE, 2012.

Links | BibTeX | Schlagwörter: compliant, HRI, machine learning, nullspace, recurrent neural network, redundancy, reservoir computing, robotics

Nordmann, Arne; Rolf, Matthias; Wrede, Sebastian

Software Abstractions for Simulation and Control of a Continuum Robot Book Section

In: Simulation, Modeling, and Programming for Autonomous Robots, pp. 113–124, Springer Berlin Heidelberg, 2012.

Links | BibTeX | Schlagwörter: BHA, compliant, control, HRI, motion, robotics

Wienke, Johannes; Nordmann, Arne; Wrede, Sebastian

A Meta-model and Toolchain for Improved Interoperability of Robotic Frameworks Book Section

In: Simulation, Modeling, and Programming for Autonomous Robots, pp. 323–334, Springer Berlin Heidelberg, 2012.

Links | BibTeX | Schlagwörter: interface, interoperability, metamodel, software

Emmerich, Christian; Nordmann, Arne; Swadzba, Agnes; Wrede, Sebastian; Steil, Jochen J. UniBi

Interactive Learning of Inverse Kinematics with Null-space Constraints using Recurrent Neural Networks Proceedings Article

In: International Conference on Cognitive Systems, 2012.

BibTeX | Schlagwörter: compliant, HRI, machine learning, nullspace, recurrent neural network, redundancy, reservoir computing