default search action

combined dblp search
author search
venue search
publication search

ask others

VORTEX@ISSTA 2024: Vienna, Austria

> Home > Conferences and Workshops > VORTEX
> Home > Conferences and Workshops > ISSTA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/vortex/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vortex/2024
Davide Ancona, Giorgio Audrito:
Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution, VORTEX 2024, Vienna, Austria, 19 September 2024. ACM 2024, ISBN 979-8-4007-1119-0
- view
  authority control:
- export record
  dblp key:
  - conf/vortex/Rozier24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vortex/Rozier24
Kristin Yvonne Rozier:
R2U2: Runtime Verification Takes Off! (Keynote). 1
- view
  authority control:
- export record
  dblp key:
  - conf/vortex/Zhang24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vortex/Zhang24
Xiangyu Zhang:
Runtime Invariant Checking in Robotic Systems and Deep Learning Models (Keynote). 2
- view
  authority control:
- export record
  dblp key:
  - conf/vortex/HavelundOP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vortex/HavelundOP24
Klaus Havelund, Moran Omer, Doron Peled:
Operational and Declarative Runtime Verification (Keynote). 3-12
- view
  authority control:
- export record
  dblp key:
  - conf/vortex/0001CA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vortex/0001CA24
Christian Colombo, Axel Curmi, Robert Abela:
RVsec: Towards a Comprehensive Technology Stack for Secure Deployment of Software Monitors. 13-18
- view
  authority control:
- export record
  dblp key:
  - conf/vortex/FlatscherW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vortex/FlatscherW24
Rony G. Flatscher, Till J. Winkler:
Devising a TraceObject Class for Improved Runtime Monitoring of ooRexx Applications. 19-24
- view
  authority control:
- export record
  dblp key:
  - conf/vortex/AguzziAV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vortex/AguzziAV24
Gianluca Aguzzi, Giorgio Audrito, Mirko Viroli:
Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Properties. 25-31
- view
  authority control:
- export record
  dblp key:
  - conf/vortex/AudritoDT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vortex/AudritoDT24
Giorgio Audrito, Ferruccio Damiani, Gianluca Torta:
Real-Time Guarantees for SLCS Monitors in XC. 32-37
- view
  authority control:
- export record
  dblp key:
  - conf/vortex/FlatscherW24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vortex/FlatscherW24a
Rony G. Flatscher, Till J. Winkler:
Identifying Potential Deadlocked Instructions in a Multi-threaded ooRexx Program. 38-43
- view
  authority control:
- export record
  dblp key:
  - conf/vortex/TripuramalluAPP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vortex/TripuramalluAPP24
Dhiren Tripuramallu, Ayush Anand, Srinivas Pinisetty, Hammond Pearce, Partha S. Roop:
Runtime Verified Neural Networks for Cyber-Physical Systems. 44-51

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.