6 citations · 18 across the 17 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.LO2021★ 5 cited
Decentralized LTL Enforcement
Florian Gallay, Yliès Falcone
We consider the runtime enforcement of Linear-time Temporal Logic formulas on decentralized systems with no central observation point nor authority. A so-called enforcer is attache…
cs.PL2021
Efficient and Expressive Bytecode-Level Instrumentation for Java Programs
Chukri Soueidi, Marius Monnier, Ali Kassem +1
We present an efficient and expressive tool for the instrumentation of Java programs at the bytecode-level. BISM (Bytecode-Level Instrumentation for Software Monitoring) is a light…
cs.LG2021★ 3 cited
Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes
Changshun Wu, Yliès Falcone, Saddek Bensalem
Classification neural networks fail to detect inputs that do not fall inside the classes they have been trained for. Runtime monitoring techniques on the neuron activation pattern…