Learning model checking and the kernel trick for signal temporal logic on stochastic processes Inproceedings
In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 281–300, Springer, Cham 2022.
Neural predictive monitoring for collective adaptive systems Inproceedings
In: International Symposium on Leveraging Applications of Formal Methods, pp. 30–46, Springer, Cham 2022.
Variance Reduction in Stochastic Reaction Networks using Control Variates Incollection
In: Principles of Systems Design, pp. 456–474, Springer, Cham, 2022.
On the Robustness of Bayesian Neural Networks to Adversarial Attacks Journal Article
In: arXiv preprint arXiv:2207.06154, 2022.
Deep artificial neural network for prediction of atrial fibrillation through the analysis of 12-leads standard ECG Journal Article
In: arXiv preprint arXiv:2202.05676, 2022.
Polarity assessment of reflection seismic data: a Deep Learning approach Journal Article
In: Bulletin of Geophysics and Oceanography Vol, vol. 63, no. 4, pp. 693–700, 2022.
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems (preprint) Journal Article
In: 2021.
Abstraction of Markov Population Dynamics via Generative Adversarial Nets Inproceedings
In: International Conference on Computational Methods in Systems Biology, pp. 19–35, Springer, Cham 2021.
Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models Inproceedings
In: International Conference on Quantitative Evaluation of Systems, pp. 351–371, Springer, Cham 2021.
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems Journal Article
In: IFAC-PapersOnLine, vol. 54, no. 5, pp. 223–228, 2021.
Analysis of Markov jump processes under terminal constraints Inproceedings
In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 210–229, Springer, Cham 2021.
At the boundaries of syntactic prehistory Journal Article
In: Philosophical Transactions of the Royal Society B, vol. 376, no. 1824, pp. 20200197, 2021.
Improved estimations of stochastic chemical kinetics by finite-state expansion Journal Article
In: Proceedings of the Royal Society A, vol. 477, no. 2251, pp. 20200964, 2021.
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches Journal Article
In: International Journal on Software Tools for Technology Transfer, vol. 23, no. 4, pp. 615–640, 2021.
Neural predictive monitoring under partial observability Inproceedings
In: International Conference on Runtime Verification, pp. 121–141, Springer, Cham 2021.
Random Projections for Improved Adversarial Robustness Inproceedings
In: 2021 International Joint Conference on Neural Networks (IJCNN), pp. 1–7, IEEE 2021.
Refining mean-field approximations by dynamic state truncation Journal Article
In: Proceedings of the ACM on Measurement and Analysis of Computing Systems, vol. 5, no. 2, pp. 1–30, 2021.
Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks Journal Article
In: arXiv preprint arXiv:2102.11010, 2021.
Synthetic seismic data generation with deep learning Journal Article
In: Journal of Applied Geophysics, vol. 190, pp. 104347, 2021.
A kernel function for Signal Temporal Logic formulae Journal Article
In: arXiv preprint arXiv:2009.05484, 2020.