Research output per year
Research output per year
Search results
-
2013
Trust Domains: An Algebraic, Logical, and Utility-theoretic Approach
Anderson, G., Collinson, M. & Pym, D., 2013, Trust and Trustworthy Computing: 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings. Huth, M., Asokan, N., Čapkun, S., Flechais, I. & Coles-Kemp, L. (eds.). Berlin: Springer , Vol. LNCS 7904. p. 232-249 18 p. (Lecture Notes in Computer Science; vol. 7904).Research output: Chapter in Book/Report/Conference proceeding › Chapter
2 Citations (Scopus) -
2012
A Framework for Modelling Security Architectures in Services Ecosystems
Collinson, M., Pym, D. & Taylor, B., 2012, Service-Oriented and Cloud Computing: First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings. De Paoli, F., Pimentel, E. & Zavaratto, G. (eds.). Springer , Vol. 7592. p. 64-79 15 p. (Lecture Notes in Computer Science ; vol. 7592).Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
2010
Semantics for structured systems modelling and simulation
Pym, D. J., Collinson, M. J. & Monahan, B., 2010, Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques: SESSION: Simulation methods. Brussels, Belgium: ICSTResearch output: Chapter in Book/Report/Conference proceeding › Chapter
25 Citations (Scopus)