52 citations · 269 across the 38 of their papers we have counts for
Showing 2008Show all
2 papers · 1 filter
cs.LO2008★ 37 cited
Model Checking One-clock Priced Timed Automata
Patricia Bouyer, Kim G. Larsen, Nicolas Markey
We consider the model of priced (a.k.a. weighted) timed automata, an extension of timed automata with cost information on both locations and transitions, and we study various model…
cs.IT2008★ 4 cited
On Termination for Faulty Channel Machines
Patricia Bouyer, Nicolas Markey, Joël Ouaknine +2
A channel machine consists of a finite controller together with several fifo channels; the controller can read messages from the head of a channel and write messages to the tail of…