Program


Monday, 4 September 2017


Serene Workshop SERENE: 9th International Workshop on Software Engineering for Resilient Systems

Tuesday, 5 September 2017


Serene Workshop SERENE: 9th International Workshop on Software Engineering for Resilient Systems
16h30 Guided visit of Botanical Garden (Meeting: 16h15 Outside Campus Biotech)
18h00 Welcome Cocktail - Restaurant Le Pyramus (inside Botanical Garden)

Wednesday, 6 September 2017


08:00-09:00 Registration
09:00-09:15 Opening session
09:15-10:15 Keynote talk (Session chair: Rogério de Lemos)
  • Andreas Eckel (TTTech). It is a Disruptive World with Exponential Development: Expected Trends in Embedded Systems, with a Special Focus on the Automotive Industry and its likely Effects on Industry and Society
10:15-10:45 Break
10:45-12:15 Session 1: Distinguished papers (Session chair: Miroslaw Malek)
  • Ilya Tuzov, David de Andrés and Juan Carlos Ruiz. Accurately simulating the effects of faults in VHDL models described at the implementation-level
  • Yazdan Movahedi, Michel Cukier, Ambrose Andongabo and Ilir Gashi. Cluster-based Vulnerability Assessment Applied to Operating Systems
  • Vidhya Tekken Valapil and Sandeep Kulkarni. Preserving Stabilization while Practically Bounding State Space
12:30-14:00 Lunch
14:00-15:30 Session 2: Fault-tolerance (Session chair: Johan Karlsson)
  • Michael Eischer and Tobias Distler. Scalable Byzantine Fault Tolerance on Heterogeneous Servers
  • Ryan Slechta, Laura Monroe, Nathan Debardeleben, Qiang Guan, Joanne Wendelberger and Sarah Michalak. Resilience Analysis of Top K Selection Algorithm
  • William Excoffon, Jean-Charles Fabre and Michaël Lauer. Analysis of Adaptive Fault Tolerance for Resilient Computing
15:30-16:00 Break
16:00-17:10 Session 3: Safety-critical systems (Session chair: Paolo Lollini)
  • Omar Jaradat and Iain Bate. Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases
  • Luke Martin, Alexander Romanovsky. An Approach for Designing Knowledge-based Systems for High-Integrity Applications
  • Omar Jaradat, Irfan Sljivo, Ibrahim Habli and Richard Hawkins. Challenges of Safety Assurance for Industry 4.0
17:10-18:10 Student Forum and Fast Abstracts (Session Chairs: Didier Buchs and Patrizio Pelliccione)
  • Giulio Masetti. Enhanced power grid evaluation through efficient stochastic model-based analysis
  • Dimitri Racordon and Didier Buchs. Extracting Formal Specifications to Strenghten Type Behaviour Testing
  • Mahoukpégo Parfait Tokponnon, Marc Lobelle and C. Eugene Ezin. Entirely protecting operating systems against transient errors in space environment

Thursday, 7 September 2017


08:00-09:00 Registration
09:00-11:00 Session 4: Industrial day (Session chairs: Marco Vieira and Rogério de Lemos)
  • Roberto Natella (CRITIWARE). Advancing Fault Injection and Dependability Evaluation in the Software-Driven Telecom Industry
  • Francisco Almeida Maia (SafeCloud Technologies). Data management and privacy in a world of data wealth
  • Hans-Peter Schwefel (GridData). ICT and Data-Management for Dependability of Electricity Distribution Grids
  • Antonio Bovenzi (Banca D'Italia). Importance of Automation Tools to Develop and Operate Reliable Services
11:00-11:15 Break
11:15-12:15 Session 5: Hardware architecture (Session chair: Juan Carlos Ruiz Garcia)
  • Lars Nagel and Tim Suess. Computing the Probability for Data Loss in Two-dimensional Parity RAIDs
  • Georg Macher, Markus Bachinger and Michael Stolz. Embedded Multi-Core System for Design of Next Generation Powertrain Control Units
12:30-14:00 Lunch
14:00-15:30 Session 6: Security and privacy (Session chair: Michel Cukier)
  • Paulo Nunes, Ibéria Medeiros, José Fonseca, Nuno Neves, Miguel Correia, Marco Vieira. On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study
  • Hebert Silva, Tania Basso and Regina Moraes. Privacy and data mining: evaluating the impact of data anonymization on classification algorithms
  • Manuel Barbosa, Sonia Ben Mokhtar, Pascal Felber, Francisco Maia, Miguel Matos, Rui Oliveira, Etienne Rivière, Valerio Schiavoni and Spyros Voulgaris. SAFETHINGS: Data Security by Design in the IoT
  • Ivano Alessandro Elia, Nuno Antunes, Nuno Laranjeiro and Marco VieiraAn Analysis of OpenStack Vulnerabilities
15:30-16:00 Break
16:00-17:20 Session 7: Testing and validation methods(Session chair: Elena Troubitsyna)
  • Kazuto Shigihara, Shinya Honda and Hiroaki Takada. Test Program Generator for AUTOSAR OS
  • Ghazal Zamani and Olivia Das. Impact of a Fault Management Architecture on the Performance of a Component-based System
  • Raul Barbosa, Frederico Cerveira, Marta Mercier and Henrique Madeira. On the Emulation of Vulnerabilities through Software Fault Injection
18h30 Visit of the Geneva Old Town (Meeting: 18h15 Tram 12/18 Stop "Place de Neuve")
19:30 Banquet Le Café Restaurant du Parc des Bastions (http://www.bastions.ch/)

Friday, 8 September 2017


09:00-10:00 Keynote talk (Session chair: Karama Kanoun)
  • Christian Cachin (IBM Research-Zurich). Blockchains and consensus protocols
10:15-10:45 Break
10:45-12:15 Session 8: Intrusion and evaluation (Session chair: Jean-Charles Fabre)
  • Kevin Bock, Sydnee Shannon, Yazdan Movahedi and Michel Cukier. Application of Routine Activity Theory to Cyber Intrusion Location and Time
  • Jonathan Roux, Éric Alata, Guillaume Auriol, Vincent Nicomette and Mohamed Kaâniche. Toward an Intrusion Detection Approach for IoT based on Radio Communications Profiling
  • Leonardo Aniello, Roberto Baldoni, Edoardo Gaetani, Federico Lombardi, Andrea Margheri and Vladimiro Sassone. A Prototype Evaluation of a Tamper-resistant High Performance Blockchain-based Transaction Log for a Distributed Database
  • Ambrose Andongabo and Ilir Gashi. vepRisk - A Web Based Analysis Tool for Public Security Data
12:15 Closing session