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

This entry was posted in news. Bookmark the permalink. Comments are closed, but you can leave a trackback: Trackback URL.
  • News

  • Contact

    Department of Computer Science
    Aalborg University

    Science Selma Lagerlöfs Vej 300,
    DK-9220 Aalborg East
    Office: 0.2.32
    Mail: kgl ‘at’ cs.aau.dk


    PHONE : +45 99 40 80 80 (Switchboard)
    PHONE : +45 99 40 88 93 (Direct)
    PHONE : +45 22 17 11 59 (Mobile)
    FAX : +45 98 15 98 89