Abstract interpretation

• Avionik-Software Engineering – Besonderheiten der Software-Entwicklung in der Luftfahrt

  2026 Informatik-Spektrum article Engineering Safety Systems Engineering in Autonomy

  0

  citations
• A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests

  2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  3

  citations
• Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications

  2024 CEAS Aeronautical Journal article Computer Science Formal Methods in Verification Open access

  14

  citations
• A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation

  2023 2022 IEEE 20th International Conference on Industrial Informatics (INDIN) conference-paper Computer Science Logic, programming, and type systems

  4

  citations
• Foundations

  2021 Springer eBooks book-chapter Computer Science Model-Driven Software Engineering Techniques

  1

  citations

5 results