IDEA4CPS research workshop Aalborg 2014

On September 25-26 IDEA4CPS organized a research workshop in Aalborg, with the participation of researchers from all the four partners of IDEA4CPS. The event took place at the Restaurant Skovbakken (inside Aalborg Zoo), Mølleparkvej 63, 9000 Aalborg.

Program

25 September 2014

9:00-9:30
Welcome and coffee

9:30-11:00
Roberto Vigo: Trust-based Enforcement of Security Policies (30 min)
Bingtian Xue: Adequacy and Complete Axiomatization for Timed Modal Logic (30 min)
Hanne Riis Nielson: Disjunctive Information Flow (30 min)

11:00-11:30
Coffee break

11:30-12:30
Radu Mardare: The landscape of the Markov processes realm (30 min)
Giorgio Bacci: On the total variation distance of semi-Markov processes (30 min)

12:30-14:00
Lunch break – Restaurant Skovbakken

14:00-15:30
Manfred Jaeger: Continuity Properties of Distances for Markov Processes (30 min)
Erisa Karafili: Energy Saving by Ambient Intelligence Techniques (30 min)
Giovanni Bacci: Computing Bisimilarity Distances over Continuous-time Markov Chains (30 min)

15:30-16:00
Coffee break

16:00-17:00
Zaruhi Aslanyan: Pareto Efficient Solutions of Attack Trees (30 min)
Phan Anh Dung: Z3Opt: An optimizing SMT solver (30 min)

18:30-22:15
Social Dinner – Restaurant Duus Vinkælder, Østerågade 9, 9000 Aalborg

26 September 2014

9:00-10:30
Jiri Srba: Time-Darts: A Data Structure for Verification of Closed Timed Automata (30 min)
Alberto Lluch Lafuente: A semiring-valued temporal logic (30 min)
Alessandro Bruni: Set-based abstractions in the applied π-calculus (30 min)

10:30-11:00
Coffee break

11:00-12:00
Yue Zhang : Energy-efficient fault management of WSNs (30 min)
Sebastian Alexander Mödersheim: Sufficient Conditions for Vertical Composition of Security Protocols (30 min)

12:00-13:30
Lunch break – Restaurant Skovbakken

13:30-15:30
Peter Jensen: Memory Efficient Data Structures for Explicit Verification of Timed Systems (30 min)
Jakob Taankvist: On Time with Minimal Expected Cost! (30 min)
Danny Bøgsted Poulsen: Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata (30 min)
Zhengkui Zhang: Verification and Performance Evaluation of Timed Game Strategies (30 min)

> Download program and list of abstracts