Arne Nordmann

ORCID

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 23

Top Venues

Bielefeld University, Germany (PHD)

Education History

Bielefeld University, Germany

PHD

Publications

Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
A user study for evaluation of formal verification results and their explanation at Bosch. Empir. Softw. Eng. 28 (5) (2023)
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
A systematic literature review on counterexample explanation - Summary. Software Engineering (2023)
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
A User Study for Evaluation of Formal Verification Results and their Explanation at Bosch. CoRR (2023)
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
A systematic literature review on counterexample explanation. CoRR (2022)
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
A systematic literature review on counterexample explanation. Inf. Softw. Technol. 145 (2022)
Robert Bocchino, Arne Nordmann, Allison Thackston, Andreas Angerer, Federico Ciccozzi, Ivano Malavolta, Andreas Wortmann
Industry Best Practices in Robotics Software Engineering. CoRR (2022)
Kai Höfig, Andreas Joanni, Marc Zeller, Francesco Montrone, Martin Rothfelder, Rakshith Amarnath, Peter Munk, Arne Nordmann
Model-Based Reliability and Safety: Reducing the Complexity of Safety Analyses Using Component Fault Trees. CoRR (2021)
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation. CoRR (2021)
Arne Nordmann, Ralph Lange, Francisco Martín Rico
System Modes - Digestible System (Re-)Configuration for Robotics. RoSE@ICSE (2021)
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
Counterexample Interpretation for Contract-Based Design. IMBSA (2020)
Peter Munk, Arne Nordmann
Model-based safety assessment with SysML and component fault trees: application and lessons learned. Softw. Syst. Model. 19 (4) (2020)
Markus Voelter, Bernd Kolb, Klaus Birken, Federico Tomassetti, Patrick Alff, Laurent Wiart, Andreas Wortmann, Arne Nordmann
Using language workbenches and domain-specific languages for safety-critical software development. Softw. Syst. Model. 18 (4) (2019)
Simon Greiner, Peter Munk, Arne Nordmann
Compositionality of Component Fault Trees. IMBSA (2019)
Arut Prakash Kaleeswaran, Arne Nordmann, Anees ul Mehdi
Towards Integrating Ontologies into Verification for Autonomous Driving. ISWC (Satellites) (2019)
Simon Greiner, Peter Munk, Arne Nordmann
Proof of Compositionality of CFT Correctness. CoRR (2019)
Arut Prakash Kaleeswaran, Peter Munk, Samir Sarkic, Thomas Vogel, Arne Nordmann
A Domain Specific Language to Support HAZOP Studies of SysML Models. IMBSA (2019)
Arne Nordmann, Peter Munk
Lessons Learned from Model-Based Safety Assessment with SysML and Component Fault Trees. MoDELS (2018)
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
Oncilla robot: a versatile open-source quadruped research robot with compliant pantograph legs. CoRR (2018)
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
Oncilla Robot: A Versatile Open-Source Quadruped Research Robot With Compliant Pantograph Legs. Frontiers Robotics AI 5 (2018)
Peter Munk, Andreas Abele, Eike Thaden, Arne Nordmann, Rakshith Amarnath, Markus Schweizer, Simon Burton
Semi-automatic safety analysis and optimization. DAC (2018)
Dennis Grewe, Marco Wagner, Sebastian Schildt, Arne Nordmann, Jeroen Laverman
Towards Semantic Object Discovery for Vehicular Named Data Networks. VTC Spring (2018)
Dennis Leroy Wigand, Arne Nordmann, Michael Goerlich, Sebastian Wrede
Modularization of Domain-Specific Languages for Extensible Component-Based Robotic Systems. IRC (2017)
Rakshith Amarnath, Peter Munk, Eike Thaden, Arne Nordmann, Simon Burton
Dependability Challenges in the Model-Driven Engineering of Automotive Systems. ISSRE Workshops (2016)
Ulrik Pagh Schultz, Mirko Bordignon, Kasper Støy, Arne Nordmann, Nico Hochgeschwender, Sebastian Wrede
DSLs in Robotics: A Case Study in Programming Self-reconfigurable Robots. GTTSE (2015)
Arne Nordmann, Sebastian Wrede, Jochen J. Steil
Modeling of movement control architectures based on motion primitives using domain-specific languages. ICRA (2015)
Matthias Rolf, Klaus Neumann, Jeffrey F. Queisser, René Felix Reinhart, Arne Nordmann, Jochen J. Steil
A multi-level control architecture for the bionic handling assistant. Adv. Robotics 29 (13) (2015)
Florian Lier, Johannes Wienke, Arne Nordmann, Sven Wachsmuth, Sebastian Wrede
The Cognitive Interaction Toolkit - Improving Reproducibility of Robotic Systems Experiments. SIMPAR (2014)
Arne Nordmann, Nico Hochgeschwender, Sebastian Wrede
A Survey on Domain-Specific Languages in Robotics. SIMPAR (2014)
Christian Emmerich, Arne Nordmann, Agnes Swadzba, Jochen J. Steil, Sebastian Wrede
Assisted Gravity Compensation to cope with the complexity of kinesthetic teaching on redundant robots. ICRA (2013)
Arne Nordmann, Sebastian Wrede
A Domain-Specific Language for Rich Motor Skill Architectures CoRR (2013)
Sebastian Wrede, Christian Emmerich, Ricarda Grünberg, Arne Nordmann, Agnes Swadzba, Jochen J. Steil
A user study on kinesthetic teaching of redundant robots in task and configuration space. J. Hum. Robot Interact. 2 (1) (2013)
Arne Nordmann, Christian Emmerich, Stefan Rüther, Andre Lemme, Sebastian Wrede, Jochen J. Steil
Teaching nullspace constraints in physical human-robot interaction using Reservoir Computing. ICRA (2012)
Johannes Wienke, Arne Nordmann, Sebastian Wrede
A Meta-model and Toolchain for Improved Interoperability of Robotic Frameworks. SIMPAR (2012)
Arne Nordmann, Matthias Rolf, Sebastian Wrede
Software Abstractions for Simulation and Control of a Continuum Robot. SIMPAR (2012)

Arne Nordmann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Arne Nordmann