@article{CamposSAH:2016,
author = {Campos, J.C. and Sousa, M. and Alves, M. and Harrison, M.D.},
date-added = {2022-02-08 23:25:54 +0000},
date-modified = {2022-02-17 23:38:54 +0000},
doi = {10.1109/THMS.2015.2421511},
journal = {IEEE Transactions on Human-Machine Systems},
number = {2},
pages = {303-316},
title = {Formal Verification of a Space System's User Interface with the IVY workbench},
url = {http://www.di.uminho.pt/~jfc/publications/thms-paper-author_version.pdf},
volume = {46},
year = {2016},
bdsk-url-1 = {https://doi.org/10.1109/THMS.2015.2421511}
}
@article{HarrisonMC:2019,
author = {Harrison, M.D. and Masci, P. and Campos, J.C.},
date-added = {2022-02-08 23:24:45 +0000},
date-modified = {2022-02-17 23:39:02 +0000},
doi = {10.1109/TSE.2018.2804939},
journal = {IEEE Transactions on Software Engineering},
month = {August},
number = {8},
pages = {802-822},
title = {Verification Templates for the Analysis of User Interface Software Design},
url = {http://www.di.uminho.pt/~jfc/publications/HarrisonMC18-IEEETSE-postprint.pdf},
volume = {45},
year = {2019},
bdsk-url-1 = {https://doi.org/10.1109/TSE.2018.2804939}
}
@article{Campos:2020,
author = {Campos, J.C. and Fayollas, C. and Harrison, M.D. and Martinie, C. and Masci, P. and Palanque, P.},
date-added = {2022-02-08 23:22:54 +0000},
date-modified = {2022-02-17 23:39:11 +0000},
doi = {10.1145/3404199},
journal = {ACM Transactions on Computer-Human Interaction},
month = {August},
number = {5},
title = {Supporting the analysis of safety critical user interfaces: an exploration of three formal tools},
url = {http://www.di.uminho.pt/~jfc/publications/Campos20-TOCHI-author.pdf},
volume = {27},
year = {2020},
bdsk-url-1 = {https://doi.org/10.1145/3404199}
}
@inproceedings{neves22,
author = {Dahlqvist, Fredrik and Neves, Renato},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/conf/csl/DahlqvistN22.bib},
booktitle = {30th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2022, February 14-19, 2022, G{\"{o}}ttingen, Germany (Virtual Conference)},
doi = {10.4230/LIPIcs.CSL.2022.16},
editor = {Manea, Florin and Simpson, Alex},
pages = {16:1--16:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
series = {LIPIcs},
timestamp = {Thu, 27 Jan 2022 17:51:51 +0100},
title = {An Internal Language for Categories Enriched over Generalised Metric Spaces},
url = {https://doi.org/10.4230/LIPIcs.CSL.2022.16},
volume = {216},
year = {2022},
bdsk-url-1 = {https://doi.org/10.4230/LIPIcs.CSL.2022.16}
}
@inproceedings{goncharov-implementing-ictac-20,
author = {Goncharov, Sergey and Neves, Renato and Proen{\c c}a, Jos{\'e}},
booktitle = {Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau S.A.R., China, October 31 - November 30, 2020, Proceedings},
code = {GNP20a},
date-added = {2020-11-02 10:36:39 +0000},
date-modified = {2020-11-02 10:37:41 +0000},
editor = {Pun, Ka I and da Silva Sim{\~a}o, Adenilso and Stolz, Volker},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Implementing Hybrid Semantics: From Functional to Imperative},
url = {http://davinci.di.uminho.pt/publications/goncharov-implementing-ictac-20.pdf},
volume = {12545},
year = {2020},
bdsk-url-1 = {http://davinci.di.uminho.pt/publications/goncharov-implementing-ictac-20.pdf}
}
@inproceedings{DBLP:conf/concur/0001JN18,
author = {Goncharov, Sergey and Jakob, Julian and Neves, Renato},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/conf/concur/0001JN18.bib},
booktitle = {29th International Conference on Concurrency Theory, {CONCUR} 2018, September 4-7, 2018, Beijing, China},
doi = {10.4230/LIPIcs.CONCUR.2018.22},
editor = {Schewe, Sven and Zhang, Lijun},
pages = {22:1--22:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
series = {LIPIcs},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
title = {A Semantics for Hybrid Iteration},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.22},
volume = {118},
year = {2018},
bdsk-url-1 = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.22}
}
This file was generated by bibtex2html 1.99.