Nicola Paoletti

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Alexandru Mereacre

> Home > Persons > Nicola Paoletti

Publications

2016
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BarbotKMP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BarbotKMP16
Benoît Barbot, Marta Kwiatkowska, Alexandru Mereacre, Nicola Paoletti:
Building Power Consumption Models from Executable Timed I/O Automata Specifications. HSCC 2016: 195-204
2015
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/BarbotKMP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/BarbotKMP15
Benoît Barbot, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti:
Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices. CMSB 2015: 3-7
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/embc/BarkerKMPP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/embc/BarkerKMPP15
Chris Barker, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patane:
Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers. EMBC 2015: 7188-7191
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/hsb/KwiatkowskaMPP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hsb/KwiatkowskaMPP15
Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patane:
Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques. HSB 2015: 119-140
2014
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/ichi/KwiatkowskaLMP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ichi/KwiatkowskaLMP14
Marta Z. Kwiatkowska, Harriet Lea-Banks, Alexandru Mereacre, Nicola Paoletti:
Formal Modelling and Validation of Rate-Adaptive Pacemakers. ICHI 2014: 23-32
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/KwiatkowskaMP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/KwiatkowskaMP14
Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti:
On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers. ISoLA (2) 2014: 365-384

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.