Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ian Cassar
@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/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-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/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/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/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/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}
}
@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}
}
@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/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: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}
}
@article{DBLP:journals/corr/abs-1709-02346,
author = {Ian Cassar},
title = {Towards Runtime Adaptation of Actor Systems},
journal = {CoRR},
volume = {abs/1709.02346},
year = {2017},
url = {http://arxiv.org/abs/1709.02346},
eprinttype = {arXiv},
eprint = {1709.02346},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02346.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/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: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/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}
}
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 2023-11-29 23:03 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:
