Arne Nordmann

According to our database, Arne Nordmann authored at least 35 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

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

Empir. Softw. Eng., October, 2023

A systematic literature review on counterexample explanation - Summary.

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

Proceedings of the Software Engineering 2023, 2023

2022

A systematic literature review on counterexample explanation.

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

Inf. Softw. Technol., 2022

Industry Best Practices in Robotics Software Engineering.

Robert Bocchino, Arne Nordmann, Allison Thackston, Andreas Angerer, Federico Ciccozzi, Ivano Malavolta, Andreas Wortmann

CoRR, 2022

2021

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

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

CoRR, 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

System Modes - Digestible System (Re-)Configuration for Robotics.

Arne Nordmann, Ralph Lange, Francisco Martín Rico

Proceedings of the 3rd IEEE/ACM International Workshop on Robotics Software Engineering, 2021

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

Daniel Ratiu, Arne Nordmann, Peter Munk, Carmen Cârlan, Markus Voelter

Proceedings of the Domain-Specific Languages in Practice: with JetBrains MPS, 2021

2020

Model-based safety assessment with SysML and component fault trees: application and lessons learned.

Peter Munk, Arne Nordmann

Softw. Syst. Model., 2020

Counterexample Interpretation for Contract-Based Design.

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

Proceedings of the Model-Based Safety and Assessment - 7th International Symposium, 2020

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, Arne Nordmann

Softw. Syst. Model., 2019

Proof of Compositionality of CFT Correctness.

Simon Greiner, Peter Munk, Arne Nordmann

CoRR, 2019

Towards Integrating Ontologies into Verification for Autonomous Driving.

Arut Prakash Kaleeswaran, Arne Nordmann, Anees ul Mehdi

Proceedings of the ISWC 2019 Satellite Tracks (Posters & Demonstrations, 2019

A Domain Specific Language to Support HAZOP Studies of SysML Models.

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

Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019

Compositionality of Component Fault Trees.

Simon Greiner, Peter Munk, Arne Nordmann

Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019

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

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

Towards Semantic Object Discovery for Vehicular Named Data Networks.

Dennis Grewe, Marco Wagner, Sebastian Schildt, Arne Nordmann, Jeroen Laverman

Proceedings of the 87th IEEE Vehicular Technology Conference, 2018

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

Arne Nordmann, Peter Munk

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

Semi-automatic safety analysis and optimization.

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

Proceedings of the 55th Annual Design Automation Conference, 2018

2017

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

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

Proceedings of the First IEEE International Conference on Robotic Computing, 2017

2016

Modeling of motion primitive architectures using domain-specific languages.

Arne Nordmann

PhD thesis, 2016

Dependability Challenges in the Model-Driven Engineering of Automotive Systems.

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

Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

2015

A multi-level control architecture for the bionic handling assistant.

Matthias Rolf, Klaus Neumann, Jeffrey F. Queisser, René Felix Reinhart, Arne Nordmann, Jochen J. Steil

Adv. Robotics, 2015

Modeling of movement control architectures based on motion primitives using domain-specific languages.

Arne Nordmann, Sebastian Wrede, Jochen J. Steil

Proceedings of the IEEE International Conference on Robotics and Automation, 2015

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

Proceedings of the Grand Timely Topics in Software Engineering, 2015

2014

A Survey on Domain-Specific Languages in Robotics.

Arne Nordmann, Nico Hochgeschwender, Sebastian Wrede

Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2014

The Cognitive Interaction Toolkit - Improving Reproducibility of Robotic Systems Experiments.

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

Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2014

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

Proceedings of the Gearing Up and Accelerating Cross-fertilization between Academic and Industrial Robotics Research in Europe:, 2014

2013

A user study on kinesthetic teaching of redundant robots in task and configuration space.

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

J. Hum. Robot Interact., 2013

A Domain-Specific Language for Rich Motor Skill Architectures

Arne Nordmann, Sebastian Wrede

CoRR, 2013

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

Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

2012

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

Johannes Wienke, Arne Nordmann, Sebastian Wrede

Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2012

Software Abstractions for Simulation and Control of a Continuum Robot.

Arne Nordmann, Matthias Rolf, Sebastian Wrede

Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2012

Teaching nullspace constraints in physical human-robot interaction using Reservoir Computing.

Arne Nordmann, Christian Emmerich, Stefan Rüther, Andre Lemme, Sebastian Wrede, Jochen J. Steil

Proceedings of the IEEE International Conference on Robotics and Automation, 2012