Research Report at the 90th Meeting of the IFIP WG10.4 Keynote at DSAS+DT4DRS @ DSN 2026 Keynote at AISM @ ASE 2025 Keynote at LADC 2024 Position Paper, Engineering Trustworthy Software - A Mission for LLMs! Seminar at UNC Charlotte (Feb 2022) Keynote at SAFECOMP 2019 Seminar at UFPE (Feb 2019) Tutorial at ISSRE 2018 Keynote at QRS 2018 Seminar at LASIGE Workshop 2018 Keynote at DESSERT 2018 Seminar at City University London (Apr 2016) Tutorial at QEST 2013 Tutorial at EuroSys 2009