Items where authors include "Paterson, Colin Alexander"

Book Section

Gerasimou, Simos, Mason, George Rupert, Paterson, Colin Alexander orcid.org/0000-0002-6678-3752 et al. (4 more authors) (2015) Stochastic modeling, analysis and verification of mission-critical systems and processes. In: 4th IMA Conference on Mathematics in Defence. .

Proceedings Paper

Paterson, Colin Alexander orcid.org/0000-0002-6678-3752 and Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260 (2017) Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement. In: IEEE International Conference on Software Architecture (ICSA 2017). UNSPECIFIED. IEEE . (In Press)

da Silva, Carlos Eduardo, da Silva, Jose Diego Saraiva, Paterson, Colin Alexander orcid.org/0000-0002-6678-3752 et al. (1 more author) (2017) Self-Adaptive Role-Based Access Control for Business Processes. In: 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017). UNSPECIFIED. IEEE . (In Press)

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Johnson, Kenneth Harold Anthony and Paterson, Colin Alexander orcid.org/0000-0002-6678-3752 (2016) FACT : A Probabilistic Model Checker for Formal Verification with Confidence Intervals. In: Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016. UNSPECIFIED. Lecture Notes in Computer Science (LNCS) . Springer , pp. 540-546.