עקוב אחר
Ezio Bartocci
Ezio Bartocci
Faculty of Informatics, TU Wien
כתובת אימייל מאומתת בדומיין tuwien.ac.at - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
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‏
3902018
Introduction to Runtime Verification‏
E Bartocci, Y Falcone, A Francalanza, G Reger‏
Lectures on Runtime Verification, 1-33, 2018‏
3792018
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
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20