Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with ICSE 2021
ICSE 2021 (series) / FormaliSE 2021 (series) / Clowdr /

Room information: SERP4IoT Room

VenueClowdr
Room nameSERP4IoT Room
Room InformationNo extra information available
Program

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

Thu 3 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:15 - 14:30
OpeningSERP4IoT at SERP4IoT Room
14:30 - 15:00
Social eventSERP4IoT at SERP4IoT Room
15:00 - 16:00
KeynoteSERP4IoT at SERP4IoT Room
Chair(s): Rodrigo Morales Concordia University
15:00
60m
Keynote
Model-driven Engineering for Industrial IoT Architectures
SERP4IoT
Jordi Cabot ICREA - UOC
16:15 - 18:15
ModellingSERP4IoT at SERP4IoT Room
Chair(s): Rodrigo Morales Concordia University
16:15
25m
Talk
A Language for Modelling False Data Injection Attacks in Internet of Things
SERP4IoT
Mathieu Briland University of Bourgogne Franche-Comté, Fabrice Bouquet University of Bourgogne Franche-Comté
16:40
20m
Talk
Model-driven Development for ESP based IoT Systems
SERP4IoT
Burak Karaduman University of Antwerp, Moharram Challenger University of Antwerp
17:00
25m
Talk
Understanding the Context of IoT Software Systems in DevOps
SERP4IoT
Igor Pereira University Federal of Ouro Preto, Tiago Carneiro University Federal of Ouro Preto, Eduardo Figueiredo Federal University of Minas Gerais, Brazil
Pre-print
17:25
25m
Talk
Analysis of IoT Pattern Descriptions
SERP4IoT
Hironori Washizaki Waseda University, Atsuo Hazeyama Tokyo Gakugei University, Takao Okubo Institute of Information Security, Hideyuki Kanuka Hitachi, Ltd., Shinpei Ogata Shinshu University, Nobukazu Yoshioka Waseda University, Japan
17:50
25m
Talk
Evaluating Architectural Debt of IoT Projects
SERP4IoT
Francesca Arcelli Fontana University of Milano - Bicocca, Ilaria Pigazzini University of Milano-Bicocca
18:30 - 19:15
StudyingSERP4IoT at SERP4IoT Room
Chair(s): Rubén Saborido University of Malaga
18:30
20m
Talk
Industry 4.0 Middleware Software Architecture Interoperability Analysis
SERP4IoT
Sune Chung Jepsen University of Southern Denmark, SDU, Torben Worm University of Southern Denmark, Jakob Hviid University of Southern Denmark, Thomas Ingemann Mørk University of Southern Denmark, SDU Software Engineering
18:50
25m
Talk
Security and Machine Learning Adoption in IoT: A Preliminary Study of IoT Developer Discussions
SERP4IoT
Gias Uddin University of Calgary, Canada
19:15 - 20:05
ApplyingSERP4IoT at SERP4IoT Room
Chair(s): Shah Rukh Humayoun San Francisco State University
19:15
25m
Talk
Empowering Visual Internet-of-Things Mashups with Self-Healing Capabilities
SERP4IoT
João Pedro Dias INESC TEC, André Restivo University of Porto, Hugo Sereno Ferreira FEUP, University of Porto
Pre-print
19:40
25m
Talk
RiverIoT - A Framework Proposal for Fuzzing IoT Applications
SERP4IoT
Ciprian Paduraru University of Bucharest, Rares Cristea University of Bucharest, Eduard Staniloiu University of Politehnica Bucharest
20:05 - 20:10
ClosingSERP4IoT at SERP4IoT Room

Thu 3 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room14:003015:003016:003017:003018:003019:003020:0030
SERP4IoT Room

SERP4IoT

Opening

SERP4IoT

Social event

SERP4IoT

Keynote

SERP4IoT

Modelling

SERP4IoT

Studying

SERP4IoT

Applying

SERP4IoT

Closing

Thu 3 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room15:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
SERP4IoT Room
SERP4IoT
Model-driven Engineering for Industrial IoT Architectures
15:00 - 16:00
SERP4IoT
A Language for Modelling False Data Injection Attacks in Internet of Things
16:15 - 16:40
SERP4IoT
Model-driven Development for ESP based IoT Systems
16:40 - 17:00
SERP4IoT
Understanding the Context of IoT Software Systems in DevOps
17:00 - 17:25
SERP4IoT
Analysis of IoT Pattern Descriptions
17:25 - 17:50
SERP4IoT
Evaluating Architectural Debt of IoT Projects
17:50 - 18:15
SERP4IoT
Industry 4.0 Middleware Software Architecture Interoperability Analysis
18:30 - 18:50
SERP4IoT
Security and Machine Learning Adoption in IoT: A Preliminary Study of I ...
18:50 - 19:15
SERP4IoT
Empowering Visual Internet-of-Things Mashups with Self-Healing Capabilities
19:15 - 19:40
SERP4IoT
RiverIoT - A Framework Proposal for Fuzzing IoT Applications
19:40 - 20:05