Bayesian Neural Predictive Monitoring Inproceedings
In: OVERLAY, pp. 95–100, 2020.
Bounding mean first passage times in population continuous-time Markov chains Inproceedings
In: International Conference on Quantitative Evaluation of Systems, pp. 155–174, Springer, Cham 2020.
Density-embedding layers: a general framework for adaptive receptive fields Journal Article
In: arXiv preprint arXiv:2006.12779, 2020.
Efficient simulation of non-Markovian dynamics on complex networks Journal Article
In: Plos one, vol. 15, no. 10, pp. e0241394, 2020.
Fluid approximation of broadcasting systems Journal Article
In: Theoretical Computer Science, vol. 816, pp. 221–248, 2020.
Monitoring spatio-temporal properties (invited tutorial) Inproceedings
In: International Conference on Runtime Verification, pp. 21–46, Springer, Cham 2020.
Robustness of bayesian neural networks to gradient-based attacks Journal Article
In: Advances in Neural Information Processing Systems, vol. 33, pp. 15602–15613, 2020.
Velocity analysis on common offset GPR data: A deep learning approach Inproceedings
In: 18th International Conference on Ground Penetrating Radar, pp. 388–391, Society of Exploration Geophysicists 2020.
Automatic translation of spatio-temporal logics to streaming-based monitoring applications for IoT-equipped autonomous agents Inproceedings
In: Proceedings of the 6th International Workshop on Middleware and Applications for the Internet of Things, pp. 7–12, 2019.
Bayesian abstraction of Markov population models Inproceedings
In: International Conference on Quantitative Evaluation of Systems, pp. 259–276, Springer, Cham 2019.
Bounding First Passage Times in Chemical Reaction Networks Inproceedings
In: International Conference on Computational Methods in Systems Biology, pp. 379–382, Springer, Cham 2019.
Central limit model checking Journal Article
In: ACM Transactions on Computational Logic (TOCL), vol. 20, no. 4, pp. 1–35, 2019.
Computational Methods in Systems Biology. 17th International Conference, CMSB 2019, Trieste, Italy, September 18--20, 2019, Proceedings Journal Article
In: 2019.
Conformal predictions for hybrid system state classification Incollection
In: From Reactive Systems to Cyber-Physical Systems, pp. 225–241, Springer, Cham, 2019.
Control variates for stochastic simulation of chemical reaction networks Inproceedings
In: International Conference on Computational Methods in Systems Biology, pp. 42–59, Springer, Cham 2019.
Discontinuation of antidepressants in suicides findings from the Friuli Venezia Giulia Region, Italy, 2005-2014 Journal Article
In: Basic & clinical pharmacology & toxicology, vol. 124, no. 3, pp. 312–320, 2019.
Global adversarial robustness guarantees for neural networks Journal Article
In: 2019.
Introduction to the Special Issue on Qest 2017 Miscellaneous
2019.
Neural predictive monitoring Inproceedings
In: International Conference on Runtime Verification, pp. 129–147, Springer, Cham 2019.
Reducing spreading processes on networks to Markov population models Inproceedings
In: International Conference on Quantitative Evaluation of Systems, pp. 292–309, Springer, Cham 2019.