References of "Krstić, Srđan"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailOffline Trace Checking of Quantitative Properties of Service-Based Applications
Bianculli, Domenico UL; Ghezzi, Carlo; Krstić, Srđan et al

in Proceedings of the 7h International Conference on Service Oriented Computing and Application (SOCA 2014) (2014, November)

Detailed reference viewed: 146 (3 UL)
Full Text
Peer Reviewed
See detailTrace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce
Bianculli, Domenico UL; Ghezzi, Carlo; Krstić, Srđan

in Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM 2014) (2014, September)

Detailed reference viewed: 180 (14 UL)
Full Text
Peer Reviewed
See detailTowards the formalization of properties of cloud-based elastic systems
Bersani, Marcello Maria; Bianculli, Domenico UL; Dustdar, Schahram et al

in Proceedings of the 6th International Workshop on Principles of Engineering Service-oriented Systems (PESOS 2014) (2014)

Detailed reference viewed: 212 (2 UL)
Full Text
Peer Reviewed
See detailSMT-based Checking of SOLOIST over Sparse Traces
Bersani, Marcello Maria; Bianculli, Domenico UL; Ghezzi, Carlo et al

in Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014) (2014)

Detailed reference viewed: 269 (10 UL)
See detailFrom SOLOIST to CLTLB(D): Checking quantitative properties of service-based applications
Bianculli, Domenico UL; Krstic, Srđan; Ghezzi, Carlo et al

Report (2013)

Detailed reference viewed: 95 (1 UL)