TU Wien Informatics

About

He is an Associate Professor in Computer Science, at TU Wien, and he is leading the Trustworthy Cyber-Physical Systems (TrustCPS) Group of the Cyber-Physical System Research Division. 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, cyber-physical systems and biological systems. On these topics he co-authored more than 95 referred papers published in the main international journals and top-tier conferences of my research areas (CAV, TACAS, ATVA, CDC, EMSOFT, HSCC, etc.), generating more than 2500 citations (h-index >= 30) 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 tenure-track Assistant Professor and he was promoted to tenured Associate Professor in May 2019. 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. 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) 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 I co-chair 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 is 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

2019

2018

2017

  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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

2016

  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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

2015

2014

  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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

2013

  • 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
  • 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
  • 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
  • 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

2012

  • 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
  • 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
  • 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

2011

  • 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
  • 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
  • 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
  • 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