Technical reports

  1. D. Latella, M. Loreti and M. Massink. On-the-fly PCTL Fast Mean-Field Model-Checking for Self-organising Coordination. Preliminary version.
    QUANTICOL  TR-QC-01-2013. Dec. 17, 2013.
  2. M.H. ter Beek, S. Gnesi, and A. Fantechi. Chaining available tools to support the modelling and analysis of a bike-sharing product line: An experience report. TR-QC-02-2013. Dec. 20, 2013.
  3. M.H. ter Beek, S. Gnesi, and F. Mazzanti. Model Checking Value-Passing Modal Specifications. TR-QC-03-2013. Dec. 20, 2013.
  4. V. Ciancia, D. Latella, M. Massink. Logics of Space and Time. TR-QC-01-2014. Jan. 08, 2014.
  5. G. Iacobelli, M. Tribastone, A. Vandin. Differential Ordinary Lumpability in Markovian Process Algebra. TR-QC-02-2014. Feb. 04, 2014.
  6. D. Latella, M. Loreti, M. Massink, V. Senni. Stochastically timed predicate-based communication primitives for autonomic computing – Full Paper. TR-QC-03-2014. Feb. 05, 2014.
  7. R. Paškauskas, L. Bortolussi. Multiscale Reductions of Mean Field and Stochastic Models. TR-QC-04-2014. Feb. 05, 2014.
  8. V. Galpin, C. Feng, J. Hillston, M. Massink, M. Tribastone, M. Tschaikowski. Review of time-based techniques for modelling space. TR-QC-05-2014. Apr. 08, 2014.
  9. V. Ciancia, D. Latella, M. Loreti, M. Massink. Specifying and Verifying Properties of Space.  TR-QC-06-2014. May 16, 2014.
  10. M.H. ter Beek, A. Fantechi, S. Gnesi, and F. Mazzanti. A collection of models of a bike-sharing case study.  TR-QC-07-2014. May 28, 2014.
  11. D. Latella, M. Loreti and M. Massink. On-the-fly Fluid Model Checking via Discrete Time Population Models: Extended Version.  TR-QC-08-2014. September 10, 2014.
  12. D. Latella, M. Loreti and M. Massink. On-the-fly Probabilistic Model Checking. Extended version. QUANTICOL TR-QC-09-2014. December 8, 2014.
  13. V. Ciancia, G. Grilletti, D. Latella, M. Loreti, M. Massink. A spatio-temporal model-checker. QUANTICOL TR-QC-10-2014. December 15, 2014.
  14. V. Ciancia, D. Latella, M. Massink. On Space in CARMA. TR-QC-01-2015. Revision 1.2 of June 17, 2015.
  15. L. L. Vissat, C. D. Williams. Modelling disease spread in CARMA. TR-QC-02-2015
  16. M. Massink, R. Paškauskas. Model-based Assessment of Aspects of User-satisfaction in Bicycle Sharing Systems. Extended Version. TR-QC-03-2015. May 27, 2015.
  17. G. Iacobelli, M. Tribastone, A. Vandin. Differential Bisimulation for a Markovian Process Algebra. Extended Version. TR-QC-04-2015. June 8, 2015.
  18. M. H. ter Beek, A. Legay, A. Lluch Lafuente, A. Vandin. Statistical Analysis of Probabilistic Models of Software Product Lines with Quantitative Constraints. Extended Version. TR-QC-05-2015. June 16, 2015.
  19. L. Nenzi, L. Bortolussi, V. Ciancia, M. Loreti, M. Massink. Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. Extended Version. TR-QC-06-2015. Jun 25, 2015.
  20. L. Bortolussi, N. Gast. Mean Field Approximation of Imprecise Population Processes. TC-QC-07-2015. Sept 25, 2015
  21. V. Ciancia, D. Latella, M. Massink. On-the-Fly Mean-field Model-checking for Attribute-based Coordination – Preliminary version. TR-QC-01-2016, Jan 31, 2016.
  22. V. Ciancia, S. Gilmore, G. Grilletti, D. Latella, M. Loreti, M. Massink. On Spatio-temporal model-checking of vehicular movement in public transport systems – Preliminary Version. TR-QC-02-2016, Feb 19, 2016.
  23. V. Ciancia, D. Latella, M. Loreti, M. Massink. Model Checking Spatial Logics for Closure Spaces – Extended Version. TR-QC-03-2016, Mar 01, 2016.
  24. V. Galpin. An investigation os spatial moment closure. TR-QC-05-2016, in preparation, 2016.
  25. D. Latella and M. Massink. Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination. Preliminary version. TR-QC-01-2017 (rev 0.1).
  26. F. Banci Buonamici, G. Belmonte, V. Ciancia, D. Latella, M. Massink. Spatial Model Checking for Medical Imaging – Preliminary Version. TR-QC-02-2017.