Monday (Nov 22) Tuesday (Nov 23) Wednesday (Nov 24) Thursday (Nov 25)
08:30 – 09:00     Opening Ceremony    
09:00 – 09:30   Industry Track Main Track Main Track WSENSING
09:30 – 10:00  
10:00 – 10:30  
10:30 – 11:00   Break Break Break Break
11:00 – 11:30   Painel: Mulheres Inspiradoras K1 K3 K5
11:30 – 12:00  
12:00 – 12:30   Break Break Break
12:30 – 13:00   Break
13:00 – 13:30  
13:30 – 14:00   Tutorial STAMP WAFERS SAFELIFE
14:00 – 14:30  
14:30 – 15:00  
15:00 – 15:30   Break Break Break Break
15:30 – 16:00   Tutorial STAMP K4 Best Paper Awards
16:00 – 16:30   LADC PC Meeting
16:30 – 17:00   WAFERS
17:00 – 17:30   Fast Abstracts K2  
17:30 – 18:00   Closing Ceremony
18:00 – 18:30       AGO CE-ESC +
SBESC PC Meeting
18:30 – 19:00  
19:00 – 19:30  
19:30 – 20:00  


Mattermost Videoconference YouTube


    Monday (Nov 22)
09:00 – 10:30   Industry Track
  Exploiting the SAT Revolution for Automated Software Verification: Report from an Industrial Case Study
  Lucas Cordeiro
  On the use of ontology-based integration architecture in Cemadens Natural Disaster Observational Network
  André Ivo, Sheila Granato, Fatima Mattiello-Francisco, Rogério Ishibashi
  A MDE Tool for Security Risk Assessment of Enterprises
  Enrico Schiavone, Nicola Nostro, Francesco Brancati
10:30 – 11:00   Break
11:00 – 12:30   Painel: Mulheres Inspiradoras: Trajetórias de Sucesso
  Caroline Concatto (Software Engineer at Arm-UK), Emilena Specht (Systems Engineer at MDA-Canada), Fabíola Greve (Professora Associada na UFBA), Flávia Maristela Santos Nascimento (Professora na IFBA)
12:30 – 13:30   Break
13:30 – 15:00   Tutorial: Self-healing Distributed Algorithms
  Dr. Amitabh Trehan (Durham University)
15:00 – 15:30   Break
15:30 – 17:00   Tutorial: Self-healing Distributed Algorithms
  Dr. Amitabh Trehan (Durham University)
17:00 – 18:00   Fast Abstracts
  Static Analysis Tools Applied to Smart Contracts
  Mirko Staderini, Andras Pataricza, Andrea Bondavalli
  Reliable Traffic Sign Recognition System
  Muhammad Atif, Andrea Ceccarelli, Andrea Bondavalli
    Tuesday (Nov 23)
08:30 – 09:00   Opening Ceremony
09:00 – 10:30   Main Track
  Chair: Odorico Mendizabal
  On the Performance of Using Parallel State Machine Replication to Implement Blockchains
  Aldenio Burgos, Eduardo Alchieri, Fernando Dotti
  Characterizing and Injecting Faults in Executable Models Specified with fUML
  Guilherme Wilson dos Santos Lopes, Leonardo Montecchi
  Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees
  Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Ahmad Zafar, Falak Sher
10:30 – 11:00   Break
11:00 – 12:00   K1: The Convergence of Safety and Security in Connected and Automated Vehicles

Sebastian Fischmeister (University of Waterloo)

Chair: Timo Hönig

12:00 – 13:30   Break
13:30 – 15:00   STAMP
  Chair: Celso Hirata
  CAST Applied to Covid-19 Pandemic in Brazil
  Evandro Bortoloto, Talitha Oliveira, Carlos Lahoz, Fernando Abrahão
  Applying STAMP to Support the Synthesis of Controller Logic considering Safety Concerns
  Braulio Horta, Juliana Bezerra, Celso Hirata
  A Systemic Approach to Aircraft System Supportability
  Carina Silva, Claudio Filho, Alexandre Pinto
15:00 – 15:30   Break
15:30 – 17:00   STAMP
  Chair: Carlos Lahoz
  Safety analysis of Brazilian suborbital launch operations based on system-theoretic approach
  Antonio Merladet, Rodrigo Silveira, Sergio Fugivara, Carlos Lahoz
  Cybersecurity in Aviation: the STPA-Sec Technique Applied to the Security of the TCAS.
  Mayara Salgado, Marcelo Sousa
17:00 – 18:00   K2: IoT and WSN for Health and Home Management

Subhas Chandra Mukhopadhyay (Macquarie University)

Chair: Yu Liu

    Wednesday (Nov 24)
09:00 – 10:30   Main Track
  Chair: Rogério de Lemos
  Fault injection platform for affordable verification and validation of CubeSats software
  David Paiva, José Marcelo, Raffael Lima, Manoel Carvalho, Fatima Mattiello-Francisco, Henrique Madeira
  Revocation Mechanisms for Blockchain Applications: A Review
  Fernando Vidal, Naghmeh Ivaki, Nuno Laranjeiro
  An Algorithm-Based Fault Tolerance Strategy for the Bitonic Sort Parallel Algorithm
  Edson Tavares de Camargo, Elias Duarte Jr.
  Feature Rankers to Predict Classification Performance of Unsupervised Intrusion Detectors
  Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli
10:30 – 11:00   Break / ESC Demos
11:00 – 12:00   K3: Fail-Stop Execution in Hostile Environments

Christof Fetzer (TU Dresden)

Chair: Andrey Brito

12:00 – 13:30   Break
13:30 – 15:00   WAFERS
  Chair: Tommaso Zoppi
  Towards the Formal Semantics of Scenario Tests for Autonomous Vehicles
  Kovács László, Oszkár Semeráth
  Towards Testing the UML PSSM Test Suite
  Márton Elekes, Zoltán Micskei
  Impact Assessment of IT Security Breaches in Cyber-Physical Systems
  András Földvári, Gergely Biczók, Imre Kocsis, László Gönczy, Andras Pataricza
  Demonstrator for dependable edge-basedcyber-physical systems
  Simon Nagy, Richárd Szabó, Máté Vajda, András Vörös
15:00 – 15:30   Break / ESC Demos
15:30 – 16:30   K4: Energy Efficient Distributed Embedded Systems

Jan Haase (University of Luebeck)

Chair: Leandro Becker

16:30 – 18:00   WAFERS
  Chair: Edson Tavares de Camargo
  Bitvector Support in the Theta Formal Verification Framework
  Mihály Dobos-Kovács, Akos Hajdu, András Vörös
  V-Model Adaptation for Space Systems in Light of the ECSS Standard
  Regina Moraes, Tania Basso, Eliane Martins
  Towards Simulation of CubeSat Operational Scenarios under a Cyber-Physical Systems View
  Danilo Almeida, Bence Graics, Ronan Chagas, Fabiano Luis de Sousa, Fatima Mattiello-Francisco
  Towards a Robustness Assessment Methodology for IoT Systems
  Bruno Jesus, Glauber Leite, Nuno Antunes
18:00 – 20:00   AGO CE-ESC + SBESC PC Meeting
    Thursday (Nov 25)
09:00 – 10:30   WSENSING
  Chair: Aldri Luiz dos Santos and Luiz Antonio Rodrigues
  A Down-to-Earth Scheduling Strategy for Dense SINR Wireless Networks
  Fábio Engel, Elias Duarte Jr.
  Classification of Denial of Service Attacks on Wi-Fi-based Unmanned Aerial Vehicle
  Gustavo de Carvalho Bertoli, Lourenco Pereira Jr, Osamu Saotome
  Calibration of BLE beacons and its impact on distance estimation using the log-distance path loss model
  Leonardo Vanzin, Marcio Oyamada
  A Proposal of a Dynamic Routing Multicast Protocol for Visible Light Communication Networks
  Frederico Sales, Edelberto Silva, Alex Vieira, Marcos Vieira, Luiz Filipe Vieira
10:30 – 11:00   Break / ESC Demos
11:00 – 12:00   K5:Why Do We Need a New Accident Causality Model?

Nancy Leveson

Chair: Carlos Lahoz

12:00 – 13:30   Break
13:30 – 15:00   SAFELIFE
  Chair: Frederico Cerveira
  Techniques for Evaluating the Robustness of Deep Learning Systems: A Preliminary Review
  Horacio França, César Teixeira, Nuno Laranjeiro
  On Building a Vulnerability Dataset with Static Information from the Source Code
  José D'Abruzzo Pereira, João Henggeler Antunes, Marco Vieira
  Smart Home Care: Towards Supporting Elderlies in the Comfort and Safety of their (Smart) Homes
  Igor Zavalyshyn, Axel Legay, Annanda Rath, Etienne Riviere
15:00 – 15:30   Break / ESC Demos
15:30 – 16:00   Best Paper Awards
16:00 – 17:00   LADC PC Meeting
17:00 – 17:30    
17:30 – 18:00   Closing Ceremony