Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Adrian Francalanza
@article{DBLP:journals/scp/AcetoAAEFI24,
author = {Luca Aceto and
Antonis Achilleos and
Duncan Paul Attard and
L{\'{e}}o Exibard and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {A monitoring tool for linear-time \emph{{\(\mu\)}}HML},
journal = {Sci. Comput. Program.},
volume = {232},
pages = {103031},
year = {2024},
url = {https://doi.org/10.1016/j.scico.2023.103031},
doi = {10.1016/J.SCICO.2023.103031},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AcetoAAEFI24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/AcetoCFI23,
author = {Luca Aceto and
Ian Cassar and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {On first-order runtime enforcement of branching-time properties},
journal = {Acta Informatica},
volume = {60},
number = {4},
pages = {385--451},
year = {2023},
url = {https://doi.org/10.1007/s00236-023-00441-9},
doi = {10.1007/S00236-023-00441-9},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/AcetoCFI23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/FrancalanzaT23,
author = {Adrian Francalanza and
Gerard Tabone},
title = {ElixirST: {A} session-based type system for Elixir modules},
journal = {J. Log. Algebraic Methods Program.},
volume = {135},
pages = {100891},
year = {2023},
url = {https://doi.org/10.1016/j.jlamp.2023.100891},
doi = {10.1016/J.JLAMP.2023.100891},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/FrancalanzaT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AcetoCFI23,
author = {Luca Aceto and
Ian Cassar and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Bidirectional Runtime Enforcement of First-Order Branching-Time Properties},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:14)2023},
doi = {10.46298/LMCS-19(1:14)2023},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/AcetoCFI23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-05229,
author = {Antonis Achilleos and
Adrian Francalanza and
Jasmine Xuereb},
title = {If At First You Don't Succeed: Extended Monitorability through Multiple
Executions},
journal = {CoRR},
volume = {abs/2306.05229},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.05229},
doi = {10.48550/ARXIV.2306.05229},
eprinttype = {arXiv},
eprint = {2306.05229},
timestamp = {Wed, 14 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-05229.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-16881,
author = {Luca Aceto and
Antonis Achilleos and
Elli Anastasiadi and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Complexity results for modal logic with recursion via translations
and tableaux},
journal = {CoRR},
volume = {abs/2306.16881},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.16881},
doi = {10.48550/ARXIV.2306.16881},
eprinttype = {arXiv},
eprint = {2306.16881},
timestamp = {Mon, 03 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-16881.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/AnconaFFHILMSW22,
author = {Davide Ancona and
Olivier Fl{\"{u}}ckiger and
Adrian Francalanza and
Robert Hirschfeld and
Atsushi Igarashi and
Yu David Liu and
Hidehiko Masuhara and
Chris Seaton and
Harumi Watanabe},
title = {Preface to the {JOT} special issue on {ECOOP} 2021: selected workshop
papers},
journal = {J. Object Technol.},
volume = {21},
number = {2},
year = {2022},
url = {https://doi.org/10.5381/jot.2022.21.2.e1},
doi = {10.5381/JOT.2022.21.2.E1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jot/AnconaFFHILMSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BurloFSTT22,
author = {Christian Bartolo Burl{\`{o}} and
Adrian Francalanza and
Alceste Scalas and
Catia Trubiani and
Emilio Tuosto},
title = {PSTMonitor: Monitor synthesis from probabilistic session types},
journal = {Sci. Comput. Program.},
volume = {222},
pages = {102847},
year = {2022},
url = {https://doi.org/10.1016/j.scico.2022.102847},
doi = {10.1016/J.SCICO.2022.102847},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BurloFSTT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AcetoAAFILP22,
author = {Luca Aceto and
Antonis Achilleos and
Elli Anastasiadi and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Karoliina Lehtinen and
Mathias Ruggaard Pedersen},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Krishnendu Chatterjee and
Laurent Doyen and
Rupak Majumdar},
title = {On Probabilistic Monitorability},
booktitle = {Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13660},
pages = {325--342},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22337-2\_16},
doi = {10.1007/978-3-031-22337-2\_16},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/AcetoAAFILP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/AchilleosEFLX22,
author = {Antonis Achilleos and
L{\'{e}}o Exibard and
Adrian Francalanza and
Karoliina Lehtinen and
Jasmine Xuereb},
editor = {Maurice H. ter Beek and
Marjan Sirjani},
title = {A Synthesis Tool for Optimal Monitors in a Branching-Time Setting},
booktitle = {Coordination Models and Languages - 24th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2022, Held as Part of the 17th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2022, Lucca, Italy, June 13-17, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13271},
pages = {181--199},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08143-9\_11},
doi = {10.1007/978-3-031-08143-9\_11},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/AchilleosEFLX22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/AcetoAAEFI22,
author = {Luca Aceto and
Antonis Achilleos and
Duncan Paul Attard and
L{\'{e}}o Exibard and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Maurice H. ter Beek and
Marjan Sirjani},
title = {A Monitoring Tool for Linear-Time {\(\mu\)}HML},
booktitle = {Coordination Models and Languages - 24th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2022, Held as Part of the 17th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2022, Lucca, Italy, June 13-17, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13271},
pages = {200--219},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08143-9\_12},
doi = {10.1007/978-3-031-08143-9\_12},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/AcetoAAEFI22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AcetoAAF22,
author = {Luca Aceto and
Antonis Achilleos and
Elli Anastasiadi and
Adrian Francalanza},
editor = {Mohammad Reza Mousavi and
Anna Philippou},
title = {Monitoring Hyperproperties with Circuits},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 42nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2022, Held
as Part of the 17th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13273},
pages = {1--10},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08679-3\_1},
doi = {10.1007/978-3-031-08679-3\_1},
timestamp = {Wed, 15 Jun 2022 16:45:18 +0200},
biburl = {https://dblp.org/rec/conf/forte/AcetoAAF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2208-04631,
author = {Gerard Tabone and
Adrian Francalanza},
editor = {Cl{\'{e}}ment Aubert and
Cinzia Di Giusto and
Larisa Safina and
Alceste Scalas},
title = {Session Fidelity for ElixirST: {A} Session-Based Type System for Elixir
Modules},
booktitle = {Proceedings 15th Interaction and Concurrency Experience, {ICE} 2022,
Lucca, Italy, 17th June 2022},
series = {{EPTCS}},
volume = {365},
pages = {17--36},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.365.2},
doi = {10.4204/EPTCS.365.2},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-04631.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10377,
author = {Luca Aceto and
Antonis Achilleos and
Elli Anastasiadi and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Pierre Ganty and
Dario Della Monica},
title = {Complexity through Translations for Modal Logic with Recursion},
booktitle = {Proceedings of the 13th International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
21-23, 2022},
series = {{EPTCS}},
volume = {370},
pages = {34--48},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.370.3},
doi = {10.4204/EPTCS.370.3},
timestamp = {Mon, 31 Oct 2022 12:23:58 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-10377.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-03108,
author = {Luca Aceto and
Ian Cassar and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Bidirectional Runtime Enforcement of First-Order Branching-Time Properties},
journal = {CoRR},
volume = {abs/2201.03108},
year = {2022},
url = {https://arxiv.org/abs/2201.03108},
eprinttype = {arXiv},
eprint = {2201.03108},
timestamp = {Thu, 20 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-03108.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-11570,
author = {Luca Aceto and
Antonis Achilleos and
Elli Anastasiadi and
Adrian Francalanza},
title = {Monitoring hyperproperties with circuits},
journal = {CoRR},
volume = {abs/2202.11570},
year = {2022},
url = {https://arxiv.org/abs/2202.11570},
eprinttype = {arXiv},
eprint = {2202.11570},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-11570.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-07329,
author = {Christian Bartolo Burl{\`{o}} and
Adrian Francalanza and
Alceste Scalas and
Catia Trubiani and
Emilio Tuosto},
title = {PSTMonitor: Monitor Synthesis from Probabilistic Session Types},
journal = {CoRR},
volume = {abs/2212.07329},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.07329},
doi = {10.48550/ARXIV.2212.07329},
eprinttype = {arXiv},
eprint = {2212.07329},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-07329.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/BurloFS21,
author = {Christian Bartolo Burl{\`{o}} and
Adrian Francalanza and
Alceste Scalas},
title = {On the Monitorability of Session Types, in Theory and Practice (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {7},
number = {2},
pages = {02:1--02:3},
year = {2021},
url = {https://doi.org/10.4230/DARTS.7.2.2},
doi = {10.4230/DARTS.7.2.2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/BurloFS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Francalanza21,
author = {Adrian Francalanza},
title = {A theory of monitors},
journal = {Inf. Comput.},
volume = {281},
pages = {104704},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2021.104704},
doi = {10.1016/J.IC.2021.104704},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Francalanza21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/FrancalanzaC21,
author = {Adrian Francalanza and
Clare Cini},
title = {Computer says no: Verdict explainability for runtime monitors using
a local proof system},
journal = {J. Log. Algebraic Methods Program.},
volume = {119},
pages = {100636},
year = {2021},
url = {https://doi.org/10.1016/j.jlamp.2020.100636},
doi = {10.1016/J.JLAMP.2020.100636},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/FrancalanzaC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/AcetoAFIL21,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Karoliina Lehtinen},
title = {An operational guide to monitorability with applications to regular
properties},
journal = {Softw. Syst. Model.},
volume = {20},
number = {2},
pages = {335--361},
year = {2021},
url = {https://doi.org/10.1007/s10270-020-00860-z},
doi = {10.1007/S10270-020-00860-Z},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/AcetoAFIL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AcetoCFI21,
author = {Luca Aceto and
Ian Cassar and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Comparing controlled system synthesis and suppression enforcement},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {4},
pages = {601--614},
year = {2021},
url = {https://doi.org/10.1007/s10009-021-00624-0},
doi = {10.1007/S10009-021-00624-0},
timestamp = {Tue, 26 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/AcetoCFI21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/TaboneF21,
author = {Gerard Tabone and
Adrian Francalanza},
editor = {Elias Castegren and
Joeri De Koster and
Simon Fowler},
title = {Session types in Elixir},
booktitle = {{AGERE} 2021: Proceedings of the 11th {ACM} {SIGPLAN} International
Workshop on Programming Based on Actors, Agents, and Decentralized
Control, Virtual Event / Chicago, IL, USA, 17 October 2021},
pages = {12--23},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3486601.3486708},
doi = {10.1145/3486601.3486708},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agere/TaboneF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BurloFSTT21,
author = {Christian Bartolo Burl{\`{o}} and
Adrian Francalanza and
Alceste Scalas and
Catia Trubiani and
Emilio Tuosto},
editor = {Ferruccio Damiani and
Ornela Dardha},
title = {Towards Probabilistic Session-Type Monitoring},
booktitle = {Coordination Models and Languages - 23rd {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2021, Held as Part of the 16th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2021, Valletta, Malta, June 14-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12717},
pages = {106--120},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78142-2\_7},
doi = {10.1007/978-3-030-78142-2\_7},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BurloFSTT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AcetoAFIL21,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Karoliina Lehtinen},
editor = {Christel Baier and
Jean Goubault{-}Larrecq},
title = {The Best a Monitor Can Do},
booktitle = {29th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2021,
January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)},
series = {LIPIcs},
volume = {183},
pages = {7:1--7:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CSL.2021.7},
doi = {10.4230/LIPICS.CSL.2021.7},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/AcetoAFIL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BurloFS21,
author = {Christian Bartolo Burl{\`{o}} and
Adrian Francalanza and
Alceste Scalas},
editor = {Anders M{\o}ller and
Manu Sridharan},
title = {On the Monitorability of Session Types, in Theory and Practice},
booktitle = {35th European Conference on Object-Oriented Programming, {ECOOP} 2021,
July 11-17, 2021, Aarhus, Denmark (Virtual Conference)},
series = {LIPIcs},
volume = {194},
pages = {20:1--20:30},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2021.20},
doi = {10.4230/LIPICS.ECOOP.2021.20},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/BurloFS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/BrunAF21,
author = {Matthew Alan Le Brun and
Duncan Paul Attard and
Adrian Francalanza},
editor = {Stavros Aronis and
Annette Bieniusa},
title = {Graft: general purpose raft consensus in Elixir},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Workshop on
Erlang, Erlang@ICFP 2021, Virtual Event, Korea, August 26, 2021},
pages = {2--14},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3471871.3472963},
doi = {10.1145/3471871.3472963},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/erlang/BrunAF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AcetoAFI21,
author = {Luca Aceto and
Duncan Paul Attard and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Esther Guerra and
Mari{\"{e}}lle Stoelinga},
title = {On Benchmarking for Concurrent Runtime Verification},
booktitle = {Fundamental Approaches to Software Engineering - 24th International
Conference, {FASE} 2021, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2021, Luxembourg City,
Luxembourg, March 27 - April 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12649},
pages = {3--23},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-71500-7\_1},
doi = {10.1007/978-3-030-71500-7\_1},
timestamp = {Fri, 14 May 2021 08:34:15 +0200},
biburl = {https://dblp.org/rec/conf/fase/AcetoAFI21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AcetoCFI21,
author = {Luca Aceto and
Ian Cassar and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Kirstin Peters and
Tim A. C. Willemse},
title = {On Bidirectional Runtime Enforcement},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 41st {IFIP} {WG} 6.1 International Conference, {FORTE} 2021, Held
as Part of the 16th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12719},
pages = {3--21},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78089-0\_1},
doi = {10.1007/978-3-030-78089-0\_1},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/AcetoCFI21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AttardAAFIL21,
author = {Duncan Paul Attard and
Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Karoliina Lehtinen},
editor = {Kirstin Peters and
Tim A. C. Willemse},
title = {Better Late Than Never or: Verifying Asynchronous Components at Runtime},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 41st {IFIP} {WG} 6.1 International Conference, {FORTE} 2021, Held
as Part of the 16th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12719},
pages = {207--225},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78089-0\_14},
doi = {10.1007/978-3-030-78089-0\_14},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/AttardAAFIL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2021vortex,
editor = {Wolfgang Ahrendt and
Davide Ancona and
Adrian Francalanza},
title = {{VORTEX} 2021: Proceedings of the 5th {ACM} International Workshop
on Verification and mOnitoring at Runtime EXecution, Virtual Event,
Denmark, 12 July 2021},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464974},
doi = {10.1145/3464974},
isbn = {978-1-4503-8546-6},
timestamp = {Tue, 27 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/2021vortex.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-09433,
author = {Luca Aceto and
Duncan Paul Attard and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {A Choreographed Outline Instrumentation Algorithm for Asynchronous
Components},
journal = {CoRR},
volume = {abs/2104.09433},
year = {2021},
url = {https://arxiv.org/abs/2104.09433},
eprinttype = {arXiv},
eprint = {2104.09433},
timestamp = {Mon, 26 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-09433.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-06291,
author = {Christian Bartolo Burl{\`{o}} and
Adrian Francalanza and
Alceste Scalas},
title = {On the Monitorability of Session Types, in Theory and Practice (Extended
Version)},
journal = {CoRR},
volume = {abs/2105.06291},
year = {2021},
url = {https://arxiv.org/abs/2105.06291},
eprinttype = {arXiv},
eprint = {2105.06291},
timestamp = {Mon, 31 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-06291.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-08729,
author = {Christian Bartolo Burl{\`{o}} and
Adrian Francalanza and
Alceste Scalas and
Catia Trubiani and
Emilio Tuosto},
title = {Towards Probabilistic Session-Type Monitoring},
journal = {CoRR},
volume = {abs/2107.08729},
year = {2021},
url = {https://arxiv.org/abs/2107.08729},
eprinttype = {arXiv},
eprint = {2107.08729},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-08729.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/AcetoAFIK20,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
S{\ae}var {\"{O}}rn Kjartansson},
title = {Determinizing monitors for {HML} with recursion},
journal = {J. Log. Algebraic Methods Program.},
volume = {111},
pages = {100515},
year = {2020},
url = {https://doi.org/10.1016/j.jlamp.2019.100515},
doi = {10.1016/J.JLAMP.2019.100515},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/AcetoAFIK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/AcetoAFI20,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {The complexity of identifying characteristic formulae},
journal = {J. Log. Algebraic Methods Program.},
volume = {112},
pages = {100529},
year = {2020},
url = {https://doi.org/10.1016/j.jlamp.2020.100529},
doi = {10.1016/J.JLAMP.2020.100529},
timestamp = {Thu, 26 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/AcetoAFI20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/BravettiFGHJKR20,
author = {Mario Bravetti and
Adrian Francalanza and
Iaroslav Golovanov and
Hans H{\"{u}}ttel and
Mathias Jakobsen and
Mikkel Kettunen and
Ant{\'{o}}nio Ravara},
editor = {Bruno C. d. S. Oliveira},
title = {Behavioural Types for Memory and Method Safety in a Core Object-Oriented
Language},
booktitle = {Programming Languages and Systems - 18th Asian Symposium, {APLAS}
2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12470},
pages = {105--124},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64437-6\_6},
doi = {10.1007/978-3-030-64437-6\_6},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/BravettiFGHJKR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/FrancalanzaX20,
author = {Adrian Francalanza and
Jasmine Xuereb},
editor = {Simon Bliudze and
Laura Bocchi},
title = {On Implementing Symbolic Controllability},
booktitle = {Coordination Models and Languages - 22nd {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2020, Held as Part of the 15th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2020, Valletta, Malta, June 15-19, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12134},
pages = {350--369},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50029-0\_22},
doi = {10.1007/978-3-030-50029-0\_22},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/FrancalanzaX20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BurloFS20,
author = {Christian Bartolo Burl{\`{o}} and
Adrian Francalanza and
Alceste Scalas},
editor = {Alexey Gotsman and
Ana Sokolova},
title = {Towards a Hybrid Verification Methodology for Communication Protocols
(Short Paper)},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held
as Part of the 15th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12136},
pages = {227--235},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50086-3\_13},
doi = {10.1007/978-3-030-50086-3\_13},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/BurloFS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/FrancalanzaMT20,
author = {Adrian Francalanza and
Claudio Antares Mezzina and
Emilio Tuosto},
editor = {Irek Ulidowski and
Ivan Lanese and
Ulrik Pagh Schultz and
Carla Ferreira},
title = {Towards Choreographic-Based Monitoring},
booktitle = {Reversible Computation: Extending Horizons of Computing - Selected
Results of the {COST} Action {IC1405}},
series = {Lecture Notes in Computer Science},
volume = {12070},
pages = {128--150},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-47361-7\_6},
doi = {10.1007/978-3-030-47361-7\_6},
timestamp = {Fri, 14 May 2021 08:30:49 +0200},
biburl = {https://dblp.org/rec/series/lncs/FrancalanzaMT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-12793,
author = {Mario Bravetti and
Adrian Francalanza and
Iaroslav Golovanov and
Hans H{\"{u}}ttel and
Mathias Jakobsen and
Mikkel Kettunen and
Ant{\'{o}}nio Ravara},
title = {Behavioural Types for Memory and Method Safety in a Core Object-Oriented
Language},
journal = {CoRR},
volume = {abs/2002.12793},
year = {2020},
url = {https://arxiv.org/abs/2002.12793},
eprinttype = {arXiv},
eprint = {2002.12793},
timestamp = {Tue, 05 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-12793.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}
}
@article{DBLP:journals/pacmpl/AcetoAFIL19,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Karoliina Lehtinen},
title = {Adventures in monitorability: from branching to linear time and back
again},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {52:1--52:29},
year = {2019},
url = {https://doi.org/10.1145/3290365},
doi = {10.1145/3290365},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/AcetoAFIL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/MonicaF19,
author = {Dario Della Monica and
Adrian Francalanza},
editor = {Nicola Gigante and
Federico Mari and
Andrea Orlandini},
title = {Pushing Runtime Verification to the Limit: May Process Semantics Be
With Us},
booktitle = {Proceedings of the 1st Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis, co-located with the
18th International Conference of the Italian Association for Artificial
Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2509},
pages = {47--52},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2509/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/MonicaF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AcetoAFIL19,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Karoliina Lehtinen},
editor = {Michele Boreale and
Flavio Corradini and
Michele Loreti and
Rosario Pugliese},
title = {Testing Equivalence vs. Runtime Monitoring},
booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming
- Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {11665},
pages = {28--44},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21485-2\_4},
doi = {10.1007/978-3-030-21485-2\_4},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AcetoAFIL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AcetoAFIL19a,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Karoliina Lehtinen},
editor = {Ezio Bartocci and
Rance Cleaveland and
Radu Grosu and
Oleg Sokolsky},
title = {The Cost of Monitoring Alone},
booktitle = {From Reactive Systems to Cyber-Physical Systems - Essays Dedicated
to Scott A. Smolka on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11500},
pages = {259--275},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31514-6\_15},
doi = {10.1007/978-3-030-31514-6\_15},
timestamp = {Sat, 12 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AcetoAFIL19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/AcetoCFI19,
author = {Luca Aceto and
Ian Cassar and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Bernd Finkbeiner and
Leonardo Mariani},
title = {Comparing Controlled System Synthesis and Suppression Enforcement},
booktitle = {Runtime Verification - 19th International Conference, {RV} 2019, Porto,
Portugal, October 8-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11757},
pages = {148--164},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32079-9\_9},
doi = {10.1007/978-3-030-32079-9\_9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/AcetoCFI19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/AcetoAFIL19,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Karoliina Lehtinen},
editor = {Peter Csaba {\"{O}}lveczky and
Gwen Sala{\"{u}}n},
title = {An Operational Guide to Monitorability},
booktitle = {Software Engineering and Formal Methods - 17th International Conference,
{SEFM} 2019, Oslo, Norway, September 18-20, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11724},
pages = {433--453},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30446-1\_23},
doi = {10.1007/978-3-030-30446-1\_23},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/AcetoAFIL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/erlang/2019,
editor = {Adrian Francalanza and
Vikt{\'{o}}ria F{\"{o}}rd{\'{o}}s},
title = {Proceedings of the 18th {ACM} {SIGPLAN} International Workshop on
Erlang, Erlang@ICFP 2019, Berlin, Germany, August 18, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://dl.acm.org/citation.cfm?id=3331542},
isbn = {978-1-4503-6810-0},
timestamp = {Tue, 04 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-00435,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Karoliina Lehtinen},
title = {Adventures in Monitorability: From Branching to Linear Time and Back
Again},
journal = {CoRR},
volume = {abs/1902.00435},
year = {2019},
url = {http://arxiv.org/abs/1902.00435},
eprinttype = {arXiv},
eprint = {1902.00435},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-00435.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-05152,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Karoliina Lehtinen},
title = {The Cost of Monitoring Alone},
journal = {CoRR},
volume = {abs/1902.05152},
year = {2019},
url = {http://arxiv.org/abs/1902.05152},
eprinttype = {arXiv},
eprint = {1902.05152},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-05152.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-02088,
author = {Neville Grech and
George Fourtounis and
Adrian Francalanza and
Yannis Smaragdakis},
title = {Heaps Don't Lie: Countering Unsoundness with Heap Snapshots},
journal = {CoRR},
volume = {abs/1905.02088},
year = {2019},
url = {http://arxiv.org/abs/1905.02088},
eprinttype = {arXiv},
eprint = {1905.02088},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-02088.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-00766,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Karoliina Lehtinen},
title = {An Operational Guide to Monitorability},
journal = {CoRR},
volume = {abs/1906.00766},
year = {2019},
url = {http://arxiv.org/abs/1906.00766},
eprinttype = {arXiv},
eprint = {1906.00766},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-00766.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BernardiF18,
author = {Giovanni Tito Bernardi and
Adrian Francalanza},
title = {Full-abstraction for client testing preorders},
journal = {Sci. Comput. Program.},
volume = {168},
pages = {94--117},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2018.08.004},
doi = {10.1016/J.SCICO.2018.08.004},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BernardiF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AcetoCFI18,
author = {Luca Aceto and
Ian Cassar and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Sven Schewe and
Lijun Zhang},
title = {On Runtime Enforcement via Suppressions},
booktitle = {29th International Conference on Concurrency Theory, {CONCUR} 2018,
September 4-7, 2018, Beijing, China},
series = {LIPIcs},
volume = {118},
pages = {34:1--34:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.34},
doi = {10.4230/LIPICS.CONCUR.2018.34},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AcetoCFI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/FrancalanzaMT18,
author = {Adrian Francalanza and
Claudio Antares Mezzina and
Emilio Tuosto},
editor = {Silvia Bonomi and
Etienne Rivi{\`{e}}re},
title = {Reversible Choreographies via Monitoring in Erlang},
booktitle = {Distributed Applications and Interoperable Systems - 18th {IFIP} {WG}
6.1 International Conference, {DAIS} 2018, Held as Part of the 13th
International Federated Conference on Distributed Computing Techniques,
DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10853},
pages = {75--92},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-93767-0\_6},
doi = {10.1007/978-3-319-93767-0\_6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dais/FrancalanzaMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AcetoAFI18,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Christel Baier and
Ugo Dal Lago},
title = {A Framework for Parameterized Monitorability},
booktitle = {Foundations of Software Science and Computation Structures - 21st
International Conference, {FOSSACS} 2018, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2018,
Thessaloniki, Greece, April 14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10803},
pages = {203--220},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89366-2\_11},
doi = {10.1007/978-3-319-89366-2\_11},
timestamp = {Fri, 31 Jan 2020 21:32:20 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/AcetoAFI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GrechFFS18,
author = {Neville Grech and
George Fourtounis and
Adrian Francalanza and
Yannis Smaragdakis},
editor = {Frank Tip and
Eric Bodden},
title = {Shooting from the heap: ultra-scalable static analysis with heap snapshots},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {198--208},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213860},
doi = {10.1145/3213846.3213860},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/GrechFFS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BartocciFFR18,
author = {Ezio Bartocci and
Yli{\`{e}}s Falcone and
Adrian Francalanza and
Giles Reger},
editor = {Ezio Bartocci and
Yli{\`{e}}s Falcone},
title = {Introduction to Runtime Verification},
booktitle = {Lectures on Runtime Verification - Introductory and Advanced Topics},
series = {Lecture Notes in Computer Science},
volume = {10457},
pages = {1--33},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-75632-5\_1},
doi = {10.1007/978-3-319-75632-5\_1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/BartocciFFR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/FrancalanzaPS18,
author = {Adrian Francalanza and
Jorge A. P{\'{e}}rez and
C{\'{e}}sar S{\'{a}}nchez},
editor = {Ezio Bartocci and
Yli{\`{e}}s Falcone},
title = {Runtime Verification for Decentralised and Distributed Systems},
booktitle = {Lectures on Runtime Verification - Introductory and Advanced Topics},
series = {Lecture Notes in Computer Science},
volume = {10457},
pages = {176--210},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-75632-5\_6},
doi = {10.1007/978-3-319-75632-5\_6},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/FrancalanzaPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/erlang/2018,
editor = {Natalia Chechina and
Adrian Francalanza},
title = {Proceedings of the 17th {ACM} {SIGPLAN} International Workshop on
Erlang, {ICFP} 2018, St. Louis, MO, USA, September 23-29, 2018},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3239332},
doi = {10.1145/3239332},
timestamp = {Tue, 04 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/erlang/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-08917,
author = {Ian Cassar and
Adrian Francalanza and
Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Developing Theoretical Foundations for Runtime Enforcement},
journal = {CoRR},
volume = {abs/1804.08917},
year = {2018},
url = {http://arxiv.org/abs/1804.08917},
eprinttype = {arXiv},
eprint = {1804.08917},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-08917.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-01004,
author = {Luca Aceto and
Ian Cassar and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {On Runtime Enforcement via Suppressions},
journal = {CoRR},
volume = {abs/1807.01004},
year = {2018},
url = {http://arxiv.org/abs/1807.01004},
eprinttype = {arXiv},
eprint = {1807.01004},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-01004.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/fmsd/FrancalanzaAI17,
author = {Adrian Francalanza and
Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Monitorability for the Hennessy-Milner logic with recursion},
journal = {Formal Methods Syst. Des.},
volume = {51},
number = {1},
pages = {87--116},
year = {2017},
url = {https://doi.org/10.1007/s10703-017-0273-z},
doi = {10.1007/S10703-017-0273-Z},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/FrancalanzaAI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GrechFFS17,
author = {Neville Grech and
George Fourtounis and
Adrian Francalanza and
Yannis Smaragdakis},
title = {Heaps don't lie: countering unsoundness with heap snapshots},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{OOPSLA}},
pages = {68:1--68:27},
year = {2017},
url = {https://doi.org/10.1145/3133892},
doi = {10.1145/3133892},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/GrechFFS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Francalanza17,
author = {Adrian Francalanza},
editor = {Roland Meyer and
Uwe Nestmann},
title = {Consistently-Detecting Monitors},
booktitle = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
September 5-8, 2017, Berlin, Germany},
series = {LIPIcs},
volume = {85},
pages = {8:1--8:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.8},
doi = {10.4230/LIPICS.CONCUR.2017.8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Francalanza17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BernardiF17,
author = {Giovanni Bernardi and
Adrian Francalanza},
editor = {Jean{-}Marie Jacquet and
Mieke Massink},
title = {Full-Abstraction for Must Testing Preorders - (Extended Abstract)},
booktitle = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2017, Held as Part of the 12th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10319},
pages = {237--255},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59746-1\_13},
doi = {10.1007/978-3-319-59746-1\_13},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BernardiF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/CassarFAI17,
author = {Ian Cassar and
Adrian Francalanza and
Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Natalia Chechina and
Scott Lystig Fritchie},
title = {eAOP: an aspect oriented programming framework for Erlang},
booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} International Workshop on
Erlang, Oxford, United Kingdom, September 3-9, 2017},
pages = {20--30},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3123569.3123570},
doi = {10.1145/3123569.3123570},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/CassarFAI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AcetoAFI17,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Satya V. Lokam and
R. Ramanujam},
title = {Monitoring for Silent Actions},
booktitle = {37th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2017, December 11-15, 2017,
Kanpur, India},
series = {LIPIcs},
volume = {93},
pages = {7:1--7:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2017.7},
doi = {10.4230/LIPICS.FSTTCS.2017.7},
timestamp = {Fri, 03 Sep 2021 15:00:19 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AcetoAFI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/FrancalanzaAAAC17,
author = {Adrian Francalanza and
Luca Aceto and
Antonis Achilleos and
Duncan Paul Attard and
Ian Cassar and
Dario Della Monica and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Shuvendu K. Lahiri and
Giles Reger},
title = {A Foundation for Runtime Monitoring},
booktitle = {Runtime Verification - 17th International Conference, {RV} 2017, Seattle,
WA, USA, September 13-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10548},
pages = {8--29},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67531-2\_2},
doi = {10.1007/978-3-319-67531-2\_2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/FrancalanzaAAAC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/CassarFAAI17,
author = {Ian Cassar and
Adrian Francalanza and
Duncan Paul Attard and
Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Giles Reger and
Klaus Havelund},
title = {A Suite of Monitoring Tools for Erlang},
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 = {41--47},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/7lrd},
doi = {10.29007/7LRD},
timestamp = {Sun, 15 Aug 2021 10:46:48 +0200},
biburl = {https://dblp.org/rec/conf/rv/CassarFAAI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/CassarFAAI17a,
author = {Ian Cassar and
Adrian Francalanza and
Duncan Paul Attard and
Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Giles Reger and
Klaus Havelund},
title = {A Generic Instrumentation Tool for Erlang},
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 = {48--54},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/63tp},
doi = {10.29007/63TP},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/CassarFAAI17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/AttardF17,
author = {Duncan Paul Attard and
Adrian Francalanza},
editor = {Alessandro Cimatti and
Marjan Sirjani},
title = {Trace Partitioning and Local Monitoring for Asynchronous Components},
booktitle = {Software Engineering and Formal Methods - 15th International Conference,
{SEFM} 2017, Trento, Italy, September 4-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10469},
pages = {219--235},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66197-1\_14},
doi = {10.1007/978-3-319-66197-1\_14},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/AttardF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/AcetoAFIK17,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
S{\ae}var {\"{O}}rn Kjartansson},
editor = {Arnaud Carayol and
Cyril Nicaud},
title = {On the Complexity of Determinizing Monitors},
booktitle = {Implementation and Application of Automata - 22nd International Conference,
{CIAA} 2017, Marne-la-Vall{\'{e}}e, France, June 27-30, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10329},
pages = {1--13},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60134-2\_1},
doi = {10.1007/978-3-319-60134-2\_1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/AcetoAFIK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1708-07229,
author = {Ian Cassar and
Adrian Francalanza and
Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Adrian Francalanza and
Gordon J. Pace},
title = {A Survey of Runtime Monitoring Instrumentation Techniques},
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 = {15--28},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.254.2},
doi = {10.4204/EPTCS.254.2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-07229.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1708-07233,
author = {Ian Cassar and
Adrian Francalanza and
Claudio Antares Mezzina and
Emilio Tuosto},
editor = {Adrian Francalanza and
Gordon J. Pace},
title = {Reliability and Fault-Tolerance by Choreographic Design},
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 = {69--80},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.254.6},
doi = {10.4204/EPTCS.254.6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-07233.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}
}
@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 = {Sat, 09 Apr 2022 12:33:56 +0200},
biburl = {https://dblp.org/rec/conf/eics/CauchiCFMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Francalanza16,
author = {Adrian Francalanza},
editor = {Bart Jacobs and
Christof L{\"{o}}ding},
title = {A Theory of Monitors - (Extended Abstract)},
booktitle = {Foundations of Software Science and Computation Structures - 19th
International Conference, {FOSSACS} 2016, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2016,
Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9634},
pages = {145--161},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49630-5\_9},
doi = {10.1007/978-3-662-49630-5\_9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Francalanza16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/CassarF16,
author = {Ian Cassar and
Adrian Francalanza},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marieke Huisman},
title = {On Implementing a Monitor-Oriented Programming Framework for Actor
Systems},
booktitle = {Integrated Formal Methods - 12th International Conference, {IFM} 2016,
Reykjavik, Iceland, June 1-5, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9681},
pages = {176--192},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33693-0\_12},
doi = {10.1007/978-3-319-33693-0\_12},
timestamp = {Fri, 09 Apr 2021 18:43:38 +0200},
biburl = {https://dblp.org/rec/conf/ifm/CassarF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/AttardF16,
author = {Duncan Paul Attard and
Adrian Francalanza},
editor = {Yli{\`{e}}s Falcone and
C{\'{e}}sar S{\'{a}}nchez},
title = {A Monitoring Tool for a Branching-Time Logic},
booktitle = {Runtime Verification - 16th International Conference, {RV} 2016, Madrid,
Spain, September 23-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10012},
pages = {473--481},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46982-9\_31},
doi = {10.1007/978-3-319-46982-9\_31},
timestamp = {Wed, 28 Dec 2022 16:42:42 +0100},
biburl = {https://dblp.org/rec/conf/rv/AttardF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/VellaF16,
author = {Annalizz Vella and
Adrian Francalanza},
editor = {Luca Aceto and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Preliminary Results Towards Contract Monitorability},
booktitle = {Proceedings First Workshop on Pre- and Post-Deployment Verification
Techniques, PrePost@IFM 2016, Reykjav{\'{\i}}k, Iceland, 4th
June 2016},
series = {{EPTCS}},
volume = {208},
pages = {54--63},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.208.5},
doi = {10.4204/EPTCS.208.5},
timestamp = {Fri, 09 Apr 2021 18:27:22 +0200},
biburl = {https://dblp.org/rec/journals/corr/VellaF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/AcetoFI16,
editor = {Luca Aceto and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Proceedings First Workshop on Pre- and Post-Deployment Verification
Techniques, PrePost@IFM 2016, Reykjav{\'{\i}}k, Iceland, 4th
June 2016},
series = {{EPTCS}},
volume = {208},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.208},
doi = {10.4204/EPTCS.208},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AcetoFI16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AcetoAFIK16,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
S{\ae}var {\"{O}}rn Kjartansson},
title = {Determinizing Monitors for {HML} with Recursion},
journal = {CoRR},
volume = {abs/1611.10212},
year = {2016},
url = {http://arxiv.org/abs/1611.10212},
eprinttype = {arXiv},
eprint = {1611.10212},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AcetoAFIK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/FrancalanzaS15,
author = {Adrian Francalanza and
Aldrin Seychell},
title = {Synthesising correct concurrent runtime monitors},
journal = {Formal Methods Syst. Des.},
volume = {46},
number = {3},
pages = {226--261},
year = {2015},
url = {https://doi.org/10.1007/s10703-014-0217-9},
doi = {10.1007/S10703-014-0217-9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/FrancalanzaS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/CassarF15,
author = {Ian Cassar and
Adrian Francalanza},
editor = {Ezio Bartocci and
Rupak Majumdar},
title = {Runtime Adaptation for Actor Systems},
booktitle = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
Austria, September 22-25, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9333},
pages = {38--54},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23820-3\_3},
doi = {10.1007/978-3-319-23820-3\_3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/CassarF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/FrancalanzaAI15,
author = {Adrian Francalanza and
Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Ezio Bartocci and
Rupak Majumdar},
title = {On Verifying Hennessy-Milner Logic with Recursion at Runtime},
booktitle = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
Austria, September 22-25, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9333},
pages = {71--86},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23820-3\_5},
doi = {10.1007/978-3-319-23820-3\_5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/FrancalanzaAI15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/ColomboDF15,
author = {Christian Colombo and
Gabriel Dimech and
Adrian Francalanza},
editor = {Radu Calinescu and
Bernhard Rumpe},
title = {Investigating Instrumentation Techniques for {ESB} Runtime Verification},
booktitle = {Software Engineering and Formal Methods - 13th International Conference,
{SEFM} 2015, York, UK, September 7-11, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9276},
pages = {99--107},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22969-0\_7},
doi = {10.1007/978-3-319-22969-0\_7},
timestamp = {Sat, 30 Sep 2023 09:56:03 +0200},
biburl = {https://dblp.org/rec/conf/sefm/ColomboDF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CiniF15,
author = {Clare Cini and
Adrian Francalanza},
editor = {Christel Baier and
Cesare Tinelli},
title = {An {LTL} Proof System for Runtime Verification},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 21st International Conference, {TACAS} 2015, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2015, London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {581--595},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_54},
doi = {10.1007/978-3-662-46681-0\_54},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CiniF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CassarFS15,
author = {Ian Cassar and
Adrian Francalanza and
Simon Said},
editor = {Bara Buhnova and
Lucia Happe and
Jan Kofron},
title = {Improving Runtime Overheads for detectEr},
booktitle = {Proceedings 12th International Workshop on Formal Engineering approaches
to Software Components and Architectures, {FESCA} 2015, London, United
Kingdom, April 12th, 2015},
series = {{EPTCS}},
volume = {178},
pages = {1--8},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.178.1},
doi = {10.4204/EPTCS.178.1},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/CassarFS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/FrancalanzaGR15,
author = {Adrian Francalanza and
Marco Giunti and
Ant{\'{o}}nio Ravara},
editor = {Maurice H. ter Beek and
Alberto Lluch{-}Lafuente},
title = {Unlocking Blocked Communicating Processes},
booktitle = {Proceedings 11th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2015, Oslo, Norway, 23rd June
2015},
series = {{EPTCS}},
volume = {188},
pages = {23--32},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.188.4},
doi = {10.4204/EPTCS.188.4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FrancalanzaGR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FrancalanzaVH14,
author = {Adrian Francalanza and
Edsko de Vries and
Matthew Hennessy},
title = {Compositional Reasoning for Explicit Resource Management in Channel-Based
Concurrency},
journal = {Log. Methods Comput. Sci.},
volume = {10},
number = {2},
year = {2014},
url = {https://doi.org/10.2168/LMCS-10(2:15)2014},
doi = {10.2168/LMCS-10(2:15)2014},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FrancalanzaVH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/VriesFH14,
author = {Edsko de Vries and
Adrian Francalanza and
Matthew Hennessy},
title = {Uniqueness typing for resource management in message-passing concurrency},
journal = {J. Log. Comput.},
volume = {24},
number = {3},
pages = {531--556},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs022},
doi = {10.1093/LOGCOM/EXS022},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/VriesFH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CassarF15,
author = {Ian Cassar and
Adrian Francalanza},
editor = {Javier C{\'{a}}mara and
Jos{\'{e}} Proen{\c{c}}a},
title = {On Synchronous and Asynchronous Monitor Instrumentation for Actor-based
systems},
booktitle = {Proceedings 13th International Workshop on Foundations of Coordination
Languages and Self-Adaptive Systems, {FOCLASA} 2014, Rome, Italy,
6th September 2014},
series = {{EPTCS}},
volume = {175},
pages = {54--68},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.175.4},
doi = {10.4204/EPTCS.175.4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CassarF15.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/agere/FrancalanzaZ13,
author = {Adrian Francalanza and
Tyron Zerafa},
editor = {Nadeem Jamali and
Alessandro Ricci and
Gera Weiss and
Akinori Yonezawa},
title = {Code management automation for Erlang remote actors},
booktitle = {Proceedings of the 2013 Workshop on Programming based on Actors, Agents,
and Decentralized Control, AGERE!@SPLASH 2013, Indianapolis, IN, USA,
October 27-28, 2013},
pages = {13--18},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2541329.2541344},
doi = {10.1145/2541329.2541344},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agere/FrancalanzaZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/FrancalanzaZ13,
author = {Adrian Francalanza and
Tyron Zerafa},
editor = {Steve Vinoski and
Laura M. Castro},
title = {Towards an abstraction for remote evaluation in Erlang},
booktitle = {Proceedings of the Twelfth {ACM} {SIGPLAN} Erlang Workshop, Boston,
Massachusetts, USA, September 28, 2013},
pages = {75--76},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2505305.2505316},
doi = {10.1145/2505305.2505316},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/FrancalanzaZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/FrancalanzaS13,
author = {Adrian Francalanza and
Aldrin Seychell},
editor = {Axel Legay and
Saddek Bensalem},
title = {Synthesising Correct Concurrent Runtime Monitors - (Extended Abstract)},
booktitle = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
France, September 24-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8174},
pages = {112--129},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40787-1\_7},
doi = {10.1007/978-3-642-40787-1\_7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/FrancalanzaS13.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}
}
@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-2681,
author = {Christian Colombo and
Adrian Francalanza and
Ian Grima},
editor = {Gordon J. Pace and
Anders P. Ravn},
title = {Simplifying Contract-Violating Traces},
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 = {11--20},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.94.2},
doi = {10.4204/EPTCS.94.2},
timestamp = {Mon, 03 Jan 2022 22:03:19 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1209-2681.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-5128,
author = {Adrian Francalanza and
Julian Rathke and
Vladimiro Sassone},
title = {Permission-Based Separation Logic for Message-Passing Concurrency},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {3},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(3:7)2011},
doi = {10.2168/LMCS-7(3:7)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-5128.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ColomboFG11,
author = {Christian Colombo and
Adrian Francalanza and
Rudolph Gatt},
editor = {Sarfraz Khurshid and
Koushik Sen},
title = {Elarva: {A} Monitoring Tool for Erlang},
booktitle = {Runtime Verification - Second International Conference, {RV} 2011,
San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7186},
pages = {370--374},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29860-8\_29},
doi = {10.1007/978-3-642-29860-8\_29},
timestamp = {Sat, 12 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/ColomboFG11.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/fast/SouilahFS09,
author = {Issam Souilah and
Adrian Francalanza and
Vladimiro Sassone},
editor = {James Cheney},
title = {A Formal Model of Provenance in Distributed Systems},
booktitle = {First Workshop on the Theory and Practice of Provenance, TaPP'09,
San Francisco, CA, USA, February 23, 2009, Proceedings},
publisher = {{USENIX}},
year = {2009},
url = {http://www.usenix.org/events/tapp09/tech/full\_papers/souilah/souilah.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fast/SouilahFS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1003-5513,
author = {Edsko de Vries and
Adrian Francalanza and
Matthew Hennessy},
editor = {M{\'{a}}rio Florido and
Ian Mackie},
title = {Uniqueness Typing for Resource Management in Message-Passing Concurrency},
booktitle = {Proceedings First International Workshop on Linearity, {LINEARITY}
2009, Coimbra, Portugal, 12th September 2009},
series = {{EPTCS}},
volume = {22},
pages = {26--37},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.22.3},
doi = {10.4204/EPTCS.22.3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1003-5513.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FrancalanzaH08,
author = {Adrian Francalanza and
Matthew Hennessy},
title = {A theory of system behaviour in the presence of node and link failure},
journal = {Inf. Comput.},
volume = {206},
number = {6},
pages = {711--759},
year = {2008},
url = {https://doi.org/10.1016/j.ic.2007.12.002},
doi = {10.1016/J.IC.2007.12.002},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/FrancalanzaH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DrossopoulouFMS08,
author = {Sophia Drossopoulou and
Adrian Francalanza and
Peter M{\"{u}}ller and
Alexander J. Summers},
editor = {Jan Vitek},
title = {A Unified Framework for Verification Techniques for Object Invariants},
booktitle = {{ECOOP} 2008 - Object-Oriented Programming, 22nd European Conference,
Paphos, Cyprus, July 7-11, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5142},
pages = {412--437},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70592-5\_18},
doi = {10.1007/978-3-540-70592-5\_18},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/DrossopoulouFMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DrossopoulouFMS08,
author = {Sophia Drossopoulou and
Adrian Francalanza and
Peter M{\"{u}}ller and
Alexander J. Summers},
editor = {Amal Ahmed and
Nick Benton and
Martin Hofmann and
Greg Morrisett},
title = {A Unified Framework for Verification Techniques for Object Invariants},
booktitle = {Types, Logics and Semantics for State, 03.02. - 08.02.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08061},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1427},
timestamp = {Tue, 05 Jul 2022 08:30:25 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/DrossopoulouFMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/FrancalanzaH07,
author = {Adrian Francalanza and
Matthew Hennessy},
title = {A theory for observational fault tolerance},
journal = {J. Log. Algebraic Methods Program.},
volume = {73},
number = {1-2},
pages = {22--50},
year = {2007},
url = {https://doi.org/10.1016/j.jlap.2007.03.003},
doi = {10.1016/J.JLAP.2007.03.003},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/FrancalanzaH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/FrancalanzaH07,
author = {Adrian Francalanza and
Matthew Hennessy},
editor = {Rocco De Nicola},
title = {A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract)},
booktitle = {Programming Languages and Systems, 16th European Symposium on Programming,
{ESOP} 2007, Held as Part of the Joint European Conferences on Theory
and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
- April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4421},
pages = {395--410},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71316-6\_27},
doi = {10.1007/978-3-540-71316-6\_27},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/FrancalanzaH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/CunninghamDDFMS07,
author = {Dave Cunningham and
Werner Dietl and
Sophia Drossopoulou and
Adrian Francalanza and
Peter M{\"{u}}ller and
Alexander J. Summers},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Universe Types for Topology and Encapsulation},
booktitle = {Formal Methods for Components and Objects, 6th International Symposium,
{FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5382},
pages = {72--112},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-92188-2\_4},
doi = {10.1007/978-3-540-92188-2\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/CunninghamDDFMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/FrancalanzaH06,
author = {Adrian Francalanza and
Matthew Hennessy},
editor = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {A Theory for Observational Fault Tolerance},
booktitle = {Foundations of Software Science and Computation Structures, 9th International
Conference, {FOSSACS} 2006, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria,
March 25-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3921},
pages = {16--31},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11690634\_2},
doi = {10.1007/11690634\_2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/FrancalanzaH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Francalanza05,
author = {Adrian Francalanza},
title = {A study of failure in a distributed pi-calculus},
school = {University of Sussex, {UK}},
year = {2005},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.426322},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Francalanza05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FrancalanzaH05,
author = {Adrian Francalanza and
Matthew Hennessy},
editor = {Mart{\'{\i}}n Abadi and
Luca de Alfaro},
title = {A Theory of System Behaviour in the Presence of Node and Link Failures},
booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference,
{CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3653},
pages = {368--382},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11539452\_29},
doi = {10.1007/11539452\_29},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/FrancalanzaH05.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-01-14 23:25 CET 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:
