Table of Contents

• Bitvector Support in the Theta Formal Verification FrameworkMihály Dobos-Kovács, Ákos Hajdu, András Vörös 0001. 1-8 [doi]
• Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault TreesShahid Khan 0002, Joost-Pieter Katoen, Matthias Volk 0001, Muhammad Ahmad Zafar, Falak Sher. 1-10 [doi]
• An Algorithm-Based Fault Tolerance Strategy for the Bitonic Sort Parallel AlgorithmEdson Tavares De Camargo, Elias P. Duarte. 1-10 [doi]
• CAST Applied to Covid-19 Pandemic in BrazilEvandro R. Bortoloto, Talitha C. De Oliveira, Carlos Henrique Netto Lahoz, Fernando Teixeira Mendes Abrahão. 1-8 [doi]
• Impact Assessment of IT Security Breaches in Cyber-Physical Systems: Short paperAndrás Földvári, Gergely Biczók, Imre Kocsis, László Gönczy, András Pataricza. 1-4 [doi]
• On Building a Vulnerability Dataset with Static Information from the Source CodeJosé D'Abruzzo Pereira, João Henggeler Antunes, Marco Vieira. 1-2 [doi]
• Towards the Formal Semantics of Scenario Tests for Autonomous VehiclesLászló Kovács, Oszkár Semeráth. 1-4 [doi]
• Revocation Mechanisms for Blockchain Applications: A ReviewFernando Richter Vidal, Naghmeh Ramezani Ivaki, Nuno Laranjeiro. 1-10 [doi]
• Safety analysis of Brazilian suborbital launch operations based on system-theoretic approachAntonio Vinicius Diniz Merladet, Rodrigo De Melo Silveira, Sergio Fugivara, Carlos Henrique Netto Lahoz. 1-9 [doi]
• A Down-to-Earth Scheduling Strategy for Dense SINR Wireless NetworksFábio Engel De Camargo, Elias P. Duarte. 1-6 [doi]
• Techniques for Evaluating the Robustness of Deep Learning Systems: A Preliminary ReviewHoracio L. França, César Teixeira 0001, Nuno Laranjeiro. 1-5 [doi]
• Demonstrator for dependable edge-based cyber-physical systemsSimon József Nagy, Richárd Szabó, Máté Levente Vajda, András Vörös 0001. 1-8 [doi]
• Characterizing and Injecting Faults in Executable Models Specified with fUMLGuilherme W. Lopes, Leonardo Montecchi. 1-10 [doi]
• Towards Testing the UML PSSM Test SuiteMárton Elekes 0001, Zoltán Micskei. 1-4 [doi]
• Fault injection platform for affordable verification and validation of CubeSats softwareDavid Paiva, Jose Marcelo Lima Duarte, Raffael S. C. G. de Lima, Manoel J. M. Carvalho, Fátima Mattiello-Francisco, Henrique Madeira. 1-11 [doi]
• Smart Home Care: Towards Supporting Elderlies in the Comfort and Safety of their (Smart) HomesIgor Zavalyshyn, Axel Legay, Annanda Rath, Etienne Rivière. 1-6 [doi]
• Classification of Denial of Service Attacks on Wi-Fi-based Unmanned Aerial VehicleGustavo de Carvalho Bertoli, Lourenço Alves Pereira Júnior, Osamu Saotome. 1-6 [doi]
• Applying STAMP to Support the Synthesis of Controller Logic considering Safety ConcernsBráulio Marques Horta, Juliana de Melo Bezerra, Celso Massaki Hirata. 1-10 [doi]
• Cybersecurity in Aviation: the STPA-Sec Method Applied to the TCAS SecurityMayara Lopes Salgado, Marcelo Santiago de Sousa. 1-10 [doi]
• A Proposal of a Dynamic Routing Multicast Protocol for Visible Light Communication NetworksFrederico O. Sales, Edelberto Franco Silva, Alex Borges Vieira, Marcos A. M. Vieira, Luiz Filipe M. Vieira. 1-6 [doi]
• Towards a Robustness Assessment Methodology for IoT SystemsBruno Jesus, Glauber Leite, Nuno Antunes. 1-4 [doi]
• Calibration of BLE beacons and its impact on distance estimation using the log-distance path loss modelLeonardo Vanzin, Márcio Seiji Oyamada. 1-4 [doi]
• A Systemic Approach to Aircraft System SupportabilityCarina Carla Silva, Claudio Medrado Filho, Alexandre Magno Pinto. 1-6 [doi]
• On the Performance of Using Parallel State Machine Replication to Implement BlockchainsAldenio Burgos, Eduardo Alchieri, Fernando Luís Dotti. 1-6 [doi]
• V-Model Adaptation for Space Systems in Light of the ECSS StandardRegina Moraes, Tânia Basso, Eliane Martins. 1-4 [doi]
• Feature Rankers to Predict Classification Performance of Unsupervised Intrusion DetectorsTommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli. 1-9 [doi]
• Towards Simulation of CubeSat Operational Scenarios under a Cyber-Physical Systems ViewDanilo Pallamin de Almeida, Bence Graics, Ronan Arraes Jardim Chagas, Fabiano Luis de Sousa, Fátima Mattiello-Francisco. 1-4 [doi]