| 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 |