Third International Workshop on Software Engineering for

Cyber-Physical-Social Systems 2018

in Hakone (CPSS-2018-Hakone)

20-22 December 2018
Hakone, Japan

The Workshop

As the Internet of Things becomes part of our every day lives, forming a complex system that spans across digital, physical and social boundaries, there are significant challenges to engineering the software that forms the core of these cyber-physical-social systems. These include:

  • Dynamic composition and evolution of systems of systems

  • Ensuring security, privacy and trust

  • Enabling M2M, M2P and P2P collaboration (M=machine; P=person)

  • Knowledge representation and reasoning techniques

  • Human factors relating to the design, construction and use of CPSSs

  • Transparency engineering for CPSSs

  • CPSSs for Smart-City/Home/Building

  • Dependable Machine-learning based Systems

  • Adaptive systems

  • Analytical methods for design and construction of CPSSs

The workshop brings together a community of software engineers whose work relates to the above challenges, with the aim of exploring potential research directions and collaborations.



Thursday 20 December 2018

15:30-18:00 Registration

20:00-22:00 Reception & Self-Introduction

Friday 21 December 2018

9:00-10:00    Opening and Keynote

Keynote Title: "Engineering Adaptive IoT", Marin Litoiu, York University

Chair: Nobukazu Yoshioka


10:00-10:30    Coffee Break


10:30-12:00    Session 1: 3 presentations x 20 min. + discussion x 30 min.

Chair: Feng Chen

  • Amel Bennaceur, Synthesis for Cyber-Physical Systems

  • Paolo Arcaini, ASM-based design and verification of self-adaptive systems

  • Kenji Tei, Assured Graceful Degradation by Models@run.time


12:00-13:30    Lunch

13:20-13:30    Taking Group Photos


13:30-15:00    Session 2: 3 presentations x 20 min. + discussion x 30 min.

Chair: Tsutomu Kobayashi

  • Ezequiel Castellano, A Qualitative Approach to compare Qualitative Controllers

  • Xiao-Yi Zhang, Testing Intelligence Systems from the Perspective of Validation

  • Feng Chen, On requirements engineering for machine learning systems: a brief literature review


15:00-15:30    Coffee Break


15:30-17:00    Session 3: 3 presentations x 20 min. + discussion x 30 min.

Chair: Paolo Arcaini

  • Kazuya Aizawa, Analysis space reduction for identifying guaranteeable safety property of reactive systems

  • (Cancelled: Takafumi Komoto, Assessing Business Processes by Checking Transaction Documents)

  • Tsutomu Kobayashi, Adaptation of Multi-Layered Formal Specifications

  • Hausi A. Muller, Towards "Ikigai" using Adaptive Control in Intelligent Cyber-Physical-Social Systems


18:00-20:00    Dinner


20:00-22:00    Night session & Steering Committee

Saturday 22 December 2018

09:00-10:30    Session 4: 3 presentations x 20 min. + discussion x 30 min.

Chair: Amel Bennaceur

  • Moeka Tanabe, Differential learning environment model at runtime for self-adaptive systems.

  • Nobukazu Yoshioka, Security on Machine Learning-based Systems in a Smart-city

  • Fuyuki Ishikawa, Testing for Dependable (Autonomous) Automotive Systems


10:30-11:00    Discussion & Closing

Chair: Bashar Nuseibeh


11:00-12:00    Coffee Break


12:00-13:30    Lunch (optional)


13:30-17:00    Excursion (optional)


Keynote Speaker

Marin Litoiu

PhD, PEng

Associate Professor
Electrical Engineering and Computer Science, Lassonde School of Engineering
School of Information Technology, LAPS

Short Bio. Marin Litoiu is Associate Professor in the Department of Electrical Engineering and Computer Science and in the School of Information Technology, York University. He leads the Adaptive Software Research Lab and focuses on making large software systems more versatile, resilient, energy-efficient, self-healing and self-optimizing. His research won many awards including the IBM Canada CAS Research Project of the Year Award,  the IBM CAS Faculty Fellow of the Year Award for his “impact on IBM people, processes and technology,” three Best Paper Awards and one Most Influential Paper Award.  Prior to joining York University, Dr. Litoiu was a Research Staff member with the Centre for Advanced Studies in the IBM Toronto Lab where he led the research programs in software engineering and autonomic computing. He received the Canada NSERC Synergy Award for Innovation in recognition for these collaborative university/industry activities. He was also recipient of the IBM Outstanding Technical Contribution Award for his research vision on Cloud Computing. Dr. Litoiu   is one of the founders of the SEAMS Symposium series—ACM/IEEE Software Engineering for Adaptive and Self-Managing Systems and the Chair of the SEAMS Steering Committee. He has been the General Chair of SEAMS in 2013, and also serves on the steering committees of IEEE MESOCA and CASCON.  Dr. Litoiu is also member of IEEE CS Conference Advisory Committee and Vice-chair of IEEE Technical Council on Software Engineering.



Proud to bring inspirational researchers from across the globe
  • Kazuya Aizawa (Waseda University, Japan)

  • Paolo Arcaini (National Institute of Informatics, Japan)

  • Amel Bennaceur (the Open University, UK)

  • Feng Chen (National Institute of Informatics, Japan)

  • Castellano Ezequiel (SOKENDAI, Japan)

  • Shinichi Honiden (Waseda University, Japan)

  • Fuyuki Ishikawa (National Institute of Informatics, Japan)

  • Jeff Krammer (Imperial College London, UK)

  • Tsutomu Kobayashi (National Institute of Informatics, Japan)

  • Takafumi Komoto (National Institute of Informatics, Japan)

  • Marin Litoiu (York University, Canada)

  • Hausi A. Muller (University of Victoria, Canada)

  • Bashar Nuseibeh (the Open University, UK / Lero, Ireland)

  • Kenji Tei (Waseda University, Japan)

  • Moeka Tanabe (Waseda University, Japan)

  • Nobukazu Yoshioka (National Institute of Informatics, Japan)

  • Xiaoyi Zhang (National Institute of Informatics, Japan)



  • General: 50,000 JPY (Full), 35,000 JPY (Two Days)

  • Student: 35,000 JPY (Full), 17,000 JPY (Two Days)


Full attendance fee includes a shared room, two breakfasts, a lunch for 21 December and dinners for two nights. One day fee including breakfast and dinner is 15,000 JPY for a general and 13,000 JPY for a student. Please pay for the fee at the registration desk at the venue in cash. Single use of a room requires an extra-charge of 26,000 JPY for two nights.


Please register for your information with the registration form and for optional lunch and an excursion.


  • General Chair: Bashar Nuseibesh (the Open University, UK / Lero, Ireland )

  • PC Co-Chairs:

    • Nobukazu Yoshioka (National Institute of Informatics, Japan), 

    • Feng Chen (National Institute of Informatics, Japan)

  • Local Arrangement Co-Chairs: 

    • Kazuya Aizawa (Waseda University, Japan)

    • Moeka Tanabe (Waseda University, Japan)

  • Steering Committee:

    • Zhenjiang Hu (National Institute of Informatics, Japan)

    • Jeff Krammer (Imperial College London, UK)

    • Carlo Ghezzi (Politecnico di Milano, Italy)

    • Shinichi Honiden (Waseda University,Japan)

    • Bashar Nuseibesh (the Open University, UK / Lero, Ireland )


Workshop Venue



Yumoto Fujiya Hotel, Hakone-Yumoto, Kanagawa (one hour from Tokyo station)



nobukazu at NII

Sponsored by

  • grace_en
  • GRACE_logo_eng

Proudly created with

This site was designed with the
website builder. Create your website today.
Start Now