Ewen Denney
According to our database1,
Ewen Denney
authored at least 60 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
1
1
2
1
1
2
1
1
1
1
1
2
1
3
1
3
1
5
6
1
2
1
5
3
3
4
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
Proceedings of the Computer Safety, Reliability, and Security, 2024
2023
Proceedings of the Formal Methods and Software Engineering, 2023
2020
Proceedings of the Computer Safety, Reliability, and Security, 2020
Proceedings of the Workshop on Artificial Intelligence Safety, 2020
2019
Reliab. Eng. Syst. Saf., 2019
Proceedings of the 15th European Dependable Computing Conference, 2019
2018
2017
Proceedings of the Computer Safety, Reliability, and Security, 2017
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017
Proceedings of the 14th IEEE Annual Consumer Communications & Networking Conference, 2017
2016
Proceedings of the Computer Safety, Reliability, and Security, 2016
2015
Proceedings of the Computer Safety, Reliability, and Security, 2015
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015
2014
Proceedings of the Computer Safety, Reliability, and Security, 2014
2013
Softw. Qual. J., 2013
Proceedings of the Computer Safety, Reliability, and Security, 2013
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013
1st international workshop on assurance cases for software-intensive systems (ASSURE 2013).
Proceedings of the 35th International Conference on Software Engineering, 2013
2012
Proceedings of the Computer Safety, Reliability, and Security, 2012
Proceedings of the Computer Safety, Reliability, and Security, 2012
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012
An Integrated Safety and Systems Engineering Methodology for Small Unmanned Aircraft Systems.
Proceedings of the Infotech@Aerospace 2012, 2012
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012
2011
Proceedings of the 5th International Symposium on Empirical Software Engineering and Measurement, 2011
2010
Innov. Syst. Softw. Eng., 2010
Proceedings of the Tests and Proofs - 4th International Conference, 2010
Proceedings of the Computer Safety, 2010
2009
A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software.
Proceedings of the ASE 2009, 2009
2008
Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code.
Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008
Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information.
Proceedings of the Computer Safety, 2008
Proceedings of the Generative Programming and Component Engineering, 2008
Proceedings of the Algebraic Methodology and Software Technology, 2008
Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008
2006
Int. J. Artif. Intell. Tools, 2006
Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract).
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006
Proceedings of the Leveraging Applications of Formal Methods, 2006
A generic annotation inference algorithm for the safety certification of automatically generated code.
Proceedings of the Generative Programming and Component Engineering, 2006
2005
Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005
Proceedings of the Generative Programming and Component Engineering, 2005
2004
Combining Model-Driven and Schema-Based Program Synthesis.
Proceedings of the International Conference on Software Engineering Research and Practice, 2004
Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004
Proceedings of the Automated Reasoning - Second International Joint Conference, 2004
Proceedings of the Algebraic Methodology and Software Technology, 2004
2003
Proceedings of the FME 2003: Formal Methods, 2003
2002
Theor. Comput. Sci., 2002
2001
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001
Proceedings of the Smart Card Programming and Security, 2001
2000
Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000
1999
1998
Refinement types for specification.
Proceedings of the Programming Concepts and Methods, 1998