Ylìès Falcone

1. A Survey of Challenges for Runtime Verification from Advanced\n Application Domains (Beyond Software)
   2018/11/16 by César Sánchez, Sánchez, César, Gerardo Schneider +29 · 4 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Security and Verification in Computing #Software Engineering (cs.SE) #Software Testing and Debugging Techniques
2. Decentralised LTL Monitoring
   2011/11/22 by Andreas Bauer, Ylìès Falcone, Bauer, Andreas +1 · 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)
3. Efficient and Generalized Decentralized Monitoring of Regular Languages
   2014/02/16 by Tom Cornebize, Ylìès Falcone, Cornebize, Tom +1 · 1 citation
   Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Software Engineering (cs.SE) #semigroups and automata theory