Simulation of Timing Attacks and Challenges for Early Side-Channel Security Analysis

von Schoppmeier, Marcel
Veröffentlicht in IFIP TC 10 International Embedded Systems Symposium (7. : 2022 : Lippstadt) Designing modern embedded systems: software, hardware, and applications (2023)

Towards Reusable Formal Models for Custom Real-Time Operating Systems

von Adelt, Julius
Veröffentlicht in FMICS (27. : 2022 : Warschau) Formal methods for industrial critical systems (2022)

Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink

von Liebrenz, Timm
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 3: Engineering principles (2020)

A Genetic Algorithm with Tournament Selection for Automated Testing of Satellite On-board Image Processing

von Witteck, Ulrike
Veröffentlicht in ICSOFT (15. : 2020 : Online) Software Technologies (2021)

Automated Verification of Embedded Control Software: Track Introduction

von Gurov, Dilian
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 3: Engineering principles (2020)

A Genetic Algorithm for Automated Test Generation for Satellite On-board Image Processing Applications

von Witteck, Ulrike
Veröffentlicht in ICSOFT (15. : 2020 : Online) ICSOFT 2020 (2020)

Combining Forces: How to Formally Verify Informally Defined Embedded Systems

von Herber, Paula
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)

Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox

von Adelt, Julius
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)

Reusable Contracts for Safe Integration of Reinforcement Leaming in Hybrid Systems

von Adelt, Julius
Veröffentlicht in ATVA (20. : 2022 : Online) Automated technology for verification and analysis (2022)

Equivalence Class Definition for Automated Testing of Satellite On-Board Image Processing

von Witteck, Ulrike
Veröffentlicht in ICSOFT (14. : 2019 : Prag) Software technologies (2020)

Specify This — Bridging Gaps Between Program Specification Paradigms

von Ahrendt, Wolfgang
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2022)

Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty

von Adelt, Julius
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2022)

iFM 2023 : 18th international conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023 : proceedings

Veröffentlicht 2024

Deductive Verification of Parameterized Embedded Systems Modeled in SystemC

von Tasche, Philip
Veröffentlicht in VMCAI (25. : 2024 : London) Verification, model checking, and abstract interpretation ; Part 2 (2024)