Francalanza, Adrian
- A Survey of Challenges for Runtime Verification from Advanced\n Application Domains (Beyond Software)
2018/11/16 by César Sánchez, Gerardo Schneider, Sánchez, César +29 · 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
- Monitoring hyperproperties with circuits
2022/02/23 by Aceto, Luca, Achilleos, Antonios, Anastasiadi, Elli +1 · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- 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
- Centralized vs Decentralized Monitors for Hyperproperties
2024/05/21 by Aceto, Luca, Achilleos, Antonis, Anastasiadi, Elli +3 · 2 citations
#F.3.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Determinizing Monitors for HML with Recursion
2016/11/30 by Aceto, Luca, Achilleos, Antonis, Francalanza, Adrian +2 · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)