• 537 Citations
  • 13 h-Index
1995 …2022

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Chapter
2015

A proof-based method for modelling timed systems

Iliasov, A. & Bryans, J., 19 Apr 2015, International Andrei Ershov Memorial Conference on Perspectives of System Informatics. Berlin: Springer Verlag, Vol. 8974. p. 161-176 16 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

3 Citations (Scopus)
2014

Leadership election: An Industrial SoS application of compositional deadlock verification

Antonino, P. R. G., Oliveira, M. M., Sampaio, A. C. A., Kristensen, K. E. & Bryans, J. W., 2014, NASA Formal Methods. Badger, J. M. & Rozier, K. Y. (eds.). Springer Verlag, Vol. 8430 LNCS. p. 31-45 16 p. (Lecture Notes in Computer Science; vol. 8430).

Research output: Chapter in Book/Report/Conference proceedingChapter

10 Citations (Scopus)
2013

Towards quantitative analysis of opacity

Bryans, J. W., Koutny, M. & Mu, C., 2013, Trustworthy Global Computing: 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, Revised Selected Papers (Lecture Notes in Computer Science). Palamidessi, C. & Ryan, M. D. (eds.). Heidelberg: Springer, Vol. 8191 LNCS. p. 145-163 19 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

4 Citations (Scopus)