Robotic software

Showing results in 'Announcements'. Show all posts

Paper accepted at IROS

July 1, 2017

Our paper on mining the usage patterns of ROS primitives in robotic software has been accepted at the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

Paper accepted at FormaliSE

March 1, 2017

Our paper on the verification of a ROS-based robotic system using timed automata has been accepted at the FME Workshop on Formal Methods in Software Engineering (FormaliSE).

Joined ScalABLE 4.0 Project

February 5, 2017

I joined the H2020 ScalABLE 4.0 project on scalable automation for flexible production systems.

Paper accepted at IROS

July 3, 2016

Our paper on the quality assessment of ROS repositories has been accepted at the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

New MSc's

December 20, 2015

André Santos and Miguel Costa have successfully defended their MSc theses on ROS software quality.