Find me at research gate and google scholar. My ORCID is https://orcid.org/0000-0002-0179-1655.
2022
A Systematic Literature Review on Counterexample Explanation Journal Article
In: Information and Software Technology, 145 , 2022.
2021
A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation Journal Article
In: ICSME Registered Reports Track, 2021.
FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems Book Chapter
In: Springer, 2021.
System Modes -- Digestible System (Re-)Configuration for Robotics Inproceedings
In: 3rd International Workshop on Robotics Software Engineering (RoSE’21), 2021.
2020
Counterexample Interpretation for Contract-Based Design Incollection
In: Model-Based Safety and Assessment, pp. 99–114, Springer International Publishing, 2020.
Model-Based Safety Assessment with SysML and Component Fault Trees: Application and Lessons Learned Journal Article
In: Software and Systems Modeling, 19 (4), pp. 889–910, 2020.
2019
Towards Integrating Ontologies into Verification for Autonomous Đriving Inproceedings
In: Suárez-Figueroa, Mari Carmen; Cheng, Gong; Gentile, Anna Lisa; Guéret, Christophe; Keet, Maria C; Bernstein, Abraham (Ed.): ISWC Satellites, pp. 319–320, CEUR-WS.org, 2019.
A Domain Specific Language to Support HAZOP Studies of SysML Models Incollection
In: Model-Based Safety and Assessment, pp. 47–62, Springer International Publishing, 2019.
Compositionality of Component Fault Trees Incollection
In: Model-Based Safety and Assessment, pp. 125–140, Springer International Publishing, 2019.
2018
Oncilla Robot: A Versatile Open-Source Quadruped Research Robot with Compliant Pantograph Legs Journal Article
In: Frontiers in Robotics and AI, 5 , 2018.
Semi-Automatic Safety Analysis and Optimization Inproceedings
In: Proceedings of the 55th Annual Design Automation Conference, ACM, 2018.
Using Language Workbenches and Domain-Specific Languages for Safety-Critical Software Development Journal Article
In: Software & Systems Modeling, 18 (4), pp. 2507–2530, 2018.
Lessons Learned from Model-Based Safety Assessment with SysML and Component Fault Trees Inproceedings
In: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, ACM, 2018.
Model-Based Reliability and Safety: Reducing the Complexity of Safety Analyses Using Component Fault Trees Inproceedings
In: 2018 Annual Reliability and Maintainability Symposium (RAMS), IEEE, 2018.
2017
Domain-Specific Language Modularization Scheme Applied to a Multi-Arm Robotics Use-Case Journal Article
In: Journal of Software Engineering for Robotics, 8 , pp. 45–64, 2017.
Modularization of Domain-Specific Languages for Extensible Component-Based Robotic Systems Inproceedings
In: 2017 First IEEE International Conference on Robotic Computing (IRC), IEEE, 2017.
DSLs in Robotics: A Case Study in Programming Self-Reconfigurable Robots Incollection
In: Lecture Notes in Computer Science, pp. 98–123, Springer International Publishing, 2017.
2016
Dependability Challenges in the Model-Driven Engineering of Automotive Systems Inproceedings
In: 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), IEEE, 2016.
Modeling of Motion Primitive Architectures using Domain-Specific Languages PhD Thesis
Bielefeld University, 2016.
A Survey on Domain-Specific Modeling and Languages in Robotics Journal Article
In: Journal of Software Engineering for Robotics, 7 , pp. 5–99, 2016.
2015
Modeling of Movement Control Architectures based on Motion Primitives using Domain-Specific Languages Inproceedings
In: 2015 IEEE International Conference on Robotics and Automation (ICRA), IEEE, 2015.
A Multi-Level Control Architecture for the Bionic Handling Assistant Journal Article
In: Advanced Robotics, 29 (13), pp. 847–859, 2015.
2014
Kinesthetic Teaching using Assisted Gravity Compensation for Model-Free Trajectory Generation in Confined Spaces Incollection
In: Springer Tracts in Advanced Robotics, pp. 107–127, Springer International Publishing, 2014.
A Survey on Domain-Specific Languages in Robotics Incollection
In: Simulation, Modeling, and Programming for Autonomous Robots, pp. 195–206, Springer International Publishing, 2014.
The Cognitive Interaction Toolkit -- Improving Reproducibility of Robotic Systems Experiments Incollection
In: Simulation, Modeling, and Programming for Autonomous Robots, pp. 400–411, Springer International Publishing, 2014.
2013
Assisted Gravity Compensation to cope with the Complexity of Kinesthetic Teaching on Redundant Robots Inproceedings
In: 2013 IEEE International Conference on Robotics and Automation, IEEE, 2013.
A Domain-Specific Language and Simulation Architecture for the Oncilla Robot Inproceedings
In: ICRA 2013 Workshop on Developments of Simulation Tools for Robotics & Biomechanics, Karlsruhe, 2013.
A User Study on Kinesthetic Teaching of Redundant Robots in Task and Configuration Space Journal Article
In: Journal of Human-Robot Interaction, 2 (1), pp. 56–81, 2013.
A Domain-Specific Language for Rich Motor Skill Architectures Journal Article
In: CoRR, abs/1302.6436 , 2013.
2012
Teaching Nullspace Constraints in Physical Human-Robot Interaction using Reservoir Computing Inproceedings
In: 2012 IEEE International Conference on Robotics and Automation, IEEE, 2012.
Software Abstractions for Simulation and Control of a Continuum Robot Incollection
In: Simulation, Modeling, and Programming for Autonomous Robots, pp. 113–124, Springer Berlin Heidelberg, 2012.
A Meta-model and Toolchain for Improved Interoperability of Robotic Frameworks Incollection
In: Simulation, Modeling, and Programming for Autonomous Robots, pp. 323–334, Springer Berlin Heidelberg, 2012.
Interactive Learning of Inverse Kinematics with Null-space Constraints using Recurrent Neural Networks Inproceedings
In: International Conference on Cognitive Systems, 2012.