Jeremy Bryans
发表
Lionel Morel,
Carron Shankland,
Jeremy Bryans,
2004,
AMAST.
Alexei Iliasov,
Jeremy Bryans,
J. Bryans,
2014,
Ershov Memorial Conference.
Nguyen Hoang Nga,
Jeremy Bryans,
Siraj Ahmed Shaikh,
2017,
WISTP.
Vasa Curcin,
Roxana Dánger Mercaderes,
Paolo Missier,
2015,
Future Gener. Comput. Syst..
Nguyen Hoang Nga,
Jeremy Bryans,
Siraj Ahmed Shaikh,
2019,
2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE).
John S. Fitzgerald,
Jeremy Bryans,
Steve Riddle,
2012,
2012 7th International Conference on System of Systems Engineering (SoSE).
Jeremy Bryans,
Siraj Ahmed Shaikh,
Daniel S. Fowler,
2017,
2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W).
Jeremy Bryans,
Siraj Ahmed Shaikh,
Daniel S. Fowler,
2017,
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).
John S. Fitzgerald,
Jeremy Bryans,
J. Fitzgerald,
2007,
ICFEM.
Peter Gorm Larsen,
John S. Fitzgerald,
Jeremy Bryans,
2014,
PRO-VE.
Carron Shankland,
Jeremy Bryans,
J. Bryans,
2001,
FORTE.
Jeremy Bryans,
Siraj Ahmed Shaikh,
Andrew Tomlinson,
2018,
GECCO.
Wei Wei,
Jeremy Bryans,
2010,
FMICS.
Howard Bowman,
John Derrick,
Jeremy Bryans,
2003,
TOCL.
Jim Davies,
Steve A. Schneider,
Jeremy Bryans,
1995,
CONCUR.
Jeremy Bryans,
Siraj Ahmed Shaikh,
Madeline Cheah,
2019,
2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W).
John S. Fitzgerald,
Jeremy Bryans,
Alvaro Miyazawa,
2014,
2014 9th International Conference on System of Systems Engineering (SOSE).
Bev Littlewood,
Lorenzo Strigini,
Peter Y. A. Ryan,
2006,
First International Conference on Availability, Reliability and Security (ARES'06).
Paolo Missier,
Jeremy Bryans,
Diana Bental,
2018,
ISCRAM.
Maciej Koutny,
Peter Y. A. Ryan,
Jeremy Bryans,
2005,
Formal Aspects in Security and Trust.
Maciej Koutny,
Peter Y. A. Ryan,
Jeremy Bryans,
2004,
Formal Aspects in Security and Trust.
Alexander Romanovsky,
John S. Fitzgerald,
Jeremy Bryans,
2009,
2009 14th IEEE International Conference on Engineering of Complex Computer Systems.
Jeremy Bryans,
Siraj Ahmed Shaikh,
Daniel S. Fowler,
2018,
2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W).
N Cook,
Jeremy Bryans,
Ar Wright,
2006
.
Jeremy Bryans,
2011,
ICFEM.
Paolo Missier,
Jeremy Bryans,
Roxana Danger,
2013
.
John S. Fitzgerald,
Jeremy Bryans,
Richard John Payne,
2012,
PRO-VE.
John S. Fitzgerald,
Jeremy Bryans,
Tom McCutcheon,
2011,
PRO-VE.
Jeremy Bryans,
J. Bryans,
2005,
SWS '05.
John Derrick,
Jeremy Bryans,
J. Derrick,
1999,
IWFM.
Jeremy Bryans,
Siraj Ahmed Shaikh,
Andrew Tomlinson,
2018,
2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W).
Simon Perry,
Jeremy Bryans,
Jon Holt,
2013,
2013 IEEE International Systems Conference (SysCon).
Howard Bowman,
John Derrick,
Jeremy Bryans,
2001,
Comput. J..
Simon Perry,
Jeremy Bryans,
Jon Holt,
2015,
IEEE Systems Journal.
Nguyen Hoang Nga,
Jeremy Bryans,
Siraj Ahmed Shaikh,
2019,
WISTP.
Howard Bowman,
John Derrick,
Jeremy Bryans,
2000,
IFM.
Jeremy Bryans,
Zoe Andrews,
Richard John Payne,
2014,
ArXiv.
Jeremy Bryans,
Jon Holt,
Simon Perry,
2019
.
Maciej Koutny,
Jeremy Bryans,
Chunyan Mu,
2012,
TGC.
Jim Davies,
Steve A. Schneider,
Jeremy Bryans,
1995,
FORTE.
Jeremy Bryans,
Siraj Ahmed Shaikh,
Madeline Cheah,
2018,
Comput. Secur..
Jeremy Bryans,
Daniel S. Fowler,
Madeline Cheah,
2019,
2019 IEEE 19th International Conference on Software Quality, Reliability and Security Companion (QRS-C).
Maciej Koutny,
Peter Y. A. Ryan,
Jeremy Bryans,
2005,
International Journal of Information Security.
Vasa Curcin,
Paolo Missier,
Jeremy Bryans,
2020,
Future Gener. Comput. Syst..
Maciej Koutny,
Peter Y. A. Ryan,
Jeremy Bryans,
2005,
WISP@ICATPN.
Alexander Romanovsky,
John S. Fitzgerald,
Jeremy Bryans,
2010,
2010 15th IEEE International Conference on Engineering of Complex Computer Systems.
Howard Bowman,
John Derrick,
Jeremy Bryans,
2000,
ArXiv.
Paul Watson,
Allen R. Wright,
Jeremy Bryans,
2006
.
Jeremy Bryans,
John Fitzgerald,
Richard Payne,
2014
.
Paolo Missier,
Jeremy Bryans,
Roxana Danger,
2013
.
Paolo Missier,
Jeremy Bryans,
Diana Bental,
2019,
ISCRAM.
Vasa Curcin,
Roxana Dánger Mercaderes,
Paolo Missier,
2014,
IPAW.
Cliff B. Jones,
John S. Fitzgerald,
Jeremy Bryans,
2006,
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
Augusto Sampaio,
Marcel Vinícius Medeiros Oliveira,
Jeremy Bryans,
2014,
NASA Formal Methods.
Jeremy Bryans,
John Fitzgerald,
2012
.
Nguyen Hoang Nga,
Jeremy Bryans,
Siraj Ahmed Shaikh,
2016,
WISTP.
Jeremy Bryans,
Siraj Ahmed Shaikh,
Andrew Tomlinson,
2021,
Comput. Electr. Eng..
Jeremy Bryans,
Siraj Shaikh,
Daniel S. Fowler,
2017
.
N Cook,
Jeremy Bryans,
Ar Wright,
2006
.
Jeremy Bryans,
John Fitzgerald,
Igor Mozolevsky,
2006
.
Jeremy Bryans,
Richard J. Payne,
2012
.
Peter Y. A. Ryan,
Jeremy Bryans,
Jeremy Bryans,
2003
.