×

zbMATH — the first resource for mathematics

Bartocci, Ezio

Compute Distance To:
Author ID: bartocci.ezio Recent zbMATH articles by "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

Publications by Year

Citations contained in zbMATH

21 Publications have been cited 101 times in 74 Documents Cited by Year
Model repair for probabilistic systems. Zbl 1316.68070
Bartocci, 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.68147
Bartocci, Ezio; Bortolussi, Luca; Nenzi, Laura; Sanguinetti, Guido
7
2015
Quantitative monitoring of STL with edit distance. Zbl 1394.68230
Jakšić, Stefan; Bartocci, Ezio; Grosu, Radu; Nguyen, Thang; Ničković, Dejan
5
2018
Data-driven statistical learning of temporal logic properties. Zbl 1448.68371
Bartocci, Ezio; Bortolussi, Luca; Sanguinetti, Guido
5
2014
On temporal logic and signal processing. Zbl 1374.68278
Donzé, Alexandre; Maler, Oded; Bartocci, Ezio; Nickovic, Dejan; Grosu, Radu; Smolka, Scott
5
2012
Shape calculus. A spatial mobile calculus for 3D shapes. Zbl 1424.92001
Bartocci, Ezio; Corradini, Flavio; Di Berardini, Maria Rita; Merelli, Emanuela; Tesei, Luca
5
2010
Temporal logic as filtering. Zbl 1364.94156
Rodionova, Alena; Bartocci, Ezio; Nickovic, Dejan; Grosu, Radu
4
2016
SpaTeL: a novel spatial-temporal logic and its applications to networked systems. Zbl 1366.68170
Haghighi, 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.92313
Grosu, 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.92061
Islam, 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.92004
Bartocci, Ezio; Cacciagrano, Diletta Romana; Di Berardini, Maria Rita; Merelli, Emanuela; Tesei, Luca
3
2010
Detecting synchronisation of biological oscillators by model checking. Zbl 1209.68311
Bartocci, Ezio; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
3
2010
Modeling and simulation of cardiac tissue using hybrid I/O automata. Zbl 1173.68028
Bartocci, 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 06995908
Bartocci, Ezio; Gol, Ebru Aydin; Haghighi, Iman; Belta, Calin
2
2018
Model checking biological oscillators. Zbl 1283.92008
Bartocci, Ezio; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
2
2009
StonyCam: A formal framework for modeling, analyzing and regulating cardiac myocytes. Zbl 1143.92316
Bartocci, 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.68268
Sá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.68168
Bartocci, 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.65024
Bartocci, 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.74152
Bartocci, Ezio; Liò, Pietro; Merelli, Emanuela; Paoletti, Nicola
1
2012
Spatial networks of hybrid I/O automata for modeling excitable tissue. Zbl 1279.68246
Bartocci, 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.68268
Sá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.68230
Jakš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 06995908
Bartocci, Ezio; Gol, Ebru Aydin; Haghighi, Iman; Belta, Calin
2
2018
Localizing faults in Simulink/Stateflow models with STL. Zbl 1409.68168
Bartocci, Ezio; Ferrère, Thomas; Manjunath, Niveditha; Ničković, Dejan
1
2018
Temporal logic as filtering. Zbl 1364.94156
Rodionova, 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.65024
Bartocci, Ezio; Bortolussi, Luca; Brázdil, Tomǎš; Milios, Dimitrios; Sanguinetti, Guido
1
2016
System design of stochastic models using robustness of temporal properties. Zbl 1327.68147
Bartocci, Ezio; Bortolussi, Luca; Nenzi, Laura; Sanguinetti, Guido
7
2015
SpaTeL: a novel spatial-temporal logic and its applications to networked systems. Zbl 1366.68170
Haghighi, 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.92061
Islam, 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.68371
Bartocci, Ezio; Bortolussi, Luca; Sanguinetti, Guido
5
2014
On temporal logic and signal processing. Zbl 1374.68278
Donzé, 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.74152
Bartocci, Ezio; Liò, Pietro; Merelli, Emanuela; Paoletti, Nicola
1
2012
Model repair for probabilistic systems. Zbl 1316.68070
Bartocci, Ezio; Grosu, Radu; Katsaros, Panagiotis; Ramakrishnan, C. R.; Smolka, Scott A.
39
2011
Shape calculus. A spatial mobile calculus for 3D shapes. Zbl 1424.92001
Bartocci, Ezio; Corradini, Flavio; Di Berardini, Maria Rita; Merelli, Emanuela; Tesei, Luca
5
2010
Timed operational semantics and well-formedness of shape calculus. Zbl 1424.92004
Bartocci, Ezio; Cacciagrano, Diletta Romana; Di Berardini, Maria Rita; Merelli, Emanuela; Tesei, Luca
3
2010
Detecting synchronisation of biological oscillators by model checking. Zbl 1209.68311
Bartocci, Ezio; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
3
2010
Modeling and simulation of cardiac tissue using hybrid I/O automata. Zbl 1173.68028
Bartocci, E.; Corradini, F.; Di Berardini, M. R.; Entcheva, E.; Smolka, S. A.; Grosu, R.
3
2009
Model checking biological oscillators. Zbl 1283.92008
Bartocci, Ezio; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
2
2009
Learning and detecting emergent behavior in networks of cardiac myocytes. Zbl 1144.92313
Grosu, 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.92316
Bartocci, 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.68246
Bartocci, Ezio; Corradini, Flavio; Di Berardini, Maria Rita; Entcheva, Emilia; Grosu, Radu; Smolka, Scott A.
1
2008
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

Citations by Year