Run-time efficient probabilistic model checking

  title={Run-time efficient probabilistic model checking},
  author={Antonio Filieri and Carlo Ghezzi and Giordano Tamburrelli},
  journal={2011 33rd International Conference on Software Engineering (ICSE)},
Unpredictable changes continuously affect software systems and may have a severe impact on their quality of service, potentially jeopardizing the system's ability to meet the desired requirements. Changes may occur in critical components of the system, clients' operational profiles, requirements, or deployment environments. The adoption of software models and model checking techniques at run time may support automatic reasoning about such changes, detect harmful configurations, and potentially… CONTINUE READING
Highly Cited
This paper has 168 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 100 extracted citations

Coordinated actor model of self-adaptive track-based traffic control systems

Journal of Systems and Software • 2018
View 4 Excerpts
Highly Influenced

Policy modeling and compliance verification in enterprise software systems: A survey

2012 IEEE 6th International Workshop on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems (MESOCA) • 2012
View 4 Excerpts
Highly Influenced

169 Citations

Citations per Year
Semantic Scholar estimates that this publication has 169 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-6 of 6 references

Probabilistic reachability for parametric Markov models

International Journal on Software Tools for Technology Transfer • 2010
View 6 Excerpts
Highly Influenced

Gauss-jordan reduction: A brief history

S. C. Althoen, R. McLaughlin
The American Mathematical Monthly, 94(2):130–142 • 1987
View 4 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…