Ezio Bartocci
Univ.Prof. Dr.
Research Focus
 Computer Engineering: 100%
About
He is a Full Professor for Formal Methods in CyberPhysical Systems Engineering at the Faculty of Computer Science TU Wien, and he is leading the Trustworthy CyberPhysical Systems (TrustCPS) Group of the CyberPhysical System Research Unit. The primary focus of his 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, cyberphysical systems and biological systems. On these topics he coauthored more than 100 referred papers published in the main international journals and toptier conferences of his research areas (CAV, ICCPS, TACAS, ATVA, CDC, EMSOFT, HSCC, etc.), generating more than 2900 citations (hindex >= 32) according to Google Scholar.
He joined the Faculty of Informatics at TU Wien in 2012 as University Assistant. In Dec. 2014 he won a "Laufbahnstelle" becoming a tenuretrack Assistant Professor. He was promoted to tenured Associate Professor in May 2019 and to Full Professor in Dec 2020. Previously he was a postdoctoral 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/INF05) in Italy. In 2019 he received the Habilitation (Venia Docendi) in Computer Science at the Faculty of Informatics of TU Wien.
He cochaired 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 CSRV2014, 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 CyberPhysical Systems in Vienna (2016). He serves as Editorial Board Member of the International Journal of Information and Computation (Elsevier) and of the International Journal of Electronics  Section of Computer Science & Engineering (MDPI). He is a permanent member of the Steering Committee of the International Conference of Runtime Verification. He represented Austria in the management committee of the EU COST ICT action ARVI on Runtime Verification and he cochairs the RV core working group in this action. He is currently the local project leader for the TU Wien of IoT4CPS and he is the scientific coordinator of the recently funded WWTF ICT project ProbInG. He was also the General Chair of QONFEST 2020, the umbrella conference comprising the joint international 2020 meetings: CONCUR 2020, FMICS 2020, FORMATS 2020, QEST 2020, alongside with several workshops and tutorials.
Roles

Full Professor
CyberPhysical Systems, E19101 
Faculty Council
Principal Member
Courses
2020W
 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
 Seminar Computer Engineering / 182.760 / SE
 Seminar for Master Students in Computer Engineering / 180.778 / SE
 Seminar for PhD students / 182.008 / SE
2021S
 Introduction to Logical Methods in Computer Science / 184.766 / VO
 Research Seminar LogiCS / 184.767 / SE
Projects

Distribution Recovery for Invariant Generation of Probabilistic
Programs
2020 – 2024 / Vienna Science and Technology Fund (WWFT) 
Highdimensional 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
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; 20201214  20201215
 Analysis of Bayesian Networks via ProbSolvable 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; 20201130  20201204; in: "Proc. of ICTAC 2020: the 17th International Colloquium on Theoretical Aspects of Computing", Springer, 12545 (2020), ISBN: 9783030642754; 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; 20201116  20201119; 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; 20201019  20201023; in: "Proc. of ATVA 2020: the 18th International Symposium on Automated Technology for Verification and Analysis", 12302 (2020), ISBN: 9783030591519; 518  534
 Monitoring SpatioTemporal 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); 20201006  20201009; in: "Proc. of RV 2020: the 20th International Conference on Runtime Verification", Springer, 12399 (2020), ISBN: 9783030605070; 21  46
 MoonLight: A Lightweight Tool for Monitoring SpatioTemporal 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); 20201006  20201009; in: "Proc. of RV 2020: the 20th International Conference on Runtime Verification", L. Nenzi (ed.); Springer, 12399 (2020), ISBN: 9783030605070; 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); 20201006  20201009; in: "Proc. of RV 2020: the 20th International Conference on Runtime Verification", Springer, 12399 (2020), ISBN: 9783030605070; 172  183
 CPSDebug: a tool for explanation of failures in cyberphysical 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; 20200718  20200722; in: "Proc. of ISSTA 2020: the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis", ACM, (2020), ISBN: 9781450380089; 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); 20200522  20200527; in: "Proc. of LPAR 2020: the 23rd International Conference on Logic for Programming", (2020), 12  31
 Mora  Automatic Generation of MomentBased 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; 20200425  20200430; in: "Proc. of TACAS 2020: the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems", Springer, 12078 (2020), ISBN: 9783030451899; 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 CyberPhysical Systems, Sydney, Australia, Australia; 20200421  20200425; in: "Proc. of ICCPS 2020: the ACM/IEEE 11th International Conference on CyberPhysical Systems", IEEE, (2020), ISBN: 9781728155029; 51  62
 Automated Synthesis of Safe Digital Controllers for SampledData 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 ComputerAided 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; 20191211  20191213; in: "Proc. of CDC 2019: the 2019 IEEE Conference on Decision and Control", IEEE, (2019)
 Automatic Generation of MomentBased Invariants for ProbSolvable Loops / E. Bartocci, L. Kovacs, S. Stankovic / Talk: ATVA 2019: the 17th International Symposium on Automated Technology for Verification and Analysis, Taipei, Taiwan; 20191028  20191031; in: "Proc. of ATVA 2019: the 17th International Symposium on Automated Technology for Verification and Analysis", 11781 (2019), 255  276
 Extending a HodgkinHuxley 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; 20190918  20190920; 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; 20190918  20190920; 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; 20190827  20190829; 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; 20190619  20190621; in: "2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT)", (2019), ISSN: 0747668x; 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 SelfAdaptive and SelfOrganizing Systems, Umeå, Sweden; 20190616  20190620; in: "2019 IEEE 13th International Conference on SelfAdaptive and SelfOrganizing 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; 20190406  20190411; 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); 20190406  20190411; 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 CyberPhysical Systems  Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / E. Bartocci, R. Cleaveland, R. Grosu, O. Sokolsky / SpringerVerlag Berlin Heidelberg, Berlin Heidelberg, 2019, ISBN: 9783030315139; 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 CyberPhysical 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 CyberPhysical Systems with STL (Tutorial) / E. Bartocci / Talk: Proc. of RV 2018: the 18th International Conference on Runtime Verification, Limassol, Cyprus; 20181110  20181113; in: "Proc. of RV 2018: the 18th International Conference on Runtime Verification", 11237 (2018), 35  42
 RVTheToP: 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; 20181105  20181109; 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; 20181007  20181010; in: "Proc. of ATVA 2018: the 16th International Symposium on Automated Technology for Verification and Analysis", 11138 (2018), 267  283
 ParameterIndependent 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; 20180904  20180907; 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; 20180904  20180907; in: "Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems", 11024 (2018), 323  338
 Reachable Set OverApproximation 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 1417, 2018, Proceedings, Part I, Oxford, UK; 20180714  20180717; in: "Computer Aided Verification  30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 1417, 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 1417, 2018, Proceedings, Part I, Oxford, UK; 20180714  20180717; in: "Computer Aided Verification  30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 1417, 2018, Proceedings, Part I", 10981 (2018), 547  564
 Verifying nonlinear analog and mixedsignal 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; 20180711  20180713; in: "Proc. of ADHS 2018: the 6th IFAC Conference on Analysis and Design of Hybrid Systems", IFACPapersOnLine, 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; 20180411  20180413; in: "Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of {CPS} Week)", (2018), 197  206
 SpecificationBased Monitoring of CyberPhysical 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; SpringerVerlag Berlin Heidelberg, 2018, ISBN: 9783319756318, 135  175
 Introduction to Runtime Verification / E. Bartocci, Y. Falcone, A. Francalanza, G. Reger / in: "Lectures on Runtime Verification  Introductory and Advanced Topics", 10457; SpringerVerlag Berlin Heidelberg, 2018, ISBN: 9783319756318, 1  33
 Lectures on Runtime Verification  Introductory and Advanced Topics / E. Bartocci, Y. Falcone / SpringerVerlag Berlin Heidelberg, Berlin Heidelberg, 2018, ISBN: 9783319756318; 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 ComputerAided 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
 SMTbased 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; 20171115  20171117; in: "Proc. of HVC 2017: the 13th IBM Haifa Verification Conference", Springer, 10629 (2017), 131  146
 Monitoring Mobile and Spatially Distributed CyberPhysical Systems / E. Bartocci, L. Bortolussi, M. Loreti, L. Nenzi / Talk: MEMOCODE 2017: the 15th ACMIEEE International Conference on Formal Methods and Models for System Design, Vienna, Austria; 20170929  20171002; in: "Proc. of MEMOCODE 2017: the 15th ACMIEEE 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; 20170927  20170929; 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; 20170905  20170907; in: "Proc. of QEST 2017: the 14th International Conference on Quantitative Evaluation of SysTems", Springer, 10503 (2017), ISBN: 9783319663357; 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 ComputerAided Verification, Heidelberg, Germany; 20170724  20170728; in: "Proc. of CAV 2017: the 29th International Conference on ComputerAided Verification", Springer, 10426 (2017), 336  355
 A Linear Programmingbased 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; 20170709  20170714; in: "IFAC 2017: the 20th World Congress of the International Federation of Automatic Control", Elsevier, 50 (1) (2017), 10462  10469
 Computing with Biophysical and Hardwareefficient Neural Models / K. Selyunin, R. Hasani, D. Ratasich, E. Bartocci, R. Grosu / Talk: IWANN 2017: 14th International WorkConference on Artificial Neural Networks  Advances in Computational Intelligence, Cádiz, Spain; 20170614  20170617; in: "Proc.of IWANN 2017: 14th International WorkConference on Artificial Neural Networks  Advances in Computational Intelligence", Springer, 10305 (2017), 535  547
 SEAPARAM: 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; 20170423; in: "Proc. of QAPL 2017: the 15 International Workshop on Quantitative Aspects of Programming Languages and Systems", EPCTS, 250 (2017), 25  38
 ARES: Adaptive RecedingHorizon 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; 20170422  20170429; 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 ContinuousTime 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; 20161223  20161230; in: "Runtime Verification  16th International Conference, RV 2016, Madrid, Spain, September 2330, 2016, Proceedings", Springer International Publishing, 10012 (2016), ISSN: 03029743; 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; 20161223  20161230; in: "Runtime Verification  16th International Conference, RV 2016, Madrid, Spain, September 2330, 2016, Proceedings", Springer International Publishing, 10012 (2016), ISSN: 03029743; 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 ACMIEEE International Conference on Formal Methods and Models for System Design, ACM, 2016, Kanpur, India; 20161118  20161120; in: "Proc. of MEMOCODE 2016: the 14th ACMIEEE 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 2021, 2016, Proceedings, Grenoble, France; 20161020  20161021; in: "Hybrid Systems Biology  5th International Workshop, HSB 2016, Grenoble, France, October 2021, 2016, Proceedings", Springer International Publishing, 9957 (2016), ISBN: 9783319471518; 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 1014, 2016, Proceedings, Part I, Corfú, Greece (invited); 20161010  20161014; in: "Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques  7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 1014, 2016, Proceedings, Part I", Springer International Publishing, 9952 (2016), ISBN: 9783319471662; 333  338
 The HARMONIA project: Hardware Monitoring for Automotive SystemsofSystems / 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 1014, 2016, Proceedings, Part I, Corfú, Greece (invited); 20161010  20161014; in: "Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques  7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 1014, 2016, Proceedings, Part I", Springer International Publishing, 9952 (2016), ISBN: 9783319471662; 371  379
 Model Checking as Control: Feedback Control for Statistical Model Checking of CyberPhysical 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 1014, 2016, Proceedings, Part I, Corfú, Greece; 20161010  20161014; in: "Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques  7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 1014, 2016, Proceedings, Part I", Springer International Publishing, 9952 (2016), ISBN: 9783319471662; 46  61
 Policy learning for timebounded reachability in ContinuousTime Markov Decision Processes via doublystochastic 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 2325, 2016, Proceedings, Quebec City, QC, Canada; 20160823  20160825; in: "Quantitative Evaluation of Systems  13th International Conference, QEST 2016, Quebec City, QC, Canada, August 2325, 2016, Proceedings", Springer International Publishing, 9826 (2016), ISBN: 9783319434247; 244  259
 Monitoring of MTL Specifications With IBM's SpikingNeuron Model / K. Selyunin, T. Nguyen, E. Bartocci, D. Nickovic, R. Grosu / Talk: Proc. of the 2016 Design, Automation & Test in Europe Conference & Exhibition, Dresden; 20160414  20160418; in: "Proc. of the 2016 Design, Automation & Test in Europe Conference & Exhibition", IEEE Computer Society, (2016), ISBN: 9783981537079; 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; 20160412  20160414; in: "Proceeding HSCC '16  Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control", ACM, (2016), ISBN: 9781450339551; 11  20
 Applying HighLevel Synthesis for Synthesizing Hardware Runtime STL Monitors of MissionCritical Properties / K. Selyunin, T. Nguyen, A.D. Basa, E. Bartocci, D. Nickovic, R. Grosu / Talk: Design and Verification Conference and Exhibition, San Jose, USA; 20160229  20160303; in: "Design and Verification Conference and Exhibition", Online, (2016), 8 pages
 Computational Methods in Systems Biology  14th International Conference, CMSB 2016, Cambridge, UK, September 2123, 2016, Proceedings / E. Bartocci, P. Lio, N. Paoletti / Springer International Publishing, Switzerland, 2016, ISBN: 9783319451763; 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 CyberPhysical Systems / K. Selyunin, D. Ratasich, E. Bartocci, A. Islam, S. Smolka, R. Grosu / Talk: 54th IEEE Conference on Decision and Control, Osaka, Japan; 20151215  20151218; in: "Proc. of CDC 2015: the 54th IEEE Conference on Decision and Control", IEEE Computer Society, (2015), ISBN: 9781479978847; 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; 20151117  20151119; in: "Proc. of HVC 2015: the 11th Haifa Verification Conference, Haifa, Israel, November, 2015", LNCS / Springer, 9434 (2015), ISBN: 9783319262864; 3  18
 Abstractionbased 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; 20151117  20151119; in: "Proc. of HVC 2015: the 11th Haifa Verification Conference", LNCS / Springer, 9434 (2015), ISBN: 9783319262864; 19  35
 From Signal Temporal Logic to FPGA Monitors / S. Jaksic, E. Bartocci, R. Grosu, R. Kloibhofer, T. Nguyen, D. Nickovic / Talk: 13th ACMIEEE International Conference on Formal Methods and Models for System Design, Austin, TX, USA; 20150921  20150923; in: "Proc. of MEMOCODE 2015: the 13th ACMIEEE International Conference on Formal Methods and Models for System Design", IEEE, (2015), 218  227
 Studying Emergent Behaviours in Morphogenesis using Signal SpatioTemporal Logic / E. Bartocci, L. Bortolussi, D. Milos, L. Nenzi, G. Sanguinetti / Talk: 4th International Workshop on Hybrid Systems Biology (HSB), Madrid; 20150904  20150905; in: "Proc. of HSB 15: the 4th International Workshop on Hybrid Systems Biology", LNCS / LNBI / Springer, vol. 9271 (2015), 1  17
 SpaTeL: A Novel SpatialTemporal 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; 20150413  20150415; in: "Proc. of HSCC 2015: the 18th International Conference on Hybrid Systems: Computation and Control", ACM, (2015), ISBN: 9781450334334; 189  198
 Runtime Verification  6th International Conference, {RV} 2015 Vienna, Austria, September 2225, 2015. Proceedings / E. Bartocci, R. Majumdar / Springer International Publishing, Switzerland, 2015, ISBN: 9783319238197; 432 pages
 ModelOrder 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; 20141215  20141217; in: "Proc. of CDC 2014: the IEEE 53rd Annual Conference on Decision and Control", IEEE, (2014), ISBN: 9781479977468; 108  113
 Medical CyberPhysical 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); 20141008  20141011; 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); 20141008  20141011; 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); 20140922  20140925; in: "Proc. of RV 2014: the 14th International Conference on Runtime Verification", (2014), 1  9
 Datadriven 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; 20140908  20140912; in: "Proc. of FORMATS 2014: the 12th International Conference on Formal Modeling and Analysis of Timed Systems", LNCS/Springer, vol. 8711 (2014), ISBN: 9783319105116; 23  37
 Towards a GPGPUparallel SPIN model checker / E. Bartocci, R. DeFrancisco, S. Smolka / Talk: 21th International SPIN Symposium on Model Checking of Software, San Jose, California; 20140721  20140723; in: "SPIN 2014: International SPIN Symposium on Model Checking of Software", ACM, (2014), ISBN: 9781450324526; 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; 20140420  20140424; in: "Proc. of BIOTECHNO 2014: The Sixth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies", IARIA, (2014), ISBN: 9781612083353; 52  58
 CyberPhysical 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; 20130924  20130927; in: "Proc. of RV 2013, the Fourth International Conference on Runtime Verification", LNCS/Springer, 8174 (2013), ISBN: 9783642407864; 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; 20130923  20130925; in: "Proc. of CMSB 2013: the 11th International Conference on Computational Methods in Systems Biology", LNCS/Springer, vol. 8130 (2013), ISBN: 9783642407079; 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; 20130902; in: "Proceedings of the Second International Workshop on Hybrid Systems and Biology", Electronic Proceedings on Theoretical Computer Science, vol. 125 (2013), ISSN: 20752180; 3  19
 Monitoring with uncertainty / E. Bartocci, R. Grosu / Keynote Lecture: HAS 2013, Rome, Italy (invited); 20130317; in: "Proc. of HAS 2013: the Third International Workshop on Hybrid Autonomous Systems", Electronic Proceedings in Theoretical Computer Science, vol. 124 (2013), ISSN: 20752180; 4 pages
 Samplingbased Decentralized Monitoring for Networked Embedded Systems / E. Bartocci / Talk: HAS 2013, Rome, Italy; 20130317; in: "Proc. of HAS 2013: the Third International Workshop on Hybrid Autonomous Systems", Electronic Proceedings in Theoretical Computer Science, vol. 124 (2013), ISSN: 20752180; 85  99
 Model Checking Software  20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 89, 2013, Proceedings / E. Bartocci, C. Ramakrishnan / SpringerVerlag Berlin Heidelberg, Berlin Heidelberg, 2013, ISBN: 9783642391750; 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; 20121003  20121005; in: "Proc. of CMSB 2012: the 10th ACM International Conference on Computational Methods in Systems Biology", LNCS / Springer, vol. 7605 (2012), ISBN: 9783642336355; 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; 20121003  20121006; in: "Proceedings of ATVA 2012, the 10th International Symposium on Automated Technology for Verification and Analysis", LNCS/Springer, vol. 7561 (2012), ISBN: 9783642333859; 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; 20120925  20120928; in: "Proc. of RV 2012: the 3rd International Conference on Runtime Verification", LNCS / Springer, vol. 7687 (2012), ISSN: 03029743; 168  182
 Proceedings First International Workshop on Hybrid Systems and Biology / E. Bartocci, L. Bortolussi / Electronic Proceedings in Theoretical Computer Science, 2012, ISSN: 20752180
 UBioLab: a webLABoratory for Ubiquitous insilico 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; 20110927  20110930; in: "RV 2011: Proc. of the 2nd International Conference on Runtime Verification", LNCS / Springer Berlin Heidelberg, vol. 7186 (2012), ISBN: 9783642298592; 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; 20110921  20110923; in: "Proc. of CMSB 2011: the 9th ACM International Conference on Computational Methods in Systems Biology", ACM, (2011), ISBN: 9781450308175; 103  112
 Toward realtime 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; 20110921  20110923; in: "Proc. of CMSB 2011: the 9th ACM International Conference on Computational Methods in Systems Biology", ACM, (2011), ISBN: 9781450308175; 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; 20110714  20110720; in: "CAV 2011: the 23rd International Conference on Computer Aided Verification", LNCS / Springer, vol. 6806 (2011), ISSN: 03029743; 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; 20110326  20110403; in: "Proc. of 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)", LNCS / Springer, vol. 6605 (2011), ISBN: 9783642198342; 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
 Intermediate logics and concurrent lambdacalculi: a proof theoretic approach / Doctoral Thesis by F. Genco / Supervisor, Reviewer: A. Ciabattoni, E. Bartocci; Institut für Logic und Computation, 2019; oral examination: 20190508
 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