The complexity gap in the static analysis of cache accesses grows if procedure calls are added David Monniaux OriginalPaper 13 May 2022 Pages: 1 - 20
Bridging the gap between single- and multi-model predictive runtime verification Angelo FerrandoRafael C. CardosoViviana Mascardi OriginalPaper Open access 18 August 2022 Pages: 44 - 76
Equivalence checking and intersection of deterministic timed finite state machines Davide BresolinKhaled El-FakihNina Yevtushenko OriginalPaper Open access 12 September 2022 Pages: 77 - 102
Relational abstract interpretation of arrays in assembly code Clément BallabrigaJulien ForgetJordy Ruiz OriginalPaper 02 October 2022 Pages: 103 - 135
Automated repair for timed systems Martin KölblStefan LeueThomas Wies OriginalPaper Open access 05 October 2022 Pages: 136 - 169
From LTL to rLTL monitoring: improved monitorability through robust semantics Corto MascleDaniel NeiderMartin Zimmermann OriginalPaper Open access 21 October 2022 Pages: 170 - 204
Compositional runtime enforcement revisited Srinivas PinisettyAnkit PradhanStavros Tripakis OriginalPaper 26 October 2022 Pages: 205 - 252
Distributed parametric model checking timed automata under non-Zenoness assumption Étienne AndréHoang Gia NguyenJun Sun OriginalPaper 01 November 2022 Pages: 253 - 290