SESS 2023: The 7th IEEE International Workshop on Software Engineering for Smart Systems

Technical Program

*= in-person presentation in Torino

Mobile Appication Based Solution for Building Accessibility Assessment for Comprehensive and Personalized Assessment
Sayeda Farzana Aktar, Shiyu Tian, Kazi Shafiul Alam, Mason Dennis Drake, Laryn Michele O’Donnell, Roger O Smith and Sheikh Iqbal Ahamed

A Rigorous Iterative Analysis Approach for Capturing the Safety Requirements of Self-Driving Vehicle Systems*
Fahad Alotaibi, Thai Son Hoang and Michael Butler

Towards the formal Analysis of UML Activity Diagrams in a Calculus of Context-aware Ambients*
Francois Siewe

Monitoring the Energy Consumption of Docker Containers
Mehul Warade, Kevin Lee, Chathu Ranaweera and Jean-Guy Schneider

A User Behaviour-Based Video Segmentation Strategy for High-Concurrency Environment
Danning Shen, Wenhao Zhu, Yujie Ding and Chenyun Liu

An Empathetic Approach to Human-Centric Requirements Engineering Using Virtual Reality
Nicholas Chong, Emmanuel Chu, Adrian Nadonza, Sienna Marie Rodriguez, Sothearith Tith, Jin Shan, John Grundy, Thuong Hoang, Owen Wang and Ben Cheng

Goal of the workshop: 

The aim of this workshop is to provide a forum for researchers, practitioners and developers to share their experiences and discuss the latest advances and innovations in software engineering with application to the development of smart systems. 

Workshop theme: 

Smart systems are those that are able to sense their environment context and adapt their behavior as the context changes in order to provide appropriate services to the user anytime anywhere. The Internet of Things (IoT) is an enabling technology for smart systems as it makes it possible to turn any object into a smart thing, able to sense its current situation, adapt to new situation and communicate with other smart things. There are a growing number of applications emerging from the IoT technology to include cyber-physical systems, smart homes, smart healthcare, intelligent transportation, and smart cities. Software will form a critical part of these systems to provide reliable and efficient smart services. However, developing software for smart systems is challenging due to a number of reasons: they are highly distributed; large scale; network nodes are heterogeneous; involve resource constrained mobile devices; and requirements are not fixed but change frequently. Thus, traditional methods for requirement engineering, system design, testing and verification are no longer adequate. New approaches are required to cater for changing system requirements, context–awareness, mobility and smart adaptation to changing context. 

Scope of the workshop: 

The workshop topics include but are not limited to the following: 

  • Requirement engineering for smart systems 
  • Model-driven engineering for smart systems 
  • Testing of smart systems 
  • Formal specification and verification of smart systems 
  • Cloud computing 
  • Internet of Things 
  • Context-aware and adaptive systems 
  • Mobile computing 
  • Pervasive/Ubiquitous computing 
  • Intrusion detection systems 
  • Security and privacy of smart systems 
  • Cyber physical systems 
  • Real-time control systems and robotics 
  • E-learning and smart educational systems

Paper Templates


IEEE Paper templates are available in MS Word 2003 and LaTex. All submissions must use US 8.5×11 letter page format.

Important Dates


Main Conference/Symposium
Main conference/symposium papers due: 15 January 2023
Extended to 15 February 2023
Notification: 7 April 2023
Camera-ready and registration due: 7 May 2023 Updated: 18 May 2023

Journal then Conference Submissions
Due date: April 7, 2023
Notifications: April 30, 2023

Workshops, Fast Abstract, SRS Programs
EXTENDED: Workshop papers due: 21 April 2023
UPDATED: Notifications: 7 May 2023
UPDATED: Camera-ready and registration due: Updated: 18 May 2023

Submission Link


Please submit your paper on EasyChair

IEEE Conference Publishing Policies


All submissions must adhere to IEEE Conference Publishing Policies.

IEEE Cross Check


All submission will be screened for plagiarized material through the IEEE Cross Check portal.

Workshop Organizers

Francois Siewe, De Montfort University, Leicester, UK
Email: fsiewe@dmu.ac.uk 

Sofia Meacham, Bournemouth University, Bournemouth, UK
Email: smeacham@bournemouth.ac.uk 

Shikun Zhou, University of Portsmouth, Portsmouth, UK
Email: shikun.zhou@port.ac.uk 

Vasileios Germanos, De Montfort University, Leicester, UK
Email: vasileios.germanos@dmu.ac.uk 

Program Committee

Thai Son Hoang

Sofia Meacham

Kirill Bogdanov

Arosha Bandara

Ali Jwaid

David Smallwood

Waltenegus Dargie

Shikun Zhou

Francisco Aparicio-Navarro

Phan Cong Vinh

Stefan Kuhn

Esther Palomar

Zhu Huibiao

Timothy A. Chadza

Emanuele Lido Secco

Wen Zeng

Qiyi Tang

Leandros Maglaras

Dimitris Kosmanos

Xiaodong Liu

Fudong Li

Xin Lu