Cali, Colombia, October 19th to 21st of 2016           New Final Conference Program!  Photos of the Event

Accepted Papers

Running Resilient MPI Applications on a Dynamic Group of Recommended Processes
Edson Tavares de Camargo (Universidade Tecnológica Federal do Paraná - Brazil),
Elias Duarte Jr. (UFPR - Brazil)
 
Soundness Proof of EventB2Java
Néstor Cataño (Innopolis University - Russia)
Shigeo Nishi (Javeriana University of Cali - Colombia)
 
 
A Software Fault Injector to Validate Implementations of a Safety Communication Protocol
Rodrigo Dobler (UFRGS - Brazil),
Sérgio Luis Cechin (UFRGS - Brazil),
Taisy Weber (UFRGS - Brazil),
João Netto (UFRGS - Brazil)
 
Usability Assessment in a Multi-biometric Continuous Authentication System
Enrico Schiavone (University of Florence - Italy),
Andrea Ceccarelli (Università degli Studi di Firenze - Italy),
Andrea Bondavalli (University of Florence - Italy),
Ariadne Carvalho (Unicamp - Brazil)
 
Speeding-up simulation-based fault injection of complex HDL models
Ilya Tuzov (Universitat Politècnica de València - Spain),
Juan Carlos Ruiz (Technical University of Valencia - Spain),
David de Andres (Technical University of Valencia - Spain),
Pedro Gil (Tech. Univ. Valencia - Spain)
 
Implementing a flexible failure detector
Anubis Rossetto (Instituto Federal de Educação Ciência e Tecnologia Sul-rio-grandense Campus Passo Fundo - Brazil),
Claudio Geyer (UFRGS - Brazil),
Luciana Arantes (Université de Paris VI - France),
Pierre Sens (Laboratoire d''informatique de Paris 6 - France)
 
Towards Understanding the Value of False Positives in Static Code Analysis
Carlo Dimastrogiovanni (Polytechnic University of Turin - Italy),
Nuno Laranjeiro (University of Coimbra - Portugal)
 
Testing Web Applications Using Poor Quality Data
Nuno Laranjeiro (University of Coimbra - Portugal),
Seyma Nur Soydemir (University of Coimbra - Portugal),
Jorge Bernardino (CISUC - Portugal)
 
BuzzPSS: A Dependable and Adaptive Peer Sampling Service
Nuno Machado (HASLab - INESC TEC and U. Minho - Portugal),
Miguel Matos (HASLab - INESC TEC and U. Minho - Portugal),
Francisco Maia (HASLab - INESC TEC and U. Minho - Portugal),
Rui Oliveira (Universidade do Minho - Portugal)
 
Bypassing IOMMU protection against I/O Attacks
Benoît Morgan (LAAS-CNRS - France),
Eric Alata (Laas - France),
Vincent Nicomette (LAAS-CNRS - France),
Mohamed Kaaniche (LAAS-CNRS - France)
 
Two Convergence Problems for Robots on Graphs
Armando Castañeda (UNAM - Mexico),
Sergio Rajsbaum (Universidad Nacional Autonoma de Mexico - Mexico),
Matthieu Roy (LAAS - France)
 
An Autonomic Hierarchical Reliable Broadcast Protocol for Asynchronous Distributed Systems with Failure Detector
Denis Jeanneau (UPMC/LIP6 - France),
Luiz Rodrigues (UNIOESTE - Brazil),
Luciana Arantes (Université de Paris VI - France),
Elias Duarte Jr. (UFPR - Brazil)
 
Analyzing the Impact of Failures in the Electric Power Distribution Grid
Silvano Chiaradonna (ISTI-CNR - Italy),
Felicita Di Giandomenico (ISTI-CNR, Italy - Italy),
Giulio Masetti (ISTI/CNR - Italy)
 
Comparing and Experimenting Machine Learning Techniques to Predict Vulnerabilities
Henrique Alves (Universidade Federal do Alagoas - Brazil),
Baldoino Santos Neto (Universidade Federal de Alagoas - Brazil),
Nuno Antunes (University of Coimbra - Portugal)
 
Checklist Quality Assessment of Natural Language Requirements for Space Applications
Anderson Rossanez (University of Campinas - Brazil),
Ariadne Carvalho (Unicamp - Brazil)
 
Evolving from Dependability to Resilience Benchmarks: Issues and Possibilities
Raquel Almeida (CISUC - University of Coimbra - Portugal),
Henrique Madeira (University of Coimbra - Portugal)
 
Modeling Dependable Product-Families: State Model Generation from Use Cases
Leydi Erazo (University of Campinas - Brazil),
Eliane Martins (University of Campinas- Brazil),
Juliana Greghi (UFLA - Brazil)
 
Towards model-driven virtual patching for web applications
Gustavo Betarte (Facultad de Ingeniería, Universidad de la República - Uruguay),
Rodrigo de la Fuente (Genexus Consulting - Uruguay),
Rodrigo Martínez (Facultad de Ingeniería, Universidad de la República - Uruguay),
Juan Pirez (Universidad de la República - Uruguay),
Felipe Zipitría (Universidad de la República - Uruguay)
 
Using Failure Prediction to Improve FPGA Scrubbing
Jose Luis Nunes (Instituto Politécnico de Coimbra - Portugal),
João Cunha (DEIS/ISEC - Portugal),
Mário Zenha-Rela (University of Coimbra - Portugal)