@inproceedings{nokey,

title = {A user study for evaluation of formal verification results and their explanation at Bosch},

author = {Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel & Lars Grunske },

doi = {https://doi.org/10.1007/s10664-023-10353-4},

year  = {2023},

date = {2023-09-18},

booktitle = {Empirical Software Engineering},

volume = {28},

issue = {5},

publisher = {Springer},

abstract = {Ensuring safety for any sophisticated system is getting more complex due to the rising number of features and functionalities. This calls for formal methods to entrust confidence in such systems. Nevertheless, using formal methods in industry is demanding because of their lack of usability and the difficulty of understanding verification results.

We evaluate the acceptance of formal methods by Bosch automotive engineers, particularly whether the difficulty of understanding verification results can be reduced.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey,

title = {Industry Best Practices in Robotics Software Engineering},

author = {Robert Bocchino, Arne Nordmann, Allison Thackston, Andreas Angerer, Federico Ciccozzi, Ivano Malavolta, Andreas Wortmann},

doi = {https://doi.org/10.48550/arXiv.2212.04877},

year  = {2022},

date = {2022-12-09},

urldate = {2022-12-09},

abstract = {Robotics software is pushing the limits of software engineering practice. The 3rd International Workshop on Robotics Software Engineering held a panel on "the best practices for robotic software engineering". This article shares the key takeaways that emerged from the discussion among the panelists and the workshop, ranging from architecting practices at the NASA/Caltech Jet Propulsion Laboratory, model-driven development at Bosch, development and testing of autonomous driving systems at Waymo, and testing of robotics software at XITASO. Researchers and practitioners can build on the contents of this paper to gain a fresh perspective on their activities and focus on the most pressing practices and challenges in developing robotics software today. },

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nordmann2021system,

title = {System Modes -- Digestible System (Re-)Configuration for Robotics},

author = {Arne Nordmann and Ralph Lange and Francisco Martin Rico},

url = {https://arne-nordmann.de/wp-content/uploads/2022/01/rose2021.pdf},

year  = {2021},

date = {2021-01-01},

urldate = {2021-01-01},

booktitle = {3rd International Workshop on Robotics Software Engineering (RoSE’21)},

keywords = {configuration, open-source, reconfiguration, ROS, ROS 2, software, system modes},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{kaleeswaran2019towards,

title = {Towards Integrating Ontologies into Verification for Autonomous Đriving},

author = {Arut Prakash Kaleeswaran and Arne Nordmann and Anees ul Mehdi},

editor = {Mari Carmen Suárez-Figueroa and Gong Cheng and Anna Lisa Gentile and Christophe Guéret and Maria C Keet and Abraham Bernstein},

url = {http://dblp.uni-trier.de/db/conf/semweb/iswc2019p.html#KaleeswaranNM19},

year  = {2019},

date = {2019-01-01},

urldate = {2019-01-01},

booktitle = {ISWC Satellites},

volume = {2456},

pages = {319--320},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

crossref = {conf/semweb/2019p},

keywords = {dblp},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{hofig2018model,

title = {Model-Based Reliability and Safety: Reducing the Complexity of Safety Analyses Using Component Fault Trees},

author = {Kai Hofig and Andreas Joanni and Marc Zeller and Francesco Montrone and Martin Rothfelder and Rakshith Amarnath and Peter Munk and Arne Nordmann},

url = {https://doi.org/10.1109/ram.2018.8463058},

doi = {10.1109/ram.2018.8463058},

year  = {2018},

date = {2018-01-01},

urldate = {2018-01-01},

booktitle = {2018 Annual Reliability and Maintainability Symposium (RAMS)},

publisher = {IEEE},

keywords = {automotive, component fault trees, FTA, MBSA, safety},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nordmann2018lessons,

title = {Lessons Learned from Model-Based Safety Assessment with SysML and Component Fault Trees},

author = {Arne Nordmann and Peter Munk},

url = {https://doi.org/10.1145/3239372.3239373},

doi = {10.1145/3239372.3239373},

year  = {2018},

date = {2018-01-01},

urldate = {2018-01-01},

booktitle = {Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems},

publisher = {ACM},

keywords = {automotive, component fault trees, FTA, lessons learned, MBSA, safety, SysML},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{munk2018semi,

title = {Semi-Automatic Safety Analysis and Optimization},

author = {Peter Munk and Andreas Abele and Eike Thaden and Arne Nordmann and Rakshith Amarnath and Markus Schweizer and Simon Burton},

url = {https://doi.org/10.1145/3195970.3199857},

doi = {10.1145/3195970.3199857},

year  = {2018},

date = {2018-01-01},

booktitle = {Proceedings of the 55th Annual Design Automation Conference},

publisher = {ACM},

keywords = {automotive, component fault trees, FMEA, FTA, MBSA, safety},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{wigand2017modularization,

title = {Modularization of Domain-Specific Languages for Extensible Component-Based Robotic Systems},

author = {Dennis Leroy Wigand and Arne Nordmann and Michael Goerlich and Sebastian Wrede},

url = {https://doi.org/10.1109/irc.2017.34},

doi = {10.1109/irc.2017.34},

year  = {2017},

date = {2017-01-01},

urldate = {2017-01-01},

booktitle = {2017 First IEEE International Conference on Robotic Computing (IRC)},

publisher = {IEEE},

keywords = {component-based, control, DSL, MPS, robotics},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{amarnath2016dependability,

title = {Dependability Challenges in the Model-Driven Engineering of Automotive Systems},

author = {Rakshith Amarnath and Peter Munk and Eike Thaden and Arne Nordmann and Simon Burton},

url = {https://doi.org/10.1109/issrew.2016.15},

doi = {10.1109/issrew.2016.15},

year  = {2016},

date = {2016-10-01},

urldate = {2016-10-01},

booktitle = {2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)},

publisher = {IEEE},

keywords = {automated driving, automotive, dependability, had, safety, security},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nordmann2015modeling,

title = {Modeling of Movement Control Architectures based on Motion Primitives using Domain-Specific Languages},

author = {Arne Nordmann and Sebastian Wrede and Jochen Steil},

url = {https://doi.org/10.1109/icra.2015.7139899},

doi = {10.1109/icra.2015.7139899},

year  = {2015},

date = {2015-05-01},

urldate = {2015-05-01},

booktitle = {2015 IEEE International Conference on Robotics and Automation (ICRA)},

publisher = {IEEE},

keywords = {control, DSL, motion, motion primitives, robotics},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nordmann2013oncilla,

title = {A Domain-Specific Language and Simulation Architecture for the Oncilla Robot},

author = {Arne Nordmann and Alexandre Tuleu and Sebastian Wrede},

url = {http://nbn-resolving.de/urn:nbn:de:0070-pub-25797635},

year  = {2013},

date = {2013-05-01},

urldate = {2013-05-01},

booktitle = {ICRA 2013 Workshop on Developments of Simulation Tools for Robotics & Biomechanics},

journal = {ICRA 2013 Workshop on Developments of Simulation Tools for Robotics & Biomechanics},

address = {Karlsruhe},

keywords = {Bielefeld University, WP7-Software},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{emmerich2013assisted,

title = {Assisted Gravity Compensation to cope with the Complexity of Kinesthetic Teaching on Redundant Robots},

author = {C Emmerich and A Nordmann and A Swadzba and J J Steil and S Wrede},

url = {https://doi.org/10.1109/icra.2013.6631189},

doi = {10.1109/icra.2013.6631189},

year  = {2013},

date = {2013-05-01},

urldate = {2013-05-01},

booktitle = {2013 IEEE International Conference on Robotics and Automation},

publisher = {IEEE},

keywords = {compliant, gravity compensation, HRI, kinesthetic teaching, machine learning, redundancy, robotics},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nordmann2012teaching,

title = {Teaching Nullspace Constraints in Physical Human-Robot Interaction using Reservoir Computing},

author = {Arne Nordmann and Christian Emmerich and Stefan Ruether and Andre Lemme and Sebastian Wrede and Jochen Steil},

url = {https://doi.org/10.1109/icra.2012.6225170},

doi = {10.1109/icra.2012.6225170},

year  = {2012},

date = {2012-05-01},

urldate = {2012-05-01},

booktitle = {2012 IEEE International Conference on Robotics and Automation},

publisher = {IEEE},

keywords = {compliant, HRI, machine learning, nullspace, recurrent neural network, redundancy, reservoir computing, robotics},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{emmerich2012interactive,

title = {Interactive Learning of Inverse Kinematics with Null-space Constraints using Recurrent Neural Networks},

author = {Christian Emmerich and Arne Nordmann and Agnes Swadzba and Sebastian Wrede and Jochen J.UniBi Steil},

year  = {2012},

date = {2012-01-01},

booktitle = {International Conference on Cognitive Systems},

keywords = {compliant, HRI, machine learning, nullspace, recurrent neural network, redundancy, reservoir computing},

pubstate = {published},

tppubtype = {inproceedings}

}