This page presents all paper accepted in every RoSE workshop so far.

3rd International Workshop on Robotics Software Engineering (RoSE’21)

  • Jabier Martinez, Alejandra Ruiz, Ansgar Radermacher and Stefano Tonetta. Assumptions and Guarantees for Composable Models in Papyrus for Robotics. (PDF)
  • Christoph Mayr-Dorn, Mario Winterer, Christian Salomon, Doris Hohensinger and Rudolf Ramler. Considerations for using Block-Based Languages for Industrial Robot Programming – a Case Study. (PDF)
  • Jabier Martinez, Alejandra Ruiz, Ainara Garzo, Thierry Keller, Ansgar Radermacher and Stefano Tonetta. Modelling the Component-based Architecture and Safety Contracts of ArmAssist in Papyrus for Robotics. (PDF)
  • Arne Nordmann, Ralph Lange and Francisco Martín Rico. System Modes - Digestible System (Re-)Configuration for Robotics. (PDF)
  • Darko Bozhinoski, Esther Aguado, Carlos Hernández Corbato, Mario Garzon Oviedo, Ricardo Sanz and Andrzej Wasowski. A Modeling Tool for Reconfigurable Skills in ROS. (PDF)
  • Samuel Parra, Sven Schneider and Nico Hochgeschwender. Specifying QoS Requirements and Capabilities for Component-Based Robot Software. (PDF)
  • André Santos, Alcino Cunha and Nuno Macedo. The High-Assurance ROS Framework. (PDF)
  • Martin Schörner, Constantin Wanninger, Alwin Hoffmann, Oliver Kosak and Wolfgang Reif. Architecture for Emergency Control of Autonomous UAV Ensembles. (PDF)
  • Alexandre Albore, David Doose, Christophe Grand, Charles Lesire and Augustin Manecy. Skill-Based Architecture Development for Online Mission Reconfiguration and Failure Management. (PDF)
  • Reynaldo Cobos Mendez, Douwe Dresscher and Jan Broenink. Power and Energy Communication Services for Control-software Models. (PDF)
  • Miguel Campusano, Kjeld Jensen and Ulrik Schultz. Towards a Service-Oriented Architecture for Autonomous Drone Operations in U-Space. (PDF)
  • Thomas Witte and Matthias Tichy. Inferred Interactive Controls Through Provenance Tracking of ROS Message Data. (PDF)

2nd International Workshop on Robotics Software Engineering (RoSE’19)

  • Sergio García, Claudio Menghi and Patrizio Pelliccione. MAPmAKER: Performing Multi-Robot LTL Planning Under Uncertainty. (PDFBibtex)
  • Piergiuseppe Mallozzi, Ezequiel Gustavo Castellano, Patrizio Pelliccione, Gerardo Schneider and Kenji Tei. A Runtime Monitoring Framework to Enforce Invariants on Reinforcement Learning Agents Exploring Complex Environments. (PDFBibtex)
  • David Shepherd, Nicholas A. Kraft and Patrick Francis. Visualizing the “Hidden” Variables in Robot Programs. (PDFBibtex)
  • Kaushik Madala, Hyunsook Do and Daniel Aceituna. Exposing Off-Nominal Behaviors in Multi-Robot Coordination. (PDFBibtex)
  • Simos Gerasimou, Nicholas Matragkas and Radu Calinescu. Towards Systematic Engineering of Collaborative Heterogeneous Robotic Systems. (PDFBibtex)
  • Nico Ritschel, Reid Holmes, Ronald Garcia and David Shepherd. Novice-Friendly Multi-Armed Robotics Programming. (PDFBibtex)
  • Takeshi Ohkawa, Yuhei Sugata, Harumi Watanabe, Nobuhiko Ogura, Kanemitsu Ootsu and Takashi Yokota. High Level Synthesis of ROS Protocol Interpretation and Communication Circuit for FPGA. (PDFBibtex)

1st International Workshop on Robotics Software Engineering (RoSE’18)

  • Thomas Witte and Matthias Tichy. Checking consistency of robot software architectures in ROS. (PDFBibtex)
  • Gianluca Bardaro, Matteo Matteucci and Andrea Semprebon. A use case in model-based robot development using AADL and ROS. (PDFBibtex)
  • Shahar Maoz and Jan Oliver Ringert. On the Software Engineering Challenges of Applying Reactive Synthesis to Robotics. (PDFBibtex)
  • Loli Burgueño, Tanja Mayerhofer, Manuel Wimmer and Antonio Vallecillo. Using Physical Quantities in Robot Software Models. (PDFBibtex)
  • Daniel Sykes and Gavin Keighren. Industrial-Scale Environments with Bounded Uncertainty: A Productivity Maximisation Challenge. (PDFBibtex)
  • Giovanni Beltrame, Ettore Merlo, Jacopo Panerati and Carlo Pinciroli. Engineering Safety in Swarm Robotics. (PDFBibtex)
  • John-Paul Ore, Carrick Detweiler and Sebastian Elbaum. Toward Code-Aware Robotic Simulation. (PDFBibtex)
  • Neil Ernst, Rick Kazman and Philip Bianco. Toward Rapid Composition with Confidence in Robotics Software. (PDFBibtex)
  • Darko Bozhinoski and Mauro Birattari. Designing Control Software for Robot Swarms: Software Engineering for the Development of Automatic Design Methods. (PDFBibtex)