GRACE Workshop on Software Engineering for Cyber-Physical-Social System 2017
19 December 2017
12F Conference Room (Room 1210), National Institute of Informatics
Attendance at this workshop is by invitation only.
Program
08:30- Registration open
09:00-10:00 Opening Remarks by Prof Zhenjiang Hu (National Institute of Informatics) / Lighting Introductions for All Attendees
10:00-10:20 Coffee Break
10:20-11:20 full talk session (20 min * 3 talks), Chair: Kenji Tei (National Institute of Informatics)
- “Synthesis for Cyber-Physical Systems” [Poster], Amel Bennaceur (The Open University)
- “Formal Guarantees in Adaptable Systems”, Paul Harvey (National Institute of Informatics)
- “Engineering Forensic-ready Systems” [Poster], Liliana Pasquale (University College Dublin / Lero)
11:20-11:30 short break
11:30-12:45 short talk session (15 min * 5 talks), Chair: Yijun Yu (The Open University)
- “Models@run.time for Self-adaptive Systems: A Controller Synthesis-based Approach” [Poster], Kenji Tei (National Institute of Informatics)
- “Feature Centric Requirements Modelling and Reuse”, Haiyan Zhao (Peking University)
- “A Qualitative Approach for Reactive Controller Synthesis for Reachability Goals with Lower Latency Preference” [Poster],
Ezequiel Castellano (SOKENDAI/National Institute of Informatics) - “Compliance and Transparency”, Jesus Garcia Galan(Lero)
- “Transparency Requirements Elicitation for Compliance” [Poster], Nobukazu Yoshioka(National Institute of Informatics)
12:45-14:00 Lunch / Poster Session
14:00-15:00 Keynote Talk: “Self-adaptive Systems in the Era of Virtualisation”, Luciano Baresi (Politecnico di Milano)
15:00-15:30 Coffee Break
15:30-16:30 Full talk session (20 min * 3 talks), Chair: Fuyuki Ishikawa (National Institute of Informatics)
- “Towards Flexible Refactoring of Formal Specification Refinement”, Tsutomu Kobayashi (National Institute of Informatics)
- “Repairing Flawed Test Cases by Focusing on Software Release”, Yuta Maezawa (National Institute of Informatics)
- “Human-centric Software Engineering for Smart Systems”, Arosha Bandara (The Open University)
16:30-16:40 short break
16:40-17:40 Short talk session, Chair: Arosha Bandara (The Open University)
- “On Modeling and Verification of Cyber-Physical Spaces”, Christos Tsigakanos (Politecnico di Milano)
- “ERATO-MMSD Project: Heterogeneous Approaches to CPS Verification” [Poster], Fuyuki Ishikawa(National Institute of Informatics)
- “Control Theory for Autonomous Systems”, Nicolas D’Ippolito(Buenos Aires University)
- “Meaningful Changes in Live Blackboxes”, Yijun Yu (The Open University)
- “RiskTrack : Detecting Violent Radicalisation Risks on Social Networks”, Mahmoud Barhamgi (Université Claude Bernard Lyon 1)
17:40-17:50 Closing remarks by Prof Bashar Nuseibeh (The Open University/Lero)
18:30-20:00 Social Dinner at Sushi-masa
Keynote speaker: Professor Luciano Baresi (Politecnico di Milano)
Title: Self-adaptive Systems in the Era of Virtualisation
Biography:
Luciano Baresi is a full professor at the Politecnico di Milano – Dipartimento di Elettronica, Informazione e Bioingegneria, where he earned both his laurea (master) degree and PhD in computer science. Luciano was visiting professor at University of Oregon (USA) and visiting researcher at University of Paderborn (Germany). Luciano was program chair for ICECCS02, FASE06, ICWE07, ICSOC09, SEAMS12 and ESEC/FSE13, and general chair for WICSA/CompArch16. He is also member of the editorial board of ACM Transactions on Autonomous and Adaptive Systems, IEEE Transactions on Services Computing, EAI Endorsed Transactions on Cloud Systems, EPiC Series in Computer Science, Springer Requirements Engineering, and International Journal of Cooperative Information Systems. Luciano has co-authored more than 130 papers. Some of his works appeared on top-level journals/magazines like ACM Transactions on Software Engineering and Methodology, IEEE Transactions on Software Engineering, IEEE Computer, IEEE Software, and IEEE Internet Computing. He has also co-authored a book in Italian. His research interests are in the broad area of software engineering. At the beginning he was interested in formal approaches for modeling and specification languages, he then moved to UML and the design of Web applications. Currently, he is interested in distributed systems, service-based applications and in the different aspects of mobile, self-adaptive, and pervasive software systems. His research has always been funded by participating in national and international projects. Among these, Luciano was responsible of the activities at Politecnico for the following EU-supported projects: MOMOCS, SLA@SOI, MADES, and Indenica.