Ewen Denney
发表
Ewen Denney,
E. Denney,
1999
.
Ewen Denney,
Ganesh J. Pai,
2015,
SAFECOMP.
Ewen Denney,
Ganesh Pai,
Reece Clothier,
2017
.
Ewen Denney,
Bernd Fischer,
2005
.
Ewen Denney,
Ganesh J. Pai,
Ibrahim Habli,
2011,
2011 International Symposium on Empirical Software Engineering and Measurement.
Ewen Denney,
Ganesh Pai,
Erfan Asaadi,
2020,
2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC).
Ewen Denney,
Christoph Lüth,
David Aspinall,
2012,
LPAR.
Ewen Denney,
Ganesh Pai,
Randall Berthold,
2014,
2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC).
Ewen Denney,
Bernd Fischer,
B. Fischer,
2006,
21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).
Ewen Denney,
Ganesh J. Pai,
Iain Whiteside,
2013,
NASA Formal Methods.
Johann Schumann,
Ewen Denney,
Bernd Fischer,
2004,
IJCAR.
Ewen Denney,
Perdita Stevens,
Andrzej Wasowski,
2017,
Formal Aspects of Computing.
Ewen Denney,
1998,
PROCOMET.
Ewen Denney,
Ganesh J. Pai,
Ibrahim Habli,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Ewen Denney,
Bernd Fischer,
B. Fischer,
2005,
GPCE'05.
Ewen Denney,
Ganesh Pai,
John C. Knight,
2013,
ICSE 2013.
Ewen Denney,
Bernd Fischer,
B. Fischer,
2009,
2009 IEEE/ACM International Conference on Automated Software Engineering.
Ewen Denney,
Ganesh J. Pai,
Josef Pohl,
2012,
2012 IEEE 17th International Conference on Engineering of Complex Computer Systems.
Ewen Denney,
Ki Yung Ahn,
2010,
TAP@TOOLS.
Johann Schumann,
Ewen Denney,
Bernd Fischer,
2004,
Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings..
Ewen Denney,
Dimitrios P. Pezaros,
Kyle J. S. White,
2017
.
Ewen Denney,
Corey A. Ippolito,
Ganeshmadhav Jagadeesh Pai,
2012
.
Ewen Denney,
Bernd Fischer,
2006
.
Ewen Denney,
Bernd Fischer,
B. Fischer,
2008,
AMAST.
Ewen Denney,
Tomas Bures,
Bernd Fischer,
2004
.
Ulrik Pagh Schultz,
Ewen Denney,
2011,
GPCE 2011.
Ewen Denney,
2012
.
Marcus Johnson,
Ewen Denney,
Ganesh Pai,
2018,
2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC).
Ewen Denney,
Ganesh J. Pai,
Ganesh Pai,
2019,
Reliab. Eng. Syst. Saf..
Ewen Denney,
Corina S. Pasareanu,
Dimitra Giannakopoulou,
2009
.
Ewen Denney,
Bernd Fischer,
2011
.
Nurlida Basir,
Ewen Denney,
Bernd Fischer,
2010,
SAFECOMP.
Ewen Denney,
Ganesh J. Pai,
Dwight Naylor,
2014,
SAFECOMP.
Ewen Denney,
1999
.
Ewen Denney,
2009
.
Ewen Denney,
Bernd Fischer,
B. Fischer,
2005
.
Ewen Denney,
2001,
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
Ewen Denney,
Ki Yung Ahn,
E. Denney,
2011,
Software Quality Journal.
Ewen Denney,
Bernd Fischer,
2009,
2009 Third IEEE International Conference on Space Mission Challenges for Information Technology.
Ewen Denney,
Bernd Fischer,
B. Fischer,
2005
.
Ewen Denney,
2008,
Journal of Computer Science and Technology.
Ewen Denney,
Bernd Fischer,
B. Fischer,
2003,
FME.
Ewen Denney,
John Power,
Konstantinos Tourlas,
2005
.
Johann Schumann,
Ewen Denney,
Ganesh J. Pai,
2013
.
Ewen Denney,
Thomas P. Jensen,
2002,
Theor. Comput. Sci..
Ewen Denney,
Ganesh Pai,
2015,
2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC).
Ewen Denney,
Thomas P. Jensen,
Marc Éluard,
2001,
E-smart.
Alan Bundy,
Graham Steel,
Ewen Denney,
2002
.
Ewen Denney,
Ganesh Pai,
Erfan Asaadi,
2020,
SAFECOMP.
Ewen Denney,
Ganesh J. Pai,
Iain Whiteside,
2017,
2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS).
Ewen Denney,
Ram Prasad Venkatesan,
2004,
AMAST.
Nurlida Basir,
Ewen Denney,
Bernd Fischer,
2008,
SAFECOMP.
Ewen Denney,
2000,
TPHOLs.
Ewen Denney,
Christoph Lüth,
David Aspinall,
2013,
LPAR.
Alan Bundy,
Graham Steel,
Ewen Denney,
2004
.
Ewen Denney,
Thomas Jensen,
Pascal Fradet,
1999
.
Johann Schumann,
Ewen Denney,
Bernd Fischer,
2004
.
Ewen Denney,
John Power,
Konstantinos Tourlas,
2006,
MFPS.
Ewen Denney,
Ganesh J. Pai,
Josef Pohl,
2012,
SAFECOMP Workshops.
Ewen Denney,
Ganesh J. Pai,
E. Denney,
2013,
SAFECOMP.
Ewen Denney,
2008
.
Bernd Fischer,
Johann Schumann,
Ewen Denney,
2008
.
Ewen Denney,
Ganesh J. Pai,
Iain Whiteside,
2015,
2015 IEEE 16th International Symposium on High Assurance Systems Engineering.
Ewen Denney,
Jon Whittle,
2004,
Software Engineering Research and Practice.
Ewen Denney,
Dimitrios P. Pezaros,
Angelos K. Marnerides,
2017,
2017 14th IEEE Annual Consumer Communications & Networking Conference (CCNC).
Ewen Denney,
Josef Pohl,
Sarah Bass,
2012
.
Nurlida Basir,
Ewen Denney,
Bernd Fischer,
2011
.
Nurlida Basir,
Ewen Denney,
Bernd Fischer,
2009,
Electron. Notes Theor. Comput. Sci..
Ewen Denney,
2002
.
Ewen Denney,
Corina S. Pasareanu,
Dimitra Giannakopoulou,
2010,
Innovations in Systems and Software Engineering.
Ewen Denney,
Ganesh J. Pai,
2012,
SAFECOMP.
Ewen Denney,
Ganesh J. Pai,
Erfan Asaadi,
2019,
2019 15th European Dependable Computing Conference (EDCC).
Ewen Denney,
Ganesh J. Pai,
Ganesh Pai,
2015
.
Ewen Denney,
Bernd Fischer,
2006,
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
Ewen Denney,
Bernd Fischer,
B. Fischer,
2006,
GPCE '06.
Johann Schumann,
Ewen Denney,
Doug Greaves,
2006
.
Ewen Denney,
Bernd Fischer,
2005
.
Ewen Denney,
Ganesh J. Pai,
E. Denney,
2013,
2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).
Ewen Denney,
Ganesh Pai,
2017
.
Ewen Denney,
Ganesh J. Pai,
Colin Smith,
2020,
SafeAI@AAAI.
Andreas Zeller,
Tevfik Bultan,
Ewen Denney,
2013
.
Ewen Denney,
Thomas P. Jensen,
2000,
ESOP.
Ewen Denney,
Ganesh J. Pai,
Ganesh Pai,
2012
.
Ewen Denney,
Corey Ippolito,
Ganesh J. Pai,
2012,
Infotech@Aerospace.
Ewen Denney,
Ganesh J. Pai,
E. Denney,
2014,
IEEE Transactions on Reliability.
Ewen Denney,
Ganesh J. Pai,
Ganesh Pai,
2016,
2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC).
Ewen Denney,
Christoph Lüth,
David Aspinall,
2010,
Math. Comput. Sci..
Ewen Denney,
Christoph Lüth,
David Aspinall,
2008,
AISC/MKM/Calculemus.
Ewen Denney,
Tim Kelly,
Ganesh J. Pai,
2013,
2013 35th International Conference on Software Engineering (ICSE).
Ewen Denney,
Ganesh J. Pai,
Ibrahim Habli,
2012,
IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012).
Ewen Denney,
Ganesh J. Pai,
E. Denney,
2017,
Automated Software Engineering.
Ewen Denney,
Ganesh J. Pai,
2016,
SAFECOMP.
Johann Schumann,
Ewen Denney,
Bernd Fischer,
2013,
Int. J. Artif. Intell. Tools.
Johann Schumann,
Ewen Denney,
2013
.
Ewen Denney,
Bernd Fischer,
2008,
GPCE '08.
Mark Jones,
Ewen Denney,
Dieter Hutter,
2005,
ASE '05.
Ewen Denney,
Ganesh J. Pai,
Iain Whiteside,
2017,
SAFECOMP.
Ewen Denney,
Ganesh J. Pai,
Erfan Asaadi,
2020,
Computer.
Ewen Denney,
Ganesh Pai,
2015
.
Ewen Denney,
David Aspinall,
Christoph Lueth,
2011
.
Nurlida Basir,
Ewen Denney,
Bernd Fischer,
2009,
ICONS 2009.
Alan Bundy,
Graham Steel,
Ewen Denney,
2002
.
Nurlida Basir,
Ewen Denney,
Bernd Fischer,
2010
.
Ewen Denney,
Ganesh Pai,
2016
.
Nurlida Basir,
Ewen Denney,
Bernd Fischer,
2009
.