Zobrazeno 1 - 10
of 54
pro vyhledávání: '"Falcone, Yliés"'
Autor:
Falcone, Yliès
L'étude de cette thèse porte sur trois méthodes de validation dynamiques : les méthodes de vérification, d'enforcement (mise en application), et de test de propriétés lors de l'exécution des systèmes. Nous nous intéresserons à ces approche
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00420478
http://tel.archives-ouvertes.fr/docs/00/43/32/42/PDF/PhD-thesis-Y-Falcone.pdf
http://tel.archives-ouvertes.fr/docs/00/43/32/42/PDF/PhD-thesis-Y-Falcone.pdf
Autor:
Soueidi, Chukri, Falcone, Ylies
Monitoring concurrent programs typically rely on collecting traces to abstract program executions. However, existing approaches targeting general behavioral properties are either not tailored for online monitoring, are no longer maintained, or implem
Externí odkaz:
http://arxiv.org/abs/2402.18391
Autor:
Gallay, Florian, Falcone, Yliès
Publikováno v:
EPTCS 346, 2021, pp. 135-151
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 attached to each system component and observes its local trace. Should the gl
Externí odkaz:
http://arxiv.org/abs/2107.06084
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-weight Java bytecode instrumentation tool that features an expressive
Externí odkaz:
http://arxiv.org/abs/2106.01115
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 can be used to detect such inputs. We present an approach for monitori
Externí odkaz:
http://arxiv.org/abs/2104.14435
BISM (Bytecode-Level Instrumentation for Software Monitoring) is a lightweight bytecode instrumentation tool that features an expressive high-level control-flow-aware instrumentation language. The language follows the aspect-oriented programming para
Externí odkaz:
http://arxiv.org/abs/2007.03936
Autor:
Kassem, Ali, Falcone, Yliès
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 in test inversion attacks and arbitrary jumps in the control flow. Runt
Externí odkaz:
http://arxiv.org/abs/1907.03309
We define a method to automatically synthesize provably-correct efficient distributed implementations from high-level global choreographies. A global choreography describes the execution and communication logic between a set of provided processes whi
Externí odkaz:
http://arxiv.org/abs/1905.13529
Autor:
Ahrendt, Wolfgang, Artho, Cyrille, Colombo, Christian, Falcone, Yliès, Krstic, Srdan, Leucker, Martin, Lorber, Florian, Lourenço, Joao, Mariani, Leonardo, Sánchez, César, Schneider, Gerardo, Stolz, Volker
This report presents the activities of the first working group of the COST Action ArVI, Runtime Verification beyond Monitoring. The report aims to provide an overview of some of the major core aspects involved in Runtime Verification. Runtime Verific
Externí odkaz:
http://arxiv.org/abs/1902.03776
Autor:
Sánchez, César, Schneider, Gerardo, Ahrendt, Wolfgang, Bartocci, Ezio, Bianculli, Domenico, Colombo, Christian, Falcone, Yliés, Francalanza, Adrian, Krstić, Srđan, Lourenço, JoHao M., Nickovic, Dejan, Pace, Gordon J., Rufino, Jose, Signoles, Julien, Traytel, Dmitriy, Weiss, Alexander
Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime verification efforts are the process of creating monitors from specif
Externí odkaz:
http://arxiv.org/abs/1811.06740