Nicola Paoletti

According to our database1, Nicola Paoletti
  • authored at least 31 papers between 2011 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Declarative vs Rule-based Control for Flocking Dynamics.
CoRR, 2017

Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems.
CoRR, 2017

Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties.
CoRR, 2017

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

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

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

2016
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

2015
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

2014
Adaptability Checking in Multi-Level Complex Systems.
CoRR, 2014

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

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

2012
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

2011
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


  Loading...