Abstract is missing.
- Checking consistency of robot software architectures in ROSThomas Witte, Matthias Tichy. 1-8 [doi]
- A use case in model-based robot development using AADL and ROSGianluca Bardaro, Andrea Semprebon, Matteo Matteucci. 9-16 [doi]
- On the software engineering challenges of applying reactive synthesis to roboticsShahar Maoz, Jan Oliver Ringert. 17-22 [doi]
- Using physical quantities in robot software modelsLoli Burgueño, Tanja Mayerhofer, Manuel Wimmer, Antonio Vallecillo. 23-28 [doi]
- Industrial-scale environments with bounded uncertainty: a productivity maximisation challengeDaniel Sykes, Gavin Keighren. 29-32 [doi]
- Designing control software for robot swarms: software engineering for the development of automatic design methodsDarko Bozhinoski, Mauro Birattari. 33-35 [doi]
- Engineering safety in swarm roboticsGiovanni Beltrame, Ettore Merlo, Jacopo Panerati, Carlo Pinciroli. 36-39 [doi]
- Towards code-aware robotic simulation: vision paperJohn-Paul Ore, Carrick Detweiler, Sebastian G. Elbaum. 40-43 [doi]
- Towards rapid composition with confidence in robotics softwareNeil A. Ernst, Rick Kazman, Philip Bianco. 44-47 [doi]