C. Allan, P. Avgustinov, A. Simon-christensen, L. Hendren, S. Kuzins et al., Adding trace matching with free variables to AspectJ, Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications , OOPSLA '05, pp.345-364, 2005.

H. Barringer and K. Havelund, TraceContract: A Scala DSL for Trace Analysis, FM 2011: Formal Methods, pp.57-72, 2011.
DOI : 10.1007/978-3-642-16612-9_5

H. Barringer, K. Havelund, D. Rydeheard, and A. Groce, Rule Systems for Runtime Verification: A Short Tutorial, Runtime Verification, pp.1-24, 2009.
DOI : 10.1007/3-540-12896-4_374

Y. Brun, G. D. , M. Serugendo, C. Gacek, H. Giese et al., Engineering Self-Adaptive Systems through Feedback Loops, Software Engineering for Self-Adaptive Systems, pp.48-70, 2009.
DOI : 10.1007/978-3-642-02161-9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.183.6159

R. Calinescu, L. Grunske, M. Kwiatkowska, R. Mirandola, and G. Tamburrelli, Dynamic QoS Management and Optimization in Service-Based Systems, IEEE Transactions on Software Engineering, vol.37, issue.3, pp.387-409, 2011.
DOI : 10.1109/TSE.2010.92

R. Calinescu, K. Johnson, and Y. Rafiq, Using observation ageing to improve markovian model learning in QoS engineering, Proceeding of the second joint WOSP/SIPEW international conference on Performance engineering, ICPE '11, pp.505-510, 2011.
DOI : 10.1145/1958746.1958823

R. Calinescu and M. Kwiatkowska, CADS*: Computer-Aided Development of Self-* Systems, Fundamental Approaches to Software Engineering, pp.421-424, 2009.
DOI : 10.1007/978-3-642-00593-0_29

R. Calinescu and M. Kwiatkowska, Using quantitative analysis to implement autonomic IT systems, 2009 IEEE 31st International Conference on Software Engineering, pp.100-110, 2009.
DOI : 10.1109/ICSE.2009.5070512
URL : https://hal.archives-ouvertes.fr/inria-00458053

B. H. Cheng, Software Engineering for Self-Adaptive Systems: A Research Roadmap, Software Engineering for Self-Adaptive Systems, pp.1-26, 2009.
DOI : 10.1007/s11219-007-9017-4

E. M. Clarke and F. Lerda, Model checking: Software and beyond, Journal of Universal Computer Science, vol.13, issue.5, pp.639-649, 2007.

J. Crow and J. Rushby, Model-based reconfiguration: Diagnosis and recovery, NASA Contractor Report, vol.4596, 1994.

I. Epifani, C. Ghezzi, R. Mirandola, and G. Tamburrelli, Model evolution by run-time adaptation, Proceedings of the 31st International Conference on Software Engineering, pp.111-121, 2009.

A. Filieri, C. Ghezzi, and G. Tamburrelli, Run-time efficient probabilistic model checking, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.341-350, 2011.
DOI : 10.1145/1985793.1985840

J. Floch, S. Hallsteinsen, E. Stav, F. Eliassen, K. Lund et al., Using architecture models for runtime adaptability, IEEE Software, vol.23, issue.2, pp.62-70, 2006.
DOI : 10.1109/MS.2006.61

D. Garlan and B. R. Schmerl, Using Architectural Models at Runtime: Research Challenges, EWSA, pp.200-205, 2004.
DOI : 10.1007/978-3-540-24769-2_15
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.131.5864

C. Ghezzi, A. Mocci, and M. Monga, Synthesizing intensional behavior models by graph transformation, 2009 IEEE 31st International Conference on Software Engineering, pp.430-440, 2009.
DOI : 10.1109/ICSE.2009.5070542

C. Ghezzi, A. Mocci, and G. Salvaneschi, Automatic Cross Validation of Multiple Specifications: A Case Study, Proceedings of Fundamental Approaches to Software Engineering, pp.233-247, 2010.
DOI : 10.1007/978-3-642-12029-9_17

A. Hinton, M. Kwiatkowska, G. Norman, and D. Parker, PRISM: A Tool for Automatic Verification of Probabilistic Systems, Proc. 12th Intl. Conf. Tools and Algorithms for the Construction and Analysis of Systems, pp.441-444, 2006.
DOI : 10.1007/11691372_29

M. C. Huebscher and J. A. Mccann, A survey of autonomic computing???degrees, models, and applications, ACM Computing Surveys, vol.40, issue.3, pp.1-28, 2008.
DOI : 10.1145/1380584.1380585

J. O. Kephart and D. M. Chess, The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003.
DOI : 10.1109/MC.2003.1160055

M. Kwiatkowska, Quantitative verification: Models, techniques and tools, Proc. 6th Joint Meeting of the European Software Engineering Conf. and the ACM SIGSOFT Symp. Foundations of Software Engineering, pp.449-458, 2007.

M. Kwiatkowska, D. Parker, and H. Qu, Incremental quantitative verification for Markov decision processes, 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN), 2011.
DOI : 10.1109/DSN.2011.5958249
URL : https://hal.archives-ouvertes.fr/hal-00647057

M. Kyas, C. Prisacariu, and G. Schneider, Run-Time Monitoring of Electronic Contracts, Proceedings 6th International Symposium on Automated Technology forVerification and Analysis (ATVA'08), 2008.
DOI : 10.1093/mind/LX.237.1

M. Leucker and C. Schallhart, A brief account of runtime verification, The Journal of Logic and Algebraic Programming, vol.78, issue.5, pp.293-303, 2009.
DOI : 10.1016/j.jlap.2008.08.004

B. Morin, O. Barais, J. Jezequel, F. Fleurey, and A. Solberg, Models@ Run.time to Support Dynamic Adaptation, Computer, vol.42, issue.10, pp.44-51, 2009.
DOI : 10.1109/MC.2009.327

A. Pnueli and A. Zaks, PSL Model Checking and Run-Time Verification Via Testers, Proceedings 14th International Symposium on Formal Methods (FM'06), pp.573-586, 2006.
DOI : 10.1007/11813040_38

J. Rao and X. Su, A Survey of Automated Web Service Composition Methods, Semantic Web Services and Web Process Composition, pp.43-54, 2005.
DOI : 10.1007/978-3-540-30581-1_5

J. M. Rushby, Runtime Certification, Proceedings 8th International Workshop on Runtime Verification (RV'08), pp.21-35, 2008.
DOI : 10.1016/S0951-8320(01)00092-8

M. Salehie and L. Tahvildari, Self-adaptive software, ACM Transactions on Autonomous and Adaptive Systems, vol.4, issue.2, pp.1-1442, 2009.
DOI : 10.1145/1516533.1516538

P. Zave and J. M. , Four dark corners of requirements engineering, ACM Transactions on Software Engineering and Methodology, vol.6, issue.1, pp.1-30, 1997.
DOI : 10.1145/237432.237434

T. Zheng, M. Woodside, and M. Litoiu, Performance Model Estimation and Tracking Using Optimal Filters, IEEE Transactions on Software Engineering, vol.34, issue.3, pp.391-406, 2008.
DOI : 10.1109/TSE.2008.30