![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Arne Nordmann
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j7]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): 125 (2023) - [c19]Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske:
A systematic literature review on counterexample explanation - Summary. Software Engineering 2023: 71-72 - [i8]Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske:
A User Study for Evaluation of Formal Verification Results and their Explanation at Bosch. CoRR abs/2304.08950 (2023) - 2022
- [j6]Arut Prakash Kaleeswaran, Arne Nordmann
, Thomas Vogel
, Lars Grunske:
A systematic literature review on counterexample explanation. Inf. Softw. Technol. 145: 106800 (2022) - [i7]Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske:
A systematic literature review on counterexample explanation. CoRR abs/2201.03061 (2022) - [i6]Robert Bocchino, Arne Nordmann, Allison Thackston, Andreas Angerer, Federico Ciccozzi, Ivano Malavolta, Andreas Wortmann:
Industry Best Practices in Robotics Software Engineering. CoRR abs/2212.04877 (2022) - 2021
- [c18]Arne Nordmann, Ralph Lange, Francisco Martín Rico
:
System Modes - Digestible System (Re-)Configuration for Robotics. RoSE@ICSE 2021: 19-24 - [p2]Daniel Ratiu, Arne Nordmann, Peter Munk, Carmen Cârlan, Markus Voelter:
FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems. Domain-Specific Languages in Practice 2021: 131-164 - [i5]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 abs/2105.15015 (2021) - [i4]Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske:
A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation. CoRR abs/2108.06376 (2021) - 2020
- [j5]Peter Munk
, Arne Nordmann
:
Model-based safety assessment with SysML and component fault trees: application and lessons learned. Softw. Syst. Model. 19(4): 889-910 (2020) - [c17]Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
:
Counterexample Interpretation for Contract-Based Design. IMBSA 2020: 99-114
2010 – 2019
- 2019
- [j4]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): 2507-2530 (2019) - [c16]Arut Prakash Kaleeswaran, Peter Munk, Samir Sarkic, Thomas Vogel
, Arne Nordmann:
A Domain Specific Language to Support HAZOP Studies of SysML Models. IMBSA 2019: 47-62 - [c15]Simon Greiner, Peter Munk, Arne Nordmann:
Compositionality of Component Fault Trees. IMBSA 2019: 125-140 - [c14]Arut Prakash Kaleeswaran, Arne Nordmann, Anees ul Mehdi:
Towards Integrating Ontologies into Verification for Autonomous Driving. ISWC (Satellites) 2019: 319-320 - [i3]Simon Greiner, Peter Munk, Arne Nordmann:
Proof of Compositionality of CFT Correctness. CoRR abs/1907.09920 (2019) - 2018
- [j3]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: 67 (2018) - [c13]Peter Munk
, Andreas Abele, Eike Thaden, Arne Nordmann, Rakshith Amarnath, Markus Schweizer, Simon Burton:
Semi-automatic safety analysis and optimization. DAC 2018: 29:1-29:6 - [c12]Arne Nordmann, Peter Munk
:
Lessons Learned from Model-Based Safety Assessment with SysML and Component Fault Trees. MoDELS 2018: 134-143 - [c11]Dennis Grewe, Marco Wagner, Sebastian Schildt
, Arne Nordmann, Jeroen Laverman:
Towards Semantic Object Discovery for Vehicular Named Data Networks. VTC Spring 2018: 1-5 - [i2]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 abs/1803.06259 (2018) - 2017
- [c10]Dennis Leroy Wigand, Arne Nordmann, Michael Goerlich, Sebastian Wrede:
Modularization of Domain-Specific Languages for Extensible Component-Based Robotic Systems. IRC 2017: 164-171 - 2016
- [b1]Arne Nordmann:
Modeling of motion primitive architectures using domain-specific languages. Bielefeld University, Germany, 2016 - [c9]Rakshith Amarnath, Peter Munk
, Eike Thaden, Arne Nordmann, Simon Burton:
Dependability Challenges in the Model-Driven Engineering of Automotive Systems. ISSRE Workshops 2016: 1-4 - 2015
- [j2]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): 847-859 (2015) - [c8]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: 98-123 - [c7]Arne Nordmann, Sebastian Wrede, Jochen J. Steil:
Modeling of movement control architectures based on motion primitives using domain-specific languages. ICRA 2015: 5032-5039 - 2014
- [c6]Arne Nordmann, Nico Hochgeschwender, Sebastian Wrede:
A Survey on Domain-Specific Languages in Robotics. SIMPAR 2014: 195-206 - [c5]Florian Lier
, Johannes Wienke
, Arne Nordmann
, Sven Wachsmuth
, Sebastian Wrede
:
The Cognitive Interaction Toolkit - Improving Reproducibility of Robotic Systems Experiments. SIMPAR 2014: 400-411 - [p1]Jochen J. Steil, Christian Emmerich, Agnes Swadzba, Ricarda Grünberg, Arne Nordmann, Sebastian Wrede:
Kinesthetic Teaching Using Assisted Gravity Compensation for Model-Free Trajectory Generation in Confined Spaces. Technology Transfer Experiments from the ECHORD Project 2014: 107-127 - 2013
- [j1]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): 56-81 (2013) - [c4]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: 4322-4328 - [i1]Arne Nordmann, Sebastian Wrede:
A Domain-Specific Language for Rich Motor Skill Architectures. CoRR abs/1302.6436 (2013) - 2012
- [c3]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: 1868-1875 - [c2]Arne Nordmann
, Matthias Rolf, Sebastian Wrede
:
Software Abstractions for Simulation and Control of a Continuum Robot. SIMPAR 2012: 113-124 - [c1]Johannes Wienke
, Arne Nordmann
, Sebastian Wrede
:
A Meta-model and Toolchain for Improved Interoperability of Robotic Frameworks. SIMPAR 2012: 323-334
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-08 21:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint