Proceedings of the 1st International Workshop on Robotics Software Engineering - RoSE '18
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450357609

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Industrial-scale environments with bounded uncertainty

Proceedings of the 1st International Workshop on Robotics Software Engineering - RoSE '18 ◽

10.1145/3196558.3196563 ◽

2018 ◽

Author(s):

Daniel Sykes ◽

Gavin Keighren

Keyword(s):

Industrial Scale ◽

Bounded Uncertainty

Download Full-text

Towards rapid composition with confidence in robotics software

Proceedings of the 1st International Workshop on Robotics Software Engineering - RoSE '18 ◽

10.1145/3196558.3196567 ◽

2018 ◽

Cited By ~ 2

Author(s):

Neil A. Ernst ◽

Rick Kazman ◽

Philip Bianco

Download Full-text

Using physical quantities in robot software models

Proceedings of the 1st International Workshop on Robotics Software Engineering - RoSE '18 ◽

10.1145/3196558.3196562 ◽

2018 ◽

Cited By ~ 2

Author(s):

Loli Burgueño ◽

Tanja Mayerhofer ◽

Manuel Wimmer ◽

Antonio Vallecillo

Keyword(s):

Software Models ◽

Physical Quantities

Download Full-text

Engineering safety in swarm robotics

Proceedings of the 1st International Workshop on Robotics Software Engineering - RoSE '18 ◽

10.1145/3196558.3196565 ◽

2018 ◽

Cited By ~ 1

Author(s):

Giovanni Beltrame ◽

Ettore Merlo ◽

Jacopo Panerati ◽

Carlo Pinciroli

Keyword(s):

Swarm Robotics

Download Full-text

Checking consistency of robot software architectures in ROS

Proceedings of the 1st International Workshop on Robotics Software Engineering - RoSE '18 ◽

10.1145/3196558.3196559 ◽

2018 ◽

Author(s):

Thomas Witte ◽

Matthias Tichy

Keyword(s):

Software Architectures

Download Full-text

Towards code-aware robotic simulation

Proceedings of the 1st International Workshop on Robotics Software Engineering - RoSE '18 ◽

10.1145/3196558.3196566 ◽

2018 ◽

Author(s):

John-Paul Ore ◽

Carrick Detweiler ◽

Sebastian Elbaum

Keyword(s):

Robotic Simulation

Download Full-text

Designing control software for robot swarms

Proceedings of the 1st International Workshop on Robotics Software Engineering - RoSE '18 ◽

10.1145/3196558.3196564 ◽

2018 ◽

Cited By ~ 5

Author(s):

Darko Bozhinoski ◽

Mauro Birattari

Keyword(s):

Control Software ◽

Robot Swarms

Download Full-text

A use case in model-based robot development using AADL and ROS

Proceedings of the 1st International Workshop on Robotics Software Engineering - RoSE '18 ◽

10.1145/3196558.3196560 ◽

2018 ◽

Cited By ~ 3

Author(s):

Gianluca Bardaro ◽

Andrea Semprebon ◽

Matteo Matteucci

Keyword(s):

Use Case ◽

Model Based

Download Full-text

On the software engineering challenges of applying reactive synthesis to robotics

Proceedings of the 1st International Workshop on Robotics Software Engineering - RoSE '18 ◽

10.1145/3196558.3196561 ◽

2018 ◽

Cited By ~ 2

Author(s):

Shahar Maoz ◽

Jan Oliver Ringert

Keyword(s):

Software Engineering ◽

Reactive Synthesis

Download Full-text

Proceedings of the 1st International Workshop on Robotics Software Engineering - RoSE '18Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Industrial-scale environments with bounded uncertainty

Towards rapid composition with confidence in robotics software

Using physical quantities in robot software models

Engineering safety in swarm robotics

Checking consistency of robot software architectures in ROS

Towards code-aware robotic simulation

Designing control software for robot swarms

A use case in model-based robot development using AADL and ROS

On the software engineering challenges of applying reactive synthesis to robotics

Proceedings of the 1st International Workshop on Robotics Software Engineering - RoSE '18
Latest Publications