Volume 23, no. 2 (March 2024)

5th Workshop on Verification and Monitoring at Runtime Execution (VORTEX 2022)

Editorial

• Davide Ancona, Adrian Francalanza, Preface to the JOT special issue on VORTEX at ECOOP 2022: selected papers, pp. 1-2, PDF, DOI.

Articles

• Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty, Towards a Security Framework for Artifact-centric Workflows Leveraging Runtime Enforcement, pp. 2:1-30, PDF, DOI.
• Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall, Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation, pp. 2:1-16, PDF, DOI.
• Amirfarhad Nilizadeh, Gary T. Leavens, David R. Cok, Toward Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs, pp. 2:1-13, PDF, DOI.
• Rahul Bharadwaj Pendyala, Abhinandan Panda, Srinivas Pinisetty, VSMoN: Runtime Monitoring Based Data-driven Remote Vital Sign Monitoring System, pp. 1-12, PDF, DOI.