Program
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 |