Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
5 results · clear filters Sort: newest oldest name
- Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution, VORTEX 2024, Vienna, Austria, 19 September 2024Computer and information sciencese11yf65
- International Workshop on Verification and Monitoring at Runtime Execution (VORTEX)Computer and information sciencess123s5k
- Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution, VORTEX 2023, Seattle, WA, USA, 18 July 2023Computer and information sciencese11yf57
- VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021.Computer and information sciencese11eqqv
- Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, VORTEX@ECOOP/ISSTA 2018, Amsterdam, Netherlands, 17th July 2018.Computer and information sciencese120xw6