Ezio Bartocci
Univ.Prof. Dr.
Research Focus
- Computer Engineering: 100%
About
I am a Full Professor for Formal Methods in Cyber-Physical Systems Engineering at the Faculty of Computer Science TU Wien, and I am leading the Trustworthy Cyber-Physical Systems (TrustCPS) Group of the Cyber-Physical System Research Unit. The primary focus of my research is to develop formal methods, computational tools and techniques that support the modeling and the automated analysis of complex computational systems, including software systems, cyber-physical systems and biological systems.
He joined the Faculty of Informatics at TU Wien in 2012 as University Assistant. In Dec. 2014 he won a "Laufbahnstelle" becoming a tenure-track Assistant Professor. He was promoted to tenured Associate Professor in May 2019 and to Full Professor in Dec 2020. Previously he was a post-doctoral researcher at the Department of Computer Science (Research Scientist - from March 2011) and at the Department of Applied Math and Statistics (Research Associate - from February 2010) of the State University of New York at Stony Brook. His research area, in the framework of the NSF Expeditions in Computing project CMACS, was the Computational Modelling and Analysis of Cardiac Dynamics for Prediction and Control of Cardiac Arrhythmia. He received the B.S. degree in Computer Science and the M.S. degree in Bioinformatics from the University of Camerino in Italy, in 2002 and 2005, respectively. During his M.S. degree in Bioinformatics he won a scholarship (from June 2003 to Feb 2004) funded by the MIUR project Oncology Over Internet (O2I). In 2009 he got a Ph.D. in Complex Systems and Information Sciences from the University of Camerino. He also hold the National Habilitation as Associate Professor (since 2014) in Computer Science (INF/01) and Computer Engineering (since 2017) (ING/INF-05) in Italy. In 2019 he received the Habilitation (Venia Docendi) in Computer Science at the Faculty of Informatics of TU Wien.
He co-chaired several international events, such as HSB 2012, the First International Workshop on Hybrid Systems and Biology, SPIN 2013, the 20th Intern. Symposium on Model Checking Software, the CSRV-2014, the First Intl. Competition of Software Runtime Verification in Canada, the Medical CPS track at Isola 2014, the 15th Intl. Conference on Runtime Verification in Vienna (2015), the 14th International Conference on Computational Methods in Systems Biology in Cambridge (2016) and the 7th International Workshop on Medical Cyber-Physical Systems in Vienna (2016). He serves as Editorial Board Member of the International Journal of Information and Computation (Elsevier). He is a permanent member of the Steering Committee of the International Conference of Runtime Verification. He is also a member the Steering Committee of the International Conference on Quantitative Evaluation of SysTems. He represented Austria in the management committee of the EU COST ICT action ARVI on Runtime Verification and he co-chairs the RV core working group in this action. He is currently the scientific coordinator of the WWTF ICT project ProbInG, the vice-chair for program admission for the Marie Skłodowska-Curie COFUND Doctoral Programme LogiCS@TUWien and the advisory board member for the Doctoral Programme in Resilient Embedded Systems. He is the co-chair of HSCC 2022: the 25th ACM International Conference on Hybrid Systems: Computation and Control.
Roles
-
Full Professor
Cyber-Physical Systems, E191-01 -
Faculty Council
Principal Member
Courses
2022W
- Bachelor Thesis for Computer Science and Business Informatics / 182.715 / PR
- Internet of Things / 182.753 / VU
- Introduction to Logical Methods in Computer Science / 184.766 / VO
- Practical Project in Computer Engineering / 182.716 / PR
- Project Computer Engineering / 182.762 / PR
- Research Seminar LogiCS / 184.767 / SE
- Scientific Project Computer Engineering / 182.761 / PR
- Scientific Research and Writing / 193.052 / SE
- Seminar Computer Engineering / 182.760 / SE
- Seminar for Master Students in Computer Engineering / 180.778 / SE
- Seminar for PhD students / 182.008 / SE
2023S
- Bachelor Thesis for Computer Science and Business Informatics / 182.715 / PR
- GPU Architectures and Computing / 182.731 / VU
- Introduction to Logical Methods in Computer Science / 184.766 / VO
- Practical Project in Computer Engineering / 182.716 / PR
- Project Computer Engineering / 182.762 / PR
- Research Seminar LogiCS / 184.767 / SE
- Runtime Verification / 191.118 / VU
- Scientific Project Computer Engineering / 182.761 / PR
- Scientific Research and Writing / 193.052 / SE
- Seminar Computer Engineering / 182.760 / SE
- Seminar for PhD students / 182.008 / SE
Projects
-
Distribution Recovery for Invariant Generation of Probabilistic Programs
2020 – 2024 / Vienna Science and Technology Fund (WWTF) -
High-dimensional statistical learning: New methods to advance economic and
sustainability policies
2019 – 2023 / Austrian Science Fund (FWF) -
Trustworthy IoT for CPS
2017 – 2020 / Austrian Research Promotion Agency (FFG)
Publications
Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.
2022
- Moment-based Invariants for Probabilistic Loops with non-polynomial assignments / A. Kofnov, M. Moosbrugger, S. Stankovic, E. Bartocci, E. Bura / accepted as talk for: Proc. of QEST 2022: the 19th International Conference on Quantitative Evaluation of SysTems, Warsaw, Poland; 2022-09-12 - 2022-09-16; in: "Proc. of QEST'22: the 19th International Conference on Quantitative Evaluation of SysTems", (2022)
- Distribution Estimation for Probabilistic Loops / A. Karimi, S. Stankovic, M. Moosbrugger, L. Kovacs, E. Bartocci, E. Bura / accepted as talk for: Proc. of QEST 2022: the 19th International Conference on Quantitative Evaluation of SysTems, Warsaw, Poland; 2022-09-12 - 2022-09-16; in: "Proc. of QEST'22: the 19th International Conference on Quantitative Evaluation of SysTems", (2022)
- Probabilistic Hyperproperties with Rewards / L. Wilke, O. Dobe, E. Abraham, E. Bartocci, B. Bonakdarpour / Talk: Proc. of NFM 2022: the 13th International Symposium of NASA Formal Methods, Pasadena, California, USA; 2022-05-24 - 2022-05-27; in: "Proc. of NFM 2022: the 13th International Symposium of NASA Formal Methods", (2022), 25 pages
- DeepSTL - From English Requirements to Signal Temporal Logic / J. He, E. Bartocci, D. Nickovic, H. Isakovic, R. Grosu / accepted as talk for: International Conference on Software Engineering (ICSE), Pittsburgh, PA, USA; 2022-05-21; in: "44th International Conference on Software Engineering (ICSE 2022)", (2022)
- Information-Flow Interfaces / E. Bartocci, T. Ferrere, T. Henzinger, D. Nickovic, A. Oliveira da Costa / accepted as talk for: Proc. of FASE 2022: the 25th International Conference on Fundamental Approaches to Software Engineering, Munich, Germany; 2022-04-02 - 2022-04-07; in: "Proc. of FASE 2022: the 25th International Conference on Fundamental Approaches to Software Engineering", (2022)
- MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties / L. Nenzi, E. Bartocci, L. Bortolussi, S. Silvetti, M. Loreti / accepted for publication in International Journal on Software Tools for Technology Transfer
- Flavours of Sequential Information Flow / E. Bartocci, T. Ferrere, T. Henzinger, D. Nickovic, A. Oliveira da Costa / Talk: VMCAI 2022: the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation., Philadelphia, Pennsylvania, United States (invited); 2022-01-16 - 2022-01-18; in: "Proc. of VMCAI 2022: the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation", 13182 (2022), 1 - 19
- Moment-based analysis of Bayesian network properties / S. Stankovic, E. Bartocci, L. Kovacs / Theoretical Computer Science, 903 (2022), 113 - 133
- A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems / L. Nenzi, E. Bartocci, L. Bortolussi, M. Loreti / accepted for publication in Logical Methods in Computer Science 8(1) (2022), 4; 1 - 30
2021
- Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications / S. Alsalehi, N. Mehdipour, E. Bartocci, C. Belta / Talk: CDC 2021: the 60th IEEE Conference on Decision and Control, Austin, Texas; 2021-12-13 - 2021-12-15; in: "Proc. of CDC 2021: the 60th IEEE Conference on Decision and Control", (2021), 5110 - 5115
- Mining Shape Expressions with ShapeIt / E. Bartocci, J. Deshmukh, C. Mateis, E. Nesterini, D. Nickovic, X. Qin / Talk: SEFM 2021: the 19th International Conference on Software Engineering and Formal Methods, USA, Kazakhstan, UK; 2021-12-06 - 2021-12-10; in: "Proc. of SEFM 2021: the 19th International Conference on Software Engineering and Formal Methods", 13085, (2021), 110 - 117
- Online Monitoring of Spatio-Temporal Properties for Imprecise Signals / E. Visconti, E. Bartocci, M. Loreti, L. Nenzi / Talk: MEMOCODE'21: the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Beijing, China (Online due to Covid); 2021-11-20 - 2021-11-22; in: "Proc. of MEMOCODE'21: the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design", (2021), 78 - 88
- HyperProb: A Model Checker for Probabilistic Hyperproperties / O. Dobe, E. Abraham, E. Bartocci, B. Bonakdarpour / Talk: FM 2021: the 24th international symposium of Formal Methods, China; 2021-11-20 - 2021-11-25; in: "Proc. of FM 2021: the 24th international symposium of Formal Methods", (2021), 657 - 666
- A Normative Supervisor for Reinforcement Learning Agents / E. A. Neufeld, E. Bartocci, A. Ciabattoni, G. Governatori / Talk: 28th International Conference on Automated Deduction (CADE 28), Virtual Event; 2021-07-12 - 2021-07-15; in: "Proc. of CADE 2021: 28th International Conference on Automated Deduction (CADE 28)", 12699 (2021), 565 - 576
- Cardiac Hybrid Cellular Automata Simulation For 2d Cardiac Dynamics / L. Treml, A. Gizzi, E. Bartocci / Talk: 26th Congress Of The European Society Of Biomechanics, Italy; 2021-07-11 - 2021-07-14; in: "Book Of Abstracts", (2021), 201
- Adaptive Testing for Specification Coverage in CPS Models / E. Bartocci, R. Bloem, B. Maderbacher, N. Manjunath, D. Nickovic / Talk: 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2021), Brussels, Belgium; 2021-07-07 - 2021-07-09; in: "Proc. of ADHS 2021: the 7th IFAC Conference on Analysis and Design of Hybrid Systems", 54, 5 (2021), 229 - 234
- Automated Termination Analysis of Polynomial Probabilistic Programs / M. Moosbrugger, E. Bartocci, J. Katoen, L. Kovacs / Talk: 30th European Symposium on Programming (ESOP 2021), Luxembourg (online); 2021-03-27 - 2021-04-01; in: "Proc. of ESOP 2021: the 30th European Symposium on Programming", Springer, 12648 (2021), 491 - 518
- A Perspective on "CCS Expressions, Finite State Processes, and Three Problems of Equivalence" / E. Bartocci, M. Bender / ACM SIGACT News (invited), 52 (2021), 4; 76 - 77
- Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems / M. Meiyi, J. Stankovic, E. Bartocci, L. Feng / ACM Transactions on Embedded Computing Systems, 20 (2021), 5s (101); 1 - 25
- CPSDebug: Automatic Failure Explanation in CPS Models / E. Bartocci, N. Manjunath, L. Mariani, C. Mateis, D. Nickovic / International Journal on Software Tools for Technology Transfer, 23 (2021), 5; 783 - 796
- A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities / M. Meiyi, E. Bartocci, E. Lifland, J. Stankovic, L. Feng / IEEE Internet of Things Journal, 8 (2021), 15; 11793 - 11806
- Modeling and Analysis of Cardiac Hybrid Cellular Automata via GPU-accelerated Monte Carlo Simulation / L. Treml, E. Bartocci, A. Gizzi / Mathematics (MDPI), 9 (2021), 2
- Preface / E. Bartocci, Y. Falcone, M. Leucker / in: "Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday.", 13065; Springer, Lecture Notes in Computer Science, Rhodes, Greece, 2021, (invited), ISBN: 978-3-030-87348-6, 1
2020
- ProbInG: Distribution Recovery for Invariant Generation of Probabilistic Programs / E. Bartocci, L. Kovacs, E. Bura / Talk: Vienna Science, Research and Technology Fund - ProbInG, online; 2020-12-14 - 2020-12-15
- Analysis of Bayesian Networks via Prob-Solvable Loops / E. Bartocci, L. Kovacs, S. Stankovic / Talk: Proc. of ICTAC 2020: the 17th International Colloquium on Theoretical Aspects of Computing, Macau S.A.R., China; 2020-11-30 - 2020-12-04; in: "Proc. of ICTAC 2020: the 17th International Colloquium on Theoretical Aspects of Computing", Springer, 12545 (2020), ISBN: 978-3-030-64275-4; 221 - 241
- Predictive monitoring with uncertainty for deep learning enabled smart cities: poster abstract / M. Meiyi, E. Bartocci, J. Stankovic, L. Feng / Talk: SenSys '20: Proceedings of the 18th Conference on Embedded Networked Sensor Systems, Virtual Event Japan; 2020-11-16 - 2020-11-19; in: "SenSys '20: Proceedings of the 18th Conference on Embedded Networked Sensor Systems", (2020), 711 - 712
- Probabilistic Hyperproperties with Nondeterminism / E. Abraham, E. Bartocci, B. Bonakdarpour, O. Dobe / Talk: Proc. of ATVA 2020: the 18th International Symposium on Automated Technology for Verification and Analysis, Hanoi, Vietnam; 2020-10-19 - 2020-10-23; in: "Proc. of ATVA 2020: the 18th International Symposium on Automated Technology for Verification and Analysis", 12302 (2020), ISBN: 978-3-030-59151-9; 518 - 534
- Monitoring Spatio-Temporal Properties (Invited Tutorial) / L. Nenzi, E. Bartocci, L. Bortolussi, M. Loreti, E. Visconti / Talk: Proc. of RV 2020: the 20th International Conference on Runtime Verification, Los Angeles, CA (Virtual); 2020-10-06 - 2020-10-09; in: "Proc. of RV 2020: the 20th International Conference on Runtime Verification", Springer, 12399 (2020), ISBN: 978-3-030-60507-0; 21 - 46
- MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties / E. Bartocci, L. Bortolussi, M. Loreti, L. Nenzi, S. Silvetti / Talk: Proc. of RV 2020: the 20th International Conference on Runtime Verification, Los Angeles, CA (Virtual); 2020-10-06 - 2020-10-09; in: "Proc. of RV 2020: the 20th International Conference on Runtime Verification", L. Nenzi (ed.); Springer, 12399 (2020), ISBN: 978-3-030-60507-0; 417 - 428
- Runtime Verification of Autonomous Driving Systems in CARLA / E. Zapridou, E. Bartocci, P. Katsaros / Talk: Proc. of RV 2020: the 20th International Conference on Runtime Verification, Los Angeles, CA (Virtual); 2020-10-06 - 2020-10-09; in: "Proc. of RV 2020: the 20th International Conference on Runtime Verification", Springer, 12399 (2020), ISBN: 978-3-030-60507-0; 172 - 183
- CPSDebug: a tool for explanation of failures in cyber-physical systems / E. Bartocci, N. Manjunath, L. Mariani, C. Mateis, D. Nickovic, F. Pastore / Talk: Proc. of ISSTA 2020: the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA; 2020-07-18 - 2020-07-22; in: "Proc. of ISSTA 2020: the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis", ACM, (2020), ISBN: 978-1-4503-8008-9; 569 - 572
- Parameter Synthesis for Probabilistic Hyperproperties / E. Abraham, E. Bartocci, B. Bonakdarpour, O. Dobe / Talk: Proc. of LPAR 2020: the 23rd International Conference on Logic for Programming, Alicante, Spain (Virtual due to covid19); 2020-05-22 - 2020-05-27; in: "Proc. of LPAR 2020: the 23rd International Conference on Logic for Programming", (2020), 12 - 31
- Mora - Automatic Generation of Moment-Based Invariants / E. Bartocci, L. Kovacs, S. Stankovic / Talk: Proc. of TACAS 2020: the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Dublin, Ireland; 2020-04-25 - 2020-04-30; in: "Proc. of TACAS 2020: the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems", Springer, 12078 (2020), ISBN: 978-3-030-45189-9; 492 - 498
- SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities / M. Meiyi, E. Bartocci, E. Lifland, J. Stankovic, L. Feng / Talk: Proc. of ICCPS 2020: the ACM/IEEE 11th International Conference on Cyber-Physical Systems, Sydney, Australia, Australia; 2020-04-21 - 2020-04-25; in: "Proc. of ICCPS 2020: the ACM/IEEE 11th International Conference on Cyber-Physical Systems", IEEE, (2020), ISBN: 978-1-7281-5502-9; 51 - 62
- Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems / F. Shmarov, S. Soudjani, N. Paoletti, E. Bartocci, S. Lin, S. Smolka, P. Zuliani / IEEE Access, 8 (2020), 8; 180825 - 180843
- Mining Shape Expressions from Positive Examples / E. Bartocci, J. Deshmukh, F. Gliger, C. Mateis, D. Nickovic, X. Qin / IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39 (2020), 11; 3809 - 3820
2019
- Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics / I. Haghighi, N. Mehdipour, E. Bartocci, C. Belta / Talk: 2019 IEEE Conference on Decision and Control (CDC), Nice, France; 2019-12-11 - 2019-12-13; in: "Proc. of CDC 2019: the 2019 IEEE Conference on Decision and Control", IEEE, (2019)
- Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops / E. Bartocci, L. Kovacs, S. Stankovic / Talk: ATVA 2019: the 17th International Symposium on Automated Technology for Verification and Analysis, Taipei, Taiwan; 2019-10-28 - 2019-10-31; in: "Proc. of ATVA 2019: the 17th International Symposium on Automated Technology for Verification and Analysis", 11781 (2019), 255 - 276
- Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting / P. Piho, F. Margetiny, E. Bartocci, R. Ribchester, J. Hillston / Talk: 17th International Conference on Computational Methods in Systems Biology, Trieste; 2019-09-18 - 2019-09-20; in: "Proc. of CMSB 2019: the 17th International Conference on Computational Methods in Systems Biology", 11773 (2019), 120 - 139
- Automatic Failure Explanation in CPS Models / E. Bartocci, N. Manjunath, L. Mariani, C. Mateis, D. Nickovic / Talk: 17th International Conference on Software Engineering and Formal Methods, Oslo, Norway; 2019-09-18 - 2019-09-20; in: "Proc. of SEFM 2019: the 17th International Conference on Software Engineering and Formal Methods", 11724 (2019), 69 - 86
- Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty / H. Kong, E. Bartocci, Y. Jiang, T. Henzinger / Talk: 17th International Conference on Formal Modeling and Analysis of Timed Systems, Amsterdam, The Netherlands; 2019-08-27 - 2019-08-29; in: "Proc. of FORMATS 2019: the 17th International Conference on Formal Modeling and Analysis of Timed Systems", 11750 (2019), 123 - 141
- Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home / C. Hirsch, E. Bartocci, R. Grosu / Talk: 2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT), Ancona, Italien; 2019-06-19 - 2019-06-21; in: "2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT)", (2019), ISSN: 0747-668x; 97 - 102
- Adaptive Fault Detection exploiting Redundancy with Uncertainties in Space and Time / D. Ratasich, M. Platzer, R. Grosu, E. Bartocci / Talk: 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Umeå, Sweden; 2019-06-16 - 2019-06-20; in: "2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)", IEEE, (2019), 23 - 32
- TOOLympics 2019: An Overview of Competitions in Formal Methods / E. Bartocci, D. Beyer, P. Black et al. / Talk: Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS, Prague, Czech Republic; 2019-04-06 - 2019-04-11; in: "Proc. of Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS", 11429 (2019), 3 - 24
- International Competition on Runtime Verification (CRV) / E. Bartocci, Y. Falcone, G. Reger / Talk: Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS, Prague, Czech Republic (invited); 2019-04-06 - 2019-04-11; in: "Proc. of Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS", 11429 (2019), 41 - 49
- From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / E. Bartocci, R. Cleaveland, R. Grosu, O. Sokolsky / Springer-Verlag Berlin Heidelberg, Berlin Heidelberg, 2019, ISBN: 978-3-030-31513-9; 301 pages
- Quantitative Regular Expressions for Arrhythmia Detection / H. Abbas, A. Rodionova, K. Mamouras, E. Bartocci, S. Smolka, R. Grosu / IEEE/ACM Transactions on Computational Biology and Bioinformatics, 16 (2019), 5; 1586 - 1597
- 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, K Havelund, Y. Joshi, K. Felix et al. / International Journal on Software Tools for Technology Transfer, 21 (2019), 1; 31 - 70
- Parallel reachability analysis of hybrid systems in XSpeed / A. Gurung, R. Ray, E. Bartocci, S. Bogomolov, R. Grosu / International Journal on Software Tools for Technology Transfer, 21 (2019), 1; 401 - 423
- 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, Y. Falcone, A. Francalanza, S. Krstic, J. Lourenço, D. Nickovic, G. Pace, J. Rufino, S. Signoles, D. Traytel, A. Weiss / Formal Methods in System Design, 54 (2019), 3; 279 - 335
- 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 (2019), 1; 24 pages
2018
- Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial) / E. Bartocci / Talk: Proc. of RV 2018: the 18th International Conference on Runtime Verification, Limassol, Cyprus; 2018-11-10 - 2018-11-13; in: "Proc. of RV 2018: the 18th International Conference on Runtime Verification", 11237 (2018), 35 - 42
- RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction) / E. Bartocci, Y. Falcone / Talk: Proc. of ISoLA 2018: the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, Limassol, Cyprus; 2018-11-05 - 2018-11-09; in: "Proc. of ISoLA 2018: the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice", Springer International Publishing, 11247 (2018), 3 - 8
- Signal Convolution Logic / S. Silvetti, L. Nenzi, E. Bartocci, L. Bortolussi / Talk: Proc. of ATVA 2018: the 16th International Symposium on Automated Technology for Verification and Analysis, Los Angeles, CA, USA; 2018-10-07 - 2018-10-10; in: "Proc. of ATVA 2018: the 16th International Symposium on Automated Technology for Verification and Analysis", 11138 (2018), 267 - 283
- Parameter-Independent Strategies for pMDPs via POMDPs / S. Arming, E. Bartocci, K. Chatterjee, J. Katoen, A. Sokolova / Poster: Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems, Beijing, China; 2018-09-04 - 2018-09-07; in: "Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems", 11024 (2018), 53 - 70
- A Robust Genetic Algorithm for Learning Temporal Specifications from Data / L. Nenzi, S. Silvetti, E. Bartocci, L. Bortolussi / Talk: Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems, Beijing, China; 2018-09-04 - 2018-09-07; in: "Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems", 11024 (2018), 323 - 338
- Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes / H. Kong, E. Bartocci, T. Henzinger / Talk: Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I, Oxford, UK; 2018-07-14 - 2018-07-17; in: "Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I", 10981 (2018), 449 - 467
- A Counting Semantics for Monitoring LTL Specifications over Finite Traces / E. Bartocci, R. Bloem, D. Nickovic, F. Roeck / Talk: Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I, Oxford, UK; 2018-07-14 - 2018-07-17; in: "Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I", 10981 (2018), 547 - 564
- Verifying nonlinear analog and mixed-signal circuits with inputs / C. Fan, Y. Meng, J. Maier, E. Bartocci, S. Mitra, U. Schmid / Talk: Proc. of ADHS 2018: the 6th IFAC Conference on Analysis and Design of Hybrid Systems, Oxford, UK; 2018-07-11 - 2018-07-13; in: "Proc. of ADHS 2018: the 6th IFAC Conference on Analysis and Design of Hybrid Systems", IFAC-PapersOnLine, 51 / 16 (2018), 241 - 246
- Localizing Faults in Simulink/Stateflow Models with {STL} / E. Bartocci, T. Ferrere, N. Manjunath, D. Nickovic / Talk: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of {CPS} Week), Porto, Portugal; 2018-04-11 - 2018-04-13; in: "Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of {CPS} Week)", (2018), 197 - 206
- Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications / E. Bartocci, R.G. Deshmukh, D. Donze, G. Fainekos, O. Maler, D. Nickovic, S. Sankaranarayanan / in: "Lectures on Runtime Verification - Introductory and Advanced Topics", 10457; Springer-Verlag Berlin Heidelberg, 2018, ISBN: 978-3-319-75631-8, 135 - 175
- Introduction to Runtime Verification / E. Bartocci, Y. Falcone, A. Francalanza, G. Reger / in: "Lectures on Runtime Verification - Introductory and Advanced Topics", 10457; Springer-Verlag Berlin Heidelberg, 2018, ISBN: 978-3-319-75631-8, 1 - 33
- Lectures on Runtime Verification - Introductory and Advanced Topics / E. Bartocci, Y. Falcone / Springer-Verlag Berlin Heidelberg, Berlin Heidelberg, 2018, ISBN: 978-3-319-75631-8; 232 pages
- Quantitative monitoring of STL with edit distance / S. Jaksic, E. Bartocci, R. Grosu, T. Nguyen, D. Nickovic / Formal Methods in System Design, 53 (2018), 1; 83 - 112
- An algebraic framework for runtime verification / S. Jaksic, E. Bartocci, R. Grosu, D. Nickovic / IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 37 (2018), 11; 2233 - 2243
- A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks / E. Bartocci, E. Aydin Gol, I. Haghighi, C. Belta / IEEE Transactions on Control of Network Systems, 5 (2018), 1; 308 - 320
- Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016) / E. Bartocci, P. Lio, N. Paoletti / IEEE/ACM Transactions on Computational Biology and Bioinformatics, 15 (2018), 4; 1122 - 1123
2017
- SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems / F. Shmarov, N. Paoletti, E. Bartocci, S. Li, S. Smolka, P. Zuliani / Talk: Proc. of HVC 2017: the 13th IBM Haifa Verification Conference, Haifa, Israel; 2017-11-15 - 2017-11-17; in: "Proc. of HVC 2017: the 13th IBM Haifa Verification Conference", Springer, 10629 (2017), 131 - 146
- Monitoring Mobile and Spatially Distributed Cyber-Physical Systems / E. Bartocci, L. Bortolussi, M. Loreti, L. Nenzi / Talk: MEMOCODE 2017: the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, Vienna, Austria; 2017-09-29 - 2017-10-02; in: "Proc. of MEMOCODE 2017: the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design", ACM, (2017), 146 - 155
- Quantitative Regular Expressions for Arrhythmia Detection Algorithms / H. Abbas, A. Rodionova, E. Bartocci, S. Smolka, R. Grosu / Talk: CMSB 2017: the 15th International Conference on Computational Methods in Systems Biology, Darmstadt, Germany; 2017-09-27 - 2017-09-29; in: "Proc. of CMSB 2017: the 15th International Conference on Computational Methods in Systems Biology", Springer, 10545 (2017), 23 - 39
- A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage / M. Baldi, E. Bartocci, F. Chiaraluce, A. Cucchiarelli, L. Senigagliesi, L. Spalazzi, F. Spegni / Talk: QEST 2017: the 14th International Conference on Quantitative Evaluation of SysTems, Berlin, Germany; 2017-09-05 - 2017-09-07; in: "Proc. of QEST 2017: the 14th International Conference on Quantitative Evaluation of SysTems", Springer, 10503 (2017), ISBN: 978-3-319-66335-7; 123 - 139
- Runtime Monitoring with Recovery of the SENT Communication Protocol / K. Selyunin, S. Jaksic, T. Nguyen, C. Reidl, U. Hafner, E. Bartocci, D. Nickovic, R. Grosu / Talk: CAV 2017: the 29th International Conference on Computer-Aided Verification, Heidelberg, Germany; 2017-07-24 - 2017-07-28; in: "Proc. of CAV 2017: the 29th International Conference on Computer-Aided Verification", Springer, 10426 (2017), 336 - 355
- A Linear Programming-based iterative approach to Stabilizing Polynomial Dynamics / M. Ben Sassi, E. Bartocci, S. Sankaranarayanan / Talk: IFAC 2017: the 20th World Congress of the International Federation of Automatic Control, Toulouse, France; 2017-07-09 - 2017-07-14; in: "IFAC 2017: the 20th World Congress of the International Federation of Automatic Control", Elsevier, 50 (1) (2017), 10462 - 10469
- Computing with Biophysical and Hardware-efficient Neural Models / K. Selyunin, R. Hasani, D. Ratasich, E. Bartocci, R. Grosu / Talk: IWANN 2017: 14th International Work-Conference on Artificial Neural Networks - Advances in Computational Intelligence, Cádiz, Spain; 2017-06-14 - 2017-06-17; in: "Proc.of IWANN 2017: 14th International Work-Conference on Artificial Neural Networks - Advances in Computational Intelligence", Springer, 10305 (2017), 535 - 547
- SEA-PARAM: Exploring Schedulers in Parametric MDPs / S. Arming, E. Bartocci, A. Sokolova / Talk: QAPL 2017: the 15 International Workshop on Quantitative Aspects of Programming Languages and Systems, Uppsala, Sweden; 2017-04-23; in: "Proc. of QAPL 2017: the 15 International Workshop on Quantitative Aspects of Programming Languages and Systems", EPCTS, 250 (2017), 25 - 38
- ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans / A. Lukina, L. Esterle, C. Hirsch, E. Bartocci, J. Yang, S. Smolka, A. Tiwari, R. Grosu / Talk: TACAS 2017: the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden; 2017-04-22 - 2017-04-29; in: "Proc. of TACAS 2017: the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems", Springer, 10206 (2017), 286 - 302
- Policy learning in Continuous-Time Markov Decision Processes using Gaussian Processes / E. Bartocci, L. Bortolussi, T. Brazdil, D. Milos, G. Sanguinetti / Performance Evaluation, 116 (2017), 84 - 100
2016
- Applying Runtime Monitoring for Automotive Electronic Development / K. Selyunin, T. Nguyen, E. Bartocci, R. Grosu / Talk: 7th International Conference on Runtime Verification, Madrid; 2016-12-23 - 2016-12-30; in: "Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings", Springer International Publishing, 10012 (2016), ISSN: 0302-9743; 462 - 469
- Quantitative Monitoring of STL with Edit Distance / S. Jaksic, E. Bartocci, R. Grosu, D. Nickovic / Talk: 7th International Conference on Runtime Verification, Madrid; 2016-12-23 - 2016-12-30; in: "Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings", Springer International Publishing, 10012 (2016), ISSN: 0302-9743; 201 - 218
- Parallel Reachability Analysis for Hybrid Systems / A. Gurung, D. Kumar, E. Bartocci, S. Bogomolov, R. Grosu, R. Ray / Talk: Proc. of MEMOCODE 2016: the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, ACM, 2016, Kanpur, India; 2016-11-18 - 2016-11-20; in: "Proc. of MEMOCODE 2016: the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, ACM, 2016", (2016), 12 - 22
- Discrete Abstraction of Multiaffine Systems / H. Kong, E. Bartocci, S. Bogomolov, R. Grosu, T. Henzinger, Y. Jiang, C. Schilling / Talk: Hybrid Systems Biology - 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings, Grenoble, France; 2016-10-20 - 2016-10-21; in: "Hybrid Systems Biology - 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings", Springer International Publishing, 9957 (2016), ISBN: 978-3-319-47151-8; 128 - 144
- Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction) / E. Bartocci, Y. Falcone / Talk: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, Corfú, Greece (invited); 2016-10-10 - 2016-10-14; in: "Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I", Springer International Publishing, 9952 (2016), ISBN: 978-3-319-47166-2; 333 - 338
- The HARMONIA project: Hardware Monitoring for Automotive Systems-of-Systems / T. Nguyen, E. Bartocci, D. Nickovic, R. Grosu, S. Jaksic, K. Selyunin / Talk: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, Corfú, Greece (invited); 2016-10-10 - 2016-10-14; in: "Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I", Springer International Publishing, 9952 (2016), ISBN: 978-3-319-47166-2; 371 - 379
- Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems / K. Kalajdzic, C. Jegourel, A. Legay, E. Bartocci, A. Lukina, S. Smolka, R. Grosu / Talk: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, Corfú, Greece; 2016-10-10 - 2016-10-14; in: "Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I", Springer International Publishing, 9952 (2016), ISBN: 978-3-319-47166-2; 46 - 61
- Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent / E. Bartocci, L. Bortolussi, T. Brazdil, D. Milos, G. Sanguinetti / Talk: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, Quebec City, QC, Canada; 2016-08-23 - 2016-08-25; in: "Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings", Springer International Publishing, 9826 (2016), ISBN: 978-3-319-43424-7; 244 - 259
- Monitoring of MTL Specifications With IBM's Spiking-Neuron Model / K. Selyunin, T. Nguyen, E. Bartocci, D. Nickovic, R. Grosu / Talk: Proc. of the 2016 Design, Automation & Test in Europe Conference & Exhibition, Dresden; 2016-04-14 - 2016-04-18; in: "Proc. of the 2016 Design, Automation & Test in Europe Conference & Exhibition", IEEE Computer Society, (2016), ISBN: 978-3-9815-3707-9; 924 - 929
- Temporal Logic as Filtering / A. Rodionova, E. Bartocci, D. Nickovic, R. Grosu / Talk: Proceeding HSCC '16 - the 19th International Conference on Hybrid Systems: Computation and Control, Vienna; 2016-04-12 - 2016-04-14; in: "Proceeding HSCC '16 - Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control", ACM, (2016), ISBN: 978-1-4503-3955-1; 11 - 20
- Applying High-Level Synthesis for Synthesizing Hardware Runtime STL Monitors of Mission-Critical Properties / K. Selyunin, T. Nguyen, A.D. Basa, E. Bartocci, D. Nickovic, R. Grosu / Talk: Design and Verification Conference and Exhibition, San Jose, USA; 2016-02-29 - 2016-03-03; in: "Design and Verification Conference and Exhibition", Online, (2016), 8 pages
- Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings / E. Bartocci, P. Lio, N. Paoletti / Springer International Publishing, Switzerland, 2016, ISBN: 978-3-319-45176-3; 356 pages
- Computational modeling, formal analysis and tools for systems biology / E. Bartocci, P. Lio / PLoS Computational Biology, 12 (2016), 1; 1 - 22
- Preface of the special issue on Model Checking of Software - Selected papers of the 20th International SPIN Symposium on Model Checking of Software / E. Bartocci, C. Ramakrishnan / International Journal on Software Tools for Technology Transfer, 18 (2016), 355 - 357
2015
- Neural Programming: Towards Adaptive Control in Cyber-Physical Systems / K. Selyunin, D. Ratasich, E. Bartocci, A. Islam, S. Smolka, R. Grosu / Talk: 54th IEEE Conference on Decision and Control, Osaka, Japan; 2015-12-15 - 2015-12-18; in: "Proc. of CDC 2015: the 54th IEEE Conference on Decision and Control", IEEE Computer Society, (2015), ISBN: 978-1-4799-7884-7; 6978 - 6985
- XSpeed: Accelerating Reachability Analysis on MultiCore Processors / R. Rajarshi, G. Amit, D. Binayak, E. Bartocci, S. Bogomolov, R. Grosu / Keynote Lecture: the 11th Haifa Verification Conference (HVC), Haifa, Israel; 2015-11-17 - 2015-11-19; in: "Proc. of HVC 2015: the 11th Haifa Verification Conference, Haifa, Israel, November, 2015", LNCS / Springer, 9434 (2015), ISBN: 978-3-319-26286-4; 3 - 18
- Abstraction-based Parameter Synthesis for Multiaffine Systems / S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, R. Grosu / Talk: the 11th Haifa Verification Conference (HVC), Haifa, Israel; 2015-11-17 - 2015-11-19; in: "Proc. of HVC 2015: the 11th Haifa Verification Conference", LNCS / Springer, 9434 (2015), ISBN: 978-3-319-26286-4; 19 - 35
- From Signal Temporal Logic to FPGA Monitors / S. Jaksic, E. Bartocci, R. Grosu, R. Kloibhofer, T. Nguyen, D. Nickovic / Talk: 13th ACM-IEEE International Conference on Formal Methods and Models for System Design, Austin, TX, USA; 2015-09-21 - 2015-09-23; in: "Proc. of MEMOCODE 2015: the 13th ACM-IEEE International Conference on Formal Methods and Models for System Design", IEEE, (2015), 218 - 227
- Studying Emergent Behaviours in Morphogenesis using Signal Spatio-Temporal Logic / E. Bartocci, L. Bortolussi, D. Milos, L. Nenzi, G. Sanguinetti / Talk: 4th International Workshop on Hybrid Systems Biology (HSB), Madrid; 2015-09-04 - 2015-09-05; in: "Proc. of HSB 15: the 4th International Workshop on Hybrid Systems Biology", LNCS / LNBI / Springer, vol. 9271 (2015), 1 - 17
- SpaTeL: A Novel Spatial-Temporal Logic and Its Applications to Networked Systems / I. Haghighi, A. Jones, J. Kong, E. Bartocci, R. Grosu, C. Belta / Talk: 18th International Conference on Hybrid Systems: Computation and Control (HSCC), Seattle, USA; 2015-04-13 - 2015-04-15; in: "Proc. of HSCC 2015: the 18th International Conference on Hybrid Systems: Computation and Control", ACM, (2015), ISBN: 978-1-4503-3433-4; 189 - 198
- Runtime Verification - 6th International Conference, {RV} 2015 Vienna, Austria, September 22-25, 2015. Proceedings / E. Bartocci, R. Majumdar / Springer International Publishing, Switzerland, 2015, ISBN: 978-3-319-23819-7; 432 pages
- Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation / I. Ariful, A. Murthy, E. Bartocci, E. Cherry, F. Fenton, J. Glimm, S. Smolka, R. Grosu / Theoretical Computer Science, 599 (2015), 34 - 46
- System Design of Stochastic Models using Robustness of Temporal Properties / E. Bartocci, L. Bortolussi, L. Nenzi, G. Sanguinetti / Theoretical Computer Science, 587 (2015), 3 - 25
2014
- A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems / E. Aydin Gol, E. Bartocci, C. Belta / Talk: 53rd IEEE Inter. Conference on Decision and Control (CDC), Los Angeles; 2014-12-15 - 2014-12-17; in: "Proc. of CDC 2014: the IEEE 53rd Annual Conference on Decision and Control", IEEE, (2014), ISBN: 978-1-4799-7746-8; 108 - 113
- Medical Cyber-Physical Systems - (Track Introduction) / E. Bartocci, S. Gao, S. Smolka / Talk: 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), Corfu (invited); 2014-10-08 - 2014-10-11; in: "Proc. of ISoLA: the 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation", (2014), 353 - 355
- Temporal Logic based Monitoring of Assisted Ventilaion in Intensive Care Patients / S. Bufo, E. Bartocci, G. Sanguinetti, M. Borelli, U. Lucangelo, L. Bortolussi / Talk: 6th International Symposium On Leveraging Applications of Formal Methods, Corfu', Greece (invited); 2014-10-08 - 2014-10-11; in: "Proc. of ISoLA: 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation", (2014), 391 - 403
- First International Competition of Software for Runtime Verification / E. Bartocci, B. Bonakdarpour, Y. Falcone / Talk: 14th International Conference on Runtime Verification, Canada (invited); 2014-09-22 - 2014-09-25; in: "Proc. of RV 2014: the 14th International Conference on Runtime Verification", (2014), 1 - 9
- Data-driven Statistical Learning of Temporal Properties / E. Bartocci, L. Bortolussi, G. Sanguinetti / Talk: 12th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Florence, Italy; 2014-09-08 - 2014-09-12; in: "Proc. of FORMATS 2014: the 12th International Conference on Formal Modeling and Analysis of Timed Systems", LNCS/Springer, vol. 8711 (2014), ISBN: 978-3-319-10511-6; 23 - 37
- Towards a GPGPU-parallel SPIN model checker / E. Bartocci, R. DeFrancisco, S. Smolka / Talk: 21th International SPIN Symposium on Model Checking of Software, San Jose, California; 2014-07-21 - 2014-07-23; in: "SPIN 2014: International SPIN Symposium on Model Checking of Software", ACM, (2014), ISBN: 978-1-4503-2452-6; 87 - 96
- Tracking Action Potentials of Nonlinear Excitable Cells using Model Predictive Control / I. Ariful, T. Deshpande, A. Murthy, E. Bartocci, S. Smolka, S. Stoller, R. Grosu / Talk: Sixth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO), Chamonix, France; 2014-04-20 - 2014-04-24; in: "Proc. of BIOTECHNO 2014: The Sixth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies", IARIA, (2014), ISBN: 978-1-61208-335-3; 52 - 58
- Cyber-Physical Systems: Theoretical and Practical Challenges / E. Bartocci, O. Höftberger, R. Grosu / ERCIM NEWS (invited), 2014 (2014), 97; 8 - 9
- Hybrid Systems and Biology / E. Bartocci, L. Bortolussi, S. Smolka / Information and Computation, 236 (2014), 1 - 2
2013
- Runtime Verification with Particle Filtering / K. Kalajdzic, E. Bartocci, S. Stoller, S. Smolka, R. Grosu / Talk: RV 2013, the Fourth International Conference on Runtime Verification, RENNES, France; 2013-09-24 - 2013-09-27; in: "Proc. of RV 2013, the Fourth International Conference on Runtime Verification", LNCS/Springer, 8174 (2013), ISBN: 978-3-642-40786-4; 149 - 166
- A temporal logic approach to modular design of synthetic biological circuits / E. Bartocci, L. Bortolussi, L. Nenzi / Talk: CMSB 2013: the 11th International Conference on Computational Methods in Systems Biology, Klosterneuburg, Austria; 2013-09-23 - 2013-09-25; in: "Proc. of CMSB 2013: the 11th International Conference on Computational Methods in Systems Biology", LNCS/Springer, vol. 8130 (2013), ISBN: 978-3-642-40707-9; 164 - 178
- On the Robustness of Temporal Properties for Stochastic Models / E. Bartocci, L. Bortolussi, L. Nenzi, G. Sanguinetti / Talk: HSB 2013: the 2nd International Workshop on Hybrid Systems and Biology, Taormina, Italy; 2013-09-02; in: "Proceedings of the Second International Workshop on Hybrid Systems and Biology", Electronic Proceedings on Theoretical Computer Science, vol. 125 (2013), ISSN: 2075-2180; 3 - 19
- Monitoring with uncertainty / E. Bartocci, R. Grosu / Keynote Lecture: HAS 2013, Rome, Italy (invited); 2013-03-17; in: "Proc. of HAS 2013: the Third International Workshop on Hybrid Autonomous Systems", Electronic Proceedings in Theoretical Computer Science, vol. 124 (2013), ISSN: 2075-2180; 4 pages
- Sampling-based Decentralized Monitoring for Networked Embedded Systems / E. Bartocci / Talk: HAS 2013, Rome, Italy; 2013-03-17; in: "Proc. of HAS 2013: the Third International Workshop on Hybrid Autonomous Systems", Electronic Proceedings in Theoretical Computer Science, vol. 124 (2013), ISSN: 2075-2180; 85 - 99
- Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings / E. Bartocci, C. Ramakrishnan / Springer-Verlag Berlin Heidelberg, Berlin Heidelberg, 2013, ISBN: 978-3-642-39175-0; 377 pages
- Curvature Analysis of Cardiac Excitation Wavefronts / A. Murthy, E. Bartocci, F. Fenton, J. Glimm, R. Gray, E. Cherry, S. Smolka, R. Grosu / IEEE/ACM Transactions on Computational Biology and Bioinformatics, 10 (2013), 2; 323 - 336
2012
- Approximate Bisimulations for Sodium Channel Dynamics / A. Murthy, I. Ariful, E. Bartocci, E. Cherry, F. Fenton, J. Glimm, S. Smolka, R. Grosu / Talk: The 10th ACM International Conference on Computational Methods in Systems Biology (CMSB 2012), London, UK; 2012-10-03 - 2012-10-05; in: "Proc. of CMSB 2012: the 10th ACM International Conference on Computational Methods in Systems Biology", LNCS / Springer, vol. 7605 (2012), ISBN: 978-3-642-33635-5; 267 - 287
- On Temporal Logic and Signal Processing / D. Donze, O. Maler, E. Bartocci, D. Nickovic, R. Grosu, S. Smolka / Talk: Automated Technology for Verification and Analysis (ATVA), Thiruvananthapuram, India; 2012-10-03 - 2012-10-06; in: "Proceedings of ATVA 2012, the 10th International Symposium on Automated Technology for Verification and Analysis", LNCS/Springer, vol. 7561 (2012), ISBN: 978-3-642-33385-9; 92 - 106
- Adaptive Runtime Verification / E. Bartocci, R. Grosu, A. Karmarkar, S. Smolka, S. Stoller, J. Seyster / Talk: RV 2012: the 3rd International Conference on Runtime Verification, Istanbul; 2012-09-25 - 2012-09-28; in: "Proc. of RV 2012: the 3rd International Conference on Runtime Verification", LNCS / Springer, vol. 7687 (2012), ISSN: 0302-9743; 168 - 182
- Proceedings First International Workshop on Hybrid Systems and Biology / E. Bartocci, L. Bortolussi / Electronic Proceedings in Theoretical Computer Science, 2012, ISSN: 2075-2180
- UBioLab: a web-LABoratory for Ubiquitous in-silico experiments / E. Bartocci, D. Cacciagrano, M. Di Berardini, E. Merelli, L. Vito / Journal of Integrative Bioinformatics, 9 (2012), 1; 1 - 20
- Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study / E. Bartocci, P. Lio, E. Merelli, N. Paoletti / Transactions on Computational Systems Biology, XIV (2012), 53 - 76
2011
- Runtime Verification with State Estimation / S. Stoller, E. Bartocci, J. Seyster, R. Grosu, K Havelund, S. Smolka, E. Zadok / Talk: RV 2011: Proc. of the 2nd International Conference on Runtime Verification, San Francisco (CA), USA; 2011-09-27 - 2011-09-30; in: "RV 2011: Proc. of the 2nd International Conference on Runtime Verification", LNCS / Springer Berlin Heidelberg, vol. 7186 (2012), ISBN: 978-3-642-29859-2; 193 - 207
- Curvature analysis of cardiac excitation wavefronts / A. Murthy, E. Bartocci, F. Fenton, J. Glimm, R. Gray, S. Smolka, R. Grosu / Poster: CMSB 2011: the 9th ACM International Conference on Computational Methods in Systems Biology, Paris, France; 2011-09-21 - 2011-09-23; in: "Proc. of CMSB 2011: the 9th ACM International Conference on Computational Methods in Systems Biology", ACM, (2011), ISBN: 978-1-4503-0817-5; 103 - 112
- Toward real-time simulation of cardiac dynamics / E. Bartocci, E. Cherry, J. Glimm, R. Grosu, S. Smolka / Talk: CMSB 2011: the 9th ACM International Conference on Computational Methods in Systems Biology, Paris, France; 2011-09-21 - 2011-09-23; in: "Proc. of CMSB 2011: the 9th ACM International Conference on Computational Methods in Systems Biology", ACM, (2011), ISBN: 978-1-4503-0817-5; 103 - 112
- From Cardiac Cells to Genetic Regulatory Network / R. Grosu, G. Batt, F. Fenton, J. Glimm, C. Le Guernic, S. Smolka, E. Bartocci / Talk: CAV 2011: the 23rd International Conference on Computer Aided Verification, Snowbird, UT, USA; 2011-07-14 - 2011-07-20; in: "CAV 2011: the 23rd International Conference on Computer Aided Verification", LNCS / Springer, vol. 6806 (2011), ISSN: 0302-9743; 396 - 411
- Model Repair for Probabilistic Systems / E. Bartocci, R. Grosu, P. Katsaros, C. Ramakrishnan, S. Smolka / Talk: 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Saarbrücken, Germany; 2011-03-26 - 2011-04-03; in: "Proc. of 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)", LNCS / Springer, vol. 6605 (2011), ISBN: 978-3-642-19834-2; 326 - 340
- Teaching cardiac electrophysiology modeling to undergraduate students: Laboratory exercises and GPU programming for the study of arrhythmias and spiral wave dynamics / E. Bartocci et al. / Advances in Physiology Education, 35 (2011), 4; 427 - 437
- Modeling the cell cycle: From deterministic models to hybrid systems / R. Alfieri, E. Bartocci, E. Merelli, L. Milanesi / Biosystems, 105 (2011), 1; 34 - 40
Supervisions
Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.
- Intermediate logics and concurrent lambda-calculi: a proof theoretic approach / Doctoral Thesis by F. Genco / Supervisor, Reviewer: A. Ciabattoni, E. Bartocci; Institut für Logic und Computation, 2019; oral examination: 2019-05-08
- The Hobel algorithm - SAT Lösung mit GPU über DPLL / Master Thesis by C. Vazcula / Supervisor: E. Bartocci, A. Biere; Institute of Computer Engineering, 2016
Awards
-
Best Paper of QEST 2022 International Conference
2022 / 19th International Conference on Quantitative Evaluation of SysTems / Poland -
Best Software Science Paper of the European Joint Conferences on Theory and Practice of Software (ETAPS) 2022
2022 / European Association of Software Science and Technology (EASST) / Germany / Website
And more…
Soon, this page will include additional information such as reference projects, activities as journal reviewer and editor, memberships in councils and committees, and other research activities.
Until then, please visit Ezio Bartocci’s research profile in TISS .