Bartocci, Ezio

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Bartocci, Ezio
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 121-140 of 146 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
121Bartocci, Ezio ; Bortolussi, Luca ; Smolka, Scott A. Hybrid Systems and BiologyArtikel Article2014
122Bartocci, Ezio ; Höftberger, Oliver ; Grosu, Radu Cyber-Physical Systems: Theoretical and Practical ChallengesArtikel Article2014
123Ariful, Islam ; Deshpande, Tushar ; Murthy, Abhishek ; Bartocci, Ezio ; Smolka, Scott A. ; Stoller, Scott D. ; Grosu, Radu Tracking Action Potentials of Nonlinear Excitable Cells using Model Predictive ControlKonferenzbeitrag Inproceedings 2014
124Bartocci, Ezio ; DeFrancisco, Richard ; Smolka, Scott A. Towards a GPGPU-parallel SPIN model checkerKonferenzbeitrag Inproceedings 2014
125Aydin Gol, Ebru ; Bartocci, Ezio ; Belta, Calin A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion SystemsKonferenzbeitrag Inproceedings 2014
126Bartocci, Ezio ; Bortolussi, Luca ; Sanguinetti, Guido Data-Driven Statistical Learning of Temporal Logic PropertiesKonferenzbeitrag Inproceedings 2014
127Bufo, Sara ; Bartocci, Ezio ; Sanguinetti, Guido ; Borelli, Massimo ; Lucangelo, Umberto ; Bortolussi, Luca Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care PatientsKonferenzbeitrag Inproceedings2014
128Bartocci, Ezio ; Gao, Sicun ; Smolka, Scott A. Medical Cyber-Physical SystemsKonferenzbeitrag Inproceedings2014
129Kalajdzic, Kenan ; Bartocci, Ezio ; Stoller, Scott D. ; Smolka, Scott A. ; Grosu, Radu Runtime Verification with Particle FilteringKonferenzbeitrag Inproceedings 2013
130Bartocci, Ezio Sampling-based Decentralized Monitoring for Networked Embedded SystemsKonferenzbeitrag Inproceedings 2013
131Bartocci, Ezio ; Grosu, Radu Monitoring with uncertaintyKonferenzbeitrag Inproceedings2013
132Murthy, Abhishek ; Bartocci, Ezio ; Fenton, Flavio H. ; Glimm, James ; Gray, Richard A. ; Cherry, Elizabeth M. ; Smolka, Scott A. ; Grosu, Radu Curvature Analysis of Cardiac Excitation WavefrontsArtikel Article2013
133Bartocci, Ezio ; Bortolussi, Luca ; Nenzi, Laura A Temporal Logic Approach to Modular Design of Synthetic Biological CircuitsKonferenzbeitrag Inproceedings 2013
134Bartocci, Ezio ; Bortolussi, Luca ; Nenzi, Laura ; Sanguinetti, Guido On the Robustness of Temporal Properties for Stochastic ModelsKonferenzbeitrag Inproceedings 2013
135Bartocci, Ezio ; Grosu, Radu ; Karmarkar, Atul ; Smolka, Scott A. ; Stoller, Scott D. ; Seyster, Justin Adaptive Runtime VerificationKonferenzbeitrag Inproceedings 2012
136Murthy, Abhishek ; Ariful, Islam ; Bartocci, Ezio ; Cherry, Elizabeth ; Fenton, Flavio H. ; Glimm, James ; Smolka, Scott A. ; Grosu, Radu Approximate Bisimulations for Sodium Channel DynamicsKonferenzbeitrag Inproceedings 2012
137Bartocci, Ezio ; Liò, Pietro ; Merelli, Emanuela ; Paoletti, Nicola Multiple Verification in Complex Biological Systems: The Bone Remodelling Case StudyArtikel Article2012
138Stoller, Scott D. ; Bartocci, Ezio ; Seyster, Justin ; Grosu, Radu ; Havelund, Klaus ; Smolka, Scott A. ; Zadok, Erez Runtime Verification with State EstimationKonferenzbeitrag Inproceedings 2012
139Donzé, Alexandre ; Maler, Oded ; Bartocci, Ezio ; Nickovic, Dejan ; Grosu, Radu ; Smolka, Scott On Temporal Logic and Signal ProcessingKonferenzbeitrag Inproceedings 2012
140Bartocci, Ezio ; Cacciagrano, Diletta ; Di Berardini, Maria Rita ; Merelli, Emanuela ; Vito, Leonardo UBioLab: a web-LABoratory for Ubiquitous in-silico experimentsArtikel Article2012