According to our database1, Nicola Paoletti authored at least 37 papers between 2011 and 2019.
Legend:Book In proceedings Article PhD thesis Other
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.
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
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