Theo dõi
Ezio Bartocci
Ezio Bartocci
Faculty of Informatics, TU Wien
Email được xác minh tại tuwien.ac.at - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
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
3892018
Introduction to Runtime Verification
E Bartocci, Y Falcone, A Francalanza, G Reger
Lectures on Runtime Verification, 1-33, 2018
3782018
Computational Modeling, Formal Analysis, and Tools for Systems Biology
E Bartocci, P Lió
PLoS Comput Biol 12 (1), e1004591, 2016
2662016
Lectures on Runtime Verification. LNCS, vol. 10457
E Bartocci, Y Falcone
Springer, Cham, 2018
178*2018
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
1762019
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
1592011
Runtime verification with state estimation
SD Stoller, E Bartocci, J Seyster, R Grosu, K Havelund, SA Smolka, ...
Runtime Verification, 193-207, 2012
1512012
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
1392015
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
1302014
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
1292011
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
C Sánchez, G Schneider, W Ahrendt, E Bartocci, D Bianculli, C Colombo, ...
arXiv preprint arXiv:1811.06740, 2018
1252018
On temporal logic and signal processing
A Donzé, O Maler, E Bartocci, D Nickovic, R Grosu, S Smolka
Automated Technology for Verification and Analysis: 10th International …, 2012
1142012
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
1082018
System design of stochastic models using robustness of temporal properties
E Bartocci, L Bortolussi, L Nenzi, G Sanguinetti
Theoretical Computer Science, 2015
1042015
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
992009
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
942017
Adaptive runtime verification
E Bartocci, R Grosu, A Karmarkar, SA Smolka, SD Stoller, E Zadok, ...
Runtime Verification 7687, 168--182, 2012
892012
Control from signal temporal logic specifications with smooth cumulative quantitative semantics
I Haghighi, N Mehdipour, E Bartocci, C Belta
2019 IEEE 58th Conference on Decision and Control (CDC), 4361-4366, 2019
842019
Monitoring mobile and spatially distributed cyber-physical systems
E Bartocci, L Bortolussi, M Loreti, L Nenzi
Proceedings of the 15th {ACM-IEEE} International Conference on Formal …, 2017
812017
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
812011
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20