Ewen Denney - RankMe

68 papers A* 6A 5B 18C 2Misc 1Journal 14Unranked 19

Year	Rank	Type	Title / Venue / Authors
2024	B	`conf`	Reconciling Safety Measurement and Dynamic Assurance. SAFECOMP Ewen Denney, Ganesh Pai
2024	J	`jnl`	Reconciling Safety Measurement and Dynamic Assurance. CoRR Ewen Denney, Ganesh Pai
2023	C	`conf`	Guided Integration of Formal Verification in Assurance Cases. ICFEM Irfan Sljivo, Ewen Denney, Jonathan Menzies
2023	J	`jnl`	Towards Quantification of Assurance for Learning-enabled Components. CoRR Erfan Asaadi, Ewen Denney, Ganesh Pai
2020	J	`jnl`	Dynamic Assurance Cases: A Pathway to Trusted Autonomy. Computer Erfan Asaadi, Ewen Denney, Jonathan Menzies, Ganesh J. Pai, Dimo Petroff
2020	—	`conf`	Hazard Contribution Modes of Machine Learning Components. SafeAI@AAAI Ewen Denney, Ganesh Pai, Colin Smith
2020	B	`conf`	Quantifying Assurance in Learning-Enabled Systems. SAFECOMP Erfan Asaadi, Ewen Denney, Ganesh Pai
2020	J	`jnl`	Quantifying Assurance in Learning-enabled Systems. CoRR Erfan Asaadi, Ewen Denney, Ganesh Pai
2019	J	`jnl`	The role of safety architectures in aviation safety cases. Reliab. Eng. Syst. Saf. Ewen Denney, Ganesh Pai, Iain Whiteside
2019	Misc	`conf`	Towards Quantification of Assurance for Learning-Enabled Components. EDCC Erfan Asaadi, Ewen Denney, Ganesh Pai
2018	J	`jnl`	Editorial. Formal Aspects Comput. Ewen Denney, Perdita Stevens, Andrzej Wasowski
2018	J	`jnl`	Tool support for assurance case development. Autom. Softw. Eng. Ewen Denney, Ganesh Pai
2017	—	`conf`	A programmable SDN+NFV-based architecture for UAV telemetry monitoring. CCNC Kyle J. S. White, Ewen Denney, Matt D. Knudson, Angelos K. Marnerides, Dimitrios P. Pezaros
2017	A	`conf`	Model-Driven Development of Safety Architectures. MoDELS Ewen Denney, Ganesh Pai, Iain Whiteside
2017	B	`conf`	Modeling the Safety Architecture of UAS Flight Operations. SAFECOMP Ewen Denney, Ganesh Pai, Iain Whiteside
2016	B	`conf`	Composition of Safety Argument Patterns. SAFECOMP Ewen Denney, Ganesh J. Pai
2015	—	`conf`	Dynamic Safety Cases for Through-Life Safety Assurance. ICSE (2) Ewen Denney, Ganesh J. Pai, Ibrahim Habli
2015	—	`conf`	Formal Foundations for Hierarchical Safety Cases. HASE Ewen Denney, Ganesh J. Pai, Iain Whiteside
2015	B	`conf`	Towards a Formal Basis for Modular Safety Cases. SAFECOMP Ewen Denney, Ganesh J. Pai
2014	J	`jnl`	Automating the Assembly of Aviation Safety Cases. IEEE Trans. Reliab. Ewen Denney, Ganesh J. Pai
2014	B	`conf`	Querying Safety Cases. SAFECOMP Ewen Denney, Dwight Naylor, Ganesh J. Pai
2013	A*	`conf`	1st international workshop on assurance cases for software-intensive systems (ASSURE 2013). ICSE Ewen Denney, Ganesh Pai, Ibrahim Habli, Tim Kelly, John C. Knight
2013	A*	`ed.`	2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013 ASE Ewen Denney, Tevfik Bultan, Andreas Zeller
2013	B	`conf`	A Formal Basis for Safety Case Patterns. SAFECOMP Ewen Denney, Ganesh Pai
2013	B	`conf`	A Semantic Basis for Proof Queries and Transformations. LPAR David Aspinall, Ewen Denney, Christoph Lüth
2013	J	`jnl`	A framework for testing first-order logic axioms in program verification. Softw. Qual. J. Ki Yung Ahn, Ewen Denney
2013	—	`conf`	Evidence arguments for using formal methods in software certification. ISSRE (Supplemental Proceedings) Ewen Denney, Ganesh Pai
2013	—	`conf`	Hierarchical Safety Cases. NASA Formal Methods Ewen Denney, Ganesh Pai, Iain Whiteside
2013	—	`ed.`	Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, ASSURE '13, San Francisco, California, USA, May 19, 2013 ASSURE@ICSE Ewen Denney, Ibrahim Habli, Tim Kelly, John C. Knight, Ganesh Pai
2012	B	`conf`	A Lightweight Methodology for Safety Case Assembly. SAFECOMP Ewen Denney, Ganesh Pai
2012	—	`conf`	AdvoCATE: An Assurance Case Automation Toolset. SAFECOMP Workshops Ewen Denney, Ganesh Pai, Josef Pohl
2012	—	`conf`	An Integrated Safety and Systems Engineering Methodology for Small Unmanned Aircraft Systems. Infotech@Aerospace Ewen Denney, Ganesh Pai, Corey Ippolito, Ritchie Lee
2012	B	`conf`	Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal. ICECCS Ewen Denney, Ganesh Pai, Josef Pohl
2012	A	`conf`	Perspectives on software safety case development for unmanned aircraft. DSN Ewen Denney, Ganesh Pai, Ibrahim Habli
2012	B	`conf`	Querying Proofs. LPAR David Aspinall, Ewen Denney, Christoph Lüth
2011	B	`ed.`	Generative Programming And Component Engineering, Proceedings of the 10th International Conference on Generative Programming and Component Engineering, GPCE 2011, Portland, Oregon, USA, October 22-24, 2011 GPCE Ewen Denney, Ulrik Pagh Schultz
2011	A	`conf`	Towards Measurement of Confidence in Safety Cases. ESEM Ewen Denney, Ganesh Pai, Ibrahim Habli
2010	B	`conf`	Deriving Safety Cases for Hierarchical Structure in Model-Based Development. SAFECOMP Nurlida Basir, Ewen Denney, Bernd Fischer
2010	J	`jnl`	Preface: Special Issue on Nasa Formal Methods Symposium 2009. Innov. Syst. Softw. Eng. Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu
2010	J	`jnl`	Tactics for Hierarchical Proof. Math. Comput. Sci. David Aspinall, Ewen Denney, Christoph Lüth
2010	—	`conf`	Testing First-Order Logic Axioms in Program Verification. TAP@TOOLS Ki Yung Ahn, Ewen Denney
2009	A*	`conf`	A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software. ASE Ewen Denney, Bernd Fischer
2009	—	`ed.`	First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009. NASA Formal Methods Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu
2008	—	`conf`	A Tactic Language for Hiproofs. AISC/MKM/Calculemus David Aspinall, Ewen Denney, Christoph Lüth
2008	B	`conf`	Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. SAFECOMP Nurlida Basir, Ewen Denney, Bernd Fischer
2008	—	`conf`	Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code. SafeCert@ETAPS Nurlida Basir, Ewen Denney, Bernd Fischer
2008	—	`conf`	Explaining Verification Conditions. AMAST Ewen Denney, Bernd Fischer
2008	B	`conf`	Generating customized verifiers for automatically generated code. GPCE Ewen Denney, Bernd Fischer
2006	B	`conf`	A generic annotation inference algorithm for the safety certification of automatically generated code. GPCE Ewen Denney, Bernd Fischer
2006	J	`jnl`	An Empirical Evaluation of Automated Theorem Provers in Software Certification. Int. J. Artif. Intell. Tools Ewen Denney, Bernd Fischer, Johann Schumann
2006	A*	`conf`	Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract). ASE Ewen Denney, Bernd Fischer
2006	C	`conf`	Extending Source Code Generators for Evidence-Based Software Certification. ISoLA Ewen Denney, Bernd Fischer
2005	B	`conf`	Certifiable Program Generation. GPCE Ewen Denney, Bernd Fischer
2005	B	`conf`	Hiproofs: A Hierarchical Notion of Proof Tree. MFPS Ewen Denney, John Power, Konstantinos Tourlas
2005	A*	`conf`	Software certificate management (SoftCeMent'05). ASE Ewen Denney, Bernd Fischer, Dieter Hutter, Mark Jones
2004	—	`conf`	A Generic Software Safety Document Generator. AMAST Ewen Denney, Ram Prasad Venkatesan
2004	—	`conf`	Adding Assurance to Automatically Generated Code. HASE Ewen Denney, Bernd Fischer, Johann Schumann
2004	—	`conf`	Combining Model-Driven and Schema-Based Program Synthesis. Software Engineering Research and Practice Ewen Denney, Jon Whittle
2004	A	`conf`	Using Automated Theorem Provers to Certify Auto-generated Aerospace Software. IJCAR Ewen Denney, Bernd Fischer, Johann Schumann
2003	—	`conf`	Correctness of Source-Level Safety Policies. FME Ewen Denney, Bernd Fischer
2002	J	`jnl`	Correctness of Java card method lookup via logical relations. Theor. Comput. Sci. Ewen Denney, Thomas P. Jensen
2001	—	`conf`	An Operational Semantics of the Java Card Firewall. E-smart Marc Éluard, Thomas P. Jensen, Ewen Denney
2001	A*	`conf`	The Synthesis of a Java Card Tokenization Algorithm. ASE Ewen Denney
2000	—	`conf`	A Prototype Proof Translator from HOL to Coq. TPHOLs Ewen Denney
2000	A	`conf`	Correctness of Java Card Method Lookup via Logical Relations. ESOP Ewen Denney, Thomas P. Jensen
1999	—	`—`	A theory of program refinement. Ewen Denney
1998	—	`conf`	Refinement types for specification. PROCOMET Ewen Denney
1998	J	`jnl`	Simply-typed underdeterminism. J. Comput. Sci. Technol. Ewen Denney