Adrian Francalanza

1. A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
   2018/11/16 by César Sánchez, Sánchez, César, Gerardo Schneider +33 · 5 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 #cs.SE
2. An Operational Guide to Monitorability
   2019/06/03 by Luca Aceto, Antonis Achilleos, Aceto, Luca +7 · 1 citation
   Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Security and Verification in Computing #cs.LO
3. Determinizing Monitors for HML with Recursion
   2016/11/30 by Luca Aceto, Antonis Achilleos, Aceto, Luca +7 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #cs.FL #cs.LO