default search action

combined dblp search
author search
venue search
publication search

ask others

Arne Nordmann

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ese/KaleeswaranNVG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/KaleeswaranNVG23
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]
- view
  - electronic edition @ gi.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/se/KaleeswaranN0G23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/KaleeswaranN0G23
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske:
A systematic literature review on counterexample explanation - Summary. Software Engineering 2023: 71-72
[i8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-08950
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-08950
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]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/KaleeswaranNVG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/KaleeswaranNVG22
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske:
A systematic literature review on counterexample explanation. Inf. Softw. Technol. 145: 106800 (2022)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2201-03061
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-03061
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske:
A systematic literature review on counterexample explanation. CoRR abs/2201.03061 (2022)
[i6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-04877
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-04877
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]
- view
  authority control:
- export record
  dblp key:
  - conf/rose-ws/NordmannLR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rose-ws/NordmannLR21
Arne Nordmann, Ralph Lange, Francisco Martín Rico:
System Modes - Digestible System (Re-)Configuration for Robotics. RoSE@ICSE 2021: 19-24
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/21/RatiuNMCV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/21/RatiuNMCV21
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-15015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-15015
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2108-06376
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-06376
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/MunkN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/MunkN20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/imbsa/KaleeswaranNVG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/imbsa/KaleeswaranNVG20
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske:
Counterexample Interpretation for Contract-Based Design. IMBSA 2020: 99-114

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/VoelterKBTAWWN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/VoelterKBTAWWN19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/imbsa/KaleeswaranMSVN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/imbsa/KaleeswaranMSVN19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/imbsa/GreinerMN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/imbsa/GreinerMN19
Simon Greiner, Peter Munk, Arne Nordmann:
Compositionality of Component Fault Trees. IMBSA 2019: 125-140
[c14]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/semweb/KaleeswaranNM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/KaleeswaranNM19
Arut Prakash Kaleeswaran, Arne Nordmann, Anees ul Mehdi:
Towards Integrating Ontologies into Verification for Autonomous Driving. ISWC (Satellites) 2019: 319-320
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-09920
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-09920
Simon Greiner, Peter Munk, Arne Nordmann:
Proof of Compositionality of CFT Correctness. CoRR abs/1907.09920 (2019)
2018
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/firai/SprowitzTAVMEDD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/firai/SprowitzTAVMEDD18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/MunkATNASB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/MunkATNASB18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/models/NordmannM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/NordmannM18
Arne Nordmann, Peter Munk:
Lessons Learned from Model-Based Safety Assessment with SysML and Component Fault Trees. MoDELS 2018: 134-143
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/vtc/GreweWSNL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vtc/GreweWSNL18
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-06259
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-06259
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]
- view
  authority control:
- export record
  dblp key:
  - conf/irc/WigandNGW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/irc/WigandNGW17
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]
- view
  authority control:
- export record
  dblp key:
  - phd/dnb/Nordmann16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Nordmann16
Arne Nordmann:
Modeling of motion primitive architectures using domain-specific languages. Bielefeld University, Germany, 2016
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/AmarnathMTNB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/AmarnathMTNB16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ar/Rolf0QRNS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ar/Rolf0QRNS15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/gttse/SchultzBSNHW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gttse/SchultzBSNHW15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/NordmannWS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/NordmannWS15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/simpar/NordmannHW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simpar/NordmannHW14
Arne Nordmann, Nico Hochgeschwender, Sebastian Wrede:
A Survey on Domain-Specific Languages in Robotics. SIMPAR 2014: 195-206
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/simpar/LierWNWW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simpar/LierWNWW14
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]
- view
  authority control:
- export record
  dblp key:
  - books/sp/14/SteilESGNW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/14/SteilESGNW14
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]
- view
  authority control:
- export record
  dblp key:
  - journals/thri/0001EGNSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/thri/0001EGNSS13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/EmmerichNSSW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/EmmerichNSSW13
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1302-6436
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-6436
Arne Nordmann, Sebastian Wrede:
A Domain-Specific Language for Rich Motor Skill Architectures. CoRR abs/1302.6436 (2013)
2012
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/NordmannERLWS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/NordmannERLWS12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/simpar/NordmannRW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simpar/NordmannRW12
Arne Nordmann, Matthias Rolf, Sebastian Wrede:
Software Abstractions for Simulation and Control of a Continuum Robot. SIMPAR 2012: 113-124
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/simpar/WienkeNW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simpar/WienkeNW12
Johannes Wienke, Arne Nordmann, Sebastian Wrede:
A Meta-model and Toolchain for Improved Interoperability of Robotic Frameworks. SIMPAR 2012: 323-334

Coauthor Index

see FAQ

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.