Verification and refutation of C programs based on k-induction and invariant inference Omar M. AlhawiHerbert RochaEddie Batista General Open access 18 May 2020 Pages: 115 - 135
Automata-based monitoring for LTL-FO\(^+\) Raphaël KhourySylvain HalléYannick Lebrun General 08 June 2020 Pages: 137 - 154
Stream runtime verification of real-time event streams with the Striver language Felipe GorostiagaCésar Sánchez General 26 April 2021 Pages: 157 - 183
Scalable online first-order monitoring Joshua SchneiderDavid BasinDmitriy Traytel General Open access 05 June 2021 Pages: 185 - 208
From parametric trace slicing to rule systems Giles RegerDavid Rydeheard General Open access 27 February 2021 Pages: 209 - 228
Diagnosing timed automata using timed markings Patricia BouyerLéo HenryNicolas Markey General 27 March 2021 Pages: 229 - 253
A taxonomy for classifying runtime verification tools Yliès FalconeSrđan KrstićDmitriy Traytel General 18 May 2021 Pages: 255 - 284