Kick-off workshop (September 19-20, 2016)
Joint workshop with the DALI project.
| Sep 19 | Author | Title |
|---|---|---|
| 10:30 | Alcino Cunha | TRUST presentation |
| 11:00 | Alexandre Madeira | DALI presentation |
| 11:30 | Méario Benavides | Some Extensions of Propositional Dynamic Logic |
| 12:15 | Eugénio Rocha | Towards parallel execution of (stochastic) Hybrid Systems |
| 12:45 | Lunch | |
| 14:00 | Nuno Macedo | Lightweight specification and analysis of dynamic systems with rich configurations |
| 14:30 | Julien Brunel | On Finite Domains in First-Order Linear Temporal Logic |
| 15:00 | José Proença | Variability: Feature Nets and Connector Families |
| 15:30 | Renato Neves | A monad for continuous evolutions |
| 16:00 | Coffee break | |
| 16:30 | Tiago Loureiro | Tool support for component-based hybrid systems |
| 17:00 | Luís S. Barbosa | Layered logics, coalgebraically |
| 17:30 | José N. Oliveira | Exploiting Galois connections for 'Rely/Guarantee Thinking' |
| 18:00 | Leandro Gomes | Contracts on demand |
| Sep 20 | Author | Title |
| 09:00 | Daniel Figueiredo | Relating Bisimulations with Attractors in Boolean Network Models |
| 09:30 | Nuno Macedo | Temporal Kodkod |
| 10:00 | Eduardo Pereira | Efficient model analysis through configuration decomposition |
| 10:30 | José N. Oliveira | Towards a probabilistic Alloy |
| 11:00 | Coffee break | |
| 11:30 | Michael Harrison | Infusion pumps as an Alloy case study |
| 12:00 | Paolo Masci | Using PVSio-web as visual modelling and rapid prototyping tool for Alloy |
| 12:30 | José Pereira | A web based social environment for Alloy |
| 13:00 | Lunch |