Ezio Bartocci - Publications

Affiliations: 
2005-2006 University of Camerino, Italy, Camerino, Marche, Italy 
 2008- Informatics Technische Universität Wien (TU Wien) 

25 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2019 Ratasich D, Khalid F, Geissler F, Grosu R, Shafique M, Bartocci E. A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems Ieee Access. 7: 13260-13283. DOI: 10.1109/Access.2019.2891969  0.331
2019 Gurung A, Ray R, Bartocci E, Bogomolov S, Grosu R. Parallel reachability analysis of hybrid systems in XSpeed International Journal On Software Tools For Technology Transfer. 21: 401-423. DOI: 10.1007/S10009-018-0485-6  0.36
2018 Bartocci E, Gol EA, Haghighi I, Belta C. A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks Ieee Transactions On Control of Network Systems. 5: 308-320. DOI: 10.1109/Tcns.2016.2609138  0.333
2018 Jaksic S, Bartocci E, Grosu R, Nickovic D. An Algebraic Framework for Runtime Verification Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 37: 2233-2243. DOI: 10.1109/Tcad.2018.2858460  0.372
2018 Fan C, Meng Y, Maier J, Bartocci E, Mitra S, Schmid U. Verifying nonlinear analog and mixed-signal circuits with inputs Ifac-Papersonline. 51: 241-246. DOI: 10.1016/J.Ifacol.2018.08.041  0.317
2017 Bartocci E, Bortolussi L, Brázdil T, Milios D, Sanguinetti G. Policy learning in Continuous-Time Markov Decision Processes using Gaussian Processes Performance Evaluation. 116: 84-100. DOI: 10.1016/J.Peva.2017.08.007  0.355
2016 Bartocci E, Lió P. Computational Modeling, Formal Analysis, and Tools for Systems Biology. Plos Computational Biology. 12: e1004591. PMID 26795950 DOI: 10.1371/Journal.Pcbi.1004591  0.413
2016 Bartocci E, Ramakrishnan CR. Preface of the special issue on Model Checking of Software: Selected papers of the 20th International SPIN Symposium on Model Checking of Software International Journal On Software Tools For Technology Transfer. 1-3. DOI: 10.1007/S10009-016-0414-5  0.344
2015 Bartocci E, Bortolussi L, Nenzi L, Sanguinetti G. System design of stochastic models using robustness of temporal properties Theoretical Computer Science. 587: 3-25. DOI: 10.1016/J.Tcs.2015.02.046  0.395
2015 Ariful Islam M, Murthy A, Bartocci E, Cherry EM, Fenton FH, Glimm J, Smolka SA, Grosu R. Model-order reduction of ion channel dynamics using approximate bisimulation Theoretical Computer Science. 599: 34-46. DOI: 10.1016/J.Tcs.2014.03.018  0.303
2015 Bartocci E, Bortolussi L, Milios D, Nenzi L, Sanguinetti G. Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic Springer International Publishing. 9271: 156-172. DOI: 10.1007/978-3-319-26916-0_9  0.358
2014 Bartocci E, Bortolussi L, Smolka SA. Hybrid Systems and Biology Information and Computation. 236: 1-2. DOI: 10.1016/J.Ic.2014.01.008  0.341
2013 Murthy A, Bartocci E, Fenton FH, Glimm J, Gray RA, Cherry EM, Smolka SA, Grosu R. Curvature analysis of cardiac excitation wavefronts. Ieee/Acm Transactions On Computational Biology and Bioinformatics / Ieee, Acm. 10: 323-36. PMID 23929858 DOI: 10.1109/Tcbb.2012.125  0.301
2012 Bartocci E, Cacciagrano D, Di Berardini MR, Merelli E, Vito L. UBioLab: a web-laboratory for ubiquitous in-silico experiments. Journal of Integrative Bioinformatics. 9: 192. PMID 22773116 DOI: 10.2390/Biecoll-Jib-2012-192  0.311
2011 Bartocci E, Singh R, von Stein FB, Amedome A, Caceres AJ, Castillo J, Closser E, Deards G, Goltsev A, Ines RS, Isbilir C, Marc JK, Moore D, Pardi D, Sadhu S, et al. Teaching cardiac electrophysiology modeling to undergraduate students: laboratory exercises and GPU programming for the study of arrhythmias and spiral wave dynamics. Advances in Physiology Education. 35: 427-37. PMID 22139782 DOI: 10.1152/Advan.00034.2011  0.314
2011 Alfieri R, Bartocci E, Merelli E, Milanesi L. Modeling the cell cycle: from deterministic models to hybrid systems. Biosystems. 105: 34-40. PMID 21453748 DOI: 10.1016/J.Biosystems.2011.03.002  0.396
2010 Bartocci E, Corradini F, Merelli E, Tesei L. Detecting synchronisation of biological oscillators by model checking Theoretical Computer Science. 411: 1999-2018. DOI: 10.1016/J.Tcs.2009.12.019  0.352
2009 Grosu R, Smolka SA, Corradini F, Wasilewska A, Entcheva E, Bartocci E. Learning and detecting emergent behavior in networks of cardiac myocytes Communications of the Acm. 52: 97-105. DOI: 10.1145/1467247.1467271  0.356
2009 Bartocci E, Corradini F, Di Berardini MR, Entcheva E, Smolka SA, Grosu R. Modeling and simulation of cardiac tissue using hybrid I/O automata Theoretical Computer Science. 410: 3149-3165. DOI: 10.1016/J.Tcs.2009.02.042  0.312
2009 Bartocci E, Corradini F, Merelli E, Tesei L. Model Checking Biological Oscillators Electronic Notes in Theoretical Computer Science. 229: 41-58. DOI: 10.1016/J.Entcs.2009.02.004  0.348
2008 Bartocci E, Corradini F, Entcheva E, Grosu R, Smolka SA. CellExcite: an efficient simulation environment for excitable cells. Bmc Bioinformatics. 9: S3. PMID 18387205 DOI: 10.1186/1471-2105-9-S2-S3  0.363
2008 Bartocci E, Corradini F, Di Berardini MR, Entcheva E, Grosu R, Smolka SA. Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue Electronic Notes in Theoretical Computer Science. 194: 51-67. DOI: 10.1016/J.Entcs.2007.12.005  0.343
2007 Bartocci E, Cacciagrano D, Cannata N, Corradini F, Merelli E, Milanesi L, Romano P. An agent-based multilayer architecture for bioinformatics grids. Ieee Transactions On Nanobioscience. 6: 142-8. PMID 17695749 DOI: 10.1109/Tnb.2007.897492  0.365
2007 Bartocci E, Corradini F, Merelli E, Scortichini L. BioWMS: a web-based Workflow Management System for bioinformatics. Bmc Bioinformatics. 8: S2. PMID 17430564 DOI: 10.1186/1471-2105-8-S1-S2  0.349
2007 Romano P, Bartocci E, Bertolini G, De Paoli F, Marra D, Mauri G, Merelli E, Milanesi L. Biowep: a workflow enactment portal for bioinformatics applications. Bmc Bioinformatics. 8: S19. PMID 17430563 DOI: 10.1186/1471-2105-8-S1-S19  0.32
Show low-probability matches.