All Stories

  1. A proven translation from a UML state machine subset to timed automata

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

    Mohamed Ghazel

  2. A review of abstraction methods towards verifying neural networks

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

    Mohamed Ghazel