Nicola Paoletti

According to our database1, Nicola Paoletti authored at least 37 papers between 2011 and 2019.

Collaborative distances:



In proceedings 
PhD thesis 





Statistical Guarantees for the Robustness of Bayesian Neural Networks.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Synthesizing stealthy reprogramming attacks on cardiac devices.
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers.
TCPS, 2018

Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016).
IEEE/ACM Trans. Comput. Biology Bioinform., 2018

Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158].
Journal of Systems and Software, 2018

Efficient synthesis of robust models for stochastic systems.
Journal of Systems and Software, 2018

Declarative vs rule-based control for flocking dynamics.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Neural State Classification for Hybrid Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2018

Precise parameter synthesis for stochastic biochemical systems.
Acta Inf., 2017

RODES: A Robust-Design Synthesis Tool for Probabilistic Systems.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Broken Hearted: How To Attack ECG Biometrics.
Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

Designing Robust Software Systems through Parametric Markov Chain Synthesis.
Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017

SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems.
Proceedings of the Hardware and Software: Verification and Testing, 2017

Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2017, 2017

Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties.
Proceedings of the Computational Methods in Systems Biology, 2017

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Adaptability checking in complex systems.
Sci. Comput. Program., 2016

PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Building Power Consumption Models from Executable Timed I/O Automata Specifications.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

CyberCardia project: Modeling, verification and validation of implantable cardiac devices.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016

Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques.
Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers.
Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015

Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices.
Proceedings of the Computational Methods in Systems Biology, 2015

On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Formal Modelling and Validation of Rate-Adaptive Pacemakers.
Proceedings of the 2014 IEEE International Conference on Healthcare Informatics, 2014

Precise Parameter Synthesis for Stochastic Biochemical Systems.
Proceedings of the Computational Methods in Systems Biology, 2014

Analyzing and Synthesizing Genomic Logic Functions.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

DISPAS: An Agent-Based Tool for the Management of Fishing Effort.
Proceedings of the Software Engineering and Formal Methods, 2013

Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study.
Trans. Computational Systems Biology, 2012

Multilevel Computational Modeling and Quantitative Analysis of Bone Remodeling.
IEEE/ACM Trans. Comput. Biology Bioinform., 2012

A multi-level model for self-adaptive systems
Proceedings of the Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, 2012

Disease processes as hybrid dynamical systems
Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012

Modelling osteomyelitis.
BMC Bioinformatics, 2012

Methodological Bridges for Multi-Level Systems.
Proceedings of the 2nd European Future Technologies Conference and Exhibition, 2011

A Combined Process Algebraic and Stochastic Approach to Bone Remodeling.
Electr. Notes Theor. Comput. Sci., 2011

Multiple verification in computational modeling of bone pathologies
Proceedings of the Proceedings Third International Workshop on Computational Models for Cell Processes, 2011

Osteoporosis: a multiscale modeling viewpoint.
Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011