Schivo, Stefano
Schivo, Stefano
Approximate Model Checking of Stochastic COWS
2010-01-01 Quaglia, Paola; Schivo, Stefano
FFORT: A Benchmark Suite for Fault Tree Analysis
2019-01-01 Ruijters, E.; Budde, Carlos E.; Nakhaee, M. C.; Stoelinga, M.; Bucur, D.; Hiemstra, D.; Schivo, S.
Polyadic Stochastic COWS
2008-01-01 Schivo, Stefano
Quantitative Analysis of Services
2011-01-01 Cappello, Igor; A., Clark; S., Gilmore; D., Latella; M., Loreti; Quaglia, Paola; Schivo, Stefano
Review on Stochastic Comparison Relations
2008-01-01 Schivo, Stefano
Statistical Model Checking of Web Services
2010-01-01 Schivo, Stefano
Validation of CFS classification with different data sources
2006-01-01 Bassetti, Marco; Bernabe’, Massimiliano; Borile, Manuel; Desilvestro, Cesare; Fedrizzi, Tarcisio; Giordani, Alessandra; Larcher, Roberto; Palmisano, Alida; Salteri, Angelo; Schivo, Stefano; Segata, Nicola; Tambosi, Linda; Valentini, Roberto; Andritsos, Periklis; Fontana, Paolo; Malossini, Andrea; Blanzieri, Enrico
Validation of CFS classification with different data soures
2006-01-01 M., Bassetti; M., Bernabè; M., Borile; C., Desilvestro; T., Fedrizzi; Giordani, Alessandra; R., Larcher; A., Palmisano; A., Saltori; Schivo, Stefano; Segata, Nicola; L., Tambosi; R., Valentini; Andritsos, Periklis; P., Fontana; Malossini, Andrea; Blanzieri, Enrico