21 results  save search

hal-00804430v1  Conference papers
Emmanuelle AnceaumeYann BusnelBruno Sericola. Uniform Node Sampling Service Robust against Collusions of Malicious Nodes
43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2013), Jun 2013, Budapest, Hungary. pp.249
hal-02430814v1  Journal articles
Nathalie BertrandSerge HaddadEngel Lefaucheux. A Tale of Two Diagnoses in Probabilistic Systems
Journal of Information and Computation, Elsevier, 2019, 269, pp.1-33. ⟨10.1016/j.ic.2019.104441⟩
hal-02422782v1  Book sections
Fabrice GuilleminMarie-Ange RemicheBruno Sericola. Busy period, congestion analysis and loss probability in fluid queues
Vladimir Anisimov and Nikolaos Limnios. Advanced Trends in Queueing Theory, Iste & J. Wiley, London, 2019, Mathematics and Statistics Series, Sciences
hal-00650095v1  Conference papers
Emmanuelle AnceaumeBruno SericolaRomaric LudinardFrédéric Tronel. Modeling and Evaluating Targeted Attacks in Large Scale Dynamic Systems
Proceedings of the 41rst 2011 International Conference on Dependable Systems and Networks (DSN), Jun 2011, Hong-Kong, China. pp.12
inria-00586875v1  Conference papers
Emmanuelle AnceaumeRomaric LudinardBruno SericolaFrédéric Tronel. Modélisation et Évaluation des Attaques Ciblées dans un Overlay Structuré
CFIP 2011 - Colloque Francophone sur l Ingénierie des Protocoles, UTC, May 2011, Sainte Maxime, France
tel-01946840v1  Theses
Engel Lefaucheux. Controlling information in Probabilistic Systems
Computer Science [cs]. Université Rennes 1, 2018. English
hal-00675544v1  Conference papers
Sébastien GambsMarc-Olivier KillijianMiguel Nuñez del Prado Cortez. Towards Temporal Mobility Markov Chains
1st International Workshop on Dynamicity Collocated with OPODIS 2011, Toulouse, France, Dec 2011, Toulouse, France. 2 p
tel-02109693v1  Theses
Hamza Ben Ammar. On models for performance evaluation and cache resources placement in multi-cache networks
Networking and Internet Architecture [cs.NI]. Université Rennes 1, 2019. English. ⟨NNT : 2019REN1S006⟩
hal-01552190v1  Journal articles
Vincent PicardAnne SiegelJérémie Bourdon. A Logic for Checking the Probabilistic Steady-State Properties of Reaction Networks
Journal of computational biology : a journal of computational molecular cell biology, Mary Ann Liebert 2017, 24 (8), pp.1--12. ⟨10.1089/cmb.2017.0099⟩
tel-02058728v1  Theses
Engel Lefaucheux. Controlling information in probalistic systems
Performance [cs.PF]. Université Rennes 1, 2018. English. ⟨NNT : 2018REN1S057⟩
hal-01194532v1  Journal articles
Fabrice GuilleminBruno Sericola. Volume and Duration of Losses in Finite Buffer Fluid Queues
Journal of Applied Probability, Applied Probability Trust, 2015, 52 (3), pp.15. ⟨10.1239/jap/1445543849⟩