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