Search dblp for Publications

export results for "toc:db/conf/vortex/vortex2024.bht:"

 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    = {Tue, 08 Oct 2024 01:00:00 +0200},
  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    = {Tue, 22 Oct 2024 01:00:00 +0200},
  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    = {Tue, 22 Oct 2024 01:00:00 +0200},
  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    = {Tue, 22 Oct 2024 01:00:00 +0200},
  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    = {Tue, 08 Oct 2024 01:00:00 +0200},
  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    = {Tue, 22 Oct 2024 01:00:00 +0200},
  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    = {Thu, 24 Oct 2024 01:00:00 +0200},
  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}
}

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.