Dynamic QoS Management and Optimization in Service-Based Systems

By Radu C. Calinescu, Lars Grunske, Marta Z. Kwiatkowska, Raffaela Mirandola, Giordano Tamburrelli. IEEE Transactions on Software Engineering, 2011

410 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computer Networks and Communications, Information Systems

View Paper: https://www.semanticscholar.org/paper/fd14aaa289361c3603edcff8fcdcdb2858d682e0

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. David Parker
2. Gethin Norman
3. Marta Z. Kwiatkowska
4. Vojtěch Forejt
5. Xiaowei Huang
6. Alexey Ignatiev

In Computer Networks and Communications

1. David Parker
2. Gethin Norman
3. Marta Z. Kwiatkowska

Citations in the corpus

• Automated Verification Techniques for Probabilistic Systems (2011, methodology): “These include: probabilistic counterexample generation [4,3], verification under fairness [8] and under restricted classes of adversaries [47,29], parametric model checking [51], synthesis of parameters [52] and models [28], and run-time probabilistic model checking [24,44].”