Our publications

Publications

A complete collection of work published by members of our group.

2022

Nenzi, L., Bartocci, E., Bortolussi, L., & Loreti, M. (2022). A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. Log. Methods Comput. Sci., 18(1). https://doi.org/10.46298/lmcs-18(1:4)2022

Bibtex

@article{NenziBBL22,
  author = {Nenzi, Laura and Bartocci, Ezio and Bortolussi, Luca and Loreti, Michele},
  title = {A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical
                 Systems},
  journal = {Log. Methods Comput. Sci.},
  volume = {18},
  number = {1},
  year = {2022},
  doi = {10.46298/lmcs-18(1:4)2022}
}

Bortolussi, L., Gallo, G. M., Kretı́nský Jan, & Nenzi, L. (2022). Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes. Proc. of TACAS 2022: the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 13243, 281–300. https://doi.org/10.1007/978-3-030-99524-9

Bibtex

@inproceedings{BortolussiGKN22,
  author = {Bortolussi, Luca and Gallo, Giuseppe Maria and Kret{\'{\i}}nsk{\'{y}}, Jan and Nenzi, Laura},
  title = {Learning Model Checking and the Kernel Trick for Signal Temporal Logic
                 on Stochastic Processes},
  booktitle = {Proc. of TACAS 2022: the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  pages = {281--300},
  year = {2022},
  series = {LNCS},
  volume = {13243},
  publisher = {Springer},
  doi = {10.1007/978-3-030-99524-9}
}

Indri, P., Bartoli, A., Medvet, E., & Nenzi, L. (2022). One-Shot Learning of Ensembles of Temporal Logic Formulas for Anomaly Detection in Cyber-Physical Systems. Proc. of EuroGP 2022: the 25th European Conference on Genetic Programming, 13223, 34–50. https://doi.org/10.1007/978-3-031-02056-8

Bibtex

@inproceedings{IndriBMN22,
  author = {Indri, Patrick and Bartoli, Alberto and Medvet, Eric and Nenzi, Laura},
  title = {One-Shot Learning of Ensembles of Temporal Logic Formulas for Anomaly
                 Detection in Cyber-Physical Systems},
  booktitle = {Proc. of EuroGP 2022: the 25th European Conference on Genetic Programming},
  pages = {34--50},
  year = {2022},
  series = {LNCS},
  volume = {13223},
  publisher = {Springer},
  doi = {10.1007/978-3-031-02056-8}
}

Neufeld, E. A. (2022). Reinforcement Learning Guided by Provable Normative Compliance. Proc. of ICAART 2022: the 14th International Conference on Agents and Artificial Intelligence, 444–453. https://doi.org/10.5220/0010835600003116

Bibtex

@inproceedings{Neufeld22,
  author = {Neufeld, Emery A.},
  title = {Reinforcement Learning Guided by Provable Normative Compliance},
  booktitle = {Proc. of {ICAART} 2022: the 14th International Conference on Agents and Artificial
                 Intelligence},
  pages = {444--453},
  year = {2022},
  publisher = ,
  doi = {10.5220/0010835600003116}
}

Stankovic, M., Bartocci, E., & Kovács, L. (2022). Moment-based analysis of Bayesian network properties. Theor. Comput. Sci., 903, 113–133. https://doi.org/10.1016/j.tcs.2021.12.021

Bibtex

@article{StankovicBK22,
  author = {Stankovic, Miroslav and Bartocci, Ezio and Kov{\'{a}}cs, Laura},
  title = {Moment-based analysis of Bayesian network properties},
  journal = {Theor. Comput. Sci.},
  volume = {903},
  pages = {113--133},
  year = {2022},
  doi = {10.1016/j.tcs.2021.12.021}
}

Bartocci, E., Ferrère, T., Henzinger, T. A., Nickovic, D., & da Costa, A. O. (2022). Information-flow Interfaces. Proc. of FASE 2022: the 25th International Conference on Fundamental Approaches to Software Engineering, 13241, 3–22. https://doi.org/10.1007/978-3-030-99429-7_1

Bibtex

@inproceedings{BartocciFHNC22,
  author = {Bartocci, Ezio and Ferr{\`{e}}re, Thomas and Henzinger, Thomas A. and Nickovic, Dejan and da Costa, Ana Oliveira},
  title = {Information-flow Interfaces},
  booktitle = {Proc. of {FASE} 2022: the 25th International
                 Conference on Fundamental Approaches to Software Engineering},
  pages = {3--22},
  year = {2022},
  series = {LNCS},
  volume = {13241},
  publisher = {Springer},
  doi = {10.1007/978-3-030-99429-7\_1}
}

Bartocci, E., Ferrère, T., Henzinger, T. A., Nickovic, D., & da Costa, A. O. (2022). Flavors of Sequential Information Flow. Proc. of VMCAI 2022: the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, 13182, 1–19. https://doi.org/10.1007/978-3-030-94583-1

Bibtex

@inproceedings{BartocciFHNC23,
  author = {Bartocci, Ezio and Ferr{\`{e}}re, Thomas and Henzinger, Thomas A. and Nickovic, Dejan and da Costa, Ana Oliveira},
  title = {Flavors of Sequential Information Flow},
  booktitle = {Proc. of {VMCAI} 2022: the 23rd International
                 Conference on Verification, Model Checking, and Abstract Interpretation},
  pages = {1--19},
  year = {2022},
  series = {LNCS},
  volume = {13182},
  publisher = {Springer},
  doi = {10.1007/978-3-030-94583-1}
}

Dobe, O., Wilke, L., Ábrahám, E., Bartocci, E., & Bonakdarpour, B. (2022). Probabilistic Hyperproperties with Rewards. Proc. of NFM 2022: the 14th International Symposium on NASA Formal Methods, 13260, 656–673. https://doi.org/10.1007/978-3-031-06773-0

Bibtex

@inproceedings{DobeWABB22,
  author = {Dobe, Oyendrila and Wilke, Lukas and {\'{A}}brah{\'{a}}m, Erika and Bartocci, Ezio and Bonakdarpour, Borzoo},
  title = {Probabilistic Hyperproperties with Rewards},
  booktitle = {Proc. of {NFM} 2022: the 14th International Symposium on {NASA} Formal Methods},
  pages = {656--673},
  year = {2022},
  series = {LNCS},
  volume = {13260},
  publisher = {Springer},
  doi = {10.1007/978-3-031-06773-0}
}

2021

2020

2019

2018

2017

2016

2015

Selyunin, K., Ratasich, D., Bartocci, E., Islam, M. A., Smolka, S. A., & Grosu, R. (2015). Neural Programming: Towards Adaptive Control in Cyber-Physical Systems. Proc. of CDC 2015: the 54th IEEE Conference on Decision and Control, 6978–6985. https://doi.org/10.1109/CDC.2015.7403319

Bibtex

@inproceedings{SRBISG15,
  title = {Neural Programming: Towards Adaptive Control in Cyber-Physical Systems},
  author = {Selyunin, Konstantin and Ratasich, Denise and Bartocci, Ezio and Islam, Md. Ariful and Smolka, Scott A. and Grosu, Radu},
  booktitle = {Proc. of CDC 2015: the 54th IEEE Conference on Decision and Control},
  pages = {6978-6985},
  year = {2015},
  url = {http://ti.tuwien.ac.at/cps/people/grosu/files/cdc15.pdf},
  publisher = {IEEE Computer Society},
  papertype = {conference},
  doi = {10.1109/CDC.2015.7403319}
}

Haghighi, I., Jones, A., Kong, Z., Bartocci, E., Grosu, R., & Belta, C. (2015). SpaTeL: A novel spatial-temporal logic and its applications to networked systems. Proc. of HSCC 2015: the 18th International Conference on Hybrid Systems: Computation and Control, 189–198. https://doi.org/10.1145/2728606.2728633

Bibtex

@inproceedings{Haghighi2015189,
  title = {SpaTeL: A novel spatial-temporal logic and its applications to networked systems},
  author = {Haghighi, Iman and Jones, Austin and Kong, Zhaodan and Bartocci, Ezio and Grosu, Radu and Belta, Calin},
  booktitle = {Proc. of HSCC 2015: the 18th International Conference on Hybrid Systems: Computation and Control},
  pages = {189-198},
  year = {2015},
  url = {/files/https://ti.tuwien.ac.at/cps/people/grosu/files/hscc15-spatel.pdf},
  publisher = {ACM},
  papertype = {conference},
  doi = {10.1145/2728606.2728633}
}

Bartocci, E., Bortolussi, L., Milios, D., Nenzi, L., & Sanguinetti, G. (2015). Studying Emergent Behaviours in Morphogenesis using Signal Spatio-Temporal Logic. Proc. of HSB 15: the 4th International Workshop on Hybrid Systems Biology, 9271, 156–172. https://doi.org/10.1007/978-3-319-26916-0_9

Bibtex

@inproceedings{BBMNS15,
  title = {Studying Emergent Behaviours in Morphogenesis using Signal Spatio-Temporal Logic},
  author = {Bartocci, Ezio and Bortolussi, Luca and Milios, Dimitrios and Nenzi, Laura and Sanguinetti, Guido},
  booktitle = {Proc. of HSB 15: the 4th International Workshop on Hybrid Systems Biology},
  pages = {156-172},
  volume = {9271},
  year = {2015},
  url = {http://www.bortolussi.dmg.units.it/sites/bortolussi.dmg.units.it/files/papers/HSB2015-2.pdf},
  series = {Lecture Notes in Computer Science},
  papertype = {workshop},
  publisher = {Springer Berlin Heidelberg},
  doi = {10.1007/978-3-319-26916-0_9}
}

Ray, R., Gurung, A., Das, B., Bartocci, E., Bogomolov, S., & Grosu, R. (2015). XSpeed: Accelerating Reachability Analysis on MultiCore Processors. Proc. of HVC 2015: the 11th Haifa Verification Conference, Haifa, Israel, November, 2015, 9434, 3–18. https://doi.org/10.1007/978-3-319-26287-1_1

Bibtex

@inproceedings{RGDBBG15,
  title = {XSpeed: Accelerating Reachability Analysis on MultiCore Processors},
  author = {Ray, Rajarshi and Gurung, Amit and Das, Binayak and Bartocci, Ezio and Bogomolov, Sergiy and Grosu, Radu},
  booktitle = {Proc. of HVC 2015: the 11th Haifa Verification Conference, Haifa, Israel, November, 2015},
  pages = {3-18},
  volume = {9434},
  year = {2015},
  url = {/files/https://ti.tuwien.ac.at/cps/people/grosu/files/hvc15-2.pdf},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  papertype = {conference},
  doi = {10.1007/978-3-319-26287-1_1}
}

Bogomolov, S., Schilling, C., Bartocci, E., Batt, G., Kong, H., & Grosu, R. (2015). Abstraction-based parameter synthesis for multiaffine systems. In Proc. of HVC 2015: the 11th Haifa Verification Conference, Haifa, Israel, November, 2015, 9434, 19–35. https://doi.org/10.1007/978-3-319-26287-1_2

Bibtex

@article{Bogomolov201519,
  title = {Abstraction-based parameter synthesis for multiaffine systems},
  author = {Bogomolov, Sergiy and Schilling, Christian and Bartocci, Ezio and Batt, Grégory and Kong, H and Grosu, Radu},
  journal = {In Proc. of HVC 2015: the 11th Haifa Verification Conference, Haifa, Israel, November, 2015},
  pages = {19-35},
  volume = {9434},
  year = {2015},
  url = {http://ti.tuwien.ac.at/cps/people/grosu/files/hvc15-1.pdf},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  papertype = {conference},
  doi = {10.1007/978-3-319-26287-1_2}
}

Jaksic, S., Bartocci, E., Grosu, R., Kloibhofer, R., Nguyen, T., & Nickovic, D. (2015). From Signal Temporal Logic to FPGA Monitors. Proc. of MEMOCODE 2015: the 13th ACM-IEEE International Conference on Formal Methods and Models for System Design, 218–227. https://doi.org/10.1109/MEMCOD.2015.7340489

Bibtex

@inproceedings{JBGKNN15,
  title = {From Signal Temporal Logic to FPGA Monitors},
  author = {Jaksic, Stefan and Bartocci, Ezio and Grosu, Radu and Kloibhofer, Reinhard and Nguyen, Thang and Nickovic, Dejan},
  booktitle = {Proc. of MEMOCODE 2015: the 13th ACM-IEEE International Conference on Formal Methods and Models for System Design},
  pages = {218-227},
  year = {2015},
  url = {/files/https://ti.tuwien.ac.at/cps/people/grosu/files/memcode15.pdf},
  publisher = {ACM},
  papertype = {conference},
  doi = {10.1109/MEMCOD.2015.7340489}
}

Bartocci, E., Bortolussi, L., Nenzi, L., & Sanguinetti, G. (2015). System design of stochastic models using robustness of temporal properties. Theoretical Computer Science, 587, 3–25. https://doi.org/10.1016/j.tcs.2015.02.046

Bibtex

@article{Bartocci20153,
  title = {System design of stochastic models using robustness of temporal properties},
  author = {Bartocci, Ezio and Bortolussi, Luca and Nenzi, Laura and Sanguinetti, Guido},
  journal = {Theoretical Computer Science},
  pages = {3-25},
  volume = {587},
  year = {2015},
  url = {http://www.sciencedirect.com/science/article/pii/S0304397515002224},
  papertype = {journal},
  publisher = {Elsevier},
  doi = {10.1016/j.tcs.2015.02.046}
}

Bartocci, E., & Majumdar, R. (2015). Preface (RV 2015). Proc. of RV 2015: the 15th International Conference on Runtime Verification, Vienna, Austria, 9333, V-VI. https://doi.org/10.1007/978-3-319-23820-3

Bibtex

@inproceedings{BM15,
  title = {Preface (RV 2015)},
  author = {Bartocci, Ezio and Majumdar, Rupak},
  booktitle = {Proc. of RV 2015: the 15th International Conference on Runtime Verification, Vienna, Austria},
  pages = {V-VI},
  volume = {9333},
  year = {2015},
  url = {http://www.springer.com/cda/content/document/cda_downloaddocument/9783319238197-p1.pdf?SGWID=0-0-45-1546502-p177662183},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer Berlin Heidelberg},
  papertype = {editorial},
  doi = {10.1007/978-3-319-23820-3}
}

Islam, M. A., Smolka, S. A., Bartocci, E., Cherry, E. M., Fenton, F. H., Glimm, J., Grosu, R., & Murthy, A. (2015). Model-order reduction of ion channel dynamics using approximate bisimulation. Theoretical Computer Science, 599, 34–46. https://doi.org/10.1016/j.tcs.2014.03.018

Bibtex

@article{ArifulIslam201534,
  title = {Model-order reduction of ion channel dynamics using approximate bisimulation},
  author = {Islam, Md. Ariful and Smolka, Scott A. and Bartocci, Ezio and Cherry, Elizabeth M. and Fenton, Flavio H. and Glimm, James and Grosu, Radu and Murthy, Abhishek},
  journal = {Theoretical Computer Science},
  pages = {34-46},
  volume = {599},
  year = {2015},
  url = {/files/https://ti.tuwien.ac.at/cps/people/grosu/files/tcs14.pdf},
  papertype = {journal},
  publisher = {Elsevier},
  doi = {10.1016/j.tcs.2014.03.018}
}

2014

Aydin Gol, E., Bartocci, E., & Belta, C. (2014). A formal methods approach to pattern synthesis in reaction diffusion systems. Proc. of CDC’14: the 53rd IEEE Conference on Decision and Control, 108–113. https://doi.org/10.1109/CDC.2014.7039367

Bibtex

@inproceedings{ABB14,
  title = {A formal methods approach to pattern synthesis in reaction diffusion systems},
  author = {Aydin Gol, Ebru and Bartocci, Ezio and Belta, Calin},
  booktitle = {Proc. of CDC'14: the 53rd {IEEE} Conference on Decision and Control},
  pages = {108--113},
  year = {2014},
  publisher = {IEEE Computer Society},
  papertype = {conference},
  doi = {10.1109/CDC.2014.7039367}
}

Bartocci, E., Hoftberger, O., & Grosu, R. (2014). Cyber-Physical Systems: Theoretical and Practical Challenges. ERCIM News, 97, 8–9.

Bibtex

@article{BHG14,
  title = {Cyber-Physical Systems: Theoretical and Practical Challenges},
  author = {Bartocci, Ezio and Hoftberger, Oliver and Grosu, Radu},
  journal = {ERCIM News},
  pages = {8-9},
  volume = {97},
  year = {2014},
  papertype = {invited}
}

Islam, M. A., Deshpande, T., Murthy, A., Bartocci, E., Smolka, S. A., Stoller, S. D., & Grosu, R. (2014). Tracking Action Potentials of Nonlinear Excitable Cells using Model Predictive Control. In Proc. of BIOTECHNO 2014: The Sixth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (pp. 52–58). /files/https://ti.tuwien.ac.at/cps/people/grosu/files/biotechno14.pdf

Bibtex

@proceedings{IDMBSSG14,
  title = {Tracking Action Potentials of Nonlinear Excitable Cells using Model Predictive Control},
  author = {Islam, Md. Ariful and Deshpande, Tushar and Murthy, Abhishek and Bartocci, Ezio and Smolka, Scott A. and Stoller, Scott D. and Grosu, Radu},
  booktitle = {Proc. of BIOTECHNO 2014: The Sixth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies},
  pages = {52-58},
  year = {2014},
  url = {/files/https://ti.tuwien.ac.at/cps/people/grosu/files/biotechno14.pdf},
  papertype = {conference}
}

Bufo, S., Bartocci, E., Sanguinetti, G., Borelli, M., Lucangelo, U., & Bortolussi, L. (2014). Temporal Logic based Monitoring of Assisted Ventilaion in Intensive Care Patients. Proc. of ISoLA 2014: the 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, 8803, 391–403. https://doi.org/10.1007/978-3-319-10512-3_3

Bibtex

@inproceedings{BBSBLB14,
  title = {Temporal Logic based Monitoring of Assisted Ventilaion in Intensive Care Patients},
  author = {Bufo, Sara and Bartocci, Ezio and Sanguinetti, Guido and Borelli, Massimo and Lucangelo, Umberto and Bortolussi, Luca},
  booktitle = {Proc. of ISoLA 2014: the 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation},
  pages = {391-403},
  volume = {8803},
  year = {2014},
  url = {/files/https://pdfs.semanticscholar.org/48ac/afc91f167f0e4466dad1c3d231e281c0f8a8.pdf},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  papertype = {invited},
  doi = {10.1007/978-3-319-10512-3_3}
}

Bartocci, E., Defrancisco, R., & Smolka, S. A. (2014). Towards a GPGPU-parallel SPIN model checker. Proc. of SPIN 2014: the International SPIN Symposium on Model Checking of Software, 87–96. https://doi.org/10.1145/2632362.2632379

Bibtex

@inproceedings{Bartocci201487,
  title = {Towards a GPGPU-parallel SPIN model checker},
  author = {Bartocci, Ezio and Defrancisco, Richard and Smolka, Scott A.},
  booktitle = {Proc. of SPIN 2014: the International SPIN Symposium on Model Checking of Software},
  pages = {87-96},
  year = {2014},
  url = {http://spinroot.com/spin/Workshops/ws14/spin20140_submission_24.pdf},
  publisher = {ACM},
  papertype = {conference},
  doi = {10.1145/2632362.2632379}
}

Bartocci, E., Bortolussi, L., & Sanguinetti, G. (2014). Data-driven statistical learning of temporal logic properties. Proc. of FORMATS 2014: the 12th International Conference on Formal Modeling and Analysis of Timed Systems, 8711, 23–37. https://doi.org/10.1007/978-3-319-10512-3_3

Bibtex

@inproceedings{Bartocci201423,
  title = {Data-driven statistical learning of temporal logic properties},
  author = {Bartocci, Ezio and Bortolussi, Luca and Sanguinetti, Guido},
  booktitle = {Proc. of FORMATS 2014: the 12th International Conference on Formal Modeling and Analysis of Timed Systems},
  pages = {23-37},
  volume = {8711},
  year = {2014},
  url = {http://link.springer.com/chapter/10.1007%2F978-3-319-10512-3_3},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  papertype = {conference},
  doi = {10.1007/978-3-319-10512-3_3}
}

Bartocci, E., Bortolussi, L., & Smolka, S. A. (2014). Hybrid Systems and Biology (Preface). Information and Computation, 236, 1–2. http://www.sciencedirect.com/science/article/pii/S0890540114000091

Bibtex

@article{BBS14,
  title = {Hybrid Systems and Biology (Preface)},
  author = {Bartocci, Ezio and Bortolussi, Luca and Smolka, Scott A.},
  journal = {Information and Computation},
  pages = {1-2},
  volume = {236},
  year = {2014},
  url = {http://www.sciencedirect.com/science/article/pii/S0890540114000091},
  publisher = {Elsevier},
  papertype = {editorial}
}

Bartocci, E., Gao, S., & Smolka, S. A. (2014). Medical cyber-physical systems (Track introduction). Proc. of ISoLA 2014: the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Specialized Technique, 8803, 353–355. https://doi.org/10.1007/978-3-662-45231-8_25

Bibtex

@inproceedings{Bartocci2014353,
  title = {Medical cyber-physical systems (Track introduction)},
  author = {Bartocci, Ezio and Gao, Sicun and Smolka, Scott A.},
  booktitle = {Proc. of  ISoLA 2014: the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Specialized Technique},
  pages = {353-355},
  volume = {8803},
  year = {2014},
  url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-84910618312&partnerID=40&md5=8de64abd45589c9f69fb28b651c51b75},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  papertype = {invited},
  doi = {10.1007/978-3-662-45231-8_25}
}

Bartocci, E., Bonakdarpour, B., & Falcone, Y. (2014). First International Competition of Software for Runtime Verification. Proc. of RV 2014: the 14th International Conference on Runtime Verification, 8734, 1–9.

Bibtex

@inproceedings{BBF14,
  title = {First International Competition of Software for Runtime Verification},
  author = {Bartocci, Ezio and Bonakdarpour, Borzoo and Falcone, Ylies},
  booktitle = {Proc. of RV 2014: the 14th International Conference on Runtime Verification},
  pages = {1-9},
  volume = {8734},
  year = {2014},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag},
  papertype = {invited}
}

2013

Murthy, A., Bartocci, E., Fenton, F. H., Glimm, J., Gray, R. A., Cherry, E. M., Smolka, S. A., & Grosu, R. (2013). Curvature Analysis of Cardiac Excitation Wavefronts. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 10(2), 323–336. https://doi.org/10.1109/TCBB.2012.125

Bibtex

@article{MBFGGCSG13,
  title = {Curvature Analysis of Cardiac Excitation Wavefronts},
  author = {Murthy, Abhishek and Bartocci, Ezio and Fenton, Flavio H. and Glimm, James and Gray, Richard A. and Cherry, Elizabeth M. and Smolka, Scott A. and Grosu, Radu},
  journal = {IEEE/ACM Transactions on Computational Biology and Bioinformatics},
  pages = {323-336},
  volume = {10},
  number = {2},
  year = {2013},
  url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6319286},
  publisher = {IEEE Computer Society},
  papertype = {journal},
  doi = {10.1109/TCBB.2012.125}
}

Bartocci, E., Bortolussi, L., & Nenzi, L. (2013). A temporal logic approach to modular design of synthetic biological circuits. Proc. of CMSB 2013: the 11th International Conference on Computational Methods in Systems Biology, IST Austria, Klosterneuburg, Austria, 8130, 164–178. https://doi.org/10.1007/978-3-642-40708-6_13

Bibtex

@inproceedings{BBN13,
  title = {A temporal logic approach to modular design of synthetic biological circuits},
  author = {Bartocci, Ezio and Bortolussi, Luca and Nenzi, Laura},
  booktitle = {Proc. of CMSB 2013: the 11th International Conference on Computational Methods in Systems Biology, IST Austria, Klosterneuburg, Austria},
  pages = {164-178},
  volume = {8130},
  year = {2013},
  url = {http://arxiv.org/pdf/1306.4493v1.pdf},
  series = {Lecture Notes in Computer Science},
  papertype = {conference},
  publisher = {Springer-Verlag},
  doi = {10.1007/978-3-642-40708-6_13}
}

Bartocci, E. (2013). Sampling-based Decentralized Monitoring for Networked Embedded Systems. Proceedings of HAS 2013: the 3rd Intern. Workshop of Hybrid Autonomous Systems, 124(9), 85–99. https://doi.org/10.4204/EPTCS.124

Bibtex

@inproceedings{Bar13,
  title = {Sampling-based Decentralized Monitoring for Networked Embedded Systems},
  author = {Bartocci, Ezio},
  booktitle = {Proceedings of HAS 2013: the 3rd Intern. Workshop of Hybrid Autonomous Systems},
  pages = {85--99},
  volume = {124},
  number = {9},
  year = {2013},
  url = {http://arxiv.org/pdf/1308.5337.pdf},
  series = {EPTCS},
  papertype = {workshop},
  doi = {10.4204/EPTCS.124}
}

Bartocci, E., Bortolussi, L., Nenzi, L., & Sanguinetti, G. (2013). On the Robustness of Temporal Properties for Stochastic Models. Proceedings of HSB 2013: the 2nd Intern. Workshop on Hybrid Systems and Biology, Taormina, Italy, 125(1), 3–19. https://doi.org/10.4204/EPTCS.125.1

Bibtex

@inproceedings{BBNS13,
  title = {On the Robustness of Temporal Properties for Stochastic Models},
  author = {Bartocci, Ezio and Bortolussi, Luca and Nenzi, Laura and Sanguinetti, Guido},
  booktitle = {Proceedings of HSB 2013: the 2nd Intern. Workshop on Hybrid Systems and Biology, Taormina, Italy,},
  pages = {3--19},
  volume = {125},
  number = {1},
  year = {2013},
  url = {http://arxiv.org/pdf/1309.0866.pdf},
  series = {EPTCS},
  papertype = {workshop},
  doi = {10.4204/EPTCS.125.1}
}

Kalajdzic, K., Bartocci, E., Smolka, S. A., Stoller, S. D., & Grosu, R. (2013). Runtime Verification with Particle Filtering. Proc. of RV 2013: the 4th International Conference on Runtime Verification, INRIA Rennes, France, September, 2013, 8174, 149–166. https://doi.org/10.1007/978-3-642-40787-1_9

Bibtex

@inproceedings{KBSSG13,
  title = {Runtime Verification with Particle Filtering},
  author = {Kalajdzic, Kenan and Bartocci, Ezio and Smolka, Scott A. and Stoller, Scott D. and Grosu, Radu},
  booktitle = {Proc. of RV 2013: the 4th International Conference on Runtime Verification, INRIA Rennes, France, September, 2013},
  pages = {149-166},
  volume = {8174},
  year = {2013},
  url = {/files/https://ti.tuwien.ac.at/cps/people/grosu/files/rv13.pdf},
  series = {Lecture Notes in Computer Science},
  papertype = {conference},
  publisher = {Springer-Verlag},
  doi = {10.1007/978-3-642-40787-1_9}
}

Bartocci, E., & Ramakrishnan, C. R. (2013). Preface (SPIN 2013). In Proc. of SPIN 2013: the 20th International Symposium of SPIN Model Checking Software, Stony Brook, NY, USA (Vol. 7976, pp. V-VI). Springer-Verlag. https://doi.org/10.1007/978-3-642-39176-7

Bibtex

@proceedings{BR13,
  title = {Preface (SPIN 2013)},
  author = {Bartocci, Ezio and Ramakrishnan, C. R.},
  booktitle = {Proc. of SPIN 2013: the 20th International Symposium of SPIN Model Checking Software, Stony Brook, NY, USA},
  pages = {V-VI},
  volume = {7976},
  year = {2013},
  url = {http://link.springer.com/content/pdf/bfm%3A978-3-642-39176-7%2F1.pdf},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag},
  papertype = {editorial},
  doi = {10.1007/978-3-642-39176-7}
}

Bartocci, E., & Bortolussi, L. (2013). Preface (HSB 2012). In Proc. of the First International Workshop on Hybrid Systems and Biology (Vol. 92). https://doi.org/10.4204/EPTCS.92

Bibtex

@proceedings{BB13,
  title = {Preface (HSB 2012)},
  author = {Bartocci, Ezio and Bortolussi, Luca},
  booktitle = {Proc. of the First International Workshop on Hybrid Systems and Biology},
  volume = {92},
  year = {2013},
  url = {http://arxiv.org/abs/1208.3151},
  series = {EPTCS},
  papertype = {editorial},
  doi = {10.4204/EPTCS.92}
}

Bartocci, E., & Grosu, R. (2013). Monitoring with uncertainty. Proceedings of HAS 2013: the 3rd Intern. Workshop of Hybrid Autonomous Systems, 125(1), 3–19.

Bibtex

@inproceedings{BG13,
  title = {Monitoring with uncertainty},
  author = {Bartocci, Ezio and Grosu, Radu},
  booktitle = {Proceedings of HAS 2013: the 3rd Intern. Workshop of Hybrid Autonomous Systems},
  pages = {3--19},
  volume = {125},
  number = {1},
  year = {2013},
  series = {EPTCS},
  papertype = {invited}
}

2012

Donzé, A., Maler, O., Bartocci, E., Nickovic, D., Grosu, R., & Smolka, S. A. (2012). On Temporal Logic and Signal Processing. ATVA, 92–106.

Bibtex

@inproceedings{DBLP:conf/atva/DonzeMBNGS12,
  author = {Donz{\'e}, Alexandre and Maler, Oded and Bartocci, Ezio and Nickovic, Dejan and Grosu, Radu and Smolka, Scott A.},
  title = {On Temporal Logic and Signal Processing},
  booktitle = {ATVA},
  year = {2012},
  pages = {92-106},
  ee = {http://dx.doi.org/10.1007/978-3-642-33386-6_9},
  crossref = {DBLP:conf/atva/2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Murthy, A., Islam, M. A., Bartocci, E., Cherry, E., Fenton, F. H., Glimm, J., Smolka, S. A., & Grosu, R. (2012). Approximate Bisimulations for Sodium Channel Dynamics. CMSB, 267–287.

Bibtex

@inproceedings{DBLP:conf/cmsb/MurthyIBCFGSG12,
  author = {Murthy, Abhishek and Islam, Md. Ariful and Bartocci, Ezio and Cherry, Elizabeth and Fenton, Flavio H. and Glimm, James and Smolka, Scott A. and Grosu, Radu},
  title = {Approximate Bisimulations for Sodium Channel Dynamics},
  booktitle = {CMSB},
  year = {2012},
  pages = {267-287},
  ee = {http://dx.doi.org/10.1007/978-3-642-33636-2_16},
  crossref = {DBLP:conf/cmsb/2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Bartocci, E., Grosu, R., Kamarkar, A., Smolka, S. A., Stoller, S. D., Zadok, E., & Seyster, J. (2012). Adaptive Runtime Verification. Proc. of RV 2012: the 3rd International Conference on Runtime Verification, Istanbul, Turkey, September, 7687, pp. 168–118. https://doi.org/10.1007/978-3-642-35632-2_18

Bibtex

@inproceedings{BGKSSZS12,
  title = {Adaptive Runtime Verification},
  author = {Bartocci, Ezio and Grosu, Radu and Kamarkar, Atul and Smolka, Scott A. and Stoller, Scott D. and Zadok, Erez and Seyster, Justin},
  booktitle = {Proc. of RV 2012: the 3rd International Conference on Runtime Verification, Istanbul, Turkey, September},
  pages = {pp. 168-18},
  volume = {7687},
  year = {2012},
  url = {/files/https://ti.tuwien.ac.at/cps/people/grosu/files/rv12.pdf},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  papertype = {conference},
  doi = {10.1007/978-3-642-35632-2_18}
}

Bartocci, E., Cacciagrano, D., Berardini, M. R. D., Merelli, E., & Vito, L. (2012). UBioLab: a web-LABoratory for Ubiquitous in-silico experiments. J. Integrative Bioinformatics, 9(1).

Bibtex

@article{DBLP:journals/jib/BartocciCBMV12,
  author = {Bartocci, Ezio and Cacciagrano, Diletta and Berardini, Maria Rita Di and Merelli, Emanuela and Vito, Leonardo},
  title = {UBioLab: a web-LABoratory for Ubiquitous in-silico experiments},
  journal = {J. Integrative Bioinformatics},
  volume = {9},
  number = {1},
  year = {2012},
  ee = {http://dx.doi.org/10.2390/biecoll-jib-2012-192},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Bartocci, E., Liò, P., Merelli, E., & Paoletti, N. (2012). Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study. T. Comp. Sys. Biology, 14, 53–76.

Bibtex

@article{DBLP:journals/tcsb/BartocciLMP12,
  author = {Bartocci, Ezio and Li{\`o}, Pietro and Merelli, Emanuela and Paoletti, Nicola},
  title = {Multiple Verification in Complex Biological Systems: The
                 Bone Remodelling Case Study},
  journal = {T. Comp. Sys. Biology},
  volume = {14},
  year = {2012},
  pages = {53-76},
  ee = {http://dx.doi.org/10.1007/978-3-642-35524-0_3},
  crossref = {DBLP:journals/tcsb/2012-14},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Proceedings First International Workshop on Hybrid Systems and Biology. (2012). In E. Bartocci & L. Bortolussi (Eds.), HSB (Vol. 92).

Bibtex

@proceedings{DBLP:journals/corr/abs-1208-3151,
  editor = {Bartocci, Ezio and Bortolussi, Luca},
  title = {Proceedings First International Workshop on Hybrid Systems
                 and Biology},
  booktitle = {HSB},
  series = {EPTCS},
  volume = {92},
  year = {2012},
  ee = {http://dx.doi.org/10.4204/EPTCS.92},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Proceedings First International Workshop on Hybrid Systems and Biology. (2012). In E. Bartocci & L. Bortolussi (Eds.), HSB (Vol. 92).

Bibtex

@proceedings{DBLP:journals/corr/abs-1208-3152,
  editor = {Bartocci, Ezio and Bortolussi, Luca},
  title = {Proceedings First International Workshop on Hybrid Systems
                 and Biology},
  booktitle = {HSB},
  series = {EPTCS},
  volume = {92},
  year = {2012},
  ee = {http://dx.doi.org/10.4204/EPTCS.92},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Proceedings First International Workshop on Hybrid Systems and Biology. (2012). In E. Bartocci & L. Bortolussi (Eds.), HSB (Vol. 92).

Bibtex

@proceedings{DBLP:journals/corr/abs-1208-3153,
  editor = {Bartocci, Ezio and Bortolussi, Luca},
  title = {Proceedings First International Workshop on Hybrid Systems
                 and Biology},
  booktitle = {HSB},
  series = {EPTCS},
  volume = {92},
  year = {2012},
  ee = {http://dx.doi.org/10.4204/EPTCS.92},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Proceedings First International Workshop on Hybrid Systems and Biology. (2012). In E. Bartocci & L. Bortolussi (Eds.), HSB (Vol. 92).

Bibtex

@proceedings{DBLP:journals/corr/abs-1208-3154,
  editor = {Bartocci, Ezio and Bortolussi, Luca},
  title = {Proceedings First International Workshop on Hybrid Systems
                 and Biology},
  booktitle = {HSB},
  series = {EPTCS},
  volume = {92},
  year = {2012},
  ee = {http://dx.doi.org/10.4204/EPTCS.92},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

2011

Grosu, R., Batt, G., Fenton, F. H., Glimm, J., Guernic, C. L., Smolka, S. A., & Bartocci, E. (2011). From Cardiac Cells to Genetic Regulatory Networks. CAV, 396–411.

Bibtex

@inproceedings{DBLP:conf/cav/GrosuBFGGSB11,
  author = {Grosu, Radu and Batt, Gr{\'e}gory and Fenton, Flavio H. and Glimm, James and Guernic, Colas Le and Smolka, Scott A. and Bartocci, Ezio},
  title = {From Cardiac Cells to Genetic Regulatory Networks},
  booktitle = {CAV},
  year = {2011},
  pages = {396-411},
  ee = {http://dx.doi.org/10.1007/978-3-642-22110-1_31},
  crossref = {DBLP:conf/cav/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Bartocci, E., Grosu, R., Katsaros, P., Ramakrishnan, C. R., & Smolka, S. A. (2011). Model Repair for Probabilistic Systems. TACAS, 326–340.

Bibtex

@inproceedings{DBLP:conf/tacas/BartocciGKRS11,
  author = {Bartocci, Ezio and Grosu, Radu and Katsaros, Panagiotis and Ramakrishnan, C. R. and Smolka, Scott A.},
  title = {Model Repair for Probabilistic Systems},
  booktitle = {TACAS},
  year = {2011},
  pages = {326-340},
  ee = {http://dx.doi.org/10.1007/978-3-642-19835-9_30},
  crossref = {DBLP:conf/tacas/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Grosu, R., Fenton, F. H., Smolka, S. A., & Bartocci, E. (2011). A Change of Perspective Yields Formal Analysis. SEW, 69–76.

Bibtex

@inproceedings{DBLP:conf/sew/GrosuFSB11,
  author = {Grosu, Radu and Fenton, Flavio H. and Smolka, Scott A. and Bartocci, Ezio},
  title = {A Change of Perspective Yields Formal Analysis},
  booktitle = {SEW},
  year = {2011},
  pages = {69-76},
  ee = {http://doi.ieeecomputersociety.org/10.1109/SEW.2011.16},
  crossref = {DBLP:conf/sew/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Bartocci, E., Cherry, E., Glimm, J., Grosu, R., Smolka, S. A., & Fenton, F. H. (2011). Toward real-time simulation of cardiac dynamics. CMSB, 103–112.

Bibtex

@inproceedings{DBLP:conf/cmsb/BartocciCGGSF11,
  author = {Bartocci, Ezio and Cherry, Elizabeth and Glimm, James and Grosu, Radu and Smolka, Scott A. and Fenton, Flavio H.},
  title = {Toward real-time simulation of cardiac dynamics},
  booktitle = {CMSB},
  year = {2011},
  pages = {103-112},
  ee = {http://doi.acm.org/10.1145/2037509.2037525},
  crossref = {DBLP:conf/cmsb/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Stoller, S. D., Bartocci, E., Seyster, J., Grosu, R., Havelund, K., Smolka, S. A., & Zadok, E. (2011). Runtime Verification with State Estimation. RV, 193–207.

Bibtex

@inproceedings{DBLP:conf/rv/StollerBSGHSZ11,
  author = {Stoller, Scott D. and Bartocci, Ezio and Seyster, Justin and Grosu, Radu and Havelund, Klaus and Smolka, Scott A. and Zadok, Erez},
  title = {Runtime Verification with State Estimation},
  booktitle = {RV},
  year = {2011},
  pages = {193-207},
  ee = {http://dx.doi.org/10.1007/978-3-642-29860-8_15},
  crossref = {DBLP:conf/rv/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Murthy, A., Bartocci, E., Fenton, F. H., Glimm, J., Gray, R., Smolka, S. A., & Grosu, R. (2011). Curvature analysis of cardiac excitation wavefronts. CMSB, 151–160.

Bibtex

@inproceedings{DBLP:conf/cmsb/MurthyBFGGSG11,
  author = {Murthy, Abhishek and Bartocci, Ezio and Fenton, Flavio H. and Glimm, James and Gray, R. and Smolka, Scott A. and Grosu, Radu},
  title = {Curvature analysis of cardiac excitation wavefronts},
  booktitle = {CMSB},
  year = {2011},
  pages = {151-160},
  ee = {http://doi.acm.org/10.1145/2037509.2037532},
  crossref = {DBLP:conf/cmsb/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Bartocci, E., Singh, R., von Stein, F. B., Amedome, A., Caceres, A. J. J., Castillo, J., Closser, E., Deards, G., Goltsev, A., Ines, R. S., Isbilir, C., Marc, J. K., Moore, D., Pardi, D., Sadhu, S., Sanchez, S., Sharma, P., Singh, A., Rogers, J., … Fenton, F. H. (2011). Teaching cardiac electrophysiology modeling to undergraduate students: Laboratory exercises and GPU programming for the study of arrhythmias and spiral wave dynamics. American Journal of Physiology - Advances in Physiology Education, 35(4), 427–437. https://doi.org/10.1152/advan.00034.2011

Bibtex

@article{Bartocci2011427,
  title = {Teaching cardiac electrophysiology modeling to undergraduate students: Laboratory exercises and GPU programming for the study of arrhythmias and spiral wave dynamics},
  author = {Bartocci, Ezio and Singh, R. and von Stein, F.B. and Amedome, A. and Caceres, A.J.J. and Castillo, J. and Closser, E. and Deards, G. and Goltsev, A. and Ines, R.S. and Isbilir, C. and Marc, J.K. and Moore, D. and Pardi, D. and Sadhu, S. and Sanchez, S. and Sharma, P. and Singh, A. and Rogers, J. and Wolinetz, A. and Grosso-Applewhite, T. and Zhao, K. and Filipski, A.B. and Gilmour Jr., R.F. and Grosu, Radu and Glimm, James and Smolka, Scott A. and Cherry, Elizabeth M. and Clarke, Edmund M. and Griffeth, Nancy and Fenton, Flavio H.},
  journal = {American Journal of Physiology - Advances in Physiology Education},
  pages = {427-437},
  note = {cited By (since 1996) 0},
  volume = {35},
  number = {4},
  year = {2011},
  url = {http://advan.physiology.org/content/ajpadvan/35/4/427.full.pdf},
  papertype = {journal},
  doi = {10.1152/advan.00034.2011}
}

Alfieri, R., Bartocci, E., Merelli, E., & Milanesi, L. (2011). Modeling the cell cycle: From deterministic models to hybrid systems. Biosystems, 105(1), 34–40.

Bibtex

@article{DBLP:journals/biosystems/AlfieriBMM11,
  author = {Alfieri, Roberta and Bartocci, Ezio and Merelli, Emanuela and Milanesi, Luciano},
  title = {Modeling the cell cycle: From deterministic models to hybrid
                 systems},
  journal = {Biosystems},
  volume = {105},
  number = {1},
  year = {2011},
  pages = {34-40},
  ee = {http://dx.doi.org/10.1016/j.biosystems.2011.03.002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}