Edit Profile Bartocci, Ezio Compute Distance To: Compute Author ID: bartocci.ezio Published as: Bartocci, E.; Bartocci, Ezio External Links: ORCID Documents Indexed: 33 Publications since 2008, including 2 Books all top 5 Co-Authors 1 single-authored 12 Grosu, Radu 9 Smolka, Scott A. 7 Corradini, Flavio 6 Merelli, Emanuela 5 Nickovic, Dejan 4 Bortolussi, Luca 4 Di Berardini, Maria Rita 4 Sanguinetti, Guido 4 Tesei, Luca 3 Entcheva, Emilia 2 Belta, Calin 2 Haghighi, Iman 2 Henzinger, Thomas A. 2 Kong, Hui 2 Liò, Pietro 2 Milios, Dimitrios 2 Nenzi, Laura 2 Paoletti, Nicola 2 Ramakrishnan, C. R. 2 Rodionova, Alena 1 Abbas, Houssam 1 Ahrendt, Wolfgang 1 Aydin Gol, Ebru 1 Baldi, Marco 1 Bianculli, Domenico 1 Bogomolov, Sergiy 1 Brázdil, Tomáš 1 Cacciagrano, Diletta Romana 1 Cherry, Elizabeth M. 1 Chiaraluce, Franco 1 Colombo, Christian 1 Cucchiarelli, Alessandro 1 Donzé, Alexandre 1 Esterle, Lukas 1 Falcone, Yliès 1 Fenton, Flavio H. 1 Ferrère, Thomas 1 Francalanza, Adrian 1 Glimm, James G. 1 Gros, Radu 1 Hillston, Jane 1 Hirsch, Christian 1 Islam, Md. Ariful 1 Jakšić, Stefan 1 Jiang, Yu 1 Jiang, Yu 1 Jones, Austin H. 1 Katsaros, Panagiotis 1 Kong, Zhaodan 1 Kovács, Laura Ildikó 1 Krstić, Srđan 1 Lourenço, João M. 1 Lukina, Anna 1 Majumdar, Rupak 1 Maler, Oded 1 Manjunath, Niveditha 1 Margetiny, Filip 1 Murthy, Abhishek 1 Nguyen, Thang Trung 1 Pace, Gordon J. 1 Piho, Paul 1 Ribchester, Richard R. 1 Riganelli, Oliviero 1 Rufino, José 1 Sánchez, César 1 Schilling, Christian 1 Schneider, Gerardo 1 Senigagliesi, Linda 1 Signoles, Julien 1 Spalazzi, Luca 1 Spegni, Francesco 1 Stankovič, Miroslav 1 Tiwari, Ashish Kumar 1 Traytel, Dmitry 1 Wasilewska, Anna E. 1 Weiss, Alexander 1 Yang, Junxing all top 5 Serials 4 Theoretical Computer Science 3 Formal Methods in System Design 2 Lecture Notes in Computer Science 2 Scientific Annals of Computer Science 1 Information and Computation 1 IEEE Transactions on Control of Network Systems all top 5 Fields 22 Computer science (68-XX) 18 Biology and other natural sciences (92-XX) 6 Mathematical logic and foundations (03-XX) 6 Systems theory; control (93-XX) 4 General and overarching topics; collections (00-XX) 4 Operations research, mathematical programming (90-XX) 2 Statistics (62-XX) 2 Information and communication theory, circuits (94-XX) 1 Commutative algebra (13-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Numerical analysis (65-XX) 1 Mechanics of deformable solids (74-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 21 Publications have been cited 101 times in 74 Documents Cited by ▼ Year ▼ Model repair for probabilistic systems. Zbl 1316.68070Bartocci, Ezio; Grosu, Radu; Katsaros, Panagiotis; Ramakrishnan, C. R.; Smolka, Scott A. 39 2011 System design of stochastic models using robustness of temporal properties. Zbl 1327.68147Bartocci, Ezio; Bortolussi, Luca; Nenzi, Laura; Sanguinetti, Guido 7 2015 Quantitative monitoring of STL with edit distance. Zbl 1394.68230Jakšić, Stefan; Bartocci, Ezio; Grosu, Radu; Nguyen, Thang; Ničković, Dejan 5 2018 Data-driven statistical learning of temporal logic properties. Zbl 1448.68371Bartocci, Ezio; Bortolussi, Luca; Sanguinetti, Guido 5 2014 On temporal logic and signal processing. Zbl 1374.68278Donzé, Alexandre; Maler, Oded; Bartocci, Ezio; Nickovic, Dejan; Grosu, Radu; Smolka, Scott 5 2012 Shape calculus. A spatial mobile calculus for 3D shapes. Zbl 1424.92001Bartocci, Ezio; Corradini, Flavio; Di Berardini, Maria Rita; Merelli, Emanuela; Tesei, Luca 5 2010 Temporal logic as filtering. Zbl 1364.94156Rodionova, Alena; Bartocci, Ezio; Nickovic, Dejan; Grosu, Radu 4 2016 SpaTeL: a novel spatial-temporal logic and its applications to networked systems. Zbl 1366.68170Haghighi, Iman; Jones, Austin; Kong, Zhaodan; Bartocci, Ezio; Gros, Radu; Belta, Calin 4 2015 Learning and detecting emergent behavior in networks of cardiac myocytes. Zbl 1144.92313Grosu, R.; Bartocci, E.; Corradini, F.; Entcheva, E.; Smolka, S. A.; Wasilewska, A. 4 2008 Model-order reduction of ion channel dynamics using approximate bisimulation. Zbl 1337.92061Islam, Md. Ariful; Murthy, Abhishek; Bartocci, Ezio; Cherry, Elizabeth M.; Fenton, Flavio H.; Glimm, James; Smolka, Scott A.; Grosu, Radu 3 2015 Timed operational semantics and well-formedness of shape calculus. Zbl 1424.92004Bartocci, Ezio; Cacciagrano, Diletta Romana; Di Berardini, Maria Rita; Merelli, Emanuela; Tesei, Luca 3 2010 Detecting synchronisation of biological oscillators by model checking. Zbl 1209.68311Bartocci, Ezio; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca 3 2010 Modeling and simulation of cardiac tissue using hybrid I/O automata. Zbl 1173.68028Bartocci, E.; Corradini, F.; Di Berardini, M. R.; Entcheva, E.; Smolka, S. A.; Grosu, R. 3 2009 A formal methods approach to pattern recognition and synthesis in reaction diffusion networks. Zbl 06995908Bartocci, Ezio; Gol, Ebru Aydin; Haghighi, Iman; Belta, Calin 2 2018 Model checking biological oscillators. Zbl 1283.92008Bartocci, Ezio; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca 2 2009 StonyCam: A formal framework for modeling, analyzing and regulating cardiac myocytes. Zbl 1143.92316Bartocci, Ezio; Corradini, Flavio; Grosu, Radu; Merelli, Emanuela; Riganelli, Oliviero; Smolka, Scott A. 2 2008 A survey of challenges for runtime verification from advanced application domains (beyond software). Zbl 1425.68268Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, João M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander 1 2019 Localizing faults in Simulink/Stateflow models with STL. Zbl 1409.68168Bartocci, Ezio; Ferrère, Thomas; Manjunath, Niveditha; Ničković, Dejan 1 2018 Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent. Zbl 1380.65024Bartocci, Ezio; Bortolussi, Luca; Brázdil, Tomǎš; Milios, Dimitrios; Sanguinetti, Guido 1 2016 Multiple verification in complex biological systems: the bone remodelling case study. Zbl 1381.74152Bartocci, Ezio; Liò, Pietro; Merelli, Emanuela; Paoletti, Nicola 1 2012 Spatial networks of hybrid I/O automata for modeling excitable tissue. Zbl 1279.68246Bartocci, Ezio; Corradini, Flavio; Di Berardini, Maria Rita; Entcheva, Emilia; Grosu, Radu; Smolka, Scott A. 1 2008 A survey of challenges for runtime verification from advanced application domains (beyond software). Zbl 1425.68268Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, João M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander 1 2019 Quantitative monitoring of STL with edit distance. Zbl 1394.68230Jakšić, Stefan; Bartocci, Ezio; Grosu, Radu; Nguyen, Thang; Ničković, Dejan 5 2018 A formal methods approach to pattern recognition and synthesis in reaction diffusion networks. Zbl 06995908Bartocci, Ezio; Gol, Ebru Aydin; Haghighi, Iman; Belta, Calin 2 2018 Localizing faults in Simulink/Stateflow models with STL. Zbl 1409.68168Bartocci, Ezio; Ferrère, Thomas; Manjunath, Niveditha; Ničković, Dejan 1 2018 Temporal logic as filtering. Zbl 1364.94156Rodionova, Alena; Bartocci, Ezio; Nickovic, Dejan; Grosu, Radu 4 2016 Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent. Zbl 1380.65024Bartocci, Ezio; Bortolussi, Luca; Brázdil, Tomǎš; Milios, Dimitrios; Sanguinetti, Guido 1 2016 System design of stochastic models using robustness of temporal properties. Zbl 1327.68147Bartocci, Ezio; Bortolussi, Luca; Nenzi, Laura; Sanguinetti, Guido 7 2015 SpaTeL: a novel spatial-temporal logic and its applications to networked systems. Zbl 1366.68170Haghighi, Iman; Jones, Austin; Kong, Zhaodan; Bartocci, Ezio; Gros, Radu; Belta, Calin 4 2015 Model-order reduction of ion channel dynamics using approximate bisimulation. Zbl 1337.92061Islam, Md. Ariful; Murthy, Abhishek; Bartocci, Ezio; Cherry, Elizabeth M.; Fenton, Flavio H.; Glimm, James; Smolka, Scott A.; Grosu, Radu 3 2015 Data-driven statistical learning of temporal logic properties. Zbl 1448.68371Bartocci, Ezio; Bortolussi, Luca; Sanguinetti, Guido 5 2014 On temporal logic and signal processing. Zbl 1374.68278Donzé, Alexandre; Maler, Oded; Bartocci, Ezio; Nickovic, Dejan; Grosu, Radu; Smolka, Scott 5 2012 Multiple verification in complex biological systems: the bone remodelling case study. Zbl 1381.74152Bartocci, Ezio; Liò, Pietro; Merelli, Emanuela; Paoletti, Nicola 1 2012 Model repair for probabilistic systems. Zbl 1316.68070Bartocci, Ezio; Grosu, Radu; Katsaros, Panagiotis; Ramakrishnan, C. R.; Smolka, Scott A. 39 2011 Shape calculus. A spatial mobile calculus for 3D shapes. Zbl 1424.92001Bartocci, Ezio; Corradini, Flavio; Di Berardini, Maria Rita; Merelli, Emanuela; Tesei, Luca 5 2010 Timed operational semantics and well-formedness of shape calculus. Zbl 1424.92004Bartocci, Ezio; Cacciagrano, Diletta Romana; Di Berardini, Maria Rita; Merelli, Emanuela; Tesei, Luca 3 2010 Detecting synchronisation of biological oscillators by model checking. Zbl 1209.68311Bartocci, Ezio; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca 3 2010 Modeling and simulation of cardiac tissue using hybrid I/O automata. Zbl 1173.68028Bartocci, E.; Corradini, F.; Di Berardini, M. R.; Entcheva, E.; Smolka, S. A.; Grosu, R. 3 2009 Model checking biological oscillators. Zbl 1283.92008Bartocci, Ezio; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca 2 2009 Learning and detecting emergent behavior in networks of cardiac myocytes. Zbl 1144.92313Grosu, R.; Bartocci, E.; Corradini, F.; Entcheva, E.; Smolka, S. A.; Wasilewska, A. 4 2008 StonyCam: A formal framework for modeling, analyzing and regulating cardiac myocytes. Zbl 1143.92316Bartocci, Ezio; Corradini, Flavio; Grosu, Radu; Merelli, Emanuela; Riganelli, Oliviero; Smolka, Scott A. 2 2008 Spatial networks of hybrid I/O automata for modeling excitable tissue. Zbl 1279.68246Bartocci, Ezio; Corradini, Flavio; Di Berardini, Maria Rita; Entcheva, Emilia; Grosu, Radu; Smolka, Scott A. 1 2008 all cited Publications top 5 cited Publications all top 5 Cited by 201 Authors 8 Bartocci, Ezio 5 Corradini, Flavio 5 Merelli, Emanuela 4 Grosu, Radu 4 Katoen, Joost-Pieter 4 Tesei, Luca 3 Bortolussi, Luca 3 Brim, Luboš 3 Junges, Sebastian 3 Šafránek, David 3 Sánchez, César 3 Seshia, Sanjit Arunkumar 3 Smolka, Scott A. 2 Abate, Alessandro 2 Buti, Federico 2 Chatterjee, Krishnendu 2 Ciancia, Vincenzo 2 Deshmukh, Jyotirmoy V. 2 Di Berardini, Maria Rita 2 Donzé, Alexandre 2 Falcone, Yliès 2 Francalanza, Adrian 2 Heemels, Maurice W. P. M. H. 2 Jin, Xiaoqing 2 Lazar, Mircea 2 Loreti, Michele 2 Massink, Mieke 2 Mereacre, Alexandru 2 Nenzi, Laura 2 Nickovic, Dejan 2 Sanguinetti, Guido 2 Tiwari, Ashish Kumar 2 Tkachev, Ilya 1 Ahrendt, Wolfgang 1 Althoff, Matthias 1 Alur, Rajeev 1 Andreychenko, Aleksandr 1 Aydin Gol, Ebru 1 Bako, Laurent 1 Balbus, Joanna 1 Barbosa, Luís Soares 1 Bayen, Alexandre M. 1 Becker-Weimann, Sabine 1 Bemporad, Alberto 1 Benerecetti, Massimo 1 Beneš, Nikola 1 Bianculli, Domenico 1 Bissell, Mina J. 1 Bloch, Gérard 1 Bourke, Timothy 1 Bozzelli, Laura 1 Cacciagrano, Diletta Romana 1 Callisto De Donato, Massimo 1 Casagrande, Alberto 1 Češka, Milan 1 Challen, Geoffrey 1 Chandra, Ranveer 1 Chatzieleftheriou, George 1 Chen, Taolue 1 Cini, Clare 1 Colombo, Christian 1 Copp, David A. 1 Cubuktepe, Murat 1 Di Cairano, Stefano 1 Diciolla, Marco 1 Dimarogonas, Dimos V. 1 Dixon, Clare 1 Dluhoš, P. 1 Entcheva, Emilia 1 Esterle, Lukas 1 Faella, Marco 1 Fisher, Michael E. 1 Fontantelli, Daniele 1 Forejt, Vojtěch 1 Frazzoli, Emilio 1 Frehse, Goran 1 Fu, Hongfei 1 Gainer, Paul 1 Genadot, Alexandre 1 Ghosh, Shromona 1 Giavitto, Jean-Louis 1 Greco, Luca 1 Guerra, Paulo T. 1 Hahn, Ernst Moritz 1 Hall, Gavin C. 1 Hermanns, Holger 1 Hirsch, Christian 1 Howe, Jacob M. 1 Hrydziuszko, Olga 1 Hustadt, Ullrich 1 Islam, Md. Ariful 1 Jakšić, Stefan 1 Jansen, Nils 1 Jha, Susmit 1 Jhumka, Arshad 1 Jiang, Yaolin 1 Johnson, Taylor T. 1 Juniwal, Garvit 1 Kamgarpour, Maryam 1 Karaman, Sertac ...and 101 more Authors all top 5 Cited in 13 Serials 8 Formal Methods in System Design 7 Theoretical Computer Science 4 Information and Computation 2 Nonlinear Analysis. Hybrid Systems 2 Journal of Logical and Algebraic Methods in Programming 1 Automatica 1 Journal of Computer and System Sciences 1 Discrete Event Dynamic Systems 1 Distributed Computing 1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Applied Mathematics and Computing 1 Logical Methods in Computer Science all top 5 Cited in 19 Fields 56 Computer science (68-XX) 27 Systems theory; control (93-XX) 16 Biology and other natural sciences (92-XX) 10 Mathematical logic and foundations (03-XX) 9 Operations research, mathematical programming (90-XX) 6 Probability theory and stochastic processes (60-XX) 4 Ordinary differential equations (34-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 General and overarching topics; collections (00-XX) 2 Convex and discrete geometry (52-XX) 2 Numerical analysis (65-XX) 1 Category theory; homological algebra (18-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Integral transforms, operational calculus (44-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 General topology (54-XX) 1 Statistics (62-XX) 1 Mechanics of particles and systems (70-XX) 1 Optics, electromagnetic theory (78-XX) Citations by Year