All Stories

  1. Supervisory Control for Dynamic Feature Configuration in Product Lines

    Article • ACM Transactions on Embedded Computing Systems, August 2024, ACM (Association for Computing Machinery)

    Michel Reniers

  2. Integration of modeling and verification for system model based on KARMA language

    Article • October 2021, ACM (Association for Computing Machinery)

    Michel Reniers, Dimitris Kiritsis

  3. Maximal Synthesis for Hennessy-Milner Logic

    Article • ACM Transactions on Embedded Computing Systems, January 2015, ACM (Association for Computing Machinery)

    Wan Fokkink, Michel Reniers