Colin Paterson
Title
Cited by
Cited by
Year
Self-adaptive role-based access control for business processes
CE da Silva, JDS da Silva, C Paterson, R Calinescu
2017 IEEE/ACM 12th International Symposium on Software Engineering for …, 2017
132017
FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals.
R Calinescu, K Johnson, C Paterson
International Conference on Tools and Algorithms for the Construction and …, 2016
132016
Observation-enhanced QoS analysis of component-based systems
CA Paterson, R Calinescu
IEEE Transactions on Software Engineering, 2018
82018
Accurate analysis of quality properties of software with observation-based Markov chain refinement
C Paterson, R Calinescu
2017 IEEE International Conference on Software Architecture (ICSA), 121-130, 2017
72017
Using runtime quantitative verification to provide assurance evidence for self-adaptive software
R Calinescu, S Gerasimou, K Johnson, C Paterson
Software Engineering for Self-Adaptive Systems III. Assurances, 223-248, 2017
72017
A fixed parameter optimal controller design for an active suspension system—A sensitivity analysis
RA Paterson, CA and Burnham, KJ and James, DJG and Williams
Mechatronics 4 (3), 317-329, 1994
51994
Efficient parametric model checking using domain-specific modelling patterns
R Calinescu, K Johnson, C Paterson
2018 IEEE/ACM 40th International Conference on Software Engineering: New …, 2018
42018
Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software
C Paterson
Software Engineering for Self-Adaptive Systems III. Assurances …, 2018
2018
Stochastic modeling, analysis and verification of mission-critical systems and processes
S Gerasimou, GR Mason, CA Paterson, A Banks, RC Calinescu, ...
York, 2015
2015
The Effects Of A Restricted Wordlengt H Micro-controller On The Performance Of Advanced Suspension Systems
RA Paterson, CA and Burnham, KJ and James, DJG and Williams
Active Suspension Technology for Automotive and Railway Applications (Digest …, 1992
1992
ICECCS 2017
A Gkolfi, C Qian, CM Poskitt, C Paterson, C Jegourel, D Darvas, D Poetzl, ...
SEAMS 2017
D Gritzner, M De Sanctis, E Yigitbas, A Shahbazian, CE Da Silva, ...
Stochastic modelling, analysis and verification of mission-critical software and business processes
S Gerasimou, G Mason, C Paterson, A Banks, R Calinescu, D Kudenko, ...
ICECCS 2016
M Alférez, E Ahmad, P Ballarini, Y Cai, Z Chen, M Ellison, S Gerasimou, ...
ICECCS 2015 Additional Reviewers
R Arshad, C Attiogbe, P Ballarini, JL Béchennec, A Belaggoun, S Bijo, ...
of the IEEE Workshop on Quality Assurance for Self-adaptive, Self-Organising Systems (QA4SASO)
R Calinescu, J Cámara, C Paterson, S Gerasimou
The system can't perform the operation now. Try again later.
Articles 1–16