All Stories

  1. Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers

    Article • ACM Transactions on Cyber-Physical Systems, September 2018, ACM (Association for Computing Machinery)

    Nicola Paoletti

  2. Designing Robust Software Systems through Parametric Markov Chain Synthesis

    Article • April 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Nicola Paoletti