• Home
  • News
  • People
  • Teaching
  • Research
  • Contact
  • Theory of Hybrid Systems
  • LuFG i2
  • Browsing: »
  • Home
  • »Research
  • »Projects

Projects

Current and previous projects of our group include:

  • FRAPPANT – Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation
  • APPA: Automated Probabilistic Program Analysis
  • CAP Sino-German Project
  • CARP: Correct and Efficient Accelerator Programming
  • CATSY:Catalogue of System and Software Properties
  • D-MILS: Distributed MILS
  • HODRIAN: Highly-Robust, Wireless Communication Components for Industrial Applications
  • Juggrnaut: Verifying Pointer Programs with Unbounded Heap Structures
  • Research Training Group UnRAVeL
  • SENSATION: Self Energy-Supporting Autonomous Computation
  • Testing for AADL
  • VPLC: Verification of Programmable Logic Controller code
  • MOVES seminar
  • Publications
  • Projects
    • FRAPPANT – Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation
    • APPA – Automated Probabilistic Program Analysis
    • CARP: Correct and Efficient Accelerator Programming
    • D-MILS: Distributed MILS for Dependable Information and Communication Infrastructures
    • Formal methods for zero-defect aerospace software
    • HODRIAN: Highly-Robust, Wireless Communication Components for Industrial Applications
    • Juggrnaut: Verifying Pointer Programs with Unbounded Heap Structures
    • Research Training Group UnRAVeL (UNcertainty and Randomness in Algorithms, VErification, and Logic, DFG 2236/1)
    • SENSATION: Self Energy-Supporting Autonomous Computation
    • Testing for AADL
    • VPLC: Verification of Programmable Logic Controller Code
  • Tools

Latest News

  • Vacancies in Quantum Computing

    August 31, 2023
    Our group has to offer two PhD positions in Interdisciplinary Doctoral Program in Quantum Systems Integration at RWTH Aachen University. The first is about formal methods for supporting the development …
  • Paper in JAIR

    July 30, 2023
    The paper entitled “Automatically Finding the Right Probabilities in Bayesian Networks” by Bahare Salmani and Joost-Pieter Katoen has been accepted for publication in the Journal of Artificial Intelligence Research. The …
  • Paper at OOPSLA 2023

    July 3, 2023
    The paper entitled “A Deductive Verification Infrastructure for Probabilistic Programs” by Philipp Schröer, Kevin Batz, Benjamin Kaminski (Saarland University and UCL), Joost-Pieter Katoen and Christoph Matheja (TU Denmark) has been …

Links

  • RWTH Aachen
  • Fachgruppe Informatik