March 19-21, 2012,
Selma Lagerlöfsvej 300, 9220 Aalborg, DENMARK
Monday March 19 (room 0.2.90)
9.30-10.00 REGISTRATION
10.00-10.15 Opening and welcome by Kim G Larsen and Huibiao Zhu
10.15-11.00 He Jifeng: To be announced
11.00-12.30 Specification and Modeling Formalisms 1
Mikkel Koefoed Jakobsen, Jan Madsen and Michael R. Hansen: A Modelling Framework for Energy Harvesting Aware Wireless Sensor Networks
Line Juhl: Energy Games
12.30-13.30 Lunch
13.30-15.00 Validation and Analysis Techniques 1
Phan Anh Dung, Michael R. Hansen, Aske Brekling: On Tool Support for Duration Calculus on the basis of Presburger Arithmetic
Alexandre David, Kim G. Larsen: Statistical Model Checking in UPPAAL
Mini Cases / Protocols 1
Ender Yuksel: Cyber Security in Smart Energy
15.00-15.30 Coffee
15.30-17.00 Mini Cases / Protocols 2
Geguang Pu: .To be announced.
Ender Yuksel: From protocols to scenarios
Xenofon Fafoutis, Nicola Dragoni: Adaptive Media Access Control for Energy Harvesting – Wireless Sensor Networks
18.00 Guided Tour of Aalborg
19.30 Dinner Princess Juliana
Tuesday March 20 (room 0.2.12)
9.00-10.15 Specification and Modeling Formalisms 2
Huibiao Zhu: To be announced
Radu Mardare: Modular Markovian Process, Logics and Metrics (joint work with Luca Cardelli, Prakash Panangaden, Kim G Larsen)
10.15- 10.45 Coffee
10.45-11.45 Compsitionality vs Global Characteristics
Roberto Vigo: Securing CPSs: from the attacker scenario to formal verification.
Louis-Marie Traonouez: A parametric counterexample approach for robust timed specifications
11.45-13.00 Cross-level Property Preservation
Yingke Chen: Learning Markov models for stationary system behaviors
(joint with Hua Mao, Thomas D Nielsen, Manfred Jaeger, Kim G Larsen, Brian Nielsen)
Jian Zhang: To be announced
13.00-14.00 Lunch
14.00-17.30 Room 0.2.15
Board Meeting (Agenda will be sent later, but will include a short statement from all Work-package leaders)
19.00 Dinner at Sohngaardsholm Castle
Wednesday March 21 (room 0.2.90)
9.00- 10.00 He Jifeng: To be announced
10.00-10.45 Tool Prototypes 1
Mads Christian Olesen, Andreas Dalsgaard: OPAAL and LTSMin
10.45-11.15 Coffee
11.15-12.45 Tool Prototypes 2
Peter Bulychev: Timed Games in Phyton
(with Alexandre David, Kim G Larsen, Jean-Francois Raskin, Gilles Geeraerts, ..)
Benoit Delahay: Specification Theories for Stochastic Systems
Zhang Zhangkui: Distributed Model Checking with MapReduce
(with Keiji Heljanko)
12.45-13.45 LUNCH
13.45-14.45 Specification and Modeling Formalisms 3
Jiri Srba: Multi-weighted Modal Transition Systems
14.45-15.15 Coffee
15.15-16.15 Validation and Analysis Techniques 2
Alexandre David, Dehui Du, Marius Mikucionis, Kim G Larsen: Evaluation of Climate Controllers using UPPAAL SMC
This entry was posted in news. Bookmark the permalink. Comments are closed, but you can leave a trackback: Trackback URL.
IDEA4CPS 1st General Meeting
IDEA4CPS 1st General Meeting
March 19-21, 2012,
Selma Lagerlöfsvej 300, 9220 Aalborg, DENMARK
Monday March 19 (room 0.2.90)
9.30-10.00 REGISTRATION
10.00-10.15 Opening and welcome by Kim G Larsen and Huibiao Zhu
10.15-11.00 He Jifeng: To be announced
11.00-12.30 Specification and Modeling Formalisms 1
Mikkel Koefoed Jakobsen, Jan Madsen and Michael R. Hansen: A Modelling Framework for Energy Harvesting Aware Wireless Sensor Networks
Line Juhl: Energy Games
12.30-13.30 Lunch
13.30-15.00 Validation and Analysis Techniques 1
Phan Anh Dung, Michael R. Hansen, Aske Brekling: On Tool Support for Duration Calculus on the basis of Presburger Arithmetic
Alexandre David, Kim G. Larsen: Statistical Model Checking in UPPAAL
Mini Cases / Protocols 1
Ender Yuksel: Cyber Security in Smart Energy
15.00-15.30 Coffee
15.30-17.00 Mini Cases / Protocols 2
Geguang Pu: .To be announced.
Ender Yuksel: From protocols to scenarios
Xenofon Fafoutis, Nicola Dragoni: Adaptive Media Access Control for Energy Harvesting – Wireless Sensor Networks
18.00 Guided Tour of Aalborg
19.30 Dinner Princess Juliana
Tuesday March 20 (room 0.2.12)
9.00-10.15 Specification and Modeling Formalisms 2
Huibiao Zhu: To be announced
Radu Mardare: Modular Markovian Process, Logics and Metrics (joint work with Luca Cardelli, Prakash Panangaden, Kim G Larsen)
10.15- 10.45 Coffee
10.45-11.45 Compsitionality vs Global Characteristics
Roberto Vigo: Securing CPSs: from the attacker scenario to formal verification.
Louis-Marie Traonouez: A parametric counterexample approach for robust timed specifications
11.45-13.00 Cross-level Property Preservation
Yingke Chen: Learning Markov models for stationary system behaviors
(joint with Hua Mao, Thomas D Nielsen, Manfred Jaeger, Kim G Larsen, Brian Nielsen)
Jian Zhang: To be announced
13.00-14.00 Lunch
14.00-17.30 Room 0.2.15
Board Meeting (Agenda will be sent later, but will include a short statement from all Work-package leaders)
19.00 Dinner at Sohngaardsholm Castle
Wednesday March 21 (room 0.2.90)
9.00- 10.00 He Jifeng: To be announced
10.00-10.45 Tool Prototypes 1
Mads Christian Olesen, Andreas Dalsgaard: OPAAL and LTSMin
10.45-11.15 Coffee
11.15-12.45 Tool Prototypes 2
Peter Bulychev: Timed Games in Phyton
(with Alexandre David, Kim G Larsen, Jean-Francois Raskin, Gilles Geeraerts, ..)
Benoit Delahay: Specification Theories for Stochastic Systems
Zhang Zhangkui: Distributed Model Checking with MapReduce
(with Keiji Heljanko)
12.45-13.45 LUNCH
13.45-14.45 Specification and Modeling Formalisms 3
Jiri Srba: Multi-weighted Modal Transition Systems
14.45-15.15 Coffee
15.15-16.15 Validation and Analysis Techniques 2
Alexandre David, Dehui Du, Marius Mikucionis, Kim G Larsen: Evaluation of Climate Controllers using UPPAAL SMC