Organisers: Assoc. Prof. Volker Stolz (HVL), Prof. Zhiming LIU (RISE, Southwest University (SWU), Chongqing, China)
Location: HVL, Campus Kronstad
Supported by the SIU project “Methods and Tool Support for Refinement, Model Transformation and Verification of Network Systems”.
Guest speakers:
- Prof. Zhiming Liu (RISE/SWU)
- Prof. Martin Leucker (Univ. Lübeck, Germany)
- Dr. Bo Liu (SWU)
- Dr. Hengjun Zhao (SWU)
- Dr. Xia Zeng (SWU)
Further lecturers:
- Prof. Lars Michael Kristensen (HVL)
- Prof. Yngve Lamo (HVL/HUS)
- Assoc.Prof. Volker Stolz (HVL)
- Assoc.Prof. Violet Ka I Pun (HVL/UIO)
- Assoc.Prof. Adrian Rutle (HVL)
- Dr. Svetlana Jaksic (HVL)
- Dr. Dan Li (HVL/Guizhou Academy of Sciences)
Agenda:
Monday (26 Feb) | ||
Room B313 |
10:00-10:15 | Welcome by Zhiming Liu and Volker Stolz |
10:15-11:00 | Relation method of programming: a relational semantics that unifies Hoare Logic, Predicate Transformer and UTP Zhiming Liu (SWU) |
|
11:00-11:30 | Coffee break | |
11:30-12:15 | Hardware-assisted data race detection with COEMS Svetlana Jaksic (HVL) |
|
12:15-14:00 | Lunch | |
Room B313 |
14:00-14:45 | MOVED (to Tuesday 14:00 – 14:45) Basic concepts of LLVM Dan Li (HVL) |
14:00-14:45 | MOVED from Tuesday 14:00 – 14:45 Linking Theories of Modelling for Intelligent Cyber-Physical Systems Zhiming Liu, Centre for Research and Innovation in Software Engineering (RISE) |
|
14:45-15:30 | Initial Modelling and validation of the JAliEn Grid middleware Maksim Melnik Storetvedt (HVL) |
|
15:30-16:00 | Short presentations by Master students Kang Chen, Yukun Zhang (SWU) |
|
16:00-18:00 | Free time | |
18:00- | Social dinner |
Tuesday (27 Feb) | ||
Room B313 |
09:30-10:15 | Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol Lars Michael Kristensen (HVL) |
10:15-10:45 | Coffee break | |
10:45-11:30 | Modelling and validation of the MQTT protocol for machine-to-machine communication Alejandro Rodriguez Tena (HVL) |
|
11:30-12:15 | Model-based Test-Case Generation with Coloured Petri Nets Rui Wang (HVL) |
|
12:15-14:00 | Lunch | |
Room B313 |
14:00-14:45 | MOVED (to Monday 14:00 – 14:45) Department Seminar Zhiming Liu, Centre for Research and Innovation in Software Engineering (RISE) |
14:00-14:45 | MOVED from Monday 14:00 – 14:45 Basic concepts of LLVM Dan Li (HVL) |
|
14:45-15:30 | Model-coverage for Coloured Petri Net models Faustin Ahishakiye (HVL) |
|
15:30-16:15 | Darboux-type Barrier Certificates for Safety Verification of Nonlinear Hybrid Systems Xia Zheng (SWU) |
Wednesday (28 Feb) | ||
Room B313 |
09:30-10:30 | Automatic Evolution of Transformation Rules Adrian Rutle (HVL) |
10:30-10:45 | Coffee break | |
10:45-11:30 | Multilevel-Modelling and Transformations with MultEcore; Rearchitecting Models Fernando Macías (HVL) |
|
11:30-12:15 | Modelling and abstraction of the Machine Learning Domain Angela Barriga Rodriguez (HVL) |
|
12:15-14:00 | Lunch | |
Room B313 | 14:00-14:45 | API/Client Co-Evolution Anna M. Eilertsen (UIB) |
14:45-15:30 | Invariant Generation and Safety Verification for Hybrid Systems Hengjun Zhao (SWU) |
|
15:30-15:45 | Coffee break | |
15:45-16:30 | A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches Violet Ka I Pun (HVL) |
|
16:30-17:00 | Short presentations by Master students Roy Nesbø (HVL), Xiao Qin (SWU) |
Thursday (1 Mar) | ||
Room B313 |
09:30-10:30 | Specification Languages Martin Leucker (U. Lübeck) |
10:30-10:45 | Coffee break | |
10:45-11:30 | TBA Yngve Lamo (HVL) |
|
11:30-12:15 | The role of Ontology in Data Mining Fazle Rabbi (HVL) |
|
12:15-14:00 | Lunch | |
Room TBA |
14:00- | Research Meeting HVL/RISE |
Friday (2 Mar) | ||
Room B313 | 09:30-10:30 | Temporal Logics Volker Stolz (HVL) |
10:30-10:45 | Coffee break | |
10:45-11:30 | QoS-aware Service Composition and Recommendation Bo Liu (SWU) |
|
11:30-12:15 | Multimodel Correspondence through Inter-Model Constraints Patrick Stünkel (HVL) |
|
12:15-12:30 | Closing Zhiming Liu, Volker Stolz |
|
12:30-14:00 | Lunch |
Past event: BeChong Summer School, Chongqing, October 2017