Coupling and Importance Sampling for Statistical Model Checking von Barbot, Benoît, Haddad, Serge, Picaronny, Claudine

Volltext

Polynomial interrupt timed automata: Verification and expressiveness von Bérard, B., Haddad, S., Picaronny, C., Safey El Din, M., Sassolas, M.

Volltext

Polynomial Interrupt Timed Automata von Bérard, Béatrice, Haddad, Serge, Picaronny, Claudine, El Din, Mohab Safey, Sassolas, Mathieu

Volltext

A well-structured framework for analysing petri net extensions von Finkel, Alain, McKenzie, Pierre, Picaronny, Claudine

Volltext

Randomized dining philosophers without fairness assumption von Duflot, Marie, Fribourg, Laurent, Picaronny, Claudine

Volltext

Accepting Zeno words without making time stand still von Bérard, Béatrice, Picaronny, Claudine

Volltext

Coupling and Self-stabilization von Fribourg, Laurent, Messika, Stéphane, Picaronny, Claudine

Volltext

Accepting Zeno words : a way toward timed refinements von BERARD, B, PICARONNY, C

Volltext

Rare Event Handling in Signalling Cascades von Barbot, Benoît, Haddad, Serge, Heiner, Monika, Picaronny, Claudine

Volltext

Polynomial Interrupt Timed Automata von Bérard, Béatrice, Haddad, Serge, Picaronny, Claudine, Din, Mohab Safey El, Sassolas, Mathieu

Volltext bestellen

Randomized Finite-State Distributed Algorithms as Markov Chains von Duflot, Marie, Fribourg, Laurent, Picaronny, Claudine

Volltext

Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC von Duflot, Marie, Fribourg, Laurent, Herault, Thomas, Lassaigne, Richard, Magniette, Frédéric, Messika, Stéphane, Peyronnet, Sylvain, Picaronny, Claudine

Volltext

Practical Applications of Probabilistic Model Checking to Communication Protocols von Gnesi, Stefania, Margaria, Tiziana

Volltext

Polynomial Interrupt Timed Automata von Bérard, Béatrice, Haddad, Serge, Picaronny, Claudine, Mohab Safey El Din, Sassolas, Mathieu

Volltext

Quelques remarques sur un thème de Knörr von Picaronny, Claudine, Puig, Lluis

Volltext