Robotics & Software Engineering is a meeting to strengthen cooperation and dialogue, bringing together the communities of Robotics and Software Engineering
I look forward to hosting 3rd international Robotics Software Engineering meeting. We will have many exciting talks and plenty of discussions about the intersection of robotics and software engineering. More details here https://t.co/7rGurbP6MI
Second day of RSE'23 starting with the talk "What Should I Verify?" from Dr. Marie Farell (University of Manchester)
@smr_mousavi@thorsten_berger @pellicciTwit
After three amazing days, @pellicciTwit is closing the first edition of the @MeetingRse
As in the previous days, there will be many interesting discussions at the final dinner.
@rickypinci just presented an interesting work about model-based performance analysis for architecting cyber-physical dynamic spaces, a joint work with @CatiaTrubiani at @MeetingRse - #GSSI
@smr_mousavi is inviting to the second edition of @MeetingRse at @KingsCollegeLon
I am looking forward to see all of you again and everyone who missed on this year's editon
In the last talk of today's first session of the @MeetingRse, Davide Brugali is talking about non-functional requirements of robotic systems. How can we make sure that a medical transportation robot doesn't hit patients stepping out of doors but still delivers medication in time?
@ric_caldas is giving an interesting talk about what we as scientific community have to do so that we can gain confidence in the ROS appliactions we develop @MeetingRse
He has also an interesting survey on current practices in verification of ROS systems https://t.co/pwaVDQ5a4y
Continuous compliance for automotive, is the research topic that Tiziano Santilli, PhD student at #GSSI, started to investigate for his PhD thesis with @pellicciTwit at @GSSI_LAQUILA He is presenting it at @MeetingRse