Ewen Denney

1.7k total citations
69 papers, 632 citations indexed

About

Ewen Denney is a scholar working on Software, Safety, Risk, Reliability and Quality and Statistics, Probability and Uncertainty. According to data from OpenAlex, Ewen Denney has authored 69 papers receiving a total of 632 indexed citations (citations by other indexed papers that have themselves been cited), including 40 papers in Software, 34 papers in Safety, Risk, Reliability and Quality and 23 papers in Statistics, Probability and Uncertainty. Recurrent topics in Ewen Denney's work include Safety Systems Engineering in Autonomy (34 papers), Software Reliability and Analysis Research (31 papers) and Risk and Safety Analysis (23 papers). Ewen Denney is often cited by papers focused on Safety Systems Engineering in Autonomy (34 papers), Software Reliability and Analysis Research (31 papers) and Risk and Safety Analysis (23 papers). Ewen Denney collaborates with scholars based in United States, United Kingdom and Australia. Ewen Denney's co-authors include Ganesh Pai, Bernd Fischer, Ibrahim Habli, Dimitra Giannakopoulou, Dimitrios P. Pezaros, Johann Schumann, Guillaume Brat, Ari Jónsson, Jeremy Frank and Graham Steel and has published in prestigious journals such as Computer, Reliability Engineering & System Safety and Theoretical Computer Science.

In The Last Decade

Ewen Denney

64 papers receiving 582 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Ewen Denney United States	13	358	312	218	142	121	69	632
Ganesh Pai United States	12	323 0.9×	397 1.3×	196 0.9×	100 0.7×	61 0.5×	32	623
Salvatore J. Bavuso United States	7	314 0.9×	501 1.6×	350 1.6×	123 0.9×	157 1.3×	23	818
Hichem Boudali Netherlands	8	321 0.9×	410 1.3×	473 2.2×	146 1.0×	107 0.9×	15	788
Neil Storey United Kingdom	5	84 0.2×	133 0.4×	53 0.2×	67 0.5×	74 0.6×	11	380
Darren Cofer United States	13	128 0.4×	175 0.6×	40 0.2×	158 1.1×	242 2.0×	50	517
Myron Hecht United States	12	143 0.4×	191 0.6×	51 0.2×	48 0.3×	27 0.2×	65	367
Simos Gerasimou United Kingdom	11	73 0.2×	204 0.7×	25 0.1×	279 2.0×	84 0.7×	43	454
George B. Finelli United States	6	149 0.4×	387 1.2×	50 0.2×	68 0.5×	80 0.7×	12	504
Elena Troubitsynå Finland	11	92 0.3×	154 0.5×	25 0.1×	159 1.1×	126 1.0×	69	413
Pierre Bieber France	11	78 0.2×	93 0.3×	33 0.2×	135 1.0×	78 0.6×	28	312

Countries citing papers authored by Ewen Denney

Since Specialization

Citations

This map shows the geographic impact of Ewen Denney's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Ewen Denney with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Ewen Denney more than expected).

Fields of papers citing papers by Ewen Denney

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Ewen Denney. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Ewen Denney. The network helps show where Ewen Denney may publish in the future.

Co-authorship network of co-authors of Ewen Denney

This figure shows the co-authorship network connecting the top 25 collaborators of Ewen Denney. A scholar is included among the top collaborators of Ewen Denney based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Ewen Denney. Ewen Denney is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

1.

Denney, Ewen & Ganesh Pai. (2023). Assurance-driven Design of Machine Learning-based Functionality in an Aviation Systems Context. 1–10.

2.

Pezaros, Dimitrios P., et al.. (2017). A Programmable Resilient High-Mobility SDN+NFV Architecture for UAV Telemetry Monitoring. NASA Technical Reports Server (NASA).

3.

Denney, Ewen & Ganesh Pai. (2017). Tool support for assurance case development. Automated Software Engineering. 25(3). 435–499. 54 indexed citations

4.

Denney, Ewen, Ganesh Pai, & Ibrahim Habli. (2015). Dynamic Safety Cases for Through-Life Safety Assurance. 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering. 587–590. 40 indexed citations

5.

Denney, Ewen, Ibrahim Habli, Tim Kelly, John Knight, & Ganesh Pai. (2013). Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems. International Conference on Software Engineering. 1 indexed citations

6.

Bushnell, David, et al.. (2013). Preliminary Recommendations for the Collection, Storage, and Analysis of UAS Safety Data. Molecular Oncology. 15(12). 3468–3489. 3 indexed citations

7.

Denney, Ewen, Tevfik Bultan, & Andreas Zeller. (2013). Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering. 2 indexed citations

8.

Denney, Ewen, et al.. (2012). Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal. 199–208. 12 indexed citations

9.

Denney, Ewen, et al.. (2012). Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal. 199–208. 11 indexed citations

10.

Denney, Ewen, et al.. (2011). Automating the Generation of Heterogeneous Aviation Safety Cases. 6 indexed citations

11.

Denney, Ewen, Ganesh Pai, & Ibrahim Habli. (2011). Towards Measurement of Confidence in Safety Cases. 380–383. 46 indexed citations

12.

Denney, Ewen, Dimitra Giannakopoulou, & Corina S. Păsăreanu. (2009). Proceedings of the First NASA Formal Methods Symposium. 4 indexed citations

13.

Denney, Ewen. (2008). Certifying Auto-Generated Flight Code. Formal Methods.

14.

Denney, Ewen, et al.. (2006). A Software Safety Certification Plug-in for Automated Code Generators. NASA STI Repository (National Aeronautics and Space Administration). 1 indexed citations

15.

Denney, Ewen & Bernd Fischer. (2006). Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract). 265–268. 5 indexed citations

16.

Denney, Ewen & Bernd Fischer. (2006). Extending Source Code Generators for Evidence-Based Software Certification. 2805. 138–145. 4 indexed citations

17.

Denney, Ewen & Bernd Fischer. (2005). Formal Safety Certification of Aerospace Software. NASA STI Repository (National Aeronautics and Space Administration). 3 indexed citations

18.

Denney, Ewen, et al.. (2004). Combining model-driven and schema-based program synthesis. NASA Technical Reports Server (NASA). 207–211. 2 indexed citations

19.

Denney, Ewen, Bernd Fischer, & J. Schümann. (2004). Adding assurance to automatically generated code. 2391. 297–299. 6 indexed citations

20.

Denney, Ewen & Thomas Wiben Jensen. (2002). Correctness of Java card method lookup via logical relations. Theoretical Computer Science. 283(2). 305–331. 1 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact