Tim Kelly
发表
Rob Alexander,
Richard Hawkins,
Tim Kelly,
2017
.
John A. McDermid,
Tim Kelly,
Rob Alexander,
2007
.
Tim Kelly,
Martin Adolph,
2008,
IEEE Communications Magazine.
Marco Bozzano,
Tim Kelly,
Oleg Lisagor,
2010
.
Fan Ye,
Tim Kelly,
2004,
SCS.
Tim Kelly,
Robert Alexander,
Ralph Eastwood,
2016,
2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE).
Danny Weyns,
Tim Kelly,
M. Usman Iftikhar,
2018,
ICSE.
Richard Hawkins,
Tim Kelly,
Ibrahim Habli,
2013,
SASSUR@SAFECOMP.
Jim Austin,
Tim Kelly,
Zeshan Kurd,
2006,
Neural Computing and Applications.
Tim Kelly,
Ibrahim Habli,
2007,
11th International Software Product Line Conference (SPLC 2007).
Iain Bate,
John A. McDermid,
Tim Kelly,
2001,
Comput. J..
John A. McDermid,
Tim Kelly,
Stephen P. Wilson,
1997
.
Tim Kelly,
Emidio Piermarini,
Hayden Nuttall,
2018
.
Yiannis Papadopoulos,
Tim Kelly,
Paulo César Masiero,
2018,
ICSR.
Tim Kelly,
Zoë Stephenson,
Christian Fairburn,
2011,
SSS.
Jonathan M. Aitken,
Tim Kelly,
Robert Alexander,
2010,
2010 5th International Conference on System of Systems Engineering.
Tim Kelly,
Robert Alexander,
Chris Leong,
2017,
CREST@ETAPS.
Alejandra Ruiz,
Tim Kelly,
Alberto Melzi,
2015,
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Tim Kelly,
Dimitar Kazakov,
Robert Alexander,
2006,
SAFECOMP.
Richard F. Paige,
Richard Hawkins,
Tim Kelly,
2015,
2015 IEEE 16th International Symposium on High Assurance Systems Engineering.
Tim Kelly,
Philip Wilkinson,
Katrina Attwood,
2009
.
Yiannis Papadopoulos,
Tim Kelly,
Rosana T. V. Braga,
2015
.
Tim Kelly,
Weihang Wu,
T. Kelly,
2006,
QoSA.
Tim Kelly,
Zeshan Kurd,
T. Kelly,
2003,
SAFECOMP.
Radu Calinescu,
John A. McDermid,
Tim Kelly,
2009,
SAFECOMP.
Sean White,
Tim Kelly,
Georgios Despotou,
2012,
2012 4th International Workshop on Software Engineering in Health Care (SEHC).
Wing Lam,
Tim Kelly,
Ben Whittle,
1996
.
Tim Kelly,
2014
.
Tim Kelly,
Mark Douthwaite,
T. Kelly,
2017,
2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).
John A. McDermid,
Tim Kelly,
J. McDermid,
1997,
SAFECOMP.
Richard F. Paige,
Xiaocheng Ge,
John A. McDermid,
2012
.
Tim Kelly,
Weihang Wu,
T. Kelly,
2006,
WADS.
Iain Bate,
Tim Kelly,
T. Kelly,
2002,
Reliab. Eng. Syst. Saf..
Yiannis Papadopoulos,
Tim Kelly,
Paulo César Masiero,
2015,
DepCoS-RELCOMEX.
Radu Calinescu,
Dave Cliff,
Richard F. Paige,
2011,
Commun. ACM.
Tim Kelly,
Zeshan Kurd,
2007,
Reliab. Eng. Syst. Saf..
Tim Kelly,
T. Kelly,
2007
.
Danny Weyns,
Radu Calinescu,
Tim Kelly,
2017,
IEEE Transactions on Software Engineering.
Tim Kelly,
Richard Hawkins,
2010
.
Tim Kelly,
Richard Hawkins,
T. Kelly,
2009,
ICONS 2009.
Tim Kelly,
George Despotou,
T. Kelly,
2006
.
Tim Kelly,
Oleg Lisagor,
Linling Sun,
2011
.
George Despotou,
Tim Kelly,
Robert Alexander,
2009,
2009 3rd Annual IEEE Systems Conference.
Tim Kelly,
Ibrahim Habli,
Richard Hawkins,
2015
.
Kester Clegg,
Richard Hawkins,
Tim Kelly,
2011,
SAFECOMP.
Tim Kelly,
Martin Adolph,
2008
.
Richard Hawkins,
Tim Kelly,
John C. Knight,
2011,
SSS.
Tim Kelly,
Osama Doss,
2016,
XP Workshops.
Tim Kelly,
Oleg Lisagor,
Ru Niu,
2011,
Proceedings of 2011 IEEE International Conference on Service Operations, Logistics and Informatics.
Tim Kelly,
Tianhua Xu,
Tangming Yuan,
2015,
Argument Comput..
John A. McDermid,
Tim Kelly,
2001,
Reliab. Eng. Syst. Saf..
Richard Hawkins,
Tim Kelly,
Ibrahim Habli,
2015,
MILS@HiPEAC.
John A. Clark,
Tim Kelly,
Fiona A. C. Polack,
2006,
ReMo2V.
Tim Kelly,
Georgios Despotou,
2008
.
Tim Kelly,
Osama Doss,
2016,
SOEN.
Sean White,
Tim Kelly,
Richard W. Jones,
2014,
ICIMTH.
Alejandra Ruiz,
Tim Kelly,
Jose Luis de la Vara,
2014,
SAFECOMP Workshops.
Tim Kelly,
Paul Mayo,
Rob Weaver,
2006,
SSS.
Tim Kelly,
Carlo Maria Rossotto,
2012
.
Tim Kelly,
Ran Wei,
Simos Gerasimou,
2018,
MODELS Workshops.
Tim Kelly,
Georgios Despotou,
2008
.
Tim Kelly,
Catherine Menon,
T. Kelly,
2010,
2010 IEEE International Systems Conference.
John A. McDermid,
Tim Kelly,
Rob Weaver,
2002
.
Tim Kelly,
L Sun,
2011
.
Suresh Manandhar,
Tim Kelly,
Tangming Yuan,
2015,
PRIMA Workshops.
John A. McDermid,
Tim Kelly,
Georgios Despotou,
2005,
ACM SIGSOFT Softw. Eng. Notes.
Eric Armengaud,
Georg Macher,
Federica Villa,
2018
.
John A. McDermid,
Tim Kelly,
T. Kelly,
2006
.
Mark Howells,
Tim Kelly,
Joanna Smith,
2017
.
Tim Kelly,
Ibrahim Habli,
2005
.
Tim Kelly,
Thilina Gunasinghe,
2005,
IEEE International Conference on Web Services (ICWS'05).
Wing Lam,
Tim Kelly,
Ben Whittle,
1996
.
Iain Bate,
Tim Kelly,
2003,
Reliab. Eng. Syst. Saf..
Tim Kelly,
Weihang Wu,
2004,
Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004..
Richard Hawkins,
Tim Kelly,
Ibrahim Habli,
2010,
Int. J. Crit. Comput. Based Syst..
John A. McDermid,
Rob Alexander,
Tim Kelly,
2007
.
Tim Kelly,
Carlo Maria Rossotto,
2012
.
Yiannis Papadopoulos,
Tim Kelly,
Paulo César Masiero,
2014,
2014 Brazilian Symposium on Computing Systems Engineering.
Tim Kelly,
2003
.
Richard Hawkins,
Tim Kelly,
Phil Williams,
2007,
SSS.
Erik Blasch,
Sriraam Natarajan,
Tim Kelly,
2018,
2018 21st International Conference on Information Fusion (FUSION).
Simone Pozzi,
Tim Kelly,
Mark-Alexander Sujan,
2013,
Health Informatics J..
Fan Ye,
Tim Kelly,
2004,
ICCBSS.
Tim Kelly,
Ibrahim Habli,
I. Habli,
2007,
Second Workshop on Sharing and Reusing Architectural Knowledge - Architecture, Rationale, and Design Intent (SHARK/ADI'07: ICSE Workshops 2007).
Richard Hawkins,
Tim Kelly,
John C. Knight,
2012,
IEEE Software.
Tim Kelly,
Zeshan Kurd,
T. Kelly,
2005,
SAFECOMP.
Rob Alexander,
Tim Kelly,
T. Kelly,
2013
.
Tim Kelly,
Vivek Vic Nanda,
2004
.
Tim Kelly,
Katrina Attwood,
2015
.
Tim Kelly,
Patrick J. Graydon,
2012,
SAFECOMP Workshops.
Fan Ye,
Tim Kelly,
T. Kelly,
2004,
Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004..
Tim Kelly,
Osama Doss,
Geir Hanssen,
2016
.
Tim Kelly,
Rob Alexander,
Jonathan M. Aitken,
2011,
2011 IEEE International Systems Conference.
Tim Kelly,
Ibrahim Habli,
I. Habli,
2010,
ISARCS.
John A. McDermid,
Tim Kelly,
T. Kelly,
1998
.
Tim Kelly,
Ibrahim Habli,
Abdulaziz Al-Humam,
2014,
MCPS.
Tim Kelly,
Mark Williams,
Victor Mulas,
2010
.
Simone Pozzi,
Astrid Gühnemann,
Tim Kelly,
2017,
Reliab. Eng. Syst. Saf..
Tim Kelly,
Oleg Lisagor,
Ru Niu,
2011,
The Proceedings of 2011 9th International Conference on Reliability, Maintainability and Safety.
Tim Kelly,
Chris Papadopoulos,
Keval Mehta,
2011
.
Tim Kelly,
Zeshan Kurd,
T. Kelly,
2003,
KES.
Thomas Richardson,
Richard Hawkins,
Tim Kelly,
2016,
SAFECOMP.
Tim Kelly,
J. R. Evans,
2008
.
Rob Alexander,
Tim Kelly,
N. J. Herbertt,
2008
.
Tim Kelly,
Nikita Johnson,
2019,
ArXiv.
Radu Calinescu,
John A. McDermid,
Tim Kelly,
2009,
ICONS 2009.
John A. McDermid,
Richard Hawkins,
Tim Kelly,
2013
.
Tim Kelly,
Weihang Wu,
Ibrahim Habli,
2007,
ER Workshops.
John A. McDermid,
Richard Hawkins,
Tim Kelly,
2010,
SSS.
Jonathan M. Aitken,
Tim Kelly,
Robert Alexander,
2012,
SSBSE.
Tim Kelly,
2000
.
Simon Foster,
Mario Gleirscher,
Tim Kelly,
2019,
ArXiv.
Alan Burns,
John A. McDermid,
Tim Kelly,
1999
.
Tor Stålhane,
Tim Kelly,
Mark Dixon,
2017,
EuroSPI.
Rob Alexander,
Tim Kelly,
R. Eastwood,
2013
.
Tim Kelly,
Ibrahim Habli,
I. Habli,
2007,
SSS.
Jonathan M. Aitken,
Tim Kelly,
Robert Alexander,
2014,
Empirical Software Engineering.
Tim Kelly,
Tangming Yuan,
T. Kelly,
2012,
Int. J. Crit. Comput. Based Syst..
Tim Kelly,
Patrick J. Graydon,
T. Kelly,
2013,
Inf. Softw. Technol..
Tim Kelly,
Ibrahim Habli,
I. Habli,
2006,
SIGBED.
Tim Kelly,
Joe Allen,
Fred Chapell,
2015
.
Tim Kelly,
Rob Alexander,
Nicola Herbert,
2009,
ICONS 2009.
Tim Kelly,
Ibrahim Habli,
I. Habli,
2008,
2008 19th International Symposium on Software Reliability Engineering (ISSRE).
Eric Armengaud,
Richard Hawkins,
Tim Kelly,
2017,
STAF Workshops.
Neil Walkinshaw,
Tim Kelly,
Sunil Nair,
2014,
SAFECOMP Workshops.
Tim Kelly,
D. J. Pumfrey,
Paul Chinneck,
2004
.
Tim Kelly,
T. Kelly,
2004
.
Mike Bennett,
Tim Kelly,
Georgios Despotou,
2010,
SSS.
Yiannis Papadopoulos,
Tim Kelly,
Paulo César Masiero,
2016,
Int. J. Embed. Syst..
Tim Kelly,
Oleg Lisagor,
2010
.
Richard Hawkins,
Tim Kelly,
Nungki Selviandro,
2018,
MODELS Workshops.
Edmund Kazmierczak,
Tim Kelly,
Tariq Mahmood,
2007,
14th Asia-Pacific Software Engineering Conference (APSEC'07).
John A. McDermid,
Tim Kelly,
D. J. Pumfrey,
2001
.
Cyrille Comar,
Alan Wassyng,
Tim Kelly,
2014,
FOSE.
Tim Kelly,
Karen Allenby,
T. Kelly,
2001,
Proceedings Fifth IEEE International Symposium on Requirements Engineering.
Tim Kelly,
Rob Alexander,
Ben Gorry,
2010
.
Tim Kelly,
Jerome Bezzina,
Siddhartha Raja,
2013
.
Tim Kelly,
Ibrahim Habli,
Roger Rivett,
2010
.
Tim Kelly,
Georgios Despotou,
Martin Hall-May,
2006,
2006 IEEE/SMC International Conference on System of Systems Engineering.
Mehrdad Sabetzadeh,
Alejandra Ruiz,
Tim Kelly,
2012,
SAFECOMP Workshops.
Tim Kelly,
Philippa Conmy,
Katrina Attwood,
2014
.
Sean White,
Tim Kelly,
Andrew Rae,
2014,
ICIMTH.
Tim Kelly,
George Despotou,
T. Kelly,
2009,
ICONS 2009.
Tim Kelly,
Richard Hawkins,
2012
.
John A. McDermid,
Tim Kelly,
Peter Fenelon,
1995,
SAFECOMP.
Tim Kelly,
Ibrahim Habli,
2007
.
Tim Kelly,
Linling Sun,
2009,
ICONS 2009.
Huáscar Espinoza,
Alejandra Ruiz,
Tim Kelly,
2013,
SASSUR@SAFECOMP.
Nuno Silva,
Tim Kelly,
Linling Sun,
2014,
SAFECOMP Workshops.
John A. McDermid,
Tim Kelly,
T. Kelly,
1999,
Reliab. Eng. Syst. Saf..
Ana Cavalcanti,
Richard Hawkins,
Tim Kelly,
2014,
SAFECOMP.
Tim Kelly,
Y. Oakshott,
Richard Hawkins,
2007
.
Sean White,
George Despotou,
Theodoros N. Arvanitis,
2017,
Digital health.
Tim Kelly,
Robert Alexander,
Georgios Despotou,
2009,
Safety and Security in Multiagent Systems.
Tim Kelly,
Osama Doss,
2016,
XP.
Tim Kelly,
Zeshan Kurd,
T. Kelly,
2007,
Reliab. Eng. Syst. Saf..
Tim Kelly,
Jane Fenn,
Rob Weaver,
2003,
SCS.
Neil Walkinshaw,
Tim Kelly,
Jose Luis de la Vara,
2015,
2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE).
Jim Austin,
Tim Kelly,
Zeshan Kurd,
2004,
IDEAL.
Tim Kelly,
Georgios Despotou,
T. Kelly,
2005
.
Tim Kelly,
Rob Alexander,
Nicola Herbert,
2009
.
Tim Kelly,
Weihang Wu,
T. Kelly,
2007,
SAFECOMP.
Ewen Denney,
Tim Kelly,
Ganesh J. Pai,
2013,
2013 35th International Conference on Software Engineering (ICSE).
Tim Kelly,
Weihang Wu,
2005,
ACM SIGSOFT Softw. Eng. Notes.
Tim Kelly,
S. Dawkins,
1997
.
Simon Foster,
Mario Gleirscher,
Tim Kelly,
2021,
ITNOW.
Tim Kelly,
.
Tim Kelly,
Robert Alexander,
Martin Hall-May,
2004
.
Tim Kelly,
Philip Wilkinson,
1998
.
Tim Kelly,
Ibrahim Habli,
Richard Paige,
2009
.
Tim Kelly,
Tangming Yuan,
2011
.
Tim Kelly,
T. Kelly,
Weihang Wu,
2005,
WADS@ICSE.
Rob Alexander,
Richard Hawkins,
Tim Kelly,
2011
.
Tim Kelly,
John McDermid,
Rob Weaver,
2005
.
Jim Austin,
Tim Kelly,
Zeshan Kurd,
2003
.
Tim Kelly,
Tim Kelly,
T. Kelly,
1998
.
Tim Kelly,
Martin Hall-May,
2005
.
Tim Kelly,
Ibrahim Habli,
2014
.
Tim Kelly,
John McDermid,
Katrina Attwood,
2004
.
Lin Zhao,
Tim Kelly,
Tangming Yuan,
2013
.
Tim Kelly,
T. Kelly,
Weihang Wu,
2006
.
Tim Kelly,
John McDermid,
Georgios Despotou,
2005
.
Tim Kelly,
Robert Alexander,
T. Kelly,
2008
.