Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ewen Denney
@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}
}
a service of 
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.
last updated on 2024-05-08 20:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
