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

Projects

The group currently runs the following projects:

  • 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
    • 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

  • Three papers at TACAS 2023

    December 27, 2022
    Three papers of the MOVES group have been accepted for TACAS 2023! “A Practitioner’s Guide to MDP Model Checking Algorithms” by Arnd Hartmanns, Sebastian Junges, Tim Quatmann and Maximilian Weininger …
  • Journal Paper at STTT ExPLAIn

    November 25, 2022
    The paper entitled “First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)” by Christopher Brix, Mark Müller (ETH Zurich), Stanley Bak (Stony Brook University), Taylor T Johnson …
  • Paper at POPL 2023

    November 8, 2022
    The paper entitled “A Calculus for Amortized Expected Runtimes” by Kevin Batz, Benjamin Kaminski (Saarland/UCL), Joost-Pieter Katoen, Christoph Matheja (DTU Lyngby) and Lena Verscht has been accepted for presentation at …

Links

  • RWTH Aachen
  • Fachgruppe Informatik