Compositional learning of mutually recursive procedural systems Markus FrohmeBernhard Steffen General Open access 05 October 2021 Pages: 521 - 543
Introduction to the special issue of the 19th International Conference on Runtime Verification Bernd FinkbeinerLeonardo Mariani General Open access 21 May 2021 Pages: 545 - 546
An extension of first-order LTL with rules with application to runtime verification Klaus HavelundDoron Peled General 12 July 2021 Pages: 547 - 563
Specifying and detecting temporal patterns with shape expressions Dejan NičkovićXin QinJyotirmoy Deshmukh General 29 June 2021 Pages: 565 - 577
What can we monitor over unreliable channels? Sean KauffmanKlaus HavelundSebastian Fischmeister General 30 June 2021 Pages: 579 - 600
Comparing controlled system synthesis and suppression enforcement Luca AcetoIan CassarAnna Ingólfsdóttir General 01 June 2021 Pages: 601 - 614
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches Luca BortolussiFrancesca CairoliScott D. Stoller General Open access 24 May 2021 Pages: 615 - 640
Quantitative estimation of side-channel leaks with neural networks Saeid Tizpaz-NiariPavol ČernýAshutosh Trivedi General 26 May 2021 Pages: 641 - 654