default search action
BibTeX records: Ewen Denney
@inproceedings{DBLP:conf/safecomp/DenneyP24, author = {Ewen Denney and Ganesh Pai}, editor = {Andrea Ceccarelli and Mario Trapp and Andrea Bondavalli and Friedemann Bitsch}, title = {Reconciling Safety Measurement and Dynamic Assurance}, booktitle = {Computer Safety, Reliability, and Security - 43rd International Conference, {SAFECOMP} 2024, Florence, Italy, September 18-20, 2024, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14988}, pages = {51--67}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-68606-1\_4}, doi = {10.1007/978-3-031-68606-1\_4}, timestamp = {Fri, 20 Sep 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/DenneyP24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2405-19641, author = {Ewen Denney and Ganesh Pai}, title = {Reconciling Safety Measurement and Dynamic Assurance}, journal = {CoRR}, volume = {abs/2405.19641}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2405.19641}, doi = {10.48550/ARXIV.2405.19641}, eprinttype = {arXiv}, eprint = {2405.19641}, timestamp = {Fri, 21 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2405-19641.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/SljivoDM23, author = {Irfan Sljivo and Ewen Denney and Jonathan Menzies}, editor = {Yi Li and Sofi{\`{e}}ne Tahar}, title = {Guided Integration of Formal Verification in Assurance Cases}, booktitle = {Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, {ICFEM} 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14308}, pages = {172--190}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-981-99-7584-6\_11}, doi = {10.1007/978-981-99-7584-6\_11}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfem/SljivoDM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2301-08980, author = {Erfan Asaadi and Ewen Denney and Ganesh Pai}, title = {Towards Quantification of Assurance for Learning-enabled Components}, journal = {CoRR}, volume = {abs/2301.08980}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2301.08980}, doi = {10.48550/ARXIV.2301.08980}, eprinttype = {arXiv}, eprint = {2301.08980}, timestamp = {Thu, 26 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2301-08980.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/computer/AsaadiDMPP20, author = {Erfan Asaadi and Ewen Denney and Jonathan Menzies and Ganesh J. Pai and Dimo Petroff}, title = {Dynamic Assurance Cases: {A} Pathway to Trusted Autonomy}, journal = {Computer}, volume = {53}, number = {12}, pages = {35--46}, year = {2020}, url = {https://doi.org/10.1109/MC.2020.3022030}, doi = {10.1109/MC.2020.3022030}, timestamp = {Thu, 17 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/computer/AsaadiDMPP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/DenneyPS20, author = {Ewen Denney and Ganesh Pai and Colin Smith}, editor = {Hu{\'{a}}scar Espinoza and Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and Xin Cynthia Chen and Se{\'{a}}n S. {\'{O}}h{\'{E}}igeartaigh and Xiaowei Huang and Mauricio Castillo{-}Effen and Richard Mallah and John A. McDermid}, title = {Hazard Contribution Modes of Machine Learning Components}, booktitle = {Proceedings of the Workshop on Artificial Intelligence Safety, co-located with 34th {AAAI} Conference on Artificial Intelligence, SafeAI@AAAI 2020, New York City, NY, USA, February 7, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2560}, pages = {14--22}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2560/paper41.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:15 +0100}, biburl = {https://dblp.org/rec/conf/aaai/DenneyPS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/AsaadiDP20, author = {Erfan Asaadi and Ewen Denney and Ganesh Pai}, editor = {Ant{\'{o}}nio Casimiro and Frank Ortmeier and Friedemann Bitsch and Pedro Ferreira}, title = {Quantifying Assurance in Learning-Enabled Systems}, booktitle = {Computer Safety, Reliability, and Security - 39th International Conference, {SAFECOMP} 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12234}, pages = {270--286}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-54549-9\_18}, doi = {10.1007/978-3-030-54549-9\_18}, timestamp = {Thu, 20 Aug 2020 14:33:29 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/AsaadiDP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2006-10345, author = {Erfan Asaadi and Ewen Denney and Ganesh Pai}, title = {Quantifying Assurance in Learning-enabled Systems}, journal = {CoRR}, volume = {abs/2006.10345}, year = {2020}, url = {https://arxiv.org/abs/2006.10345}, eprinttype = {arXiv}, eprint = {2006.10345}, timestamp = {Tue, 23 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2006-10345.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ress/DenneyPW19, author = {Ewen Denney and Ganesh Pai and Iain Whiteside}, title = {The role of safety architectures in aviation safety cases}, journal = {Reliab. Eng. Syst. Saf.}, volume = {191}, year = {2019}, url = {https://doi.org/10.1016/j.ress.2019.106502}, doi = {10.1016/J.RESS.2019.106502}, timestamp = {Tue, 25 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ress/DenneyPW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edcc/AsaadiDP19, author = {Erfan Asaadi and Ewen Denney and Ganesh Pai}, title = {Towards Quantification of Assurance for Learning-Enabled Components}, booktitle = {15th European Dependable Computing Conference, {EDCC} 2019, Naples, Italy, September 17-20, 2019}, pages = {55--62}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/EDCC.2019.00021}, doi = {10.1109/EDCC.2019.00021}, timestamp = {Wed, 13 Nov 2019 14:55:55 +0100}, biburl = {https://dblp.org/rec/conf/edcc/AsaadiDP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ase/DenneyP18, author = {Ewen Denney and Ganesh Pai}, title = {Tool support for assurance case development}, journal = {Autom. Softw. Eng.}, volume = {25}, number = {3}, pages = {435--499}, year = {2018}, url = {https://doi.org/10.1007/s10515-017-0230-5}, doi = {10.1007/S10515-017-0230-5}, timestamp = {Sat, 11 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ase/DenneyP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/DenneySW18, author = {Ewen Denney and Perdita Stevens and Andrzej Wasowski}, title = {Editorial}, journal = {Formal Aspects Comput.}, volume = {30}, number = {1}, pages = {1}, year = {2018}, url = {https://doi.org/10.1007/s00165-017-0448-9}, doi = {10.1007/S00165-017-0448-9}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fac/DenneySW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccnc/WhiteDKMP17, author = {Kyle J. S. White and Ewen Denney and Matt D. Knudson and Angelos K. Marnerides and Dimitrios P. Pezaros}, title = {A programmable SDN+NFV-based architecture for {UAV} telemetry monitoring}, booktitle = {14th {IEEE} Annual Consumer Communications {\&} Networking Conference, {CCNC} 2017, Las Vegas, NV, USA, January 8-11, 2017}, pages = {522--527}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/CCNC.2017.7983162}, doi = {10.1109/CCNC.2017.7983162}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/conf/ccnc/WhiteDKMP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/DenneyPW17, author = {Ewen Denney and Ganesh Pai and Iain Whiteside}, title = {Model-Driven Development of Safety Architectures}, booktitle = {20th {ACM/IEEE} International Conference on Model Driven Engineering Languages and Systems, {MODELS} 2017, Austin, TX, USA, September 17-22, 2017}, pages = {156--166}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/MODELS.2017.27}, doi = {10.1109/MODELS.2017.27}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/models/DenneyPW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/DenneyPW17, author = {Ewen Denney and Ganesh Pai and Iain Whiteside}, editor = {Stefano Tonetta and Erwin Schoitsch and Friedemann Bitsch}, title = {Modeling the Safety Architecture of {UAS} Flight Operations}, booktitle = {Computer Safety, Reliability, and Security - 36th International Conference, {SAFECOMP} 2017, Trento, Italy, September 13-15, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10488}, pages = {162--178}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-66266-4\_11}, doi = {10.1007/978-3-319-66266-4\_11}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/DenneyPW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/DenneyP16, author = {Ewen Denney and Ganesh J. Pai}, editor = {Amund Skavhaug and J{\'{e}}r{\'{e}}mie Guiochet and Friedemann Bitsch}, title = {Composition of Safety Argument Patterns}, booktitle = {Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9922}, pages = {51--63}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45477-1\_5}, doi = {10.1007/978-3-319-45477-1\_5}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/DenneyP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hase/DenneyPW15, author = {Ewen Denney and Ganesh J. Pai and Iain Whiteside}, title = {Formal Foundations for Hierarchical Safety Cases}, booktitle = {16th {IEEE} International Symposium on High Assurance Systems Engineering, {HASE} 2015, Daytona Beach, FL, USA, January 8-10, 2015}, pages = {52--59}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/HASE.2015.17}, doi = {10.1109/HASE.2015.17}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hase/DenneyPW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/DenneyPH15, author = {Ewen Denney and Ganesh J. Pai and Ibrahim Habli}, editor = {Antonia Bertolino and Gerardo Canfora and Sebastian G. Elbaum}, title = {Dynamic Safety Cases for Through-Life Safety Assurance}, booktitle = {37th {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2}, pages = {587--590}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/ICSE.2015.199}, doi = {10.1109/ICSE.2015.199}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/DenneyPH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/DenneyP15, author = {Ewen Denney and Ganesh J. Pai}, editor = {Floor Koornneef and Coen van Gulijk}, title = {Towards a Formal Basis for Modular Safety Cases}, booktitle = {Computer Safety, Reliability, and Security - 34th International Conference, {SAFECOMP} 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9337}, pages = {328--343}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24255-2\_24}, doi = {10.1007/978-3-319-24255-2\_24}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/DenneyP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tr/DenneyP14, author = {Ewen Denney and Ganesh J. Pai}, title = {Automating the Assembly of Aviation Safety Cases}, journal = {{IEEE} Trans. Reliab.}, volume = {63}, number = {4}, pages = {830--849}, year = {2014}, url = {https://doi.org/10.1109/TR.2014.2335995}, doi = {10.1109/TR.2014.2335995}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tr/DenneyP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/DenneyNP14, author = {Ewen Denney and Dwight Naylor and Ganesh J. Pai}, editor = {Andrea Bondavalli and Felicita Di Giandomenico}, title = {Querying Safety Cases}, booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference, {SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8666}, pages = {294--309}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10506-2\_20}, doi = {10.1007/978-3-319-10506-2\_20}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/DenneyNP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sqj/AhnD13, author = {Ki Yung Ahn and Ewen Denney}, title = {A framework for testing first-order logic axioms in program verification}, journal = {Softw. Qual. J.}, volume = {21}, number = {1}, pages = {159--200}, year = {2013}, url = {https://doi.org/10.1007/s11219-011-9168-1}, doi = {10.1007/S11219-011-9168-1}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sqj/AhnD13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/DenneyPHKK04, author = {Ewen Denney and Ganesh Pai and Ibrahim Habli and Tim Kelly and John C. Knight}, editor = {David Notkin and Betty H. C. Cheng and Klaus Pohl}, title = {1st international workshop on assurance cases for software-intensive systems {(ASSURE} 2013)}, booktitle = {35th International Conference on Software Engineering, {ICSE} '13, San Francisco, CA, USA, May 18-26, 2013}, pages = {1505--1506}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/ICSE.2013.6606759}, doi = {10.1109/ICSE.2013.6606759}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/DenneyPHKK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issre/DenneyP13, author = {Ewen Denney and Ganesh Pai}, title = {Evidence arguments for using formal methods in software certification}, booktitle = {{IEEE} 24th International Symposium on Software Reliability Engineering, {ISSRE} 2013, Pasadena, CA, USA, November 4-7, 2013 - Supplemental Proceedings}, pages = {375--380}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/ISSREW.2013.6688924}, doi = {10.1109/ISSREW.2013.6688924}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issre/DenneyP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/AspinallDL13, author = {David Aspinall and Ewen Denney and Christoph L{\"{u}}th}, editor = {Kenneth L. McMillan and Aart Middeldorp and Andrei Voronkov}, title = {A Semantic Basis for Proof Queries and Transformations}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8312}, pages = {53--70}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-45221-5\_4}, doi = {10.1007/978-3-642-45221-5\_4}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/lpar/AspinallDL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/DenneyPW13, author = {Ewen Denney and Ganesh Pai and Iain Whiteside}, editor = {Guillaume Brat and Neha Rungta and Arnaud Venet}, title = {Hierarchical Safety Cases}, booktitle = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7871}, pages = {478--483}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38088-4\_37}, doi = {10.1007/978-3-642-38088-4\_37}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/nfm/DenneyPW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/DenneyP13, author = {Ewen Denney and Ganesh Pai}, editor = {Friedemann Bitsch and J{\'{e}}r{\'{e}}mie Guiochet and Mohamed Ka{\^{a}}niche}, title = {A Formal Basis for Safety Case Patterns}, booktitle = {Computer Safety, Reliability, and Security - 32nd International Conference, {SAFECOMP} 2013, Toulouse, France, September 24-27, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8153}, pages = {21--32}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40793-2\_3}, doi = {10.1007/978-3-642-40793-2\_3}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/DenneyP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icse/2013assure, editor = {Ewen Denney and Ibrahim Habli and Tim Kelly and John C. Knight and Ganesh Pai}, title = {Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, {ASSURE} '13, San Francisco, California, USA, May 19, 2013}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://ieeexplore.ieee.org/xpl/conhome/6596099/proceeding}, isbn = {978-1-4673-6324-2}, timestamp = {Wed, 16 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/2013assure.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/kbse/2013, editor = {Ewen Denney and Tevfik Bultan and Andreas Zeller}, title = {2013 28th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15, 2013}, publisher = {{IEEE}}, year = {2013}, url = {https://ieeexplore.ieee.org/xpl/conhome/6684409/proceeding}, timestamp = {Wed, 16 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/2013.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/DenneyPH12, author = {Ewen Denney and Ganesh Pai and Ibrahim Habli}, editor = {Robert S. Swarz and Philip Koopman and Michel Cukier}, title = {Perspectives on software safety case development for unmanned aircraft}, booktitle = {{IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2012, Boston, MA, USA, June 25-28, 2012}, pages = {1--8}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/DSN.2012.6263939}, doi = {10.1109/DSN.2012.6263939}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/DenneyPH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/DenneyPP12, author = {Ewen Denney and Ganesh Pai and Josef Pohl}, editor = {Isabelle Perseil and Karin K. Breitman and Marc Pouzet}, title = {Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal}, booktitle = {17th {IEEE} International Conference on Engineering of Complex Computer Systems, {ICECCS} 2012, Paris, France, July 18-20, 2012}, pages = {199--208}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2012.20}, doi = {10.1109/ICECCS.2012.20}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/DenneyPP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itaero/DenneyPIL12, author = {Ewen Denney and Ganesh Pai and Corey Ippolito and Ritchie Lee}, title = {An Integrated Safety and Systems Engineering Methodology for Small Unmanned Aircraft Systems}, booktitle = {Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21, 2012}, year = {2012}, url = {https://doi.org/10.2514/6.2012-2572}, doi = {10.2514/6.2012-2572}, timestamp = {Fri, 05 May 2017 13:12:21 +0200}, biburl = {https://dblp.org/rec/conf/itaero/DenneyPIL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/AspinallDL12, author = {David Aspinall and Ewen Denney and Christoph L{\"{u}}th}, editor = {Nikolaj S. Bj{\o}rner and Andrei Voronkov}, title = {Querying Proofs}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March 11-15, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7180}, pages = {92--106}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28717-6\_10}, doi = {10.1007/978-3-642-28717-6\_10}, timestamp = {Thu, 14 Apr 2022 20:26:15 +0200}, biburl = {https://dblp.org/rec/conf/lpar/AspinallDL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/DenneyP12, author = {Ewen Denney and Ganesh Pai}, editor = {Frank Ortmeier and Peter Daniel}, title = {A Lightweight Methodology for Safety Case Assembly}, booktitle = {Computer Safety, Reliability, and Security - 31st International Conference, {SAFECOMP} 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7612}, pages = {1--12}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33678-2\_1}, doi = {10.1007/978-3-642-33678-2\_1}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/DenneyP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/DenneyPP12, author = {Ewen Denney and Ganesh Pai and Josef Pohl}, editor = {Frank Ortmeier and Peter Daniel}, title = {AdvoCATE: An Assurance Case Automation Toolset}, booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7613}, pages = {8--21}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33675-1\_2}, doi = {10.1007/978-3-642-33675-1\_2}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/DenneyPP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esem/DenneyPH11, author = {Ewen Denney and Ganesh Pai and Ibrahim Habli}, title = {Towards Measurement of Confidence in Safety Cases}, booktitle = {Proceedings of the 5th International Symposium on Empirical Software Engineering and Measurement, {ESEM} 2011, Banff, AB, Canada, September 22-23, 2011}, pages = {380--383}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/ESEM.2011.53}, doi = {10.1109/ESEM.2011.53}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/esem/DenneyPH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/gpce/2011, editor = {Ewen Denney and Ulrik Pagh Schultz}, title = {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}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2047862}, doi = {10.1145/2047862}, isbn = {978-1-4503-0689-8}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gpce/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isse/DenneyGP10, author = {Ewen Denney and Dimitra Giannakopoulou and Corina S. Pasareanu}, title = {Preface: Special Issue on Nasa Formal Methods Symposium 2009}, journal = {Innov. Syst. Softw. Eng.}, volume = {6}, number = {3}, pages = {171--172}, year = {2010}, url = {https://doi.org/10.1007/s11334-010-0130-3}, doi = {10.1007/S11334-010-0130-3}, timestamp = {Thu, 13 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isse/DenneyGP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mics/AspinallDL10, author = {David Aspinall and Ewen Denney and Christoph L{\"{u}}th}, title = {Tactics for Hierarchical Proof}, journal = {Math. Comput. Sci.}, volume = {3}, number = {3}, pages = {309--330}, year = {2010}, url = {https://doi.org/10.1007/s11786-010-0025-6}, doi = {10.1007/S11786-010-0025-6}, timestamp = {Wed, 12 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mics/AspinallDL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/BasirDF10, author = {Nurlida Basir and Ewen Denney and Bernd Fischer}, editor = {Erwin Schoitsch}, title = {Deriving Safety Cases for Hierarchical Structure in Model-Based Development}, booktitle = {Computer Safety, Reliability, and Security, 29th International Conference, {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6351}, pages = {68--81}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15651-9\_6}, doi = {10.1007/978-3-642-15651-9\_6}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/BasirDF10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tap/AhnD10, author = {Ki Yung Ahn and Ewen Denney}, editor = {Gordon Fraser and Angelo Gargantini}, title = {Testing First-Order Logic Axioms in Program Verification}, booktitle = {Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, M{\'{a}}laga, Spain, July 1-2, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6143}, pages = {22--37}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-13977-2\_4}, doi = {10.1007/978-3-642-13977-2\_4}, timestamp = {Mon, 23 Nov 2020 12:33:05 +0100}, biburl = {https://dblp.org/rec/conf/tap/AhnD10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/DenneyF09, author = {Ewen Denney and Bernd Fischer}, title = {A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software}, booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009}, pages = {560--564}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/ASE.2009.71}, doi = {10.1109/ASE.2009.71}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/DenneyF09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/nfm/2009, editor = {Ewen Denney and Dimitra Giannakopoulou and Corina S. Pasareanu}, title = {First {NASA} Formal Methods Symposium - {NFM} 2009, Moffett Field, California, USA, April 6-8, 2009}, series = {{NASA} Conference Proceedings}, volume = {{NASA/CP-2009-215407}}, year = {2009}, timestamp = {Tue, 17 Jul 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/nfm/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/AspinallDL08, author = {David Aspinall and Ewen Denney and Christoph L{\"{u}}th}, editor = {Serge Autexier and John A. Campbell and Julio Rubio and Volker Sorge and Masakazu Suzuki and Freek Wiedijk}, title = {A Tactic Language for Hiproofs}, booktitle = {Intelligent Computer Mathematics, 9th International Conference, {AISC} 2008, 15th Symposium, Calculemus 2008, 7th International Conference, {MKM} 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5144}, pages = {339--354}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-85110-3\_30}, doi = {10.1007/978-3-540-85110-3\_30}, timestamp = {Mon, 05 Feb 2024 20:35:32 +0100}, biburl = {https://dblp.org/rec/conf/aisc/AspinallDL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/DenneyF08, author = {Ewen Denney and Bernd Fischer}, editor = {Jos{\'{e}} Meseguer and Grigore Rosu}, title = {Explaining Verification Conditions}, booktitle = {Algebraic Methodology and Software Technology, 12th International Conference, {AMAST} 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5140}, pages = {145--159}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-79980-1\_12}, doi = {10.1007/978-3-540-79980-1\_12}, timestamp = {Thu, 21 Sep 2023 09:08:34 +0200}, biburl = {https://dblp.org/rec/conf/amast/DenneyF08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gpce/DenneyF08, author = {Ewen Denney and Bernd Fischer}, editor = {Yannis Smaragdakis and Jeremy G. Siek}, title = {Generating customized verifiers for automatically generated code}, booktitle = {Generative Programming and Component Engineering, 7th International Conference, {GPCE} 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings}, pages = {77--88}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1449913.1449926}, doi = {10.1145/1449913.1449926}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gpce/DenneyF08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/BasirDF08, author = {Nurlida Basir and Ewen Denney and Bernd Fischer}, editor = {Michael D. Harrison and Mark{-}Alexander Sujan}, title = {Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information}, booktitle = {Computer Safety, Reliability, and Security, 27th International Conference, {SAFECOMP} 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5219}, pages = {249--262}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-87698-4\_22}, doi = {10.1007/978-3-540-87698-4\_22}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/BasirDF08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BasirDF09, author = {Nurlida Basir and Ewen Denney and Bernd Fischer}, editor = {Michaela Huhn and Hardi Hungar}, title = {Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code}, booktitle = {Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, SafeCert@ETAPS 2008, Budapest, Hungary, April 29, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {238}, number = {4}, pages = {19--26}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2009.09.003}, doi = {10.1016/J.ENTCS.2009.09.003}, timestamp = {Fri, 24 Feb 2023 13:19:35 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BasirDF09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijait/DenneyFS06, author = {Ewen Denney and Bernd Fischer and Johann Schumann}, title = {An Empirical Evaluation of Automated Theorem Provers in Software Certification}, journal = {Int. J. Artif. Intell. Tools}, volume = {15}, number = {1}, pages = {81--108}, year = {2006}, url = {https://doi.org/10.1142/S0218213006002576}, doi = {10.1142/S0218213006002576}, timestamp = {Tue, 12 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijait/DenneyFS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gpce/DenneyF06, author = {Ewen Denney and Bernd Fischer}, editor = {Stan Jarzabek and Douglas C. Schmidt and Todd L. Veldhuizen}, title = {A generic annotation inference algorithm for the safety certification of automatically generated code}, booktitle = {Generative Programming and Component Engineering, 5th International Conference, {GPCE} 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings}, pages = {121--130}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1173706.1173725}, doi = {10.1145/1173706.1173725}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gpce/DenneyF06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/DenneyF06, author = {Ewen Denney and Bernd Fischer}, title = {Extending Source Code Generators for Evidence-Based Software Certification}, booktitle = {Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006}, pages = {138--145}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/ISoLA.2006.76}, doi = {10.1109/ISOLA.2006.76}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isola/DenneyF06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/DenneyF06, author = {Ewen Denney and Bernd Fischer}, title = {Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract)}, booktitle = {21st {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2006), 18-22 September 2006, Tokyo, Japan}, pages = {265--268}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/ASE.2006.15}, doi = {10.1109/ASE.2006.15}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/DenneyF06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gpce/DenneyF05, author = {Ewen Denney and Bernd Fischer}, editor = {Robert Gl{\"{u}}ck and Michael R. Lowry}, title = {Certifiable Program Generation}, booktitle = {Generative Programming and Component Engineering, 4th International Conference, {GPCE} 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3676}, pages = {17--28}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11561347\_3}, doi = {10.1007/11561347\_3}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/gpce/DenneyF05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/DenneyFHJ05, author = {Ewen Denney and Bernd Fischer and Dieter Hutter and Mark Jones}, editor = {David F. Redmiles and Thomas Ellman and Andrea Zisman}, title = {Software certificate management (SoftCeMent'05)}, booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}}, pages = {463}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1101908.1102003}, doi = {10.1145/1101908.1102003}, timestamp = {Tue, 06 Nov 2018 16:58:23 +0100}, biburl = {https://dblp.org/rec/conf/kbse/DenneyFHJ05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/DenneyPT06, author = {Ewen Denney and John Power and Konstantinos Tourlas}, editor = {Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}} and Achim Jung and Michael W. Mislove}, title = {Hiproofs: {A} Hierarchical Notion of Proof Tree}, booktitle = {Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, {MFPS} 2005, Birmingham, UK, May 18-21, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {155}, pages = {341--359}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.11.063}, doi = {10.1016/J.ENTCS.2005.11.063}, timestamp = {Mon, 08 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/DenneyPT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/DenneyV04, author = {Ewen Denney and Ram Prasad Venkatesan}, editor = {Charles Rattray and Savi Maharaj and Carron Shankland}, title = {A Generic Software Safety Document Generator}, booktitle = {Algebraic Methodology and Software Technology, 10th International Conference, {AMAST} 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3116}, pages = {102--116}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27815-3\_12}, doi = {10.1007/978-3-540-27815-3\_12}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/amast/DenneyV04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/DenneyFS04, author = {Ewen Denney and Bernd Fischer and Johann Schumann}, editor = {David A. Basin and Micha{\"{e}}l Rusinowitch}, title = {Using Automated Theorem Provers to Certify Auto-generated Aerospace Software}, booktitle = {Automated Reasoning - Second International Joint Conference, {IJCAR} 2004, Cork, Ireland, July 4-8, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3097}, pages = {198--212}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-25984-8\_12}, doi = {10.1007/978-3-540-25984-8\_12}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/DenneyFS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hase/DenneyFS04, author = {Ewen Denney and Bernd Fischer and Johann Schumann}, title = {Adding Assurance to Automatically Generated Code}, booktitle = {8th {IEEE} International Symposium on High-Assurance Systems Engineering {(HASE} 2004), 25-26 March 2004, Tampa, FL, {USA}}, pages = {297--299}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/HASE.2004.1281768}, doi = {10.1109/HASE.2004.1281768}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hase/DenneyFS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/serp/DenneyW04, author = {Ewen Denney and Jon Whittle}, editor = {Hamid R. Arabnia and Hassan Reza}, title = {Combining Model-Driven and Schema-Based Program Synthesis}, booktitle = {Proceedings of the International Conference on Software Engineering Research and Practice, {SERP} '04, June 21-24, 2004, Las Vegas, Nevada, USA, Volume 1}, pages = {207--211}, publisher = {{CSREA} Press}, year = {2004}, timestamp = {Tue, 24 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/serp/DenneyW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/DenneyF03, author = {Ewen Denney and Bernd Fischer}, editor = {Keijiro Araki and Stefania Gnesi and Dino Mandrioli}, title = {Correctness of Source-Level Safety Policies}, booktitle = {{FME} 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2805}, pages = {894--913}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45236-2\_48}, doi = {10.1007/978-3-540-45236-2\_48}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fm/DenneyF03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/DenneyJ02, author = {Ewen Denney and Thomas P. Jensen}, title = {Correctness of Java card method lookup via logical relations}, journal = {Theor. Comput. Sci.}, volume = {283}, number = {2}, pages = {305--331}, year = {2002}, url = {https://doi.org/10.1016/S0304-3975(01)00138-4}, doi = {10.1016/S0304-3975(01)00138-4}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/DenneyJ02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esmart/EluardJD01, author = {Marc {\'{E}}luard and Thomas P. Jensen and Ewen Denney}, editor = {Isabelle Attali and Thomas P. Jensen}, title = {An Operational Semantics of the Java Card Firewall}, booktitle = {Smart Card Programming and Security, International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2140}, pages = {95--110}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45418-7\_9}, doi = {10.1007/3-540-45418-7\_9}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/esmart/EluardJD01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/Denney01, author = {Ewen Denney}, title = {The Synthesis of a Java Card Tokenization Algorithm}, booktitle = {16th {IEEE} International Conference on Automated Software Engineering {(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA, {USA}}, pages = {43--50}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/ASE.2001.989789}, doi = {10.1109/ASE.2001.989789}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/Denney01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/DenneyJ00, author = {Ewen Denney and Thomas P. Jensen}, editor = {Gert Smolka}, title = {Correctness of Java Card Method Lookup via Logical Relations}, booktitle = {Programming Languages and Systems, 9th European Symposium on Programming, {ESOP} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1782}, pages = {104--118}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-46425-5\_7}, doi = {10.1007/3-540-46425-5\_7}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/DenneyJ00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tphol/Denney00, author = {Ewen Denney}, editor = {Mark D. Aagaard and John Harrison}, title = {A Prototype Proof Translator from {HOL} to Coq}, booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1869}, pages = {108--125}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44659-1\_8}, doi = {10.1007/3-540-44659-1\_8}, timestamp = {Tue, 15 Aug 2023 09:02:05 +0200}, biburl = {https://dblp.org/rec/conf/tphol/Denney00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/ethos/Denney99, author = {Ewen Denney}, title = {A theory of program refinement}, school = {University of Edinburgh, {UK}}, year = {1999}, url = {https://hdl.handle.net/1842/381}, timestamp = {Wed, 04 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/ethos/Denney99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcst/Denney98, author = {Ewen Denney}, title = {Simply-typed underdeterminism}, journal = {J. Comput. Sci. Technol.}, volume = {13}, number = {6}, pages = {491--508}, year = {1998}, url = {https://doi.org/10.1007/BF02946491}, doi = {10.1007/BF02946491}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcst/Denney98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/procomet/Denney98, author = {Ewen Denney}, editor = {David Gries and Willem P. de Roever}, title = {Refinement types for specification}, booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12 June 1998, Shelter Island, New York, {USA}}, series = {{IFIP} Conference Proceedings}, volume = {125}, pages = {148--166}, publisher = {Chapman {\&} Hall}, year = {1998}, timestamp = {Thu, 21 Nov 2002 11:12:21 +0100}, biburl = {https://dblp.org/rec/conf/procomet/Denney98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.