Toward open-world software: issues and challenges, Computer, issue.10, p.39, 2006. ,
DOI : 10.1109/mc.2006.362
Dependability and Performance Assessment of Dynamic CONNECTed Systems, Formal Methods for Eternal Networked Software Systems, pp.350-392, 2011. ,
DOI : 10.1007/978-3-642-21455-4_11
URL : https://hal.archives-ouvertes.fr/hal-00647701
Model-based evaluation as a support to the design of dependable systems, Dependable Computing Systems: Paradigms, Performance Issues, and Applications, pp.57-86, 2005. ,
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
Snoop: An expressive event specification language for active databases, Data & Knowledge Engineering, vol.14, issue.1, pp.1-26, 1994. ,
DOI : 10.1016/0169-023X(94)90006-X
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.133.3862
Eu project resist: Resilience for survivability in ist. deliverable d13: From resilience-building to resilience-scaling technologies: Directions, 2007. ,
Andras Pataricza, Daniel Varro, and Dniel 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. ,
TESLA, Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems, DEBS '10, pp.50-61, 2010. ,
DOI : 10.1145/1827418.1827427
Partial (set) 2-structures, Acta Informatica, vol.27, issue.4, pp.315-342, 1990. ,
DOI : 10.1007/BF00264611
Rete: A fast algorithm for the many pattern/many object pattern match problem, Artificial Intelligence, vol.19, issue.1, pp.17-37, 1982. ,
DOI : 10.1016/0004-3702(82)90020-0
HiFi: A New Monitoring Architecture for Distributed Systems Management, Proceedings of ICDCS, pp.171-178, 1999. ,
GEM: a generalized event monitoring language for distributed systems, Distributed Systems Engineering, vol.4, issue.2, pp.96-108, 1997. ,
DOI : 10.1088/0967-1846/4/2/004
Yet another meta-model to specify non-functional properties, Proceedings of the International Workshop on Quality Assurance for Service-Based Applications, QASBA '11, pp.9-16, 2011. ,
DOI : 10.1145/2031746.2031751
URL : https://hal.archives-ouvertes.fr/hal-00647360
Towards Automated Dependability Analysis of Dynamically Connected Systems, 2011 Tenth International Symposium on Autonomous Decentralized Systems, pp.139-146, 2011. ,
DOI : 10.1109/ISADS.2011.23
URL : https://hal.archives-ouvertes.fr/inria-00573410
On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis, Proc. Third International Workshop, pp.78-92, 2011. ,
DOI : 10.1109/TNET.2010.2055886
URL : https://hal.archives-ouvertes.fr/hal-00647365
Model Based Approach for Autonomic Availability Management, LNCS Lecture Notes in Computer Science, vol.4328, pp.1-16, 2006. ,
DOI : 10.1007/11955498_1
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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.6951
Composite event detection as a generic middleware extension, IEEE Network, vol.18, issue.1, pp.44-55, 2004. ,
DOI : 10.1109/MNET.2004.1265833
Online monitoring of software system reliability, Proc. EDCC '10 -2010 European Dependable Computing Conference, pp.209-218, 2010. ,
Dependability evaluation using composed SAN-based reward models, Journal of Parallel and Distributed Computing, vol.15, issue.3, pp.238-254, 1992. ,
DOI : 10.1016/0743-7315(92)90006-9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.3928
Probability and Statistics with Reliability, Queueing and Computer Science Applications, 2002. ,