vix.ing · top · new · best · stats · spec

Herbreteau, Frédéric

  1. Zone-based verification of timed automata: extrapolations, simulations and what next?
    2022/07/15 by Bouyer, Patricia, Gastin, Paul, Herbreteau, Frédéric +2 · 2 citations
    #03B70 #68Q60 #D.2.4 #F.1.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
  2. Revisiting local time semantics for networks of timed automata
    2019/07/04 by Govind, R., Herbreteau, Frédéric, Srivathsan, B. +1 · 1 citation
    #68Q60 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)