Jeremy Bryans - Google Scholar

Citeras av

	Alla	Sedan 2015
Citat	1403	634
h-index	20	13
i10-index	34	18

160

120

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920209 3 15 14 12 22 12 44 44 65 64 65 61 68 78 63 107 84 105 116 112 143 74

Medförfattare

John S. FitzgeraldNewcastle University, UKVerifierad e-postadress på ncl.ac.uk
Peter RyanProfessor of applied security, university of luxembourgVerifierad e-postadress på uni.lu
Richard PayneSenior Software Engineer, Asset55Verifierad e-postadress på assetfiftyfive.com
Maciej KoutnyNewcastle UniversityVerifierad e-postadress på ncl.ac.uk
Siraj Ahmed ShaikhCoventry UniversityVerifierad e-postadress på coventry.ac.uk
John DerrickUniversity of SheffieldVerifierad e-postadress på sheffield.ac.uk
Howard BowmanSchool of Computing, University of Kent and School of Psychology, University of BirminghamVerifierad e-postadress på kent.ac.uk
Steve SchneiderDirector of Surrey Centre for Cyber Security; Professor of Computing, University of SurreyVerifierad e-postadress på surrey.ac.uk
Paolo MissierProfessor in Large Scale Information Systems, Computing Science, Newcastle University, UKVerifierad e-postadress på acm.org
Vasa CurcinSenior lecturer in health informatics, King's College LondonVerifierad e-postadress på doc.ic.ac.uk
Cliff B JonesProfessor of Computing Science, Newcastle University, UKVerifierad e-postadress på ncl.ac.uk
Carl GambleResearch Associate, Newcastle UniversityVerifierad e-postadress på newcastle.ac.uk
Andreas RothSAP SEVerifierad e-postadress på sap.com
Alexander RomanovskyProfessor, Newcastle University, UKVerifierad e-postadress på ncl.ac.uk
Jim DaviesUniversity of OxfordVerifierad e-postadress på cs.ox.ac.uk
Augusto Cesar Alves SampaioUFPE - Universidade Federal de PernambucoVerifierad e-postadress på cin.ufpe.br
Hoang Nga NguyenCoventry UniversityVerifierad e-postadress på coventry.ac.uk
David GreatheadSenior Research Assistant, Northumbria UniversityVerifierad e-postadress på northumbria.ac.uk
Carron ShanklandProfessor of Computing Science, University of StirlingVerifierad e-postadress på cs.stir.ac.uk
Alvaro MiyazawaResearch Associate, University of YorkVerifierad e-postadress på york.ac.uk

Jeremy Bryans

Research Fellow, Coventry University, UK

Verifierad e-postadress på coventry.ac.uk

Formal Methods Dynamic Coalitions Automotive Security


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
Opacity generalised to transition systems JW Bryans, M Koutny, L Mazaré, PYA Ryan International Journal of Information Security 7 (6), 421-435, 2008	277	2008
Modelling opacity using Petri nets JW Bryans, M Koutny, PYA Ryan Electronic Notes in Theoretical Computer Science 121, 101-115, 2005	122	2005
Reasoning about XACML policies using CSP J Bryans Proceedings of the 2005 workshop on Secure web services, 28-35, 2005	79	2005
Analysis of a multimedia stream using stochastic process algebra H Bowman, JW Bryans, J Derrick The Computer Journal 44 (4), 230-245, 2001	53	2001
Model checking stochastic automata J Bryans, H Bowman, J Derrick ACM Transactions on Computational Logic (TOCL) 4 (4), 452-492, 2003	46	2003
CSP, PVS and a recursive authentication protocol J Bryans, SA Schneider	42	1997
A model-based approach for requirements engineering for systems of systems J Holt, S Perry, R Payne, J Bryans, S Hallerstede, FO Hansen IEEE Systems Journal 9 (1), 252-262, 2014	36	2014
Formal analysis of BPMN models using Event-B JW Bryans, W Wei International Workshop on Formal Methods for Industrial Critical Systems, 33-49, 2010	35	2010
ProvAbs: model, policy, and tooling for abstracting PROV graphs P Missier, J Bryans, C Gamble, V Curcin, R Danger International Provenance and Annotation Workshop, 3-15, 2014	33	2014
Formal engineering of XACML access control policies in VDM++ JW Bryans, JS Fitzgerald International Conference on Formal Engineering Methods, 37-56, 2007	33	2007
Semi-formal and formal interface specification for system of systems architecture J Bryans, R Payne, J Holt, S Perry 2013 IEEE International Systems Conference (SysCon), 612-619, 2013	30	2013
Modelling dynamic opacity using Petri nets with silent actions JW Bryans, M Koutny, PYA Ryan IFIP World Computer Congress, TC 1, 159-172, 2004	29	2004
A dependability analysis of the Chaum digital voting scheme J Bryans, P Ryan Technical Report CS-TR-809, University of Newcastle upon Tyne, 2003	28	2003
2.2. 2 Maintaining Emergence in Systems of Systems Integration: a Contractual Approach using SysML J Bryans, J Fitzgerald, R Payne, K Kristensen INCOSE International Symposium 24 (1), 166-181, 2014	27	2014
Modelling non-deducibility using Petri Nets J Bryans, M Koutny, P Ryan Proc. of the 2nd International Workshop on Security Issues with Petri Nets …, 2004	27	2004
E-voting: Dependability requirements and design for dependability JW Bryans, B Littlewood, PYA Ryan, L Strigini First International Conference on Availability, Reliability and Security …, 2006	26	2006
Formal modelling of dynamic coalitions, with an application in chemical engineering JW Bryans, JS Fitzgerald, CB Jones, I Mozolevsky Second International Symposium on Leveraging Applications of Formal Methods …, 2006	25	2006
SysML contracts for systems of systems J Bryans, J Fitzgerald, R Payne, A Miyazawa, K Kristensen 2014 9th International Conference on System of Systems Engineering (SOSE), 73-78, 2014	24	2014
A formal model-based approach to engineering systems-of-systems J Fitzgerald, J Bryans, R Payne Working Conference on Virtual Enterprises, 53-62, 2012	22	2012
GOLD infrastructure for virtual organizations P Periorellis, N Cook, H Hiden, A Conlin, MD Hamilton, J Wu, J Bryans, ... Concurrency and Computation: Practice and Experience 20 (11), 1273-1288, 2008	20	2008

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Ladda upp PDF

Följ den här författaren

Citeras av

Medförfattare