{"id":433,"date":"2012-03-12T15:38:18","date_gmt":"2012-03-12T15:38:18","guid":{"rendered":"http:\/\/kglarkiv.cs.aau.dk\/?p=433"},"modified":"2012-03-12T15:39:00","modified_gmt":"2012-03-12T15:39:00","slug":"idea4cps-1st-general-meeting","status":"publish","type":"post","link":"https:\/\/kglarkiv.cs.aau.dk\/?p=433","title":{"rendered":"IDEA4CPS 1st General Meeting"},"content":{"rendered":"

IDEA4<\/sup>CPS 1st General Meeting<\/h1>\n

March 19-21, 2012,
\nSelma Lagerl\u00f6fsvej 300, 9220 Aalborg, DENMARK<\/p>\n

Monday March 19 (room 0.2.90)<\/h1>\n

9.30-10.00\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 REGISTRATION<\/strong><\/p>\n

10.00-10.15\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Opening and welcome by Kim G Larsen and Huibiao Zhu<\/p>\n

10.15-11.00\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 He Jifeng: To be announced<\/em><\/p>\n

11.00-12.30\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Specification and Modeling Formalisms 1<\/strong><\/p>\n

Mikkel Koefoed Jakobsen, Jan Madsen and Michael R. Hansen: A Modelling Framework for Energy Harvesting Aware Wireless Sensor Networks<\/p>\n

Line\u00a0Juhl:\u00a0\u00a0Energy\u00a0Games<\/p>\n

12.30-13.30\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Lunch<\/strong><\/p>\n

13.30-15.00\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Validation and Analysis Techniques 1<\/strong><\/p>\n

Phan Anh Dung, Michael R. Hansen, Aske Brekling: On Tool Support for Duration\u00a0Calculus\u00a0on\u00a0the\u00a0basis\u00a0of\u00a0Presburger\u00a0Arithmetic<\/p>\n

Alexandre David, Kim G. Larsen: Statistical Model Checking in UPPAAL<\/p>\n

Mini Cases \/ Protocols 1<\/strong><\/p>\n

<\/strong>Ender\u00a0Yuksel:\u00a0Cyber\u00a0Security\u00a0in\u00a0Smart\u00a0Energy<\/p>\n

15.00-15.30\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Coffee<\/strong><\/p>\n

15.30-17.00\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Mini Cases \/ Protocols 2<\/strong><\/p>\n

Geguang\u00a0Pu:\u00a0.To be announced<\/em>.<\/p>\n

Ender\u00a0Yuksel:\u00a0From\u00a0protocols\u00a0to\u00a0scenarios<\/p>\n

Xenofon Fafoutis, Nicola Dragoni: Adaptive Media Access Control for Energy\u00a0Harvesting\u00a0–\u00a0Wireless\u00a0Sensor\u00a0Networks<\/p>\n

18.00\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Guided Tour of Aalborg<\/p>\n

19.30\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Dinner Princess Juliana<\/p>\n

Tuesday March 20 (room 0.2.12)<\/h1>\n

9.00-10.15\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Specification and Modeling Formalisms 2<\/strong><\/p>\n

<\/strong>Huibiao Zhu: To be announced<\/em><\/p>\n

Radu Mardare: Modular Markovian Process, Logics and Metrics\u00a0 (joint work with Luca Cardelli, Prakash Panangaden, Kim G Larsen)<\/p>\n

10.15- 10.45\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Coffee<\/strong><\/p>\n

10.45-11.45\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Compsitionality vs Global Characteristics<\/strong><\/p>\n

Roberto Vigo: Securing CPSs: from the attacker scenario to formal verification.<\/p>\n

Louis-Marie Traonouez: A parametric counterexample approach for robust timed\u00a0specifications<\/p>\n

11.45-13.00\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Cross-level Property Preservation<\/strong><\/p>\n

Yingke\u00a0Chen:\u00a0Learning\u00a0Markov\u00a0models\u00a0for\u00a0stationary\u00a0system\u00a0behaviors
\n(joint with Hua Mao, Thomas D Nielsen, Manfred Jaeger, Kim G Larsen, Brian\u00a0Nielsen)<\/p>\n

Jian\u00a0Zhang:\u00a0To be announced<\/em><\/p>\n

13.00-14.00\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Lunch<\/strong><\/p>\n

14.00-17.30\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Room 0.2.15<\/p>\n

Board Meeting (Agenda will be sent later, but will include a short statement from all Work-package leaders)<\/p>\n

19.00\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Dinner at Sohngaardsholm Castle<\/p>\n

<\/strong><\/p>\n

Wednesday March 21 (room 0.2.90)<\/h1>\n

9.00- 10.00\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 He Jifeng: To be announced<\/em><\/p>\n

10.00-10.45\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Tool Prototypes 1<\/strong><\/p>\n

Mads\u00a0Christian\u00a0Olesen,\u00a0Andreas\u00a0Dalsgaard:\u00a0OPAAL\u00a0and\u00a0LTSMin<\/p>\n

10.45-11.15\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Coffee<\/strong><\/p>\n

11.15-12.45\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Tool Prototypes 2<\/strong><\/p>\n

Peter\u00a0Bulychev:\u00a0Timed\u00a0Games\u00a0in\u00a0Phyton
\n(with Alexandre David, Kim G Larsen, Jean-Francois Raskin, Gilles Geeraerts,\u00a0..)<\/p>\n

Benoit\u00a0Delahay:\u00a0Specification\u00a0Theories\u00a0for\u00a0Stochastic\u00a0Systems<\/p>\n

Zhang\u00a0Zhangkui:\u00a0Distributed\u00a0Model\u00a0Checking\u00a0with\u00a0MapReduce
\n(with\u00a0Keiji\u00a0Heljanko)<\/p>\n

12.45-13.45\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 LUNCH<\/strong><\/p>\n

13.45-14.45\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Specification and Modeling Formalisms 3<\/strong><\/p>\n

Jiri Srba: Multi-weighted Modal Transition Systems<\/p>\n

14.45-15.15\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Coffee<\/strong><\/p>\n

15.15-16.15\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Validation and Analysis Techniques 2<\/strong><\/p>\n

Alexandre David, Dehui Du, Marius Mikucionis, Kim G Larsen:\u00a0 Evaluation of Climate Controllers using UPPAAL SMC<\/p>\n","protected":false},"excerpt":{"rendered":"

1st IDEA4CPS General Meeting, March 19-21, Aalborg University, Denmark<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-433","post","type-post","status-publish","format-standard","hentry","category-news"],"_links":{"self":[{"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/posts\/433","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=433"}],"version-history":[{"count":2,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/posts\/433\/revisions"}],"predecessor-version":[{"id":435,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/posts\/433\/revisions\/435"}],"wp:attachment":[{"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=433"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=433"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=433"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}