Polynomial interrupt timed automata: Verification and expressiveness
Bérard, B., Haddad, S., Picaronny, C., Safey El Din, M., Sassolas, M.
Published in Information and computation (01.04.2021)
Published in Information and computation (01.04.2021)
Get full text
Journal Article
Polynomial Interrupt Timed Automata
Bérard, Béatrice, Haddad, Serge, Picaronny, Claudine, El Din, Mohab Safey, Sassolas, Mathieu
Published in Reachability Problems (2015)
Published in Reachability Problems (2015)
Get full text
Book Chapter
A well-structured framework for analysing petri net extensions
Finkel, Alain, McKenzie, Pierre, Picaronny, Claudine
Published in Information and computation (01.11.2004)
Published in Information and computation (01.11.2004)
Get full text
Journal Article
Randomized dining philosophers without fairness assumption
Duflot, Marie, Fribourg, Laurent, Picaronny, Claudine
Published in Distributed computing (01.02.2004)
Published in Distributed computing (01.02.2004)
Get full text
Journal Article
Polynomial Interrupt Timed Automata
Bérard, Béatrice, Haddad, Serge, Picaronny, Claudine, Din, Mohab Safey El, Sassolas, Mathieu
Year of Publication 17.04.2015
Year of Publication 17.04.2015
Get full text
Journal Article
Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC
Duflot, Marie, Fribourg, Laurent, Herault, Thomas, Lassaigne, Richard, Magniette, Frédéric, Messika, Stéphane, Peyronnet, Sylvain, Picaronny, Claudine
Published in Electronic notes in theoretical computer science (23.05.2005)
Published in Electronic notes in theoretical computer science (23.05.2005)
Get full text
Journal Article
Polynomial Interrupt Timed Automata
Bérard, Béatrice, Haddad, Serge, Picaronny, Claudine, Mohab Safey El Din, Sassolas, Mathieu
Published in arXiv.org (17.04.2015)
Get full text
Published in arXiv.org (17.04.2015)
Paper