Session 8C: Safety & Formal Methods

Title: Fault Detection and Diagnosis with Modelica Language using Deep Belief Network
Authors: Dong Kyu Lee, Byoung Doo Lee and Jin Woo Shin
Links: Abstract, Full paper

---

Title: Formal Requirements Modeling for Simulation-Based Verification
Authors: Martin Otter, Nguyen Thuy, Daniel Bouskela, Lena Buffoni, Hilding Elmqvist, Peter Fritzson, Alfredo Garro, Audrey Jardin, Hans Olsson, Maxime Payelleville, Wladimir Schamai, Eric Thomas and Andrea Tundis
Links: Abstract, Full paper

---

Title: Towards a Formalized Modelica Subset
Authors: Lucas Satabin, Jean-Louis Colaço, Olivier Andrieu and Bruno Pagano
Links: Abstract, Full paper