Akamai sureroute for failover and performance, 2003. ,
Resilient overlay networks, ACM SIGOPS Operating Systems Review, vol.35, issue.5, pp.131-145, 2001. ,
DOI : 10.1145/502059.502048
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.119.6140
Mayday: Distributed Filtering for Internet Services, 4th Usenix Symposium on Internet Technologies and Systems, 2003. ,
Dependability analysis in the early phases of uml-based system design, Language, vol.16, issue.5, pp.265-275, 2001. ,
RFC 1122: Requirements for Internet hosts ? communication layers, 1989. ,
Genet: A Tool for the Synthesis and Mining of Petri Nets, 2009 Ninth International Conference on Application of Concurrency to System Design, pp.181-185, 2009. ,
DOI : 10.1109/ACSD.2009.6
Andras Pataricza, Daniel Varro, and Dániel Varró. Viatra -visual automated transformations for formal verification and validation of uml models, 17th IEEE International Conference on Automated Software Engineering (ASE'02), pp.267-270, 2002. ,
Möbius: An extensible tool for performance and dependability modeling, 11th Int. Conf, pp.332-336, 2000. ,
DOI : 10.1007/3-540-46429-8_25
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.183.4787
Sos: Secure overlay services, Proceedings of ACM SIGCOMM, pp.61-72, 2002. ,
A survey on the design, applications, and enhancements of application-layer overlay networks, ACM Computing Surveys, vol.43, issue.1, pp.1-5, 2010. ,
DOI : 10.1145/1824795.1824800
Towards Automated Dependability Analysis of Dynamically Connected Systems, 2011 Tenth International Symposium on Autonomous Decentralized Systems, 2011. ,
DOI : 10.1109/ISADS.2011.23
URL : https://hal.archives-ouvertes.fr/inria-00573410
Stochastic activity networks: a new definition and some properties, Scientia Iranica, vol.8, issue.4, pp.303-311, 2001. ,
Performability modelling with stochastic activity networks, Proc. of the 1984 Real-Time Systems Symposium, pp.215-224, 1984. ,
Petri nets: Properties, analysis and applications, Proceedings of the IEEE, pp.541-580, 1989. ,
DOI : 10.1109/5.24143
Kommunikation mit Automaten, 1961. ,
Resilience for Survivability in IST. Deliverable D33: Resilience-explicit computing, 2008. ,
A system dependability modeling framework using aadl and gspns. Architecting dependable systems, pp.14-38, 2007. ,
The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation, 2008 Seventh European Dependable Computing Conference, pp.85-90, 2008. ,
DOI : 10.1109/EDCC-7.2008.14
URL : https://hal.archives-ouvertes.fr/hal-00323969
Stochastic activity networks: formal definitions and concepts. In Lectures on formal methods and performance analysis: first EEF/Euro summer school on trends in computer science, pp.315-343, 2002. ,
OverQoS, ACM SIGCOMM Computer Communication Review, vol.33, issue.1, pp.11-16, 2003. ,
DOI : 10.1145/774763.774764
Path-diversity p2p overlay retransmission for reliable ip-multicast. Multimedia, IEEE Transactions on, vol.11, issue.5, pp.960-971, 2009. ,
Efficient Multipath Communication for Time-Critical Applications in Underwater Acoustic Sensor Networks, IEEE/ACM Transactions on Networking, vol.19, issue.1, pp.28-41, 2011. ,
DOI : 10.1109/TNET.2010.2055886