Department of Computer Science

• Published

  Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

• Published

  Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

• Published

  A Benchmarks Library for Extended Parametric Timed Automata

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

View all (24) »