Luca Cavallaro

Identifiers

• name variant Luca Cavallaro 0.60 · backfill

Papers (2)

1. Engineering Adaptive Digital Investigations using Forensics Requirements cs.SE · 2014 · author #2
2. SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability cs.LO · 2010 · author #2

Mentions

• 1402.0997 #2 · backfill · confidence 0.70 Luca Cavallaro
• 1004.2873 #2 · backfill · confidence 0.70 Luca Cavallaro

Frequent Coauthors

• Achille Frigeri 1 shared papers
• Bashar Nuseibeh 1 shared papers
• Liliana Pasquale. Yijun Yu 1 shared papers
• Marcello M. Bersani 1 shared papers
• Matteo Pradella 1 shared papers
• Matteo Rossi 1 shared papers
• Mazeiar Salehie 1 shared papers
• Thein Than Tun 1 shared papers