Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Gordon J. Pace
@article{DBLP:journals/corr/abs-2302-01764,
author = {Joshua Ellul and
Gordon J. Pace},
title = {Active External Calls for Blockchain and Distributed Ledger Technologies:
Debunking cited inability of Blockchain and {DLT} to make external
calls},
journal = {CoRR},
volume = {abs/2302.01764},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.01764},
doi = {10.48550/ARXIV.2302.01764},
eprinttype = {arXiv},
eprint = {2302.01764},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-01764.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/ColomboP22,
author = {Christian Colombo and
Gordon J. Pace},
title = {Runtime Verification - {A} Hands-On Approach in Java},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-09268-8},
doi = {10.1007/978-3-031-09268-8},
isbn = {978-3-031-09266-4},
timestamp = {Wed, 13 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/ColomboP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/EllulP22,
author = {Joshua Ellul and
Gordon J. Pace},
editor = {Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
Guillermo Navarro{-}Arribas and
Nicola Dragoni},
title = {Verifiable External Blockchain Calls: Towards Removing Oracle Input
Intermediaries},
booktitle = {Data Privacy Management, Cryptocurrencies and Blockchain Technology
- {ESORICS} 2022 International Workshops, {DPM} 2022 and {CBT} 2022,
Copenhagen, Denmark, September 26-30, 2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13619},
pages = {317--324},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-25734-6\_20},
doi = {10.1007/978-3-031-25734-6\_20},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esorics/EllulP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AhrendtP22,
author = {Wolfgang Ahrendt and
Gordon J. Pace},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Selective Presumed Benevolence in Multi-party System Verification},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {106--123},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_7},
doi = {10.1007/978-3-031-19849-6\_7},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/AhrendtP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/ChircopPS22,
author = {Stefan Chircop and
Gordon J. Pace and
Gerardo Schneider},
editor = {Enrico Francesconi and
Georg Borges and
Christoph Sorge},
title = {An Automata-Based Formalism for Normative Documents with Real-Time},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2022: The Thirty-fifth
Annual Conference, Saarbr{\"{u}}cken, Germany, 14-16 December
2022},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {362},
pages = {158--163},
publisher = {{IOS} Press},
year = {2022},
url = {https://doi.org/10.3233/FAIA220460},
doi = {10.3233/FAIA220460},
timestamp = {Mon, 12 Dec 2022 17:24:49 +0100},
biburl = {https://dblp.org/rec/conf/jurix/ChircopPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/AzzopardiEFP22,
author = {Shaun Azzopardi and
Joshua Ellul and
Ryan Falzon and
Gordon J. Pace},
editor = {Thao Dang and
Volker Stolz},
title = {Tainting in Smart Contracts: Combining Static and Runtime Verification},
booktitle = {Runtime Verification - 22nd International Conference, {RV} 2022, Tbilisi,
Georgia, September 28-30, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13498},
pages = {143--161},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17196-3\_8},
doi = {10.1007/978-3-031-17196-3\_8},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/AzzopardiEFP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/AzzopardiEFP22a,
author = {Shaun Azzopardi and
Joshua Ellul and
Ryan Falzon and
Gordon J. Pace},
editor = {Thao Dang and
Volker Stolz},
title = {AspectSol: {A} Solidity Aspect-Oriented Programming Tool with Applications
in Runtime Verification},
booktitle = {Runtime Verification - 22nd International Conference, {RV} 2022, Tbilisi,
Georgia, September 28-30, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13498},
pages = {243--252},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17196-3\_13},
doi = {10.1007/978-3-031-17196-3\_13},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/AzzopardiEFP22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/0001PS21,
author = {Christian Colombo and
Gordon J. Pace and
Gerardo Schneider},
editor = {Ezio Bartocci and
Yli{\`{e}}s Falcone and
Martin Leucker},
title = {Runtime Verification: Passing on the Baton},
booktitle = {Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13065},
pages = {89--107},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-87348-6\_5},
doi = {10.1007/978-3-030-87348-6\_5},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/0001PS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/AzzopardiEP21,
author = {Shaun Azzopardi and
Joshua Ellul and
Gordon J. Pace},
editor = {Hossein Hojjat and
Mieke Massink},
title = {Runtime Monitoring Processes Across Blockchains},
booktitle = {Fundamentals of Software Engineering - 9th International Conference,
{FSEN} 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12818},
pages = {142--156},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89247-0\_10},
doi = {10.1007/978-3-030-89247-0\_10},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsen/AzzopardiEP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icail/EllulPMSBS21,
author = {Joshua Ellul and
Gordon J. Pace and
Stephen McCarthy and
Trevor Sammut and
Juanita Brockdorff and
Matthew Scerri},
editor = {Juliano Maranh{\~{a}}o and
Adam Zachary Wyner},
title = {Regulating artificial intelligence: a technology regulator's perspective},
booktitle = {{ICAIL} '21: Eighteenth International Conference for Artificial Intelligence
and Law, S{\~{a}}o Paulo Brazil, June 21 - 25, 2021},
pages = {190--194},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3462757.3466093},
doi = {10.1145/3462757.3466093},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icail/EllulPMSBS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/EllulP21,
author = {Joshua Ellul and
Gordon J. Pace},
editor = {Wolfgang Ahrendt and
Davide Ancona and
Adrian Francalanza},
title = {Optional monitoring for long-lived transactions},
booktitle = {{VORTEX} 2021: Proceedings of the 5th {ACM} International Workshop
on Verification and mOnitoring at Runtime EXecution, Virtual Event,
Denmark, 12 July 2021},
pages = {35--39},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464974.3468450},
doi = {10.1145/3464974.3468450},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/EllulP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/AzzopardiPSS21,
author = {Shaun Azzopardi and
Gordon J. Pace and
Fernando Schapachnik and
Gerardo Schneider},
editor = {Lu Feng and
Dana Fisman},
title = {On the Specification and Monitoring of Timed Normative Systems},
booktitle = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
Event, October 11-14, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12974},
pages = {81--99},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88494-9\_5},
doi = {10.1007/978-3-030-88494-9\_5},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/AzzopardiPSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-06267,
author = {Joshua Ellul and
Stephen McCarthy and
Trevor Sammut and
Juanita Brockdorff and
Matthew Scerri and
Gordon J. Pace},
title = {A Pragmatic Approach to Regulating Artificial Intelligence: {A} Technology
Regulator's Perspective},
journal = {CoRR},
volume = {abs/2105.06267},
year = {2021},
url = {https://arxiv.org/abs/2105.06267},
eprinttype = {arXiv},
eprint = {2105.06267},
timestamp = {Tue, 18 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-06267.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-10399,
author = {Joshua Ellul and
Gordon J. Pace},
title = {Towards External Calls for Blockchain and Distributed Ledger Technology},
journal = {CoRR},
volume = {abs/2105.10399},
year = {2021},
url = {https://arxiv.org/abs/2105.10399},
eprinttype = {arXiv},
eprint = {2105.10399},
timestamp = {Mon, 31 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-10399.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/PaceSS20,
author = {Gordon J. Pace and
C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Reliable Smart Contracts},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {3--8},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_1},
doi = {10.1007/978-3-030-61467-6\_1},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/PaceSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/Pace20,
author = {Gordon J. Pace},
editor = {Serena Villata and
Jakub Harasta and
Petr Kremen},
title = {A General Theory of Contract Conflicts with Environmental Constraints},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2020: The Thirty-third
Annual Conference, Brno, Czech Republic, December 9-11, 2020},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {334},
pages = {83--92},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200852},
doi = {10.3233/FAIA200852},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jurix/Pace20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/GarciaCCLP20,
author = {Alberto Aranda Garc{\'{\i}}a and
Mar{\'{\i}}a{-}Emilia Cambronero and
Christian Colombo and
Luis Llana and
Gordon J. Pace},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {Themulus: {A} Timed Contract-calculus},
booktitle = {Proceedings of the 8th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2020, Valletta, Malta, February
25-27, 2020},
pages = {193--204},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0008878001930204},
doi = {10.5220/0008878001930204},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/GarciaCCLP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/AzzopardiCP20,
author = {Shaun Azzopardi and
Christian Colombo and
Gordon J. Pace},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {A Technique for Automata-based Verification with Residual Reasoning},
booktitle = {Proceedings of the 8th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2020, Valletta, Malta, February
25-27, 2020},
pages = {237--248},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0008981902370248},
doi = {10.5220/0008981902370248},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/modelsward/AzzopardiCP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/AzzopardiCP20b,
author = {Shaun Azzopardi and
Christian Colombo and
Gordon J. Pace},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {Model-Based Static and Runtime Verification for Ethereum Smart Contracts},
booktitle = {Model-Driven Engineering and Software Development - 8th International
Conference, {MODELSWARD} 2020, Valletta, Malta, February 25-27, 2020,
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1361},
pages = {323--348},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67445-8\_14},
doi = {10.1007/978-3-030-67445-8\_14},
timestamp = {Sat, 12 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/AzzopardiCP20b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/AzzopardiCP20a,
author = {Shaun Azzopardi and
Christian Colombo and
Gordon J. Pace},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {{CLARVA:} Model-based Residual Verification of Java Programs},
booktitle = {Proceedings of the 8th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2020, Valletta, Malta, February
25-27, 2020},
pages = {352--359},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0008966603520359},
doi = {10.5220/0008966603520359},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/modelsward/AzzopardiCP20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/GarciaCCLP20,
author = {Alberto Aranda Garc{\'{\i}}a and
Mar{\'{\i}}a{-}Emilia Cambronero and
Christian Colombo and
Luis Llana and
Gordon J. Pace},
editor = {Frank S. de Boer and
Antonio Cerone},
title = {Runtime Verification of Contracts with Themulus},
booktitle = {Software Engineering and Formal Methods - 18th International Conference,
{SEFM} 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12310},
pages = {231--246},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58768-0\_13},
doi = {10.1007/978-3-030-58768-0\_13},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/GarciaCCLP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/SanchezSABBCFFK19,
author = {C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Wolfgang Ahrendt and
Ezio Bartocci and
Domenico Bianculli and
Christian Colombo and
Yli{\`{e}}s Falcone and
Adrian Francalanza and
Srdan Krstic and
Jo{\~{a}}o M. Louren{\c{c}}o and
Dejan Nickovic and
Gordon J. Pace and
Jos{\'{e}} Rufino and
Julien Signoles and
Dmitriy Traytel and
Alexander Weiss},
title = {A survey of challenges for runtime verification from advanced application
domains (beyond software)},
journal = {Formal Methods Syst. Des.},
volume = {54},
number = {3},
pages = {279--335},
year = {2019},
url = {https://doi.org/10.1007/s10703-019-00337-w},
doi = {10.1007/S10703-019-00337-W},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/SanchezSABBCFFK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/SanchezSABBCFFK19a,
author = {C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Wolfgang Ahrendt and
Ezio Bartocci and
Domenico Bianculli and
Christian Colombo and
Yli{\`{e}}s Falcone and
Adrian Francalanza and
Srdan Krstic and
Jo{\~{a}}o M. Louren{\c{c}}o and
Dejan Nickovic and
Gordon J. Pace and
Jos{\'{e}} Rufino and
Julien Signoles and
Dmitriy Traytel and
Alexander Weiss},
title = {Correction to: {A} survey of challenges for runtime verification from
advanced application domains (beyond software)},
journal = {Formal Methods Syst. Des.},
volume = {55},
number = {1},
pages = {72},
year = {2019},
url = {https://doi.org/10.1007/s10703-019-00343-y},
doi = {10.1007/S10703-019-00343-Y},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/SanchezSABBCFFK19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/AhrendtBEPPRS19,
author = {Wolfgang Ahrendt and
Richard Bubel and
Joshua Ellul and
Gordon J. Pace and
Ra{\'{u}}l Pardo and
Vincent Rebiscoul and
Gerardo Schneider},
editor = {Hossein Hojjat and
Mieke Massink},
title = {Verification of Smart Contract Business Logic - Exploiting a Java
Source Code Verifier},
booktitle = {Fundamentals of Software Engineering - 8th International Conference,
{FSEN} 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11761},
pages = {228--243},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31517-7\_16},
doi = {10.1007/978-3-030-31517-7\_16},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsen/AhrendtBEPPRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ntms/MizziEP19,
author = {Adrian Mizzi and
Joshua Ellul and
Gordon J. Pace},
title = {Porthos: Macroprogramming Blockchain Systems},
booktitle = {10th {IFIP} International Conference on New Technologies, Mobility
and Security, {NTMS} 2019, Canary Islands, Spain, June 24-26, 2019},
pages = {1--5},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/NTMS.2019.8763784},
doi = {10.1109/NTMS.2019.8763784},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ntms/MizziEP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/EllulP19,
author = {Joshua Ellul and
Gordon J. Pace},
title = {Towards {A} Unified Programming Model for Blockchain Smart Contract
dApp Systems},
booktitle = {38th International Symposium on Reliable Distributed Systems Workshops,
{SRDS} Workshops 2019, Lyon, France, October 1-4, 2019},
pages = {55--56},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SRDSW49218.2019.00017},
doi = {10.1109/SRDSW49218.2019.00017},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/EllulP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-14415,
author = {Joshua Ellul and
Gordon J. Pace},
title = {Blockchain and the Common Good Reimagined},
journal = {CoRR},
volume = {abs/1910.14415},
year = {2019},
url = {http://arxiv.org/abs/1910.14415},
eprinttype = {arXiv},
eprint = {1910.14415},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-14415.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AhrendtPS18,
author = {Wolfgang Ahrendt and
Gordon J. Pace and
Gerardo Schneider},
editor = {Peter M{\"{u}}ller and
Ina Schaefer},
title = {Smart Contracts: {A} Killer Application for Deductive Source Code
Verification},
booktitle = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
on the Occasion of his 60th Birthday},
pages = {1--18},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98047-8\_1},
doi = {10.1007/978-3-319-98047-8\_1},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AhrendtPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/MizziEP18,
author = {Adrian Mizzi and
Joshua Ellul and
Gordon J. Pace},
title = {D'Artagnan: An Embedded {DSL} Framework for Distributed Embedded Systems},
booktitle = {Proceedings of the Real World Domain Specific Languages Workshop,
RWDSL@CGO 2018, Vienna, Austria, February 24-24, 2018},
pages = {2:1--2:9},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183895.3183899},
doi = {10.1145/3183895.3183899},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cgo/MizziEP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cnl/AzzopardiCP18,
author = {Shaun Azzopardi and
Christian Colombo and
Gordon J. Pace},
editor = {Brian Davis and
C. Maria Keet and
Adam Wyner},
title = {A Controlled Natural Language for Financial Services Compliance Checking},
booktitle = {Controlled Natural Language - Proceedings of the Sixth International
Workshop, {CNL} 2018, Maynooth, Co. Kildare, Ireland, August 27-28,
2018},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {304},
pages = {11--20},
publisher = {{IOS} Press},
year = {2018},
url = {https://doi.org/10.3233/978-1-61499-904-1-11},
doi = {10.3233/978-1-61499-904-1-11},
timestamp = {Fri, 03 Feb 2023 21:39:19 +0100},
biburl = {https://dblp.org/rec/conf/cnl/AzzopardiCP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/EllulP18,
author = {Joshua Ellul and
Gordon J. Pace},
title = {Runtime Verification of Ethereum Smart Contracts},
booktitle = {14th European Dependable Computing Conference, {EDCC} 2018, Ia{\c{s}}i,
Romania, September 10-14, 2018},
pages = {158--163},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/EDCC.2018.00036},
doi = {10.1109/EDCC.2018.00036},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/EllulP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/PacePS18,
author = {Gordon J. Pace and
Pablo Picazo{-}Sanchez and
Gerardo Schneider},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Migrating Monitors + {ABE:} {A} Suitable Combination for Secure IoT?},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {19--24},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_3},
doi = {10.1007/978-3-030-03427-6\_3},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/PacePS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ColomboP18,
author = {Christian Colombo and
Gordon J. Pace},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Considering Academia-Industry Projects Meta-characteristics in Runtime
Verification Design},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {32--41},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_5},
doi = {10.1007/978-3-030-03427-6\_5},
timestamp = {Sat, 12 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/ColomboP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ColomboEP18,
author = {Christian Colombo and
Joshua Ellul and
Gordon J. Pace},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Contracts over Smart Contracts: Recovering from Violations Dynamically},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {300--315},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_23},
doi = {10.1007/978-3-030-03427-6\_23},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/ColomboEP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ithings/MizziEP18,
author = {Adrian Mizzi and
Joshua Ellul and
Gordon J. Pace},
title = {Macroprogramming the Blockchain of Things},
booktitle = {{IEEE} International Conference on Internet of Things (iThings) and
{IEEE} Green Computing and Communications (GreenCom) and {IEEE} Cyber,
Physical and Social Computing (CPSCom) and {IEEE} Smart Data (SmartData),
iThings/GreenCom/CPSCom/SmartData 2018, Halifax, NS, Canada, July
30 - August 3, 2018},
pages = {1673--1678},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/Cybermatics\_2018.2018.00279},
doi = {10.1109/CYBERMATICS\_2018.2018.00279},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ithings/MizziEP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/AzzopardiPS18,
author = {Shaun Azzopardi and
Gordon J. Pace and
Fernando Schapachnik},
editor = {Monica Palmirani},
title = {On Observing Contracts: Deontic Contracts Meet Smart Contracts},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2018: The Thirty-first
Annual Conference, Groningen, The Netherlands, 12-14 December 2018},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {313},
pages = {21--30},
publisher = {{IOS} Press},
year = {2018},
url = {https://doi.org/10.3233/978-1-61499-935-5-21},
doi = {10.3233/978-1-61499-935-5-21},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jurix/AzzopardiPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ntms/EllulP18,
author = {Joshua Ellul and
Gordon J. Pace},
title = {AlkylVM: {A} Virtual Machine for Smart Contract Blockchain Connected
Internet of Things},
booktitle = {9th {IFIP} International Conference on New Technologies, Mobility
and Security, {NTMS} 2018, Paris, France, February 26-28, 2018},
pages = {1--4},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/NTMS.2018.8328732},
doi = {10.1109/NTMS.2018.8328732},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ntms/EllulP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/AzzopardiEP18,
author = {Shaun Azzopardi and
Joshua Ellul and
Gordon J. Pace},
editor = {Christian Colombo and
Martin Leucker},
title = {Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond},
booktitle = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,
Cyprus, November 10-13, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11237},
pages = {113--137},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03769-7\_8},
doi = {10.1007/978-3-030-03769-7\_8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/AzzopardiEP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/ColomboP18,
author = {Christian Colombo and
Gordon J. Pace},
editor = {Ezio Bartocci and
Yli{\`{e}}s Falcone},
title = {Industrial Experiences with Runtime Verification of Financial Transaction
Systems: Lessons Learnt and Standing Challenges},
booktitle = {Lectures on Runtime Verification - Introductory and Advanced Topics},
series = {Lecture Notes in Computer Science},
volume = {10457},
pages = {211--232},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-75632-5\_7},
doi = {10.1007/978-3-319-75632-5\_7},
timestamp = {Sat, 12 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/ColomboP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-06740,
author = {C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Wolfgang Ahrendt and
Ezio Bartocci and
Domenico Bianculli and
Christian Colombo and
Yli{\`{e}}s Falcone and
Adrian Francalanza and
Srdan Krstic and
Jo{\~{a}}o M. Louren{\c{c}}o and
Dejan Nickovic and
Gordon J. Pace and
Jos{\'{e}} Rufino and
Julien Signoles and
Dmitriy Traytel and
Alexander Weiss},
title = {A Survey of Challenges for Runtime Verification from Advanced Application
Domains (Beyond Software)},
journal = {CoRR},
volume = {abs/1811.06740},
year = {2018},
url = {http://arxiv.org/abs/1811.06740},
eprinttype = {arXiv},
eprint = {1811.06740},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-06740.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/CambroneroLP17,
author = {Mar{\'{\i}}a{-}Emilia Cambronero and
Luis Llana and
Gordon J. Pace},
title = {A Calculus Supporting Contract Reasoning and Monitoring},
journal = {{IEEE} Access},
volume = {5},
pages = {6735--6745},
year = {2017},
url = {https://doi.org/10.1109/ACCESS.2017.2696577},
doi = {10.1109/ACCESS.2017.2696577},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/CambroneroLP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/AhrendtCPS17,
author = {Wolfgang Ahrendt and
Jes{\'{u}}s Mauricio Chimento and
Gordon J. Pace and
Gerardo Schneider},
title = {Verifying data- and control-oriented properties combining static and
runtime verification: theory and tools},
journal = {Formal Methods Syst. Des.},
volume = {51},
number = {1},
pages = {200--265},
year = {2017},
url = {https://doi.org/10.1007/s10703-017-0274-y},
doi = {10.1007/S10703-017-0274-Y},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/AhrendtCPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/debs/MizziEP17,
author = {Adrian Mizzi and
Joshua Ellul and
Gordon J. Pace},
title = {An Embedded {DSL} Framework for Distributed Embedded Systems: Doctoral
Symposium},
booktitle = {Proceedings of the 11th {ACM} International Conference on Distributed
and Event-based Systems, {DEBS} 2017, Barcelona, Spain, June 19-23,
2017},
pages = {374--377},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3093742.3093906},
doi = {10.1145/3093742.3093906},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/debs/MizziEP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/CambroneroLP17,
author = {Mar{\'{\i}}a{-}Emilia Cambronero and
Luis Llana and
Gordon J. Pace},
editor = {Adam Z. Wyner and
Giovanni Casini},
title = {Timed Contract Compliance Under Event Timing Uncertainty},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2017: The Thirtieth
Annual Conference, Luxembourg, 13-15 December 2017},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {302},
pages = {33--38},
publisher = {{IOS} Press},
year = {2017},
url = {https://doi.org/10.3233/978-1-61499-838-9-33},
doi = {10.3233/978-1-61499-838-9-33},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jurix/CambroneroLP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/BuhagiarPE17,
author = {Aaron John Buhagiar and
Gordon J. Pace and
Jean{-}Paul Ebejer},
title = {Engineering Adaptive User Interfaces Using Monitoring-Oriented Programming},
booktitle = {2017 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2017, Prague, Czech Republic, July 25-29, 2017},
pages = {200--207},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/QRS.2017.30},
doi = {10.1109/QRS.2017.30},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qrs/BuhagiarPE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/AzzopardiCEMP17,
author = {Shaun Azzopardi and
Christian Colombo and
Jean{-}Paul Ebejer and
Edward Mallia and
Gordon J. Pace},
editor = {Giles Reger and
Klaus Havelund},
title = {Runtime Verification using {VALOUR}},
booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability,
Benchmarks, Evaluation, and Standardisation for Runtime Verification
Tools, September 15, 2017, Seattle, WA, {USA}},
series = {Kalpa Publications in Computing},
volume = {3},
pages = {10--18},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/bwd4},
doi = {10.29007/BWD4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/AzzopardiCEMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ColomboP17,
author = {Christian Colombo and
Gordon J. Pace},
editor = {Giles Reger and
Klaus Havelund},
title = {Runtime Verification using {LARVA}},
booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability,
Benchmarks, Evaluation, and Standardisation for Runtime Verification
Tools, September 15, 2017, Seattle, WA, {USA}},
series = {Kalpa Publications in Computing},
volume = {3},
pages = {55--63},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/n7td},
doi = {10.29007/N7TD},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/ColomboP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1708-07230,
author = {Shaun Azzopardi and
Christian Colombo and
Gordon J. Pace},
editor = {Adrian Francalanza and
Gordon J. Pace},
title = {Control-Flow Residual Analysis for Symbolic Automata},
booktitle = {Proceedings Second International Workshop on Pre- and Post-Deployment
Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19 September
2017},
series = {{EPTCS}},
volume = {254},
pages = {29--43},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.254.3},
doi = {10.4204/EPTCS.254.3},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-07230.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1708-06889,
editor = {Adrian Francalanza and
Gordon J. Pace},
title = {Proceedings Second International Workshop on Pre- and Post-Deployment
Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19 September
2017},
series = {{EPTCS}},
volume = {254},
year = {2017},
url = {http://arxiv.org/abs/1708.06889},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-06889.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ail/AzzopardiPSS16,
author = {Shaun Azzopardi and
Gordon J. Pace and
Fernando Schapachnik and
Gerardo Schneider},
title = {Contract automata - An operational view of contracts between interactive
parties},
journal = {Artif. Intell. Law},
volume = {24},
number = {3},
pages = {203--243},
year = {2016},
url = {https://doi.org/10.1007/s10506-016-9185-2},
doi = {10.1007/S10506-016-9185-2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ail/AzzopardiPSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cnl/CalafatoCP16,
author = {Aaron Calafato and
Christian Colombo and
Gordon J. Pace},
editor = {Brian Davis and
Gordon J. Pace and
Adam Z. Wyner},
title = {A Controlled Natural Language for Tax Fraud Detection},
booktitle = {Controlled Natural Language - 5th International Workshop, {CNL} 2016,
Aberdeen, UK, July 25-27, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9767},
pages = {1--12},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41498-0\_1},
doi = {10.1007/978-3-319-41498-0\_1},
timestamp = {Mon, 03 Jan 2022 22:33:10 +0100},
biburl = {https://dblp.org/rec/conf/cnl/CalafatoCP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/CauchiP16,
author = {Abigail Cauchi and
Gordon J. Pace},
editor = {Kris Luyten and
Philippe A. Palanque},
title = {Using testing techniques to classify user interface designs},
booktitle = {Proceedings of the 8th {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems, {EICS} 2016, Brussels, Belgium, June 21-24, 2016},
pages = {159--164},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933242.2935866},
doi = {10.1145/2933242.2935866},
timestamp = {Sat, 09 Apr 2022 12:33:56 +0200},
biburl = {https://dblp.org/rec/conf/eics/CauchiP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/CauchiCFMP16,
author = {Abigail Cauchi and
Christian Colombo and
Adrian Francalanza and
Mark Micallef and
Gordon J. Pace},
editor = {Kris Luyten and
Philippe A. Palanque},
title = {Using gherkin to extract tests and monitors for safer medical device
interaction design},
booktitle = {Proceedings of the 8th {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems, {EICS} 2016, Brussels, Belgium, June 21-24, 2016},
pages = {275--280},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933242.2935868},
doi = {10.1145/2933242.2935868},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eics/CauchiCFMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ColomboPCDFGMSA16,
author = {Christian Colombo and
Gordon J. Pace and
Luke Camilleri and
Claire Dimech and
Reuben A. Farrugia and
Jean{-}Paul Grech and
Alessio Magro and
Andrew C. Sammut and
Kristian Zarb Adami},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Runtime Verification for Stream Processing Applications},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Discussion, Dissemination, Applications - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9953},
pages = {400--406},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_32},
doi = {10.1007/978-3-319-47169-3\_32},
timestamp = {Sat, 12 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/ColomboPCDFGMSA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AhrendtPS16,
author = {Wolfgang Ahrendt and
Gordon J. Pace and
Gerardo Schneider},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {StaRVOOrS - Episode {II} - Strengthen and Distribute the Force},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {402--415},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_28},
doi = {10.1007/978-3-319-47166-2\_28},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/AhrendtPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/PacePS16,
author = {Gordon J. Pace and
Ra{\'{u}}l Pardo and
Gerardo Schneider},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {On the Runtime Enforcement of Evolving Privacy Policies in Online
Social Networks},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Discussion, Dissemination, Applications - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9953},
pages = {407--412},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_33},
doi = {10.1007/978-3-319-47169-3\_33},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/PacePS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AzzopardiCP16,
author = {Shaun Azzopardi and
Christian Colombo and
Gordon J. Pace},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Model-Based Approach to Combining Static and Dynamic Verification
Techniques},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {416--430},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_29},
doi = {10.1007/978-3-319-47166-2\_29},
timestamp = {Sat, 12 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/AzzopardiCP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/AzzopardiGP16,
author = {Shaun Azzopardi and
Albert Gatt and
Gordon J. Pace},
editor = {Floris Bex and
Serena Villata},
title = {Reasoning About Partial Contracts},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2016: The Twenty-Ninth
Annual Conference},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {294},
pages = {23--32},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-726-9-23},
doi = {10.3233/978-1-61499-726-9-23},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jurix/AzzopardiGP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/PardoCPS16,
author = {Ra{\'{u}}l Pardo and
Christian Colombo and
Gordon J. Pace and
Gerardo Schneider},
editor = {Yli{\`{e}}s Falcone and
C{\'{e}}sar S{\'{a}}nchez},
title = {An Automata-Based Approach to Evolving Privacy Policies for Social
Networks},
booktitle = {Runtime Verification - 16th International Conference, {RV} 2016, Madrid,
Spain, September 23-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10012},
pages = {285--301},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46982-9\_18},
doi = {10.1007/978-3-319-46982-9\_18},
timestamp = {Wed, 28 Dec 2022 16:42:42 +0100},
biburl = {https://dblp.org/rec/conf/rv/PardoCPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/AzzopardiCPV16,
author = {Shaun Azzopardi and
Christian Colombo and
Gordon J. Pace and
Brian Vella},
editor = {Rocco De Nicola and
Eva K{\"{u}}hn},
title = {Compliance Checking in the Open Payments Ecosystem},
booktitle = {Software Engineering and Formal Methods - 14th International Conference,
{SEFM} 2016, Held as Part of {STAF} 2016, Vienna, Austria, July 4-8,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9763},
pages = {337--343},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41591-8\_23},
doi = {10.1007/978-3-319-41591-8\_23},
timestamp = {Tue, 15 Nov 2022 15:22:36 +0100},
biburl = {https://dblp.org/rec/conf/sefm/AzzopardiCPV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ChircopCP16,
author = {Luke Chircop and
Christian Colombo and
Gordon J. Pace},
editor = {Jan Kofron and
Jana Tumova and
Bara Buhnova},
title = {Device-Centric Monitoring for Mobile Device Management},
booktitle = {Proceedings of the 13th International Workshop on Formal Engineering
Approaches to Software Components and Architectures, FESCA@ETAPS 2016,
Eindhoven, The Netherlands, 3rd April 2016},
series = {{EPTCS}},
volume = {205},
pages = {31--44},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.205.3},
doi = {10.4204/EPTCS.205.3},
timestamp = {Sun, 02 Oct 2022 15:31:45 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChircopCP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cnl/2016,
editor = {Brian Davis and
Gordon J. Pace and
Adam Z. Wyner},
title = {Controlled Natural Language - 5th International Workshop, {CNL} 2016,
Aberdeen, UK, July 25-27, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9767},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41498-0},
doi = {10.1007/978-3-319-41498-0},
isbn = {978-3-319-41497-3},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cnl/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enlg/FarrellPR15,
author = {Rachel Farrell and
Gordon J. Pace and
Mike Rosner},
editor = {Anja Belz and
Albert Gatt and
Fran{\c{c}}ois Portet and
Matthew Purver},
title = {A Framework for the Generation of Computer System Diagnostics in Natural
Language using Finite State Methods},
booktitle = {{ENLG} 2015 - Proceedings of the 15th European Workshop on Natural
Language Generation, 10-11 September 2015, University of Brighton,
Brighton, {UK}},
pages = {52--56},
publisher = {The Association for Computer Linguistics},
year = {2015},
url = {https://doi.org/10.18653/v1/w15-4707},
doi = {10.18653/V1/W15-4707},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/enlg/FarrellPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AhrendtCPS15,
author = {Wolfgang Ahrendt and
Jes{\'{u}}s Mauricio Chimento and
Gordon J. Pace and
Gerardo Schneider},
editor = {Nikolaj S. Bj{\o}rner and
Frank S. de Boer},
title = {A Specification Language for Static and Runtime Verification of Data
and Control Properties},
booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
June 24-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9109},
pages = {108--125},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19249-9\_8},
doi = {10.1007/978-3-319-19249-9\_8},
timestamp = {Thu, 14 Apr 2022 20:26:16 +0200},
biburl = {https://dblp.org/rec/conf/fm/AhrendtCPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/PaceSS15,
author = {Gordon J. Pace and
Fernando Schapachnik and
Gerardo Schneider},
title = {Conditional Permissions in Contracts},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2015: The Twenty-Eighth
Annual Conference, Braga, Portugal, December 10-11, 2015},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {279},
pages = {61--70},
publisher = {{IOS} Press},
year = {2015},
url = {https://doi.org/10.3233/978-1-61499-609-5-61},
doi = {10.3233/978-1-61499-609-5-61},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jurix/PaceSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nldb/ColomboGP15,
author = {Christian Colombo and
Jean{-}Paul Grech and
Gordon J. Pace},
editor = {Chris Biemann and
Siegfried Handschuh and
Andr{\'{e}} Freitas and
Farid Meziane and
Elisabeth M{\'{e}}tais},
title = {A Controlled Natural Language for Business Intelligence Monitoring},
booktitle = {Natural Language Processing and Information Systems - 20th International
Conference on Applications of Natural Language to Information Systems,
{NLDB} 2015 Passau, Germany, June 17-19, 2015 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9103},
pages = {300--306},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19581-0\_27},
doi = {10.1007/978-3-319-19581-0\_27},
timestamp = {Mon, 26 Jun 2023 20:41:44 +0200},
biburl = {https://dblp.org/rec/conf/nldb/ColomboGP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ChimentoAPS15,
author = {Jes{\'{u}}s Mauricio Chimento and
Wolfgang Ahrendt and
Gordon J. Pace and
Gerardo Schneider},
editor = {Ezio Bartocci and
Rupak Majumdar},
title = {StaRVOOrS: {A} Tool for Combined Static and Runtime Verification of
Java},
booktitle = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
Austria, September 22-25, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9333},
pages = {297--305},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23820-3\_21},
doi = {10.1007/978-3-319-23820-3\_21},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/ChimentoAPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cnl/PaceR14,
author = {Gordon J. Pace and
Michael Rosner},
editor = {Brian Davis and
Kaarel Kaljurand and
Tobias Kuhn},
title = {Explaining Violation Traces with Finite State Natural Language Generation
Models},
booktitle = {Controlled Natural Language - 4th International Workshop, {CNL} 2014,
Galway, Ireland, August 20-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8625},
pages = {179--189},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10223-8\_17},
doi = {10.1007/978-3-319-10223-8\_17},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/cnl/PaceR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/AzzopardiPS14,
author = {Shaun Azzopardi and
Gordon J. Pace and
Fernando Schapachnik},
editor = {Rinke Hoekstra},
title = {Contract Automata with Reparations},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2014: The Twenty-Seventh
Annual Conference, Jagiellonian University, Krakow, Poland, 10-12
December 2014},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {271},
pages = {49--54},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-468-8-49},
doi = {10.3233/978-1-61499-468-8-49},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jurix/AzzopardiPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ColomboP14,
author = {Christian Colombo and
Gordon J. Pace},
editor = {Barbora Buhnova and
Lucia Happe and
Jan Kofron},
title = {Comprehensive Monitor-Oriented Compensation Programming},
booktitle = {Proceedings 11th International Workshop on Formal Engineering approaches
to Software Components and Architectures, {FESCA} 2014, Grenoble,
France, 12th April 2014},
series = {{EPTCS}},
volume = {147},
pages = {47--61},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.147.4},
doi = {10.4204/EPTCS.147.4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/ColomboP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PaceR14,
author = {Gordon J. Pace and
Michael Rosner},
title = {Explaining Violation Traces with Finite State Natural Language Generation
Models},
journal = {CoRR},
volume = {abs/1406.2298},
year = {2014},
url = {http://arxiv.org/abs/1406.2298},
eprinttype = {arXiv},
eprint = {1406.2298},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PaceR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/ColomboP13,
author = {Christian Colombo and
Gordon J. Pace},
title = {Recovery within long-running transactions},
journal = {{ACM} Comput. Surv.},
volume = {45},
number = {3},
pages = {28:1--28:35},
year = {2013},
url = {https://doi.org/10.1145/2480741.2480745},
doi = {10.1145/2480741.2480745},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/ColomboP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/ColomboP13,
author = {Christian Colombo and
Gordon J. Pace},
title = {Monitor-Oriented Compensation Programming Through Compensating Automata},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {58},
year = {2013},
url = {https://doi.org/10.14279/tuj.eceasst.58.839},
doi = {10.14279/TUJ.ECEASST.58.839},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eceasst/ColomboP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/FrancalanzaGP13,
author = {Adrian Francalanza and
Andrew Gauci and
Gordon J. Pace},
title = {Distributed system contract monitoring},
journal = {J. Log. Algebraic Methods Program.},
volume = {82},
number = {5-7},
pages = {186--215},
year = {2013},
url = {https://doi.org/10.1016/j.jlap.2013.04.001},
doi = {10.1016/J.JLAP.2013.04.001},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/FrancalanzaGP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icail/PaceS13,
author = {Gordon J. Pace and
Fernando Schapachnik},
editor = {Enrico Francesconi and
Bart Verheij},
title = {Synthesising implicit contracts},
booktitle = {International Conference on Artificial Intelligence and Law, {ICAIL}
'13, Rome, Italy, June 10-14, 2013},
pages = {217--221},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2514601.2514630},
doi = {10.1145/2514601.2514630},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icail/PaceS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ColomboMP13,
author = {Christian Colombo and
Ruth Mizzi and
Gordon J. Pace},
editor = {Axel Legay and
Saddek Bensalem},
title = {SMock - {A} Test Platform for Monitoring Tools},
booktitle = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
France, September 24-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8174},
pages = {352--357},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40787-1\_24},
doi = {10.1007/978-3-642-40787-1\_24},
timestamp = {Sat, 12 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/ColomboMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1302-5169,
author = {Christian Colombo and
Adrian Francalanza and
Ruth Mizzi and
Gordon J. Pace},
editor = {Barbora Buhnova and
Lucia Happe and
Jan Kofron},
title = {Extensible Technology-Agnostic Runtime Verification},
booktitle = {Proceedings 10th International Workshop on Formal Engineering Approaches
to Software Components and Architectures, {FESCA} 2013, Rome, Italy,
March 23, 2013},
series = {{EPTCS}},
volume = {108},
pages = {1--15},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.108.1},
doi = {10.4204/EPTCS.108.1},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-5169.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0030170,
author = {Gordon J. Pace},
title = {Mathematics of Discrete Structures for Computer Science},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29840-0},
doi = {10.1007/978-3-642-29840-0},
isbn = {978-3-642-29839-4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0030170.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ColomboPA12,
author = {Christian Colombo and
Gordon J. Pace and
Patrick Abela},
title = {Safer asynchronous runtime monitoring using compensations},
journal = {Formal Methods Syst. Des.},
volume = {41},
number = {3},
pages = {269--294},
year = {2012},
url = {https://doi.org/10.1007/s10703-012-0142-8},
doi = {10.1007/S10703-012-0142-8},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/ColomboPA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromed/AllottaBBCCCCCCCFFGGMMMMMPPPPRRST12,
author = {Benedetto Allotta and
S. Bargagliotti and
L. Botarelli and
Andrea Caiti and
Vincenzo Calabr{\`{o}} and
G. Casa and
Michele Cocco and
Sara Colantonio and
Carlo Colombo and
S. Costa and
Marco Fanfani and
L. Franchi and
P. Gambogi and
Lavinio Gualdesi and
Denise La Monica and
Massimo Magrini and
Massimo Martinelli and
Davide Moroni and
Andrea Munaf{\`{o}} and
Gordon J. Pace and
C. Papa and
Maria Antonietta Pascali and
Gabriele Pieri and
Marco Reggiannini and
Marco Righi and
Ovidio Salvetti and
Marco Tampucci},
editor = {Marinos Ioannides and
Dieter Fritsch and
Johanna Leissner and
Rob Davies and
Fabio Remondino and
Rossella Caffo},
title = {Thesaurus Project: Design of New Autonomous Underwater Vehicles for
Documentation and Protection of Underwater Archaeological Sites},
booktitle = {Progress in Cultural Heritage Preservation - 4th International Conference,
EuroMed 2012, Limassol, Cyprus, October 29 - November 3, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7616},
pages = {486--493},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34234-9\_50},
doi = {10.1007/978-3-642-34234-9\_50},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromed/AllottaBBCCCCCCCFFGGMMMMMPPPPRRST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AhrendtPS12,
author = {Wolfgang Ahrendt and
Gordon J. Pace and
Gerardo Schneider},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Unified Approach for Static and Runtime Verification: Framework
and Applications},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7609},
pages = {312--326},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34026-0\_24},
doi = {10.1007/978-3-642-34026-0\_24},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/AhrendtPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/PaceS12,
author = {Gordon J. Pace and
Fernando Schapachnik},
editor = {Burkhard Sch{\"{a}}fer},
title = {Types of Rights in Two-Party Systems: {A} Formal Analysis},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2012: The Twenty-Fifth
Annual Conference, University of Amsterdam, The Netherlands, 17-19
December 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {250},
pages = {105--114},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-167-0-105},
doi = {10.3233/978-1-61499-167-0-105},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jurix/PaceS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mompes/FalzonP12,
author = {Kevin Falzon and
Gordon J. Pace},
editor = {Ricardo Jorge Machado and
Rita Suzana Pitangueira Maciel and
Julia Rubin and
Goetz Botterweck},
title = {Combining Testing and Runtime Verification Techniques},
booktitle = {Model-Based Methodologies for Pervasive and Embedded Software, 8th
International Workshop, {MOMPES} 2012, Essen, Germany, September 4,
2012. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {7706},
pages = {38--57},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38209-3\_3},
doi = {10.1007/978-3-642-38209-3\_3},
timestamp = {Wed, 09 Aug 2023 08:39:51 +0200},
biburl = {https://dblp.org/rec/conf/mompes/FalzonP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ColomboP12,
author = {Christian Colombo and
Gordon J. Pace},
editor = {Shaz Qadeer and
Serdar Tasiran},
title = {Fast-Forward Runtime Monitoring - An Industrial Case Study},
booktitle = {Runtime Verification, Third International Conference, {RV} 2012, Istanbul,
Turkey, September 25-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7687},
pages = {214--228},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35632-2\_22},
doi = {10.1007/978-3-642-35632-2\_22},
timestamp = {Sat, 12 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/ColomboP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/ColomboFMP12,
author = {Christian Colombo and
Adrian Francalanza and
Ruth Mizzi and
Gordon J. Pace},
editor = {George Eleftherakis and
Mike Hinchey and
Mike Holcombe},
title = {polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring
Boundaries},
booktitle = {Software Engineering and Formal Methods - 10th International Conference,
{SEFM} 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7504},
pages = {218--232},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33826-7\_15},
doi = {10.1007/978-3-642-33826-7\_15},
timestamp = {Sat, 12 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/ColomboFMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1209-2238,
author = {Gordon J. Pace and
Fernando Schapachnik},
editor = {Gordon J. Pace and
Anders P. Ravn},
title = {Contracts for Interacting Two-Party Systems},
booktitle = {Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented
Software, {FLACOS} 2012, Bertinoro, Italy, 19 September 2012},
series = {{EPTCS}},
volume = {94},
pages = {21--30},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.94.3},
doi = {10.4204/EPTCS.94.3},
timestamp = {Mon, 03 Jan 2022 22:03:19 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1209-2238.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1209-1699,
editor = {Gordon J. Pace and
Anders P. Ravn},
title = {Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented
Software, {FLACOS} 2012, Bertinoro, Italy, 19 September 2012},
series = {{EPTCS}},
volume = {94},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.94},
doi = {10.4204/EPTCS.94},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1209-1699.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PaceS11,
author = {Gordon J. Pace and
Gerardo Schneider},
title = {Guest Editors' Foreword},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {1},
pages = {1--2},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2010.10.003},
doi = {10.1016/J.JLAP.2010.10.003},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/PaceS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PaceS11a,
author = {Gordon J. Pace and
Gerardo Schneider},
title = {Guest Editors' Foreword},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {3-5},
pages = {137--138},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2011.04.001},
doi = {10.1016/J.JLAP.2011.04.001},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/PaceS11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/PaceS11,
author = {Gordon J. Pace and
Fernando Schapachnik},
editor = {Katie Atkinson},
title = {Permissions in Contracts, a Logical Insight},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2011: The Twenty-Fourth
Annual Conference, University of Vienna, Austria, 14th-16th December
2011},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {235},
pages = {140--144},
publisher = {{IOS} Press},
year = {2011},
url = {https://doi.org/10.3233/978-1-60750-981-3-140},
doi = {10.3233/978-1-60750-981-3-140},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jurix/PaceS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1109-2655,
author = {Adrian Francalanza and
Andrew Gauci and
Gordon J. Pace},
editor = {Ernesto Pimentel and
Valent{\'{\i}}n Valero},
title = {Distributed System Contract Monitoring},
booktitle = {Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented
Software, {FLACOS} 2011, M{\'{a}}laga, Spain, 22nd and 23rd September
2011},
series = {{EPTCS}},
volume = {68},
pages = {23--37},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.68.4},
doi = {10.4204/EPTCS.68.4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-2655.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cnl/CamilleriPR10,
author = {John J. Camilleri and
Gordon J. Pace and
Michael Rosner},
editor = {Michael Rosner and
Norbert E. Fuchs},
title = {Controlled Natural Language in a Game for Legal Assistance},
booktitle = {Controlled Natural Language - Second International Workshop, {CNL}
2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {7175},
pages = {137--153},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-31175-8\_8},
doi = {10.1007/978-3-642-31175-8\_8},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/cnl/CamilleriPR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lrec/BorgRP10,
author = {Claudia Borg and
Mike Rosner and
Gordon J. Pace},
editor = {Nicoletta Calzolari and
Khalid Choukri and
Bente Maegaard and
Joseph Mariani and
Jan Odijk and
Stelios Piperidis and
Mike Rosner and
Daniel Tapias},
title = {Automatic Grammar Rule Extraction and Ranking for Definitions},
booktitle = {Proceedings of the International Conference on Language Resources
and Evaluation, {LREC} 2010, 17-23 May 2010, Valletta, Malta},
publisher = {European Language Resources Association},
year = {2010},
url = {http://www.lrec-conf.org/proceedings/lrec2010/summaries/609.html},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lrec/BorgRP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ColomboPA10,
author = {Christian Colombo and
Gordon J. Pace and
Patrick Abela},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Compensation-Aware Runtime Monitoring},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {214--228},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_17},
doi = {10.1007/978-3-642-16612-9\_17},
timestamp = {Thu, 26 Jan 2023 14:05:55 +0100},
biburl = {https://dblp.org/rec/conf/rv/ColomboPA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ColomboGP10,
author = {Christian Colombo and
Andrew Gauci and
Gordon J. Pace},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {LarvaStat: Monitoring of Statistical Properties},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {480--484},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_38},
doi = {10.1007/978-3-642-16612-9\_38},
timestamp = {Sat, 12 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/ColomboGP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2010,
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9},
doi = {10.1007/978-3-642-16612-9},
isbn = {978-3-642-16611-2},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/FenechPS09,
author = {Stephen Fenech and
Gordon J. Pace and
Gerardo Schneider},
editor = {Zhiming Liu and
Anders P. Ravn},
title = {{CLAN:} {A} Tool for Contract Analysis and Conflict Discovery},
booktitle = {Automated Technology for Verification and Analysis, 7th International
Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5799},
pages = {90--96},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04761-9\_8},
doi = {10.1007/978-3-642-04761-9\_8},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/FenechPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cnl/PaceR09,
author = {Gordon J. Pace and
Michael Rosner},
editor = {Norbert E. Fuchs},
title = {A Controlled Language for the Specification of Contracts},
booktitle = {Controlled Natural Language, Workshop on Controlled Natural Language,
{CNL} 2009, Marettimo Island, Italy, June 8-10, 2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5972},
pages = {226--245},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-14418-9\_14},
doi = {10.1007/978-3-642-14418-9\_14},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/cnl/PaceR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cnl/PaceR09a,
author = {Gordon J. Pace and
Michael Rosner},
editor = {Norbert E. Fuchs},
title = {A Controlled Language for the Specification of Contracts},
booktitle = {Pre-Proceedings of the Workshop on Controlled Natural Language {(CNL}
2009), Marettimo Island, Italy, 8-10 June, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {448},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-448/paper20.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:18 +0100},
biburl = {https://dblp.org/rec/conf/cnl/PaceR09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/ColomboPS09,
author = {Christian Colombo and
Gordon J. Pace and
Gerardo Schneider},
editor = {Jo{\"{e}}l Ouaknine and
Frits W. Vaandrager},
title = {Safe Runtime Verification of Real-Time Properties},
booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
{FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5813},
pages = {103--117},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04368-0\_10},
doi = {10.1007/978-3-642-04368-0\_10},
timestamp = {Sat, 12 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/ColomboPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/FenechPS09,
author = {Stephen Fenech and
Gordon J. Pace and
Gerardo Schneider},
editor = {Martin Leucker and
Carroll Morgan},
title = {Automatic Conflict Detection on Contracts},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2009, 6th International
Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5684},
pages = {200--214},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03466-4\_13},
doi = {10.1007/978-3-642-03466-4\_13},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/FenechPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/PaceS09,
author = {Gordon J. Pace and
Gerardo Schneider},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Challenges in the Specification of Full Contracts},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {292--306},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_20},
doi = {10.1007/978-3-642-00255-7\_20},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/PaceS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/ColomboPS09,
author = {Christian Colombo and
Gordon J. Pace and
Gerardo Schneider},
editor = {Dang Van Hung and
Padmanabhan Krishnan},
title = {{LARVA} --- Safer Monitoring of Real-Time Java Programs (Tool Paper)},
booktitle = {Seventh {IEEE} International Conference on Software Engineering and
Formal Methods, {SEFM} 2009, Hanoi, Vietnam, 23-27 November 2009},
pages = {33--37},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SEFM.2009.13},
doi = {10.1109/SEFM.2009.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/ColomboPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FenechPORS09,
author = {Stephen Fenech and
Gordon J. Pace and
Joseph C. Okika and
Anders P. Ravn and
Gerardo Schneider},
editor = {Jens Happe and
Barbora Zimmerov{\'{a}}},
title = {On the Specification of Full Contracts},
booktitle = {Proceedings of the Sixth International Workshop on Formal Engineering
approches to Software Components and Architectures, FESCA@ETAPS 2009,
York, UK, April 28, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {253},
number = {1},
pages = {39--55},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.09.027},
doi = {10.1016/J.ENTCS.2009.09.027},
timestamp = {Fri, 24 Feb 2023 15:09:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FenechPORS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AsarinPSY08,
author = {Eugene Asarin and
Gordon J. Pace and
Gerardo Schneider and
Sergio Yovine},
title = {Algorithmic analysis of polygonal hybrid systems, Part {II:} Phase
portrait and tools},
journal = {Theor. Comput. Sci.},
volume = {390},
number = {1},
pages = {1--26},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2007.09.025},
doi = {10.1016/J.TCS.2007.09.025},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AsarinPSY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/ColomboPS08,
author = {Christian Colombo and
Gordon J. Pace and
Gerardo Schneider},
editor = {Darren D. Cofer and
Alessandro Fantechi},
title = {Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual
Properties},
booktitle = {Formal Methods for Industrial Critical Systems, 13th International
Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5596},
pages = {135--149},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-03240-0\_13},
doi = {10.1007/978-3-642-03240-0\_13},
timestamp = {Sat, 12 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/ColomboPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/PaceS08,
author = {Gordon J. Pace and
Gerardo Schneider},
editor = {John S. Fitzgerald and
Anne E. Haxthausen and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {Relaxing Goodness Is Still Good},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International
Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5160},
pages = {274--289},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85762-4\_19},
doi = {10.1007/978-3-540-85762-4\_19},
timestamp = {Fri, 28 Feb 2020 14:02:33 +0100},
biburl = {https://dblp.org/rec/conf/ictac/PaceS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/PaceS08,
author = {Gordon J. Pace and
Gerardo Schneider},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Computation and Visualisation of Phase Portraits for Model Checking
SPDIs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {341--345},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_25},
doi = {10.1007/978-3-540-78800-3\_25},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/tacas/PaceS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/PacePS07,
author = {Gordon J. Pace and
Cristian Prisacariu and
Gerardo Schneider},
editor = {Kedar S. Namjoshi and
Tomohiro Yoneda and
Teruo Higashino and
Yoshio Okamura},
title = {Model Checking Contracts - {A} Case Study},
booktitle = {Automated Technology for Verification and Analysis, 5th International
Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4762},
pages = {82--97},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75596-8\_8},
doi = {10.1007/978-3-540-75596-8\_8},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/PacePS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/PaceS06,
author = {Gordon J. Pace and
Gerardo Schneider},
editor = {Eugene Asarin and
Patricia Bouyer},
title = {Static Analysis for State-Space Reduction of Polygonal Hybrid Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
{FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4202},
pages = {306--321},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11867340\_22},
doi = {10.1007/11867340\_22},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/PaceS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/PaceS06,
author = {Gordon J. Pace and
Gerardo Schneider},
editor = {Kamel Barkaoui and
Ana Cavalcanti and
Antonio Cerone},
title = {A Compositional Algorithm for Parallel Model Checking of Polygonal
Hybrid Systems},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2006, Third International
Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4281},
pages = {168--182},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11921240\_12},
doi = {10.1007/11921240\_12},
timestamp = {Mon, 21 Feb 2022 14:40:49 +0100},
biburl = {https://dblp.org/rec/conf/ictac/PaceS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/PaceHR04,
author = {Gordon J. Pace and
Nicolas Halbwachs and
Pascal Raymond},
title = {Counter-example generation in symbolic abstract model-checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {5},
number = {2-3},
pages = {158--164},
year = {2004},
url = {https://doi.org/10.1007/s10009-003-0127-4},
doi = {10.1007/S10009-003-0127-4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/PaceHR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/PaceS04,
author = {Gordon J. Pace and
Gerardo Schneider},
editor = {Bernhard Steffen and
Giorgio Levi},
title = {Model Checking Polygonal Differential Inclusions Using Invariance
Kernels},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 5th International
Conference, {VMCAI} 2004, Venice, Italy, January 11-13, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2937},
pages = {110--121},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24622-0\_11},
doi = {10.1007/978-3-540-24622-0\_11},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/PaceS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PaceLM03,
author = {Gordon J. Pace and
Fr{\'{e}}d{\'{e}}ric Lang and
Radu Mateescu},
editor = {Warren A. Hunt Jr. and
Fabio Somenzi},
title = {Calculating-Confluence Compositionally},
booktitle = {Computer Aided Verification, 15th International Conference, {CAV}
2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2725},
pages = {446--459},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45069-6\_41},
doi = {10.1007/978-3-540-45069-6\_41},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/PaceLM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/ClaessenP02,
author = {Koen Claessen and
Gordon J. Pace},
title = {An embedded language approach to teaching hardware compilation},
journal = {{ACM} {SIGPLAN} Notices},
volume = {37},
number = {12},
pages = {35--46},
year = {2002},
url = {https://doi.org/10.1145/636517.636526},
doi = {10.1145/636517.636526},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigplan/ClaessenP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AsarinPSY02,
author = {Eugene Asarin and
Gordon J. Pace and
Gerardo Schneider and
Sergio Yovine},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {SPeeDI - {A} Verification Tool for Polygonal Hybrid Systems},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {354--358},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_28},
doi = {10.1007/3-540-45657-0\_28},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/AsarinPSY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Pace00,
author = {Gordon J. Pace},
editor = {Warren A. Hunt Jr. and
Steven D. Johnson},
title = {The Semantics of Verilog Using Transition System Combinators},
booktitle = {Formal Methods in Computer-Aided Design, Third International Conference,
{FMCAD} 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1954},
pages = {405--422},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40922-X\_25},
doi = {10.1007/3-540-40922-X\_25},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/Pace00.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-04-25 01:33 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:
