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.


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
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.

Comments are closed.