14th European Dependable Computing Conference
10-14 September 2018
Iasi, Romania



Monday, September 10

  • 08:00-09:00 - Registration
  • SERENE 2018: 10th International Workshop on Software Engineering for Resilient Systems
    • 09:00-09:15 - Opening
    • 09:15-10:15 - Keynote: Engineering Robust Software through Stochastic Model Synthesis - Radu Calinescu (University of York)
    • 10:15-10:40 - Coffee break
    • 10:40-11:40 - Technical presentations
      • Towards a Formal Approach to Analysing Security of Safety-critical Systems. (Inna Vistbakka and Elena Troubitsyna)
      • Analyzing the Security of Shared Information in Social Networks. (Bogdan Aman and Gabriel Ciobanu)
    • 11:40-12:00 - Discussion
    • 12:00-14:00 - Lunch
    • 14:00-15:30 - Technical presentations
      • A Proactive Q-Learning Approach for Autoscaling Heterogeneous Cloud Servers. (Federico Lombardi)
      • Formal Verification for Feature-based Composition of Workflows. (Stephan Adelsberger, Bashar Igried, Markus Moser, Vadim Savenkov and Anton Setzer)
      • A Context-Aware, Confidence-Disclosing and Fail-Operational Dynamic Risk Assessment Architecture. (Patrik Feth, Rasmus Adler and Daniel Schneider)
    • 15:30-16:00 - Discussion
    • 16:00-16:30 - Coffee Break
    • 16:30-17:30 - Open Panel: 25 years of Software Engineering for Resilient Systems
  • 17:30 - Happy Hour (coffee break room near conference auditorium)

Tuesday, September 11

  • 08:00-08:30 - Registration
  • Workshop on Blockchain Dependability (WBD)
    • 08:30-08:40 - Welcome
    • 08:40-09:30 - Keynote: Blockchain e-voting, reality or delusion? - Adria Rodriguez-Pérez (Scytl Secure Electronic Voting)
    • 09:30-10:00 - Coffee break
    • 10:00-12:00 - Technical presentations
      • Performance Benchmarking of Smart Contracts to Assess Miner Incentives in Ethereum. (Amjad Aldweesh, Maher Alharby, Ellis Solaiman and Aad van Moorsel)
      • Simulation of Stochastic Blockchain Models. (Pierre-Yves Piriou and Jean-Francois Dumas)
      • Runtime Verification of Ethereum Smart Contracts. (Joshua Ellul and Gordon Pace)
      • How to Assess the Dependability of Applications on top of the Blockchain: Novel Research Challenges. (Marcello Cinque and Christian Esposito)
  • 12:00-14:00 - Lunch
  • 14:00-15:30 - Tutorial: Model-driven Dependability Forecasting of Software Systems. (Simona Bernardi, José Merseguer and Dorina C. Petriu)
  • 15:30-16:00 - Coffee break
  • 16:00-17:30 - Tutorial: SCONE: Secure Container Technology & Secrets Management. (André Martin)
  • 18:00 - Welcome Cocktail & Buffet - Panoramic Restaurant, Hotel Unirea

Wednesday, September 12

  • 08:00-08:45 - Registration
  • 08:45-09:00 - Opening session
  • 09:00-10:00 - Keynote: Soft Errors - An Industry Perspective - Cristian Constantinescu (AMD) (chair: Paolo Lollini)
  • 10:00-10:30 - Coffee Break
  • 10:30-12:00 - Distinguished Papers (chair: Karama Kanoun)
    • Accurate Robustness Assessment of HDL Models through Iterative Statistical Fault Injection. (Ilya Tuzov, David De Andrés and Juan Carlos Ruiz)
    • Techniques for Supporting Failure Prediction. (Joao Campos, Marco Vieira and Ernesto Costa)
    • Exploiting New CPU Extensions for Secure Exchange of eHealth Data at the EU Level. (Luigi Coppolino, Salvatore D'Antonio, Giovanni Mazzeo, Luigi Romano and Luigi Sgaglione)
  • 12:00-14:00 - Lunch
  • 14:00-15:30 - Verification and Validation and Student Forum (chair: Matthieu Roy)
    • Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection. (Dimitry Solet, Mikaël Briday, Jean-Luc Béchennec, Sébastien Faucou and Sébastien Pillement)
    • Validation of Safety Necessities for a Safety-Bag Component in Experimental Autonomous Vehicles. (Manel Brini, Paul Crubillé, Benjamin Lussier and Walter Schön)
    • (Student Forum) Towards an Adaptive Approach for Broadcast Algorithms in MANETs. (Raziel Carvajal-Gomez and Etienne Riviére)
    • (Student Forum) Optimal Epidemic Dissemination. (Laurent Hayez and Hugues Mercier)
  • 15:30-16:00 - Coffee Break
  • 16:00-17:45 - Model-based Design and Student Forum (chair: Regina Moraes)
    • A Study of the Interplay Between Safety and Security Using Model-Implemented Fault Injection. (Behrooz Sangchoolie, Peter Folkesson and Jonny Vinter)
    • Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence. (André Luiz de Oliveira, Lucas Paiva Bressan, Leonardo Montecchi and Barbara Gallina)
    • (Student Forum) Guardian: Privacy-Aware Smart Home Monitoring. (Igor Zavalyshyn)
    • (Student Forum) Intel SGX and AMD SEV Memory Protection Mechanisms: Performance and Energy Trade-offs. (Christian Göttel, Rafael Pires, Isabelly Rocha, Sébastien Vaucher, Pascal Felber, Marcelo Pasin and Valerio Schiavoni)
    • (Student Forum) Operating System Hardening : Dealing with External Interrupts. (Mahoukpégo Parfait Tokponnon, Marc Lobelle and Eugene C. Ezin)
  • 18:00 - Poster Session and Romanian wine tasting - Hall of the Lost Steps (Building A)

Thursday, September 13

  • 09:00-10:00 - Keynote: Human Machine Cooperation in the Context of Vehicle Automation - Serge Boverie (Continental Automotive) (chair: Pascal Felber)
  • 10:00-10:30 - Coffee Break
  • 10:30-12:00 - Security and Dependability Analysis (chair: Simona Bernardi)
    • Finding SQL Injection and Cross Site Scripting Vulnerabilities with Diverse Static Analysis Tools. (Areej Algaith, Paulo Jorge Costa Nunes, Jose Carlos Coelho Martins Fonseca, Ilir Gashi and Marco Vieira)
    • Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors. (Frederico Cerveira, Alcides Fonseca, Raul Barbosa and Henrique Madeira)
    • A Message-Passing based Algorithm for k-Terminal Reliability. (Minh Lê and Josef Weidendorfer)
  • 12:00-14:00 - Lunch
  • 14:00-15:30 - Fault Tolerance and Performance Evaluation (chair: Marcello Cinque)
    • Fault-tolerance Evaluation of a New SQL Database. (Ainhoa Azqueta, Marta Patino, Valerio Vianello and Ricardo Jimenez-Peris)
    • Resource-Efficient State-Machine Replication with Multithreading and Vertical Scaling. (Gerhard Habiger, Franz J. Hauck, Johannes Köstler and Hans P. Reiser)
    • Assessing Containerized REST Services Performance in the Presence of Operator Faults. (Mariana Cunha and Nuno Laranjeiro)
  • 15:30-16:00 - Coffee Break
  • 16:00-17:15 - Frameworks, Architectures and Tools (chair: Michael Paulitsch)
    • A Re-identification Risk-based Anonymization Framework for Data Analytics Platforms. (Hebert Silva, Tania Basso, Regina Moraes, Donatello Elia and Sandro Fiore)
    • Towards Safety-Awareness and Dynamic Safety Management. (Mario Trapp, Daniel Schneider and Gereon Weiss) (*)
    • An Exploratory Study on Zeroconf Monitoring of Microservices Systems. (Marcello Cinque, Raffaele Della Corte, Raffaele Iorio and Antonio Pecchia) (*)
    • An Efficient Strategy for Model Composition in the Möbius Modeling Environment. (Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico, William H. Sanders and Brett Feddersen) (*)
  • 18:00-19:30 - Guided Central City Tour
  • 19:30 - Conference Banquet - Hotel Traian

Friday, September 14

  • 09:00-10:00 - Keynote: Responsibility Sensitive Safety - Jack Weast (Intel) (chair: Emanuel Onica)
  • 10:00-10:30 - Coffee Break
  • 10:30-12:00 - Threats and Anomaly Detection (chair: Simin-Nadjm Tehrani)
    • Optimal Deployment of Security Policies: Application to Industrial Control Systems. (Ziad Ismail, Jean Leneutre and Alia Fourati)
    • Detecting Network Threats using OSINT Knowledge-based IDS. (Ivo Vacas, Ibéria Medeiros and Nuno Neves)
    • Detection of Integrity Attacks to Smart Grids using Process Mining and Time-evolving Graphs. (Simona Bernardi, Raquel Trillo-Lado and José Merseguer) (*)
    • Contextual Anomaly Detection for a Critical Industrial System based on Logs and Metrics. (Mostafa Farshchi, Ingo Weber, Raffaele Dellacorte, Antonio Pecchia, Marcello Cinque, Jean-Guy Schneider and John Grundy) (*)
  • 12:00-12:15 - Closing Session
  • 12:15 - Lunch

Note: The time slot allocated for each presentation, including questions, is as following:

  • Regular papers and practical experience reports - 30 minutes
  • Short papers (marked with *) and student forum presentations - 15 minutes