Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/vortex:"
download as .bib file
@inproceedings{DBLP:conf/vortex/0001GM23,
author = {Angelo Ferrando and
Andrea Gatti and
Viviana Mascardi},
editor = {Davide Ancona and
Giorgio Audrito},
title = {RV4Rasa: {A} Formalism-Agnostic Runtime Verification Framework for
Verifying ChatBots in Rasa},
booktitle = {Proceedings of the 6th International Workshop on Verification and
Monitoring at Runtime Execution, {VORTEX} 2023, Seattle, WA, USA,
18 July 2023},
pages = {1--8},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3605159.3605855},
doi = {10.1145/3605159.3605855},
timestamp = {Mon, 06 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vortex/0001GM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vortex/AudritoH23,
author = {Giorgio Audrito and
Daniel Haures},
editor = {Davide Ancona and
Giorgio Audrito},
title = {Combining Static and Runtime Verification with {AC} and Coq},
booktitle = {Proceedings of the 6th International Workshop on Verification and
Monitoring at Runtime Execution, {VORTEX} 2023, Seattle, WA, USA,
18 July 2023},
pages = {17--20},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3605159.3605857},
doi = {10.1145/3605159.3605857},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vortex/AudritoH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vortex/Bianchini23,
author = {Riccardo Bianchini},
editor = {Davide Ancona and
Giorgio Audrito},
title = {Monitoring for Resource-Awareness},
booktitle = {Proceedings of the 6th International Workshop on Verification and
Monitoring at Runtime Execution, {VORTEX} 2023, Seattle, WA, USA,
18 July 2023},
pages = {13--16},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3605159.3605856},
doi = {10.1145/3605159.3605856},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vortex/Bianchini23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vortex/DamianiT23,
author = {Ferruccio Damiani and
Gianluca Torta},
editor = {Davide Ancona and
Giorgio Audrito},
title = {On Stream Runtime Verification and Aggregate Programming},
booktitle = {Proceedings of the 6th International Workshop on Verification and
Monitoring at Runtime Execution, {VORTEX} 2023, Seattle, WA, USA,
18 July 2023},
pages = {9--12},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3605159.3605854},
doi = {10.1145/3605159.3605854},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vortex/DamianiT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vortex/2023,
editor = {Davide Ancona and
Giorgio Audrito},
title = {Proceedings of the 6th International Workshop on Verification and
Monitoring at Runtime Execution, {VORTEX} 2023, Seattle, WA, USA,
18 July 2023},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3605159},
doi = {10.1145/3605159},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vortex/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/0001FC21,
author = {Michael Fisher and
Angelo Ferrando and
Rafael C. Cardoso},
editor = {Wolfgang Ahrendt and
Davide Ancona and
Adrian Francalanza},
title = {Increasing confidence in autonomous systems},
booktitle = {{VORTEX} 2021: Proceedings of the 5th {ACM} International Workshop
on Verification and mOnitoring at Runtime EXecution, Virtual Event,
Denmark, 12 July 2021},
pages = {1--4},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464974.3468452},
doi = {10.1145/3464974.3468452},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/0001FC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/AudritoDGMPSTTT21,
author = {Giorgio Audrito and
Ferruccio Damiani and
Giuseppe Martino Di Giuda and
Silvia Meschini and
Laura Pellegrini and
Elena Seghezzi and
Lavinia Chiara Tagliabue and
Lorenzo Testa and
Gianluca Torta},
editor = {Wolfgang Ahrendt and
Davide Ancona and
Adrian Francalanza},
title = {{RM} for users' safety and security in the built environment},
booktitle = {{VORTEX} 2021: Proceedings of the 5th {ACM} International Workshop
on Verification and mOnitoring at Runtime EXecution, Virtual Event,
Denmark, 12 July 2021},
pages = {13--16},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464974.3468445},
doi = {10.1145/3464974.3468445},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/AudritoDGMPSTTT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/AudritoT21,
author = {Giorgio Audrito and
Gianluca Torta},
editor = {Wolfgang Ahrendt and
Davide Ancona and
Adrian Francalanza},
title = {Towards aggregate monitoring of spatio-temporal properties},
booktitle = {{VORTEX} 2021: Proceedings of the 5th {ACM} International Workshop
on Verification and mOnitoring at Runtime EXecution, Virtual Event,
Denmark, 12 July 2021},
pages = {26--29},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464974.3468448},
doi = {10.1145/3464974.3468448},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/AudritoT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Curmi0V21,
author = {Axel Curmi and
Christian Colombo and
Mark Vella},
editor = {Wolfgang Ahrendt and
Davide Ancona and
Adrian Francalanza},
title = {Runtime verification for trustworthy secure shell deployment},
booktitle = {{VORTEX} 2021: Proceedings of the 5th {ACM} International Workshop
on Verification and mOnitoring at Runtime EXecution, Virtual Event,
Denmark, 12 July 2021},
pages = {30--34},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464974.3468449},
doi = {10.1145/3464974.3468449},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Curmi0V21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/EllulP21,
author = {Joshua Ellul and
Gordon J. Pace},
editor = {Wolfgang Ahrendt and
Davide Ancona and
Adrian Francalanza},
title = {Optional monitoring for long-lived transactions},
booktitle = {{VORTEX} 2021: Proceedings of the 5th {ACM} International Workshop
on Verification and mOnitoring at Runtime EXecution, Virtual Event,
Denmark, 12 July 2021},
pages = {35--39},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464974.3468450},
doi = {10.1145/3464974.3468450},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/EllulP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/FerrandoC21,
author = {Angelo Ferrando and
Rafael C. Cardoso},
editor = {Wolfgang Ahrendt and
Davide Ancona and
Adrian Francalanza},
title = {{RVPLAN:} a general purpose framework for replanning using runtime
verification},
booktitle = {{VORTEX} 2021: Proceedings of the 5th {ACM} International Workshop
on Verification and mOnitoring at Runtime EXecution, Virtual Event,
Denmark, 12 July 2021},
pages = {22--25},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464974.3468447},
doi = {10.1145/3464974.3468447},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/FerrandoC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/RiccaMV21,
author = {Filippo Ricca and
Viviana Mascardi and
Alessandro Verri},
editor = {Wolfgang Ahrendt and
Davide Ancona and
Adrian Francalanza},
title = {Test'n'Mo: a collaborative platform for human testers and intelligent
monitoring agents},
booktitle = {{VORTEX} 2021: Proceedings of the 5th {ACM} International Workshop
on Verification and mOnitoring at Runtime EXecution, Virtual Event,
Denmark, 12 July 2021},
pages = {17--21},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464974.3468446},
doi = {10.1145/3464974.3468446},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/RiccaMV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Sanchez21,
author = {C{\'{e}}sar S{\'{a}}nchez},
editor = {Wolfgang Ahrendt and
Davide Ancona and
Adrian Francalanza},
title = {Synchronous and asynchronous stream runtime verification},
booktitle = {{VORTEX} 2021: Proceedings of the 5th {ACM} International Workshop
on Verification and mOnitoring at Runtime EXecution, Virtual Event,
Denmark, 12 July 2021},
pages = {5--7},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464974.3468453},
doi = {10.1145/3464974.3468453},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Sanchez21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Signoles21,
author = {Julien Signoles},
editor = {Wolfgang Ahrendt and
Davide Ancona and
Adrian Francalanza},
title = {The e-ACSL perspective on runtime assertion checking},
booktitle = {{VORTEX} 2021: Proceedings of the 5th {ACM} International Workshop
on Verification and mOnitoring at Runtime EXecution, Virtual Event,
Denmark, 12 July 2021},
pages = {8--12},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464974.3468451},
doi = {10.1145/3464974.3468451},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Signoles21.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}
}
@proceedings{DBLP:journals/corr/abs-1908-09302,
editor = {Davide Ancona and
Gordon Pace},
title = {Proceedings of the Second Workshop on Verification of Objects at RunTime
EXecution, VORTEX@ECOOP/ISSTA 2018, Amsterdam, Netherlands, 17th July
2018},
series = {{EPTCS}},
volume = {302},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.302},
doi = {10.4204/EPTCS.302},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-09302.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1908-10040,
author = {Frank S. de Boer and
Elena Giachino and
Stijn de Gouw and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Cosimo Laneve and
Ka I Pun and
Gianluigi Zavattaro},
editor = {Davide Ancona and
Gordon Pace},
title = {Analysis of {SLA} Compliance in the Cloud - An Automated, Model-based
Approach},
booktitle = {Proceedings of the Second Workshop on Verification of Objects at RunTime
EXecution, VORTEX@ECOOP/ISSTA 2018, Amsterdam, Netherlands, 17th July
2018},
series = {{EPTCS}},
volume = {302},
pages = {1--15},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.302.1},
doi = {10.4204/EPTCS.302.1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-10040.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1908-10041,
author = {Eduardo Geraldo and
Jo{\~{a}}o Costa Seco},
editor = {Davide Ancona and
Gordon Pace},
title = {{SNITCH:} Dynamic Dependent Information Flow Analysis for Independent
Java Bytecode},
booktitle = {Proceedings of the Second Workshop on Verification of Objects at RunTime
EXecution, VORTEX@ECOOP/ISSTA 2018, Amsterdam, Netherlands, 17th July
2018},
series = {{EPTCS}},
volume = {302},
pages = {16--31},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.302.2},
doi = {10.4204/EPTCS.302.2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-10041.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1908-10042,
author = {Wolfgang Ahrendt and
Ludovic Henrio and
Wytse Oortwijn},
editor = {Davide Ancona and
Gordon Pace},
title = {Who is to Blame? Runtime Verification of Distributed Objects with
Active Monitors},
booktitle = {Proceedings of the Second Workshop on Verification of Objects at RunTime
EXecution, VORTEX@ECOOP/ISSTA 2018, Amsterdam, Netherlands, 17th July
2018},
series = {{EPTCS}},
volume = {302},
pages = {32--46},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.302.3},
doi = {10.4204/EPTCS.302.3},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-10042.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1908-10743,
author = {Giorgio Audrito and
Ferruccio Damiani and
Volker Stolz and
Mirko Viroli},
editor = {Davide Ancona and
Gordon Pace},
title = {On Distributed Runtime Verification by Aggregate Computing},
booktitle = {Proceedings of the Second Workshop on Verification of Objects at RunTime
EXecution, VORTEX@ECOOP/ISSTA 2018, Amsterdam, Netherlands, 17th July
2018},
series = {{EPTCS}},
volume = {302},
pages = {47--61},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.302.4},
doi = {10.4204/EPTCS.302.4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-10743.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.
retrieved on 2024-05-17 14:42 CEST from data curated 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:
