KRSTIC, SRDAN
KRSTIC, SRDAN
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
Efficient large-scale trace checking using mapreduce
2016-01-01 Bersani, Marcello M.; Bianculli, Domenico; Ghezzi, Carlo; Krstic, Srdan; Pietro, Pierluigi San
Offline Trace Checking of Quantitative Properties of Service-Based Applications2014 IEEE 7th International Conference on Service-Oriented Computing and Applications
2014-01-01 Domenico, Bianculli; Ghezzi, Carlo; Krstic, Srdan; SAN PIETRO, Pierluigi
Quantitative properties of software systems: Specification, verification, and synthesis
2014-01-01 Krstic, Srdan
SMT-Based Checking of SOLOIST over Sparse TracesFundamental Approaches to Software Engineering
2014-01-01 Bersani, MARCELLO MARIA; Domenico, Bianculli; Ghezzi, Carlo; Krstic, Srdan; SAN PIETRO, Pierluigi
Towards the formalization of properties of cloud-based elastic systems
2014-01-01 Bersani, MARCELLO MARIA; Bianculli, Domenico; Dustdar, Schahram; Gambi, Alessio; Ghezzi, Carlo; Krstic, Srdan
Trace checking of metric temporal logic with aggregating modalities using MapReduce
2014-01-01 Bianculli, Domenico; Ghezzi, Carlo; Krstic, Srdan