Claudine Picaronny

From MaRDI portal
Person:1092154

Available identifiers

zbMath Open picaronny.claudineMaRDI QIDQ1092154

List of research outcomes





PublicationDate of PublicationType
Polynomial interrupt timed automata: verification and expressiveness2021-04-13Paper
Randomized Dining Philosophers without Fairness Assumption2020-12-04Paper
Polynomial interrupt timed automata2017-10-27Paper
Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC2013-09-26Paper
Coupling and self-stabilization2013-06-07Paper
Coupling and Importance Sampling for Statistical Model Checking2012-06-29Paper
Coupling and Self-stabilization2005-08-17Paper
A well-structured framework for analysing Petri net extensions2005-02-22Paper
https://portal.mardi4nfdi.de/entity/Q44360552003-11-23Paper
Accepting zeno words: A way toward timed refinements2000-10-10Paper
https://portal.mardi4nfdi.de/entity/Q46992921999-11-10Paper
https://portal.mardi4nfdi.de/entity/Q40162371992-12-14Paper
Quelques remarques sur un thème de Knörr. (Some remarks on a theme of Knörr)1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37988461987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36842841984-01-01Paper

Research outcomes over time

This page was built for person: Claudine Picaronny

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1092154&oldid=11051318"
Powered by MediaWiki