2 papers
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…
cs.SE2014
Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic
Modern complex software systems produce a large amount of execution data, often stored in logs. These logs can be analyzed using trace checking techniques to check whether the syst…