22 citations · 22 across the 2 of their papers we have counts for
2 papers
cs.LO2014
Interrupt Timed Automata with Auxiliary Clocks and Parameters
Béatrice Bérard, Serge Haddad, Aleksandra Jovanović +1
Interrupt Timed Automata (ITA) is an expressive timed model, introduced to take into account interruptions, according to levels. Due to this feature, this formalism is incomparable…
cs.FL2012★ 22 cited
Interrupt Timed Automata: verification and expressiveness
Béatrice Bérard, Serge Haddad, Mathieu Sassolas
We introduce the class of Interrupt Timed Automata (ITA), a subclass of hybrid automata well suited to the description of timed multi-task systems with interruptions in a single pr…