Arne Nordmann
Orcid: 0000-0002-0179-1655
According to our database1,
Arne Nordmann
authored at least 35 papers
between 2012 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
A user study for evaluation of formal verification results and their explanation at Bosch.
Empir. Softw. Eng., October, 2023
Proceedings of the Software Engineering 2023, 2023
2022
Inf. Softw. Technol., 2022
2021
A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation.
CoRR, 2021
Model-Based Reliability and Safety: Reducing the Complexity of Safety Analyses Using Component Fault Trees.
CoRR, 2021
Proceedings of the 3rd IEEE/ACM International Workshop on Robotics Software Engineering, 2021
FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems.
Proceedings of the Domain-Specific Languages in Practice: with JetBrains MPS, 2021
2020
Model-based safety assessment with SysML and component fault trees: application and lessons learned.
Softw. Syst. Model., 2020
Proceedings of the Model-Based Safety and Assessment - 7th International Symposium, 2020
2019
Using language workbenches and domain-specific languages for safety-critical software development.
Softw. Syst. Model., 2019
Proceedings of the ISWC 2019 Satellite Tracks (Posters & Demonstrations, 2019
Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019
Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019
2018
Oncilla Robot: A Versatile Open-Source Quadruped Research Robot With Compliant Pantograph Legs.
Frontiers Robotics AI, 2018
Oncilla robot: a versatile open-source quadruped research robot with compliant pantograph legs.
CoRR, 2018
Proceedings of the 87th IEEE Vehicular Technology Conference, 2018
Lessons Learned from Model-Based Safety Assessment with SysML and Component Fault Trees.
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018
Proceedings of the 55th Annual Design Automation Conference, 2018
2017
Modularization of Domain-Specific Languages for Extensible Component-Based Robotic Systems.
Proceedings of the First IEEE International Conference on Robotic Computing, 2017
2016
PhD thesis, 2016
Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016
2015
Adv. Robotics, 2015
Modeling of movement control architectures based on motion primitives using domain-specific languages.
Proceedings of the IEEE International Conference on Robotics and Automation, 2015
Proceedings of the Grand Timely Topics in Software Engineering, 2015
2014
Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2014
The Cognitive Interaction Toolkit - Improving Reproducibility of Robotic Systems Experiments.
Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2014
Kinesthetic Teaching Using Assisted Gravity Compensation for Model-Free Trajectory Generation in Confined Spaces.
Proceedings of the Gearing Up and Accelerating Cross-fertilization between Academic and Industrial Robotics Research in Europe:, 2014
2013
A user study on kinesthetic teaching of redundant robots in task and configuration space.
J. Hum. Robot Interact., 2013
Assisted Gravity Compensation to cope with the complexity of kinesthetic teaching on redundant robots.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013
2012
Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2012
Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2012
Teaching nullspace constraints in physical human-robot interaction using Reservoir Computing.
Proceedings of the IEEE International Conference on Robotics and Automation, 2012