pith. sign in

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