Search Within

Thomas Ferrere

Tferrere_u7p2n
Email: thomas.ferrere@ist.ac.at
Interests:

Results (8)

  • Monitoring temporal logic with clock variables
    Conference paper
  • The compound interest in relaxing punctuality
    Conference paper
  • A theory of register monitors
    Conference paper