Ezio Bartocci
Título
Citado por
Citado por
Ano
Computational Modeling, Formal Analysis, and Tools for Systems Biology
E Bartocci, P Lió
PLoS Comput Biol 12 (1), e1004591, 2016
1412016
Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications
E Bartocci, J Deshmukh, A Donzé, G Fainekos, O Maler, D Ničković, ...
Lectures on Runtime Verification, 135-175, 2018
1302018
Model repair for probabilistic systems
E Bartocci, R Grosu, P Katsaros, CR Ramakrishnan, SA Smolka
International Conference on Tools and Algorithms for the Construction and …, 2011
1142011
Introduction to Runtime Verification
E Bartocci, Y Falcone, A Francalanza, G Reger
Lectures on Runtime Verification, 1-33, 2018
1102018
Runtime verification with state estimation
SD Stoller, E Bartocci, J Seyster, R Grosu, K Havelund, SA Smolka, ...
Runtime Verification, 193-207, 2012
1092012
From Cardiac Cells to Genetic Regulatory Networks.
R Grosu, G Batt, FH Fenton, J Glimm, C Le Guernic, SA Smolka, ...
CAV 6806, 396-411, 2011
1092011
Data-driven statistical learning of temporal logic properties
E Bartocci, L Bortolussi, G Sanguinetti
International Conference on Formal Modeling and Analysis of Timed Systems, 23-37, 2014
892014
SpaTeL: a novel spatial-temporal logic and its applications to networked systems
I Haghighi, A Jones, Z Kong, E Bartocci, R Gros, C Belta
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
852015
On temporal logic and signal processing
A Donzé, O Maler, E Bartocci, D Nickovic, R Grosu, S Smolka
International Symposium on Automated Technology for Verification and …, 2012
832012
Toward real-time simulation of cardiac dynamics
E Bartocci, EM Cherry, J Glimm, R Grosu, SA Smolka, FH Fenton
Proceedings of the 9th International Conference on Computational Methods in …, 2011
702011
Learning and detecting emergent behavior in networks of cardiac myocytes
R Grosu, SA Smolka, F Corradini, A Wasilewska, E Entcheva, E Bartocci
Communications of the ACM 52 (3), 97-105, 2009
682009
Lectures on Runtime Verification: Introductory and Advanced Topics
E Bartocci, Y Falcone
Springer, 2018
672018
System design of stochastic models using robustness of temporal properties
E Bartocci, L Bortolussi, L Nenzi, G Sanguinetti
Theoretical Computer Science, 2015
672015
BioWMS: a web-based Workflow Management System for bioinformatics
E Bartocci, F Corradini, E Merelli, L Scortichini
BMC bioinformatics 8 (Suppl 1), S2, 2007
642007
First international competition on runtime verification: rules, benchmarks, tools, and final results of CRV 2014
E Bartocci, Y Falcone, B Bonakdarpour, C Colombo, N Decker, ...
International Journal on Software Tools for Technology Transfer, 1-40, 2017
632017
Biowep: a workflow enactment portal for bioinformatics applications
P Romano, E Bartocci, G Bertolini, F De Paoli, D Marra, G Mauri, E Merelli, ...
BMC bioinformatics 8 (1), S19, 2007
622007
Adaptive runtime verification
E Bartocci, R Grosu, A Karmarkar, SA Smolka, SD Stoller, E Zadok, ...
Runtime Verification 7687, 168--182, 2012
592012
On the robustness of temporal properties for stochastic models
E Bartocci, L Bortolussi, L Nenzi, G Sanguinetti
arXiv preprint arXiv:1309.0866, 2013
582013
Quantitative monitoring of STL with edit distance
S Jakšić, E Bartocci, R Grosu, T Nguyen, D Ničković
Formal methods in system design 53 (1), 83-112, 2018
552018
A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems
D Ratasich, F Khalid, F Geissler, R Grosu, M Shafique, E Bartocci
IEEE Access 7, 13260-13283, 2019
472019
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20