2nd annual workshop (October 23, 2017)

Oct 23 Author Title
10:00 Alcino Cunha TRUST: project status
10:30 David Chemouil, Julien Brunel Electrum: work in progress at ONERA
11:00 José Creissac Campos TOM: a Model-Based GUI Testing framework
11:30 Guillermina Cledou A Refinement Relation for Families of Timed Automata
12:00 Lunch
14:00 Nuno Macedo Exploiting Partial Knowledge for Efficient Model Analysis
14:30 André Santos Towards Quality and Safety Verification of ROS Applications
15:00 David Come Improving code quality in ROS packages using a temporal extension of first-order logic
15:30 José Nuno Oliveira Going quantitative in software modeling