FormaliSE 2026
Sun 12 - Mon 13 April 2026 Rio de Janeiro, Brazil
co-located with ICSE 2026
ICSE 2026 (series) / FormaliSE 2026 (series) / Windsor Convention Center and Hotels /

Room information: Capri I

VenueWindsor Convention Center and Hotels
Room nameCapri I
Floor0
Room InformationNo extra information available
Program

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sat 18 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 10:30
KeynoteSERP4IoT at Capri I
09:00
90m
Keynote
TBA
SERP4IoT

11:00 - 12:30
Digital Twins and Domain Specific LanguagesSERP4IoT at Capri I
11:00
20m
Full-paper
Cross-Organizational Data Governance for Industrial Digital Twins Using Blockchain and IPFS
SERP4IoT
Jules Martial Yin-belta Mbara University of Quebec at Chicoutimi, Fehmi Jaafar Université du Québec à Chicoutimi, Pierre-Martin Tardif Université de Sherbrooke
11:20
20m
Full-paper
Enabling Digital Twins in Built Environments with Object-Oriented Models
SERP4IoT
Peter Yefi Concordia University, Reiner Braun Reutlingen University, Philipp Regel Open Science for Open Societies, Ramanunni Parakkal Menon Institute for Solar Research, German Aerospace Centre, Ursula Eicker Concordia University
11:40
20m
Full-paper
End-to-End Building Model Generation and Validation with CITYdata and MetamEnTh
SERP4IoT
Sikandar Ejaz Concordia University, Peter Yefi Concordia University, Ursula Eicker Concordia University, Oriol Gavalda Concordia University
12:00
20m
Full-paper
Preliminary Usability Experimentation of a Pattern-Driven Middleware for IoT Data Processing in Research Environments
SERP4IoT
Zongo Meyo Concordia University, Gabriel C. Ullmann Concordia university, Oriol Gavalda Concordia University
12:20
10m
Short-paper
From Robotic to IoT Systems: Exploring the Reuse of a Robotic Orchestration DSL in the IoT domain
SERP4IoT
Felipe Xavier TU Eindhoven, Loek Cleophas Eindhoven University of Technology (TU/e) and Stellenbosch University (SU), Michel Chaudron Eindhoven University of Technology, The Netherlands
14:00 - 15:30
Domain Specific Languages and Energy ConsiderationsSERP4IoT at Capri I
14:00
20m
Full-paper
ObsAct: a Programming Model for Opportunistic IoT Applications using the Mobile-Hub
SERP4IoT
Felipe Carvalho Pontifícia Universidade Católica do Rio de Janeiro, Vitor Pinheiro Pontifícia Universidade Católica do Rio de Janeiro, Markus Endler PUC-Rio, Francisco José da Silva e Silva Universidade Federal do Maranhão
14:20
10m
Short-paper
Foundations for Multi-Logic Modelling and Supervision of Cyber–Physical IoT Agents
SERP4IoT
Burak Karaduman University of Antwerp, Moharram Challenger University of Antwerp
14:30
20m
Full-paper
Towards Holistic IoT Systems Profiling: Integrating Energy Consumption with Performance Metrics using SPECTRA
SERP4IoT
Rushin Dipak Makwana Concordia University, Montreal, Canada
14:50
20m
Full-paper
The Energy Consumption Graph: A Model-Driven Architecture for IIoT-based Industrial Energy Auditing
SERP4IoT
Liya Elizabeth Koshy Purdue University, Dr. Stanley Yung-Ping Chien Purdue University, Dr. Jie Chen Purdue University, Dr. Da-Chun Wu Purdue University
15:10
20m
Full-paper
BLISS: A Visual Modeling Notation for Engineering Energy-Harvesting IoT Systems
SERP4IoT
Adriano Branco Pontifícia Universidade Católica do Rio de Janeiro, João Pedro Coutinho Pontifícia Universidade Católica do Rio de Janeiro, Markus Endler PUC-Rio
16:00 - 17:30
Development Support and Engineering & Reverse-engineeringSERP4IoT at Capri I
16:00
10m
Short-paper
Bootstrapping IoT Provisioning with PoMA
SERP4IoT
Federico Balaguer Stream S.A., Lucas Gutierrez Stream S.A.
16:10
20m
Full-paper
A Hybrid AHP-TOPSIS Approach for Selecting Message Brokers in IoT Applications
SERP4IoT
Mahdi Turki École de technologie supérieure, Ghizlane El Boussaidi École de Technologie Supérieure, Imen Benzarti Software and Information Technology Engineering Department, École de Technologie Supérieure, Ikram Darif University of Ottawa, Hafedh Mili Université du Québec à Montréal
16:30
10m
Short-paper
When Code Meets Things: The FLOSS Side of IoT Systems
SERP4IoT
Igor Pereira Federal University of Ouro Preto, Tiago Carneiro University Federal of Ouro Preto, Eduardo Figueiredo Federal University of Minas Gerais
16:40
20m
Full-paper
Towards moving target defense for IoT malware detection
SERP4IoT
Ita Ryan University College Cork, Luke Kurlandski Rochester Institute of Technology, Nate Mathews Rochester Institute of Technology
17:00
20m
Full-paper
Reverse Engineering and Control-Aware Security Analysis of the ArduPilot UAV Framework
SERP4IoT
Yasaswini Konapalli University of North Texas, Lotfi ben Othmane University of North Texas, Cihan Tunc University of North Texas, USA, Feras Benchellal University of North Texas, Likhita Mudagere Shivaraj University of North Texas
17:20
10m
Short-paper
A Visual Block Programming Environment for Home Assistant: A Progress Report
SERP4IoT
Mi-Hyeon Seo Chonnam National University, Hyeon-Ah Moon Chonnam National University, Kwanghoon Choi Chonnam National University, Seungchan Park IGLOO Corp., Byeong-Mo Chang

Tue 14 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Capri I

ICSE Doctoral Symposium

ICSE Doctoral Symposium

ICSE Doctoral Symposium

ICSE Doctoral Symposium

Sat 18 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Capri I

SERP4IoT

Keynote

SERP4IoT

Digital Twins and Domain Specific Languages

SERP4IoT

Domain Specific Languages and Energy Considerations

SERP4IoT

Development Support and Engineering & Reverse-engineering

Sat 18 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Capri I
SERP4IoT
TBA
09:00 - 10:30
SERP4IoT
Cross-Organizational Data Governance for Industrial Digital Twins Using ...
11:00 - 11:20
SERP4IoT
Enabling Digital Twins in Built Environments with Object-Oriented Models
11:20 - 11:40
SERP4IoT
End-to-End Building Model Generation and Validation with CITYdata and M ...
11:40 - 12:00
SERP4IoT
Preliminary Usability Experimentation of a Pattern-Driven Middleware fo ...
12:00 - 12:20
SERP4IoT
From Robotic to IoT Systems: Exploring the Reuse of a Robotic Orchestra ...
12:20 - 12:30
SERP4IoT
ObsAct: a Programming Model for Opportunistic IoT Applications using th ...
14:00 - 14:20
SERP4IoT
Foundations for Multi-Logic Modelling and Supervision of Cyber–Physical ...
14:20 - 14:30
SERP4IoT
Towards Holistic IoT Systems Profiling: Integrating Energy Consumption ...
14:30 - 14:50
SERP4IoT
The Energy Consumption Graph: A Model-Driven Architecture for IIoT-base ...
14:50 - 15:10
SERP4IoT
BLISS: A Visual Modeling Notation for Engineering Energy-Harvesting IoT ...
15:10 - 15:30
SERP4IoT
Bootstrapping IoT Provisioning with PoMA
16:00 - 16:10
SERP4IoT
A Hybrid AHP-TOPSIS Approach for Selecting Message Brokers in IoT Appli ...
16:10 - 16:30
SERP4IoT
When Code Meets Things: The FLOSS Side of IoT Systems
16:30 - 16:40
SERP4IoT
Towards moving target defense for IoT malware detection
16:40 - 17:00
SERP4IoT
Reverse Engineering and Control-Aware Security Analysis of the ArduPilo ...
17:00 - 17:20
SERP4IoT
A Visual Block Programming Environment for Home Assistant: A Progress R ...
17:20 - 17:30