17 citations · 45 across the 18 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2015
Efficient Large-scale Trace Checking Using MapReduce
Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi +2
The problem of checking a logged event trace against a temporal logic specification arises in many practical cases. Unfortunately, known algorithms for an expressive logic like MTL…
cs.SE2014
Offline Trace Checking of Quantitative Properties of Service-Based Applications
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic +1
Service-based applications are often developed as compositions of partner services. A service integrator needs precise methods to specify the quality attributes expected by each pa…