Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

CyberCardia project: Modeling, verification and validation of implantable cardiac devices.

M. Islam, H. Lim, N. Paoletti, H. Abbas, Z. Jiang, J. Cyranka, R. Cleaveland, S. Gao, E. Clarke, R. Grosu, R. Mangharam, E. Cherry, F. Fenton, R. Gray, J. Glimm, S. Lin, Q. Wang, und S. Smolka. BIBM, Seite 1445-1452. IEEE Computer Society, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Nicola Fanton University of Stuttgart

Nicola Mrdovic University of Stuttgart

Nicola Schuckert University of Stuttgart

PD Dr. Nicola Mößner University of Stuttgart

Univ. -Prof. Dr. -Ing. Andreas Nicola University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices.B. Barbot, M. Kwiatkowska, A. Mereacre, und N. Paoletti. CMSB, Volume 9308 von Lecture Notes in Computer Science, Seite 3-7. Springer, (2015)Formal Modelling and Validation of Rate-Adaptive Pacemakers.M. Kwiatkowska, H. Lea-Banks, A. Mereacre, und N. Paoletti. ICHI, Seite 23-32. IEEE Computer Society, (2014)Multilevel Computational Modeling and Quantitative Analysis of Bone Remodeling.N. Paoletti, P. Liò, E. Merelli, und M. Viceconti. IEEE/ACM Trans. Comput. Biology Bioinform., 9 (5): 1366-1378 (2012)Adaptability checking in complex systems.E. Merelli, N. Paoletti, und L. Tesei. Sci. Comput. Program., (2016)Neural Simplex Architecture.D. Phan, N. Paoletti, R. Grosu, N. Jansen, S. Smolka, und S. Stoller. CoRR, (2019)Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices.N. Paoletti, Z. Jiang, M. Islam, H. Abbas, R. Mangharam, S. Lin, Z. Gruber, und S. Smolka. CoRR, (2018)Adaptability Checking in Multi-Level Complex Systems.E. Merelli, N. Paoletti, und L. Tesei. CoRR, (2014)Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers.N. Paoletti, A. Patanè, und M. Kwiatkowska. TCPS, 2 (4): 33:1-33:31 (2018)Conformal Predictions for Hybrid System State Classification.L. Bortolussi, F. Cairoli, N. Paoletti, und S. Stoller. From Reactive Systems to Cyber-Physical Systems, Volume 11500 von Lecture Notes in Computer Science, Seite 225-241. Springer, (2019)Syntax-Guided Optimal Synthesis for Chemical Reaction Networks.L. Cardelli, M. Ceska, M. Fränzle, M. Kwiatkowska, L. Laurenti, N. Paoletti, und M. Whitby. CAV (2), Volume 10427 von Lecture Notes in Computer Science, Seite 375-395. Springer, (2017)