Yliès Falcone

1. Decentralised LTL Monitoring
   2011/11/22 by Andreas Bauer, Bauer, Andreas, Ylìès Falcone +2 · 1 citation
   Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Petri Nets in System Modeling #Software Engineering (cs.SE) #cs.SE
2. Efficient and Generalized Decentralized Monitoring of Regular Languages
   2014/02/16 by Tom Cornebize, Cornebize, Tom, Ylìès Falcone +2 · 1 citation
   Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Software Engineering (cs.SE) #cs.SE #semigroups and automata theory
3. On the Monitoring of Decentralized Specifications Semantics, Properties, Analysis, and Simulation
   2018/08/08 by Antoine El-Hokayem, El-Hokayem, Antoine, Ylìès Falcone +2 · 1 citation
   Business, Management and Accounting · Computer Science · #Advanced Software Engineering Methodologies #Business Process Modeling and Analysis #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Software Engineering (cs.SE) #Software System Performance and Reliability #cs.DS #cs.FL #cs.SE
4. Efficient and Expressive Bytecode-Level Instrumentation for Java Programs
   2021/06/02 by Chukri Soueidi, Marius Monnier, Soueidi, Chukri +5 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE) #cs.PL #cs.SE