202 citations · 214 across the 7 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.FL2010★ 2 cited
On interleaving in {P,A}-Time Petri nets with strong semantics
Hanifa Boucheneb, Kamel Barkaoui
This paper deals with the reachability analysis of {P,A}-Time Petri nets ({P,A}-TPN in short) in the context of strong semantics. It investigates the convexity of the union of stat…
cs.NI2010★ 10 cited
Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol
Hafedh Zayani, Kamel Barkaoui, Rahma Ben Ayed
Communication protocols and techniques are often evaluated using simulation techniques. However, the use of formal modeling and analysis techniques for verification and evaluation…