E. Denney
发表
Ewen Denney,
Ganesh J. Pai,
Iain Whiteside,
2015,
2015 IEEE 16th International Symposium on High Assurance Systems Engineering.
Ewen Denney,
Thomas P. Jensen,
Marc Éluard,
2001,
E-smart.
Ganesh J. Pai,
E. Denney,
Colin Smith,
2019
.
E. Denney,
2015
.
Alan Bundy,
Graham Steel,
Ewen Denney,
2002
.
G. Sutcliffe,
B. Fischer,
E. Denney,
2005
.
B. Fischer,
E. Denney,
2005
.
E. Denney,
2007
.
Ewen Denney,
Thomas Jensen,
Pascal Fradet,
1999
.
Ewen Denney,
Ganesh J. Pai,
Josef Pohl,
2012,
SAFECOMP Workshops.
E. Denney,
S. Trac,
E. Denney,
2008,
2008 IEEE Aerospace Conference.
Ganesh J. Pai,
E. Denney,
2017,
Automated Software Engineering.
Ewen Denney,
Ganesh J. Pai,
E. Denney,
2017,
Automated Software Engineering.
Ganesh J. Pai,
E. Denney,
Erfan Asaadi,
2020,
SAFECOMP.
Ewen Denney,
Ganesh J. Pai,
Erfan Asaadi,
2019,
2019 15th European Dependable Computing Conference (EDCC).
G. Sutcliffe,
B. Fischer,
E. Denney,
2005
.
Ewen Denney,
Ganesh J. Pai,
Ibrahim Habli,
2011,
2011 International Symposium on Empirical Software Engineering and Measurement.
Ewen Denney,
John Power,
Konstantinos Tourlas,
2006,
MFPS.
Ewen Denney,
Ganesh J. Pai,
Colin Smith,
2020,
SafeAI@AAAI.
J. Schumann,
E. Denney,
B. Fischer,
2005,
2005 IEEE Aerospace Conference.
E. Denney,
G. Brat,
J. Frank,
2006,
2006 IEEE Aerospace Conference.
Ewen Denney,
Ganesh J. Pai,
E. Denney,
2013,
SAFECOMP.
Ewen Denney,
Bernd Fischer,
B. Fischer,
2005
.
Ewen Denney,
Bernd Fischer,
B. Fischer,
2003,
FME.
Ewen Denney,
Ganesh J. Pai,
E. Denney,
2013,
2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).
Ewen Denney,
Christoph Lüth,
David Aspinall,
2010,
Math. Comput. Sci..
Ewen Denney,
Ganesh J. Pai,
Josef Pohl,
2012,
2012 IEEE 17th International Conference on Engineering of Complex Computer Systems.
Bernd Fischer,
Johann Schumann,
Ewen Denney,
2008
.
Ewen Denney,
Ganesh J. Pai,
E. Denney,
2014,
IEEE Transactions on Reliability.
Ewen Denney,
Ganesh J. Pai,
Ganesh Pai,
2012
.
Ewen Denney,
Ganesh J. Pai,
Erfan Asaadi,
2020,
Computer.
Ewen Denney,
Ganesh J. Pai,
Ganesh Pai,
2019,
Reliab. Eng. Syst. Saf..
Ewen Denney,
Corina S. Pasareanu,
Dimitra Giannakopoulou,
2009
.
Ewen Denney,
E. Denney,
1999
.
Ewen Denney,
Ganesh J. Pai,
Ibrahim Habli,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Ewen Denney,
Tomas Bures,
Bernd Fischer,
2004
.
Ewen Denney,
Ganesh J. Pai,
Ganesh Pai,
2016,
2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC).
Johann Schumann,
Ewen Denney,
Ganesh J. Pai,
2013
.
Ewen Denney,
Tim Kelly,
Ganesh J. Pai,
2013,
2013 35th International Conference on Software Engineering (ICSE).
Nurlida Basir,
Ewen Denney,
Bernd Fischer,
2009,
ICONS 2009.
Nurlida Basir,
Ewen Denney,
Bernd Fischer,
2009
.
D. Giannakopoulou,
E. Denney,
C. Păsăreanu,
2009
.
Ewen Denney,
Dimitrios P. Pezaros,
Angelos K. Marnerides,
2017,
2017 14th IEEE Annual Consumer Communications & Networking Conference (CCNC).
Ewen Denney,
Ganesh J. Pai,
Ganesh Pai,
2015
.
Johann Schumann,
Ewen Denney,
Bernd Fischer,
2013,
Int. J. Artif. Intell. Tools.
Ewen Denney,
Bernd Fischer,
B. Fischer,
2008,
AMAST.
Ewen Denney,
Bernd Fischer,
B. Fischer,
2005,
GPCE'05.
Ewen Denney,
Bernd Fischer,
B. Fischer,
2005
.
J. Schumann,
E. Denney,
B. Fischer,
2005,
2005 IEEE Aerospace Conference.
E. Denney,
Thomas Jensen,
2009
.
Ewen Denney,
Ki Yung Ahn,
E. Denney,
2011,
Software Quality Journal.
Ewen Denney,
Bernd Fischer,
B. Fischer,
2009,
2009 IEEE/ACM International Conference on Automated Software Engineering.
Ewen Denney,
Bernd Fischer,
B. Fischer,
2006,
GPCE '06.
Ewen Denney,
Bernd Fischer,
B. Fischer,
2006,
21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).
Johann Schumann,
Ewen Denney,
Bernd Fischer,
2004,
Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings..
B. Fischer,
E. Denney,
2005
.
Ewen Denney,
Bernd Fischer,
B. Fischer,
2009,
2009 Third IEEE International Conference on Space Mission Challenges for Information Technology.
Johann Schumann,
Ewen Denney,
Doug Greaves,
2006
.
Ewen Denney,
Ganesh J. Pai,
Ganesh Pai,
2014,
2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC).