Search dblp for Publications

export results for "stream:conf/vortex:"

 download as .bib file

@inproceedings{DBLP:conf/vortex/0001CA24,
  author       = {Christian Colombo and
                  Axel Curmi and
                  Robert Abela},
  editor       = {Davide Ancona and
                  Giorgio Audrito},
  title        = {RVsec: Towards a Comprehensive Technology Stack for Secure Deployment
                  of Software Monitors},
  booktitle    = {Proceedings of the 7th {ACM} International Workshop on Verification
                  and Monitoring at Runtime Execution, {VORTEX} 2024, Vienna, Austria,
                  19 September 2024},
  pages        = {13--18},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3679008.3685542},
  doi          = {10.1145/3679008.3685542},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vortex/0001CA24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vortex/AguzziAV24,
  author       = {Gianluca Aguzzi and
                  Giorgio Audrito and
                  Mirko Viroli},
  editor       = {Davide Ancona and
                  Giorgio Audrito},
  title        = {Optimising Aggregate Monitors for Spatial Logic of Closure Spaces
                  Properties},
  booktitle    = {Proceedings of the 7th {ACM} International Workshop on Verification
                  and Monitoring at Runtime Execution, {VORTEX} 2024, Vienna, Austria,
                  19 September 2024},
  pages        = {25--31},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3679008.3685544},
  doi          = {10.1145/3679008.3685544},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vortex/AguzziAV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vortex/AudritoDT24,
  author       = {Giorgio Audrito and
                  Ferruccio Damiani and
                  Gianluca Torta},
  editor       = {Davide Ancona and
                  Giorgio Audrito},
  title        = {Real-Time Guarantees for {SLCS} Monitors in {XC}},
  booktitle    = {Proceedings of the 7th {ACM} International Workshop on Verification
                  and Monitoring at Runtime Execution, {VORTEX} 2024, Vienna, Austria,
                  19 September 2024},
  pages        = {32--37},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3679008.3685545},
  doi          = {10.1145/3679008.3685545},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vortex/AudritoDT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vortex/FlatscherW24,
  author       = {Rony G. Flatscher and
                  Till J. Winkler},
  editor       = {Davide Ancona and
                  Giorgio Audrito},
  title        = {Devising a TraceObject Class for Improved Runtime Monitoring of ooRexx
                  Applications},
  booktitle    = {Proceedings of the 7th {ACM} International Workshop on Verification
                  and Monitoring at Runtime Execution, {VORTEX} 2024, Vienna, Austria,
                  19 September 2024},
  pages        = {19--24},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3679008.3685543},
  doi          = {10.1145/3679008.3685543},
  timestamp    = {Tue, 22 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vortex/FlatscherW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vortex/FlatscherW24a,
  author       = {Rony G. Flatscher and
                  Till J. Winkler},
  editor       = {Davide Ancona and
                  Giorgio Audrito},
  title        = {Identifying Potential Deadlocked Instructions in a Multi-threaded
                  ooRexx Program},
  booktitle    = {Proceedings of the 7th {ACM} International Workshop on Verification
                  and Monitoring at Runtime Execution, {VORTEX} 2024, Vienna, Austria,
                  19 September 2024},
  pages        = {38--43},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3679008.3685546},
  doi          = {10.1145/3679008.3685546},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vortex/FlatscherW24a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vortex/HavelundOP24,
  author       = {Klaus Havelund and
                  Moran Omer and
                  Doron Peled},
  editor       = {Davide Ancona and
                  Giorgio Audrito},
  title        = {Operational and Declarative Runtime Verification (Keynote)},
  booktitle    = {Proceedings of the 7th {ACM} International Workshop on Verification
                  and Monitoring at Runtime Execution, {VORTEX} 2024, Vienna, Austria,
                  19 September 2024},
  pages        = {3--12},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3679008.3685541},
  doi          = {10.1145/3679008.3685541},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vortex/HavelundOP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vortex/Rozier24,
  author       = {Kristin Yvonne Rozier},
  editor       = {Davide Ancona and
                  Giorgio Audrito},
  title        = {{R2U2:} Runtime Verification Takes Off! (Keynote)},
  booktitle    = {Proceedings of the 7th {ACM} International Workshop on Verification
                  and Monitoring at Runtime Execution, {VORTEX} 2024, Vienna, Austria,
                  19 September 2024},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3679008.3685539},
  doi          = {10.1145/3679008.3685539},
  timestamp    = {Tue, 08 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vortex/Rozier24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vortex/TripuramalluAPP24,
  author       = {Dhiren Tripuramallu and
                  Ayush Anand and
                  Srinivas Pinisetty and
                  Hammond Pearce and
                  Partha S. Roop},
  editor       = {Davide Ancona and
                  Giorgio Audrito},
  title        = {Runtime Verified Neural Networks for Cyber-Physical Systems},
  booktitle    = {Proceedings of the 7th {ACM} International Workshop on Verification
                  and Monitoring at Runtime Execution, {VORTEX} 2024, Vienna, Austria,
                  19 September 2024},
  pages        = {44--51},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3679008.3685547},
  doi          = {10.1145/3679008.3685547},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vortex/TripuramalluAPP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vortex/Zhang24,
  author       = {Xiangyu Zhang},
  editor       = {Davide Ancona and
                  Giorgio Audrito},
  title        = {Runtime Invariant Checking in Robotic Systems and Deep Learning Models
                  (Keynote)},
  booktitle    = {Proceedings of the 7th {ACM} International Workshop on Verification
                  and Monitoring at Runtime Execution, {VORTEX} 2024, Vienna, Austria,
                  19 September 2024},
  pages        = {2},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3679008.3685540},
  doi          = {10.1145/3679008.3685540},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vortex/Zhang24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/vortex/2024,
  editor       = {Davide Ancona and
                  Giorgio Audrito},
  title        = {Proceedings of the 7th {ACM} International Workshop on Verification
                  and Monitoring at Runtime Execution, {VORTEX} 2024, Vienna, Austria,
                  19 September 2024},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3679008},
  doi          = {10.1145/3679008},
  isbn         = {979-8-4007-1119-0},
  timestamp    = {Mon, 07 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vortex/2024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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    = {Sun, 19 Jan 2025 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    = {Sun, 19 Jan 2025 00:00:00 +0100},
  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    = {Sun, 19 Jan 2025 00:00:00 +0100},
  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    = {Sun, 19 Jan 2025 00:00:00 +0100},
  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    = {Sun, 19 Jan 2025 00:00:00 +0100},
  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, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1908-10743.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.