MLCS - Machine learning for computational science statistical and formal modeling of biological systems

  • Sanguinetti, Guido (Principal Investigator)
Filter
Conference contribution

Search results

  • 2017

    Statistical abstraction for multi-scale spatio-temporal systems

    Michaelides, M., Hillston, J. & Sanguinetti, G., 11 Aug 2017, International Conference on Quantitative Evaluation of Systems QEST 2017: Quantitative Evaluation of Systems . Springer, Cham, p. 243-258 16 p. (Lecture Notes in Computer Science; vol. 10503).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2016

    Matching Models Across Abstraction Levels with Gaussian Processes

    Caravagna, G., Bortolussi, L. & Sanguinetti, G., 4 Sep 2016, Computational Methods in Systems Biology: 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings. Bartocci, E., Lio, P. & Paoletti, N. (eds.). Cham: Springer International Publishing, p. 49-66 18 p. (Lecture Notes in Computer Science; vol. 9859).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent

    Bartocci, E., Bortolussi, L., Brázdil, T., Milios, D. & Sanguinetti, G., 3 Aug 2016, Quantitative Evaluation of Systems: 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings. Springer International Publishing, p. 244-259 16 p. (Lecture Notes in Computer Science (LNCS); vol. 9826).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2015

    Efficient stochastic simulation of systems with multiple time scales via statistical abstraction

    Bortolussi, L., Milios, D. & Sanguinetti, G., 2015, Computational Methods in Systems Biology: 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings. Springer International Publishing, p. 40-51 12 p. (Lecture Notes in Computer Science; vol. 9308).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Experimental design for inference over the A. thaliana circadian clock network

    Trejo-Banos, D., Millar, A. J. & Sanguinetti, G., 2015, Computational Methods in Systems Biology: 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings. Springer International Publishing, p. 28-39 12 p. (Lecture Notes in Computer Science; vol. 9308).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Machine Learning Methods in Statistical Model Checking and System Design – Tutorial

    Bortolussi, L., Milios, D. & Sanguinetti, G., 2015, Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings. Bartocci, E. & Majumdar, R. (eds.). Cham: Springer International Publishing, p. 323-341 19 p. (Lecture Notes in Computer Science; vol. 9333).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic

    Bartocci, E., Bortolussi, L., Milios, D., Nenzi, L. & Sanguinetti, G., 2015, Hybrid Systems Biology: Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers. Abate, A. & Safránek, D. (eds.). Springer International Publishing, p. 156-172 17 p. (Lecture Notes in Computer Science; vol. 9271).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • U-check: Model Checking and Parameter Synthesis under Uncertainty

    Bortolussi, L., Milios, D. & Sanguinetti, G., 2015, Quantitative Evaluation of Systems: 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings. Springer International Publishing, p. 89-104 16 p. (Lecture Notes in Computer Science; vol. 9259).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2014

    A statistical approach for computing reachability of non-linear and stochastic dynamical systems

    Bortolussi, L. & Sanguinetti, G., 2014, Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings. Springer International Publishing, p. 41-56 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Data-driven statistical learning of temporal logic properties

    Bartocci, E., Bortolussi, L. & Sanguinetti, G., 2014, Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings. Springer International Publishing, p. 23-37 15 p. (Lecture Notes in Computer Science; vol. 8711).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients

    Bufo, S., Bartocci, E., Sanguinetti, G., Borelli, M., Lucangelo, U. & Bortolussi, L., 2014, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 391-403 13 p. (Lecture Notes in Computer Science; vol. 8803).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File