Arne Nordmann

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