Nicola Paoletti

Search results

• 2021

  Pareto Bid Estimation for Multi-Issue Bilateral Negotiation under User Preference Uncertainty

  Bagga, P., Paoletti, N. & Stathis, K., 5 Aug 2021, FUZZ-IEEE 2021. IEEE Xplore

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  133 Downloads (Pure)
• 2020

  Neural Simplex Architecture

  Phan, D. T., Grosu, R., Jansen, N., Paoletti, N., Smolka, S. A. & Stoller, S. D., 2020, NASA Formal Methods - 12th International Symposium, NFM 2020, Proceedings. Lee, R., Jha, S. & Mavridou, A. (eds.). Springer, p. 97-114 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12229 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  61 Downloads (Pure)
• 2019

  Committed Moving Horizon Estimation for Meal Detection and Estimation in Type 1 Diabetes

  Chen, H., Paoletti, N., Smolka, S. A. & Lin, S., 29 Aug 2019, (E-pub ahead of print) American Control Conference 2019. p. 4765-4772 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  44 Downloads (Pure)

• Statistical Guarantees for the Robustness of Bayesian Neural Networks

  Cardelli, L., Kwiatkowska, M., Laurenti, L., Paoletti, N., Patanè, A. & Wicker, M., Aug 2019, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, p. 5693-5700 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

• Synthesizing stealthy reprogramming attacks on cardiac devices

  Paoletti, N., Jiang, Z., Islam, M. A., Abbas, H., Mangharam, R., Lin, S., Gruber, Z. & Smolka, S. A., 16 Apr 2019, 10th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2019). ACM, p. 13-22 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  53 Downloads (Pure)
• 2018

  Neural State Classification for Hybrid Systems

  Phan, D., Paoletti, N., Zhang, T., Grosu, R., Smolka, S. A. & Stoller, S. D., 30 Sept 2018, (E-pub ahead of print) 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018). Lahiri, S. K. & Wang, C. (eds.). Springer, p. 422-440 19 p. (Lecture Notes in Computer Science; vol. 11138).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  38 Downloads (Pure)
• 2017

  Broken hearted: How to attack ECG biometrics

  Eberz, S., Paoletti, N., Roeschlin, M., Patanè, A., Kwiatkowska, M. & Martinovic, I., 27 Feb 2017, Network and Distributed System Security Symposium. p. 1-15 15 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  45 Downloads (Pure)

• Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties

  Paoletti, N., Liu, K. S., Smolka, S. A. & Lin, S., 1 Sept 2017, (E-pub ahead of print) Computational Methods in Systems Biology. Feret, J. & Koeppl, H. (eds.). Springer, p. 214-232 19 p. (Lecture Notes in Computer Science; vol. 10545).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  38 Downloads (Pure)

• Designing Robust Software Systems through Parametric Markov Chain Synthesis

  Calinescu, R., Ceska, M., Gerasimou, S., Kwiatkowska, M. & Paoletti, N., 18 May 2017, (E-pub ahead of print) Software Architecture (ICSA), 2017 IEEE International Conference on. p. 131-140 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  30 Downloads (Pure)

• Syntax-Guided Optimal Synthesis for Chemical Reaction Networks

  Cardelli, L., Ceska, M., Fränzle, M., Kwiatkowska, M., Laurenti, L., Paoletti, N. & Whitby, M., 13 Jul 2017, (E-pub ahead of print) Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II. Majumdar, R. & Kunčak, V. (eds.). Springer, p. 375-395 21 p. (Lecture Notes in Computer Science; vol. 10427).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  26 Downloads (Pure)
• 2016

  Building Power Consumption Models from Executable Timed I/O Automata Specifications

  Barbot, B., Kwiatkowska, M., Mereacre, A. & Paoletti, N., 11 Apr 2016, Hybrid Systems : Computation and Control. p. 195-204 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  29 Downloads (Pure)

• PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems

  Ceska, M., Pilar, P., Paoletti, N., Brim, L. & Kwiatkowska, M., 9 Apr 2016, (E-pub ahead of print) Tools and Algorithms for the Construction and Analysis of Systems. Chechik, M. & Raskin, J-F. (eds.). p. 367-384 18 p. (Lecture Notes in Computer Science; vol. 9636).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  32 Downloads (Pure)
• 2014

  Analyzing and Synthesizing Genomic Logic Functions

  Paoletti, N., Yordanov, B., Hamadi, Y., Wintersteiger, C. M. & Kugler, H., 2014, Computer Aided Verification. p. 343-357 15 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Precise parameter synthesis for stochastic biochemical systems

  Ceska, M., Dannenberg, F., Kwiatkowska, M. & Paoletti, N., 2014, Computational Methods in Systems Biology. p. 86-98 13 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution