Continually verify self-adaptation decisions taken by critical software in response to changes in the operating environment.
暂无分享,去创建一个
Carlo Ghezzi | Radu Calinescu | Raffaela Mirandola | Marta Kwiatkowska | R. Mirandola | M. Kwiatkowska | C. Ghezzi | R. Calinescu
[1] Hongyang Qu,et al. Incremental quantitative verification for Markov decision processes , 2011, 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN).
[2] Carlo Ghezzi,et al. Run-time efficient probabilistic model checking , 2011, 2011 33rd International Conference on Software Engineering (ICSE).
[3] Radu Calinescu,et al. Dynamic QoS Management and Optimization in Service-Based Systems , 2011, IEEE Transactions on Software Engineering.
[4] Radu Calinescu,et al. Using observation ageing to improve markovian model learning in QoS engineering , 2011, ICPE '11.
[5] Carlo Ghezzi,et al. Automatic Cross Validation of Multiple Specifications: A Case Study , 2010, FASE.
[6] Brice Morin,et al. Models@ Run.time to Support Dynamic Adaptation , 2009, Computer.
[7] Alex Groce,et al. Rule Systems for Runtime Verification: A Short Tutorial , 2009, RV.
[8] Mary Shaw,et al. Software Engineering for Self-Adaptive Systems: A Research Roadmap , 2009, Software Engineering for Self-Adaptive Systems.
[9] Mary Shaw,et al. Engineering Self-Adaptive Systems through Feedback Loops , 2009, Software Engineering for Self-Adaptive Systems.
[10] Carlo Ghezzi,et al. Synthesizing intensional behavior models by graph transformation , 2009, 2009 IEEE 31st International Conference on Software Engineering.
[11] Radu Calinescu,et al. Using quantitative analysis to implement autonomic IT systems , 2009, 2009 IEEE 31st International Conference on Software Engineering.
[12] Martin Leucker,et al. A brief account of runtime verification , 2009, J. Log. Algebraic Methods Program..
[13] Ladan Tahvildari,et al. Self-adaptive software: Landscape and research challenges , 2009, TAAS.
[14] Radu Calinescu,et al. CADS*: Computer-Aided Development of Self-* Systems , 2009, FASE.
[15] Christian Johansen,et al. Run-Time Monitoring of Electronic Contracts , 2008, ATVA.
[16] Julie A. McCann,et al. A survey of autonomic computing—degrees, models, and applications , 2008, CSUR.
[17] Marin Litoiu,et al. Performance Model Estimation and Tracking Using Optimal Filters , 2008, IEEE Transactions on Software Engineering.
[18] John M. Rushby,et al. Runtime Certification , 2008, RV.
[19] Quantitative verification: models techniques and tools , 2007, ESEC-FSE '07.
[20] Edmund M. Clarke,et al. Model Checking: Software and Beyond , 2007, J. Univers. Comput. Sci..
[21] Andrew Hinton,et al. PRISM: A Tool for Automatic Verification of Probabilistic Systems , 2006, TACAS.
[22] Frank Eliassen,et al. Using architecture models for runtime adaptability , 2006, IEEE Software.
[23] Xiaomeng Su,et al. A Survey of Automated Web Service Composition Methods , 2004, SWSWPC.
[24] Bradley R. Schmerl,et al. Using Architectural Models at Runtime: Research Challenges , 2004, EWSA.
[25] Jeffrey O. Kephart,et al. The Vision of Autonomic Computing , 2003, Computer.
[26] Michael Jackson,et al. Four dark corners of requirements engineering , 1997, TSEM.
[27] Rushby John,et al. Model-Based Reconfiguration: Diagnosis and Recovery , 1994 .
[28] Meir M. Lehman,et al. Program evolution: processes of software change , 1985 .