3 citations · 3 across the 1 of their papers we have counts for
3 papers
Trading Optimality for Performance in Location Privacy
Konstantinos Chatzikokolakis, Serge Haddad, Ali Kassem +1
Location-Based Services (LBSs) provide invaluable aid in the everyday activities of many individuals, however they also pose serious threats to the user' privacy. There is, therefo…
Unbounded product-form Petri nets
Patricia Bouyer, Serge Haddad, Vincent Jugé
Computing steady-state distributions in infinite-state stochastic systems is in general a very dificult task. Product-form Petri nets are those Petri nets for which the steady-stat…
Polynomial Interrupt Timed Automata
Béatrice Bérard, Serge Haddad, Claudine Picaronny +2
Interrupt Timed Automata (ITA) form a subclass of stopwatch automata where reachability and some variants of timed model checking are decidable even in presence of parameters. They…