Basic concepts and taxonomy of dependable and secure computing, IEEE Transactions on Dependable and Secure Computing, vol.1, issue.1, pp.11-33, 2004. ,
DOI : 10.1109/TDSC.2004.2
Verifying continuous time Markov chains, Proc. 8th International Conference on Computer Aided Verification (CAV'96), volume 1102 of LNCS, pp.269-276, 1996. ,
DOI : 10.1007/3-540-61474-5_75
Approximate symbolic model checking of continuous-time Markov chains, Proc. 10th International Conference on Concurrency Theory (CONCUR'99), pp.146-161, 1999. ,
Dependability in dynamic, evolving and heterogeneous systems, Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, SERENCE '10, 2010. ,
DOI : 10.1145/2401736.2401746
URL : https://hal.archives-ouvertes.fr/inria-00465229
On-the-fly interoperability though automated mediator synthesis and monitoring, Proc. 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'10), 2010. ,
Model checking of probabilistic and nondeterministic systems, Proc. FSTTCS'95, 1995. ,
DOI : 10.1007/3-540-60692-0_70
Dynamic QoS management and optimisation in service-based systems, IEEE Transaction on Software Engineering ,
URL : https://hal.archives-ouvertes.fr/hal-00663216
The Möbius modeling tool, 9th Int. Workshop on Petri Nets and Performance Models, pp.241-250, 2001. ,
Compositional Verification of Probabilistic Systems Using Learning, 2010 Seventh International Conference on the Quantitative Evaluation of Systems, 2010. ,
DOI : 10.1109/QEST.2010.24
URL : https://hal.archives-ouvertes.fr/inria-00531203
A modular approach for analyzing static and dynamic fault trees, Annual Reliability and Maintainability Symposium, pp.57-63, 1997. ,
DOI : 10.1109/RAMS.1997.571665
A logic for reasoning about time and reliability, Formal Aspects of Computing, vol.2, issue.1, pp.512-535, 1994. ,
DOI : 10.1007/BF01211866
PRISM: A Tool for Automatic Verification of Probabilistic Systems, Proc. TACAS'06, 2006. ,
DOI : 10.1007/11691372_29
A Theory of Mediators for Eternal Connectors, Proc. 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'10), 2010. ,
DOI : 10.1007/978-3-642-16561-0_25
URL : https://hal.archives-ouvertes.fr/inria-00512443
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, pp.154-161, 2009. ,
DOI : 10.1109/ICECCS.2009.44
URL : https://hal.archives-ouvertes.fr/inria-00392809
Assume-Guarantee Verification for Probabilistic Systems, Proc. of 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'10), 2009. ,
DOI : 10.1007/978-3-642-12002-2_3
URL : https://hal.archives-ouvertes.fr/inria-00458058
On the self-similar nature of Ethernet traffic (extended version), IEEE/ACM Transactions on Networking, vol.2, issue.1, pp.1-15, 1994. ,
DOI : 10.1109/90.282603
Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities, 2010 European Dependable Computing Conference, pp.145-154, 2010. ,
DOI : 10.1109/EDCC.2010.26
Model-based evaluation: from dependability to security, IEEE Transactions on Dependable and Secure Computing, vol.1, issue.1, pp.48-65, 2004. ,
DOI : 10.1109/TDSC.2004.11
The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977. ,
DOI : 10.1109/SFCS.1977.32