Claudine Picaronny

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Polynomial interrupt timed automata: verification and expressiveness Information and Computation	2021-04-13	Paper
Randomized dining philosophers without fairness assumption Foundations of Information Technology in the Era of Network and Mobile Computing	2020-12-04	Paper
Polynomial interrupt timed automata (available as arXiv preprint)	2017-10-27	Paper
Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC	2013-09-26	Paper
Coupling and self-stabilization Distributed Computing	2013-06-07	Paper
Coupling and importance sampling for statistical model checking Tools and Algorithms for the Construction and Analysis of Systems	2012-06-29	Paper
Coupling and Self-stabilization Lecture Notes in Computer Science	2005-08-17	Paper
A well-structured framework for analysing Petri net extensions Information and Computation	2005-02-22	Paper
scientific article; zbMATH DE number 2006656 (Why is no real title available?)	2003-11-23	Paper
Accepting zeno words: A way toward timed refinements Acta Informatica	2000-10-10	Paper
scientific article; zbMATH DE number 1361474 (Why is no real title available?)	1999-11-10	Paper
scientific article; zbMATH DE number 78144 (Why is no real title available?)	1992-12-14	Paper
Quelques remarques sur un thème de Knörr. (Some remarks on a theme of Knörr) Journal of Algebra	1987-01-01	Paper
scientific article; zbMATH DE number 4065252 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 3906713 (Why is no real title available?)	1984-01-01	Paper

Research outcomes over time

This page was built for person: Claudine Picaronny