5 citations · 6 across the 6 of their papers we have counts for
14 papers
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…
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…
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…
BISM: Bytecode-Level Instrumentation for Software Monitoring
Chukri Soueidi, Ali Kassem, Yliès Falcone
BISM (Bytecode-Level Instrumentation for Software Monitoring) is a lightweight bytecode instrumentation tool that features an expressive high-level control-flow-aware instrumentati…
Detecting Fault Injection Attacks with Runtime Verification
Ali Kassem, Yliès Falcone
Fault injections are increasingly used to attack/test secure applications. In this paper, we define formal models of runtime monitors that can detect fault injections that result i…
From Global Choreographies to Provably Correct and Efficient Distributed Implementations
Mohamad Jaber, Yliès Falcone, Paul Attie +2
We define a method to automatically synthesize provably-correct efficient distributed implementations from high-level global choreographies. A global choreography describes the exe…