World Collaboration Map

Citation Statistics according to Google Scholar
# citations h-index # co-authors # Q1 Journals # Q2 Journals
6177 43 269 17 15
# Journal
Papers
# Conference
Papers
# Workshops
Papers
# Invited
Papers
# Edited
Books
50 94 13 19 12
6 8 1 0 2 12 6

DBLP, Google Scholar, Scopus, ResearchGate, CS Ranking, CORE Ranking, GII-GRIN-SCIE Ranking, Top Italian Scientists, Top CS Scientists in Austria
Generate list of papers in last 5 years (FWF projects)
2025
190)
Conference Paper

Mining Specifications for Predictive Safety Monitoring

Eleonora Nesterini, Ezio Bartocci, Alessio Gambi, Dejan Nickovic, Sanjit A. Seshia, Hazem Torfah

In Proc. of the 6th ACM/IEEE International Conference on Cyber-Physical Systems , 2025

Accepted
189)
Conference Paper

Rule-Guided Reinforcement Learning Policy Evaluation and Improvement

Martin Tappler, Ignacio D. Lopez-Miguel, Sebastian Tschiatschek, Ezio Bartocci

In Proc. of IJCAI 2025: the 33rd International Joint Conference on Artificial Intelligence , 2025

Accepted
188)
Invited Paper

Information-flow Interfaces and Security Lattices

Ezio Bartocci, Thomas Henzinger, Dejan Nickovic, Ana Oliveira da Costa

In Festschrift' Engineering Safe and Trustworthy Cyber Physical Systems -- Essays Dedicated to Werner Damm on the Occasion of His 71st Birthday, 2025

Accepted
187)
Journal Paper

An Adaptive, Provable Correct Simplex Architecture

Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Bettina Könighofer

In International Journal on Software Tools for Technology Transfer, 2025

Accepted

186)
Journal Paper

Moment-based Density Elicitation with Applications in Probabilistic Loops

Andrey Kofnov, Ezio Bartocci, Efstathia Bura

In ACM Transactions on Probabilistic Machine Learning, 2025


185)
Journal Paper

Quantifying the Satisfaction of Spatio-Temporal Logic Specifications for Multi-Agent Control

Wenliang Liu, Suhail Alsalehi, Noushin Mehdipour, Ezio Bartocci, Calin Belta

In IEEE Transactions on Automatic Control , 2025

Accepted

184)
Journal Paper

Signal Feature Coverage and Testing for CPS Dataflow Models

Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav

In ACM Transactions on Software Engineering and Methodology, 2025

Just Accepted

2024
183)
Conference Paper


Ennio Visconti, Ezio Bartocci, Ylies Falcone, Laura Nenzi

In Proc. of FORTE 2024 - 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, vol. 14678, pp. 197-217, 2024


182)
Conference Paper


Meixun Qu, Jie He, Zlatan Tucakovic, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu

In 61st Design Automation Conference (DAC 2024)(300), pp. 1-6, 2024


181)
Conference Paper


Miroslav Stankovic, Ezio Bartocci

In Proc. of QEST+FORMATS 2024: International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, vol. 14996, pp. 233--248, 2024


180)
Conference Paper


Ezio Bartocci

In Proc. of ISoLA 2024: Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola , pp. 152-167, 2024


179)
Conference Paper


Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher

In 36th International Conference on Computer Aided Verification (CAV), vol. 14682, pp. 329-351, 2024


178)
Invited Paper

A Comparison of Monitoring Techniques for Deep Neural Networks

Ezio Bartocci, Wasim Essbai

In Proc. of AISOLA 2024: Second International Conference on Bridging the Gap Between AI and Reality, vol. 15217, pp. 190--205, 2024

Accepted

177)
Invited Paper

A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake Case

Ezio Bartocci, Josée Desharnais, Peter Lindner, Ana Sokolova

In Principles of Verification: Cycling the Probabilistic Landscape, vol. 15261, pp. 75-97, 2024


176)
Invited Paper

Polar: An Algebraic Analyzer for (Probabilistic) Loops

Marcel Moosbrugger, Julian Müllner, Ezio Bartocci, Laura Kovacs

In Principles of Verification: Cycling the Probabilistic Landscape , vol. 15261, pp. 179-200, 2024


175)
Invited Paper


Ezio Bartocci

In Proc. of RP 2024: The 18th International Conference on Reachability Problems, vol. 15050, pp. 3--8, 2024

Invited Talk

174)
Journal Paper


Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovacs, Marcel Moosbrugger, Miroslav Stankovic

In Formal Methods in Systems Design, 2024

Just accepted

173)
Journal Paper


Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura

In ACM Transactions on Modeling and Computer Simulation, vol. 34(3), pp. 1-25, 2024


172)
Journal Paper


Ezio Bartocci, Thomas Ferrère, Thomas Henzinger, Dejan Nickovic, Ana Oliveira da Costa

In Formal Methods in Systems Design, 2024

Just Accepted

171)
Workshop Paper


Patrick Indri, Peter Blohm, Anagha Athavale, Ezio Bartocci, Georg Weissenbacher, Matteo Maffei, Dejan Nickovic, Thomas Gärtner

In ICML 2024 Next Generation of AI Safety Workshop, 2024

2023
170)
Conference Paper

Lightweight Verification of Hyperproperties

Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang

In Proc. of ATVA 2023: the 21st International Symposium on Automated Technology for Verification and Analysis, vol. 14216, pp. 3--25, 2023


169)
Conference Paper

An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge

Alessandro Tundo, Marco Mobilio, Shashikant Ilager, Ivona Brandic, Ezio Bartocci, Leonardo Mariani

In Proc. of ASE 2023: the 38th IEEE/ACM International Conference on Automated Software Engineering , pp. 281--293, 2023


168)
Conference Paper

Deductive Controller Synthesis for Probabilistic Hyperproperties

Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia

In Proc. of QEST 2023: the 20th International Conference on Quantitative Evaluation of SysTems , vol. 14287, pp. 288--306, 2023


167)
Conference Paper

Hypernode Automata

Ezio Bartocci, Thomas Henzinger, Dejan Nickovic, Ana Oliveira da Costa

In Proc. of CONCUR 2023: the 34th International Conference on Concurrency Theory, vol. 279, pp. 21:1--21:1, 2023


166)
Conference Paper

Introducing Asynchronicity to Probabilistic Hyperproperties

Carolima Gerlach, Oyendrila Dobe, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour

In Proc. of QEST 2023: the 20th International Conference on Quantitative Evaluation of SysTems, vol. 14287, pp. 47--64, 2023


165)
Conference Paper

Mining Specification Parameters for Multi-Class Classification

Edgar Aguilar, Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic

In Proc. of RV 2023: the 23rd International Conference on Runtime Verification , vol. 14245, pp. 86--105, 2023


164)
Conference Paper

Progression for Monitoring in Temporal ASP

Davide Solda, Ignacio D. Lopez-Miguel, Ezio Bartocci, Thomas Eiter

In Proc. of ECAI 2023: the 26th European Conference on Artificial Intelligence, vol. 372, pp. 2170--2177, 2023


163)
Conference Paper

Property-based Mutation Testing

Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav

In Proc. of ICST 2023: the 16th IEEE International Conference on Software Testing, Verification and Validation, pp. 222-233, 2023


162)
Conference Paper

Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties

Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Bettina Könighofer

In Proc. of SPIN 2023: the 29th International Symposium on Model Checking Software, vol. 13872, pp. 141-160, 2023


161)
Conference Paper

TD-Magic: From Pictures of Timing Diagrams To Formal Specifications

Jie He, Dejan Nickovic, Ezio Bartocci, Radu Grosu

In Proc. of DAC 2023: the 60th Design Automation Conference, 2023


160)
Journal Paper

Mining Hyperproperties using Temporal Logics

Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic

In ACM Transactions on Embedded Computing Systems, vol. 22(Issue 5s), 2023

Accepted at EMSOFT 2023

159)
Journal Paper

MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties

Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Simone Silvetti, Michele Loreti

In International Journal on Software Tools for Technology Transfer, vol. 25, pp. 503-517, 2023


2022
158)
Conference Paper

Solving Invariant Generation for Unsolvable Loops

Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovacs, Marcel Moosbrugger, Miroslav Stankovic

In Proc. of SAS 2022: the 29th Static Analysis Symposium , vol. 13790, pp. 19--43, 2022

Awarded with the Radhia Cousot Young Researcher Best Paper Award

157)
Conference Paper

DeepSTL - From English Requirements to Signal Temporal Logic

Jie He, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu

In Proc. of ICSE 2022: 44th {IEEE/ACM} International Conference on Software Engineering , pp. 610-622, 2022


156)
Conference Paper


Ahmad Karimi, Miroslav Stankovic, Marcel Moosbrugger, Laura Kovacs, Ezio Bartocci, Efstathia Bura

In Proc. of QEST 2022: the 19th International Conference on Quantitative Evaluation of SysTems , vol. 13479, pp. 26--42, 2022


155)
Conference Paper

FIM: Fault Injection and Mutation for Simulink

Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav

In ESEC/FSE 2022 ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 1716-1720, 2022


154)
Conference Paper


Ezio Bartocci, Thomas Ferrère, Thomas Henzinger, Dejan Nickovic, Ana Oliveira da Costa

In Proc. of FASE 2022: the 25th International Conference on Fundamental Approaches to Software Engineering, vol. 13241, pp. 3--22, 2022

Awarded with the EASST Award -- Best Software Science Paper of all ETAPS 2022 Conferences (ESOP, ETAPS, FoSSaCS, TACAS)

153)
Conference Paper


Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura

In Proc. of QEST 2022: the 19th International Conference on Quantitative Evaluation of SysTems , vol. 13479, pp. 3-25, 2022

Awarded with the Best Paper Award of QEST 2022

152)
Conference Paper

On Normative Reinforcement Learning via Safe Reinforcement Learning

Emery Neufeld, Ezio Bartocci, Agata Ciabattoni

In Proc. of PRIMA 2022: The 24th International Conference on Principles and Practice of Multi-Agent Systems, vol. 13753, pp. 72-89, 2022


151)
Conference Paper


Lukas Wilke, Oyendrila Dobe, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour

In Proc. of NFM 2022: the 13th International Symposium of NASA Formal Methods, vol. 13260, pp. 656-673, 2022


150)
Conference Paper


Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav

In Proc. of ISSRE 2022 - The 33rd IEEE International Symposium on Software Reliability Engineering, pp. 145-156, 2022


149)
Edited


Ezio Bartocci, Sylvie Putot

In Proceedings of HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, 2022


148)
Invited Paper

Flavours of Sequential Information Flow

Ezio Bartocci, Thomas Ferrère, Thomas Henzinger, Dejan Nickovic, Ana Oliveira da Costa

In Proc. of VMCAI 2022: the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, vol. 13182, pp. 1--19, 2022


147)
Journal Paper

A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems

Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti

In Logical Methods in Computer Science, vol. 18(1), 2022


146)
Journal Paper


Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic

In Journal of Nonlinear Analysis: Hybrid Systems, vol. 46, pp. 101254, 2022


145)
Journal Paper


Emery Neufeld, Ezio Bartocci, Agata Ciabattoni, Guido Governatori

In Journal on Ethics and Information Technology, vol. 24(43), 2022


144)
Journal Paper

Model Checking Hyperproperties for Markov Decision Processes

Oyendrila Dobe, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour

In Information and Computation, vol. 289(Part B), pp. 104978, 2022


143)
Journal Paper

Moment-Based Analysis of Bayesian Network Properties

Miroslav Stankovic, Ezio Bartocci, Laura Kovacs

In Journal of Theoretical Computer Science, vol. 903, pp. 113--133, 2022


142)
Journal Paper


Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic

In Information and Computation , vol. 289, pp. 104957, 2022


141)
Journal Paper

The Probabilistic Termination Tool Amber

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovacs

In Formal Methods in Systems Design, vol. 61, pp. 90--109, 2022


140)
Journal Paper

This is the Moment for Probabilistic Loops

Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovacs

In Proceedings of ACM on Programming Languages (OOPSLA), vol. 6(OOPSLA2), pp. 1497-1525, 2022


2021
139)
Conference Paper


Oyendrila Dobe, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour

In Proc. of FM 2021: the 24th international symposium of Formal Methods, vol. 13047, pp. 657--666, 2021


138)
Conference Paper


Emery Neufeld, Ezio Bartocci, Agata Ciabattoni, Guido Governatori

In Proc. of CADE 2021: the 28th International Conference on Automated Deduction, vol. 12699, pp. 565--576, 2021


137)
Conference Paper


Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic

In Proc. of ADHS 2021: the 7th IFAC Conference on Analysis and Design of Hybrid Systems, vol. 54(5), pp. 229--234, 2021

Awarded with the IFAC Young Author award

136)
Conference Paper


Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovacs

In Proc. of ESOP 2021: the 30th European Symposium on Programming, vol. 12648, pp. 491--518, 2021


135)
Conference Paper


Ezio Bartocci, Jyotirmoy V. Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin

In Proc. of SEFM 2021: the 19th International Conference on Software Engineering and Formal Methods, vol. 13085, pp. 110-117, 2021


134)
Conference Paper


Suhail Alsalehi, Noushin Mehdipour, Ezio Bartocci, Calin Belta

In Proc. of CDC 2021: the 60th IEEE Conference on Decision and Control , pp. 5110-5115, 2021


133)
Conference Paper


Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi

In Proc. of MEMOCODE 2021: the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, pp. 78-88, 2021


132)
Conference Paper


Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovacs

In Proc. of FM 2021: the 24th international symposium of Formal Methods , vol. 13047, pp. 667--675, 2021


131)
Edited


Ezio Bartocci, Ylies Falcone, Martin Leucker

In Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday, vol. 13085, 2021


130)
Invited Paper

A Perspective on "CCS Expressions, Finite State Processes, and Three Problems of Equivalence"

Ezio Bartocci, Michael A. Bender

In ACM SIGACT News, vol. 52(4), pp. 76-77, 2021


129)
Journal Paper

Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems

Meiyi Ma, John A. Stankovic, Ezio Bartocci, Lu Feng

In ACM Transactions on Embedded Computing Systems, vol. 20(5s), 2021

This paper has been accepted at EMSOFT 2021: the International Conference on Embedded Software (to appear)

128)
Journal Paper


Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng

In IEEE Internet of Things Journal, vol. 8(15), pp. 11793--806, 2021


127)
Journal Paper


Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic

In International Journal on Software Tools for Technology Transfer, vol. 23, pp. 783-796, 2021


126)
Journal Paper


Lilly Treml, Ezio Bartocci, Alessio Gizzi

In Mathematics, vol. 9(2), 2021


2020
125)
Conference Paper

Analysis of Bayesian Networks via Prob-Solvable Loops

Ezio Bartocci, Laura Kovacs, Miroslav Stankovic

In Proc. of ICTAC 2020: International Colloquium on Theoretical Aspects of Computing, vol. 12545, pp. 221--241, 2020


124)
Conference Paper

CPSDebug: A Tool for Failure Explanation in Cyber-Physical Systems

Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic, Fabrizio Pastore

In Proc. of ISSTA 2020: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 569-572, 2020

Tool Demonstration Paper

123)
Conference Paper

MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties

Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti

In Proc. of RV 2020: the 20th International Conference on Runtime Verification, vol. 12399, pp. 417-428, 2020


122)
Conference Paper

MORA - Automatic Generation of Moment-Based Invariants

Ezio Bartocci, Laura Kovacs, Miroslav Stankovic

In Proc. of TACAS 2020: the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , vol. 12078, pp. 492--498, 2020


121)
Conference Paper


Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe

In Proc. of LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, vol. 73, pp. 12-31, 2020


120)
Conference Paper

Probabilistic Hyperproperties with Nondeterminism

Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe

In Proc. of ATVA 2020: the 18th International Conference on Automated Technology for Verification and Analysis, vol. 12302, pp. 518-534, 2020


119)
Conference Paper

Runtime Verification of Autonomous Driving Systems in CARLA

Eleni Zapridou, Ezio Bartocci, Panagiotis Katsaros

In Proc. of RV 2020: the 20th International Conference on Runtime Verification, vol. 12399, pp. 172-183, 2020


118)
Conference Paper


Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng

In Proc. of ICCPS'20: the 11th IEEE/ACM Conference on Cyber-Physical Systems , pp. 51-62, 2020

Acceptance rate < 24%

117)
Invited Paper

Monitoring Spatio-Temporal Properties (Invited Tutorial)

Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti

In Proc. of RV 2020: the 20th International Conference on Runtime Verification, vol. 12399, pp. 21-46, 2020


116)
Journal Paper

Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems

Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani

In IEEE Access, vol. 8, pp. 180825-43, 2020


115)
Journal Paper

Mining Shape Expressions from Positive Examples

Ezio Bartocci, Jyotirmoy V. Deshmukh, Felix Gliger, Cristinel Mateis, Dejan Nickovic, Xin Qin

In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 39(11), pp. 3809 -20, 2020

This paper has been accepted at EMSOFT 2020: the International Conference on Embedded Software (to appear)

2019
114)
Conference Paper

Adaptive Fault Detection exploiting Redundancy with Uncertainties in Space and Time

Denise Ratasich, Michael Platzer, Radu Grosu, Ezio Bartocci

In Proc. of SASO 2019: 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, pp. 23--32, 2019


113)
Conference Paper

Automatic Failure Explanation in CPS Models

Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic

In Proc. of SEFM 2019: the 17th edition of the International Conference on Software Engineering and Formal Methods, vol. 11724, pp. 69--86, 2019


112)
Conference Paper

Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops

Ezio Bartocci, Laura Kovacs, Miroslav Stankovic

In Proc. of ATVA 2019: the 17th International Conference on Automated Technology for Verification and Analysis, vol. 11724, pp. 69--86, 2019


111)
Conference Paper

Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home

Christian Hirsch, Ezio Bartocci, Radu Grosu

In Proc. of ICST 2019: the 2019 IEEE 23rd international symposium on consumer technologies, 2019


110)
Conference Paper

Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics

Iman Haghighi, Noushin Mehdipour, Ezio Bartocci, Calin Belta

In Proc. of CDC 2019: the 58th Conference on Decision and Control , pp. 4361-4366, 2019


109)
Conference Paper

Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting

Paul Piho, Filip Margetiny, Ezio Bartocci, Richard Ribchester, Jane Hillston

In Proc. of CMSB 2019: the 17th International Conference on Computational Methods in Systems Biology, pp. 23--32, 2019


108)
Conference Paper

Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty

Hui Kong, Ezio Bartocci, Yu Jiang, Thomas Henzinger

In Proc. of FORMATS 2019: 17th International Symposium on Formal Modeling and Analysis of Timed Systems, vol. 11750, pp. 123--141, 2019


107)
Edited

Preface

Ezio Bartocci, Radu Grosu, Rance Cleaveland, Oleg Sokolsky

In From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, vol. 11500, 2019


106)
Invited Paper


Ezio Bartocci, Ylies Falcone, Giles Reger

In Proc. of TACAS 2019: the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 11429, pp. 41-49, 2019


105)
Invited Paper


Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada

In Proc. of TACAS 2019: the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 11429, pp. 3-24, 2019


104)
Journal Paper


Amit Gurung, Rajarshi Ray, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu

In Journal of Software Tools for Technology Transfer, vol. 21(4), pp. 401-423, 2019


103)
Journal Paper

A Roadmap Towards Resilient Internet of Things for Cyber-Physical Systems

Denise Ratasich, Faiq Khalid, Florian Geissler, Radu Grosu, Muhammad Shafique, Ezio Bartocci

In IEEE Access, vol. 7(1), pp. 13260-83, 2019


102)
Journal Paper

A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)

Cesar Sanchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Ylies Falcone, Adrian Francalanza, Srdan Krstic, JoHao M. Lourenço, Dejan Nickovic, Gordon J. Pace, Jose Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss

In Formal Methods in Systems Design, vol. 54(3), pp. 279-335, 2019


101)
Journal Paper

First International Competition on Runtime Verification, Rules, Benchmarks, Tools, and Final Results of CRV 2014

Ezio Bartocci, Ylies Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang

In Journal of Software Tools for Technology Transfer, vol. 21(1), pp. 31-70, 2019


100)
Journal Paper

Quantitative Regular Expressions for Arrhythmia Detection

Houssam Abbas, Alena Rodionova, Konstantinos Mamouras, Ezio Bartocci, Scott A. Smolka, Radu Grosu

In IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 16(5), pp. 1586--1597, 2019


2018
99)
Book Chapter

Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications

Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan

In Lectures on Runtime Verification - Introductory and Advanced Topics, vol. 10457, pp. 128--168, 2018


98)
Book Chapter

An Introduction to Runtime Verification

Ezio Bartocci, Ylies Falcone, Adrian Francalanza, Giles Reger

In Lectures on Runtime Verification - Introductory and Advanced Topics, vol. 10457, pp. 1--32, 2018


97)
Conference Paper

A Robust Genetic Algorithm for Learning Temporal Specifications from Data

Laura Nenzi, Simone Silvetti, Ezio Bartocci, Luca Bortolussi

In Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of SysTems , vol. 11024, pp. 323-338, 2018


96)
Conference Paper


Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, Ulrich Schmid

In Proc. of ADHS 2018 - IFAC Conference on Analysis and Design of Hybrid Systems, vol. 51(16), pp. 241--246, 2018


95)
Conference Paper


Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Roeck

In Proc. of CAV 2018: the 30th International Conference on Computer-Aided Verification, vol. 10981, pp. 547-564, 2018


94)
Conference Paper

Localizing Faults in Simulink/Stateflow Models with Signal Temporal Logic

Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath, Dejan Nickovic

In Proc. of HSCC 2018: the 21st ACM International Conference on Hybrid Systems: Computation and Control, pp. 197--206, 2018


93)
Conference Paper

Parameter-Independent Strategies for pMDPs via POMDPs

Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova

In Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of SysTems, vol. 11024, pp. 53--70, 2018


92)
Conference Paper


Hui Kong, Ezio Bartocci, Thomas Henzinger

In Proc. of CAV 2018: the 30th International Conference on Computer-Aided Verification, vol. 10981, pp. 449-467, 2018


91)
Conference Paper

Signal Convolution Logic

Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi

In Proc. of ATVA 2018: the 16th International Symposium on Automated Technology for Verification and Analysis, vol. 11138, pp. 267--283, 2018


90)
Edited

Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016)

Ezio Bartocci, Pietro Liò, Nicola Paoletti

In IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 15(4), pp. 1122-1123 , 2018


89)
Edited

Preface

Ezio Bartocci, Ylies Falcone

In Lectures on Runtime Verification - Introductory and Advanced Topics, vol. 10457, 2018


88)
Invited Paper

Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial)

Ezio Bartocci

In Proc. of RV 2018: The 18th International Conference on Runtime Verification, vol. 11138, pp. 35--42, 2018


87)
Invited Paper

RV-TheToP: Runtime Verification from Theory To the Industry Practice (Track Introduction)

Ezio Bartocci, Ylies Falcone

In Proc. of ISoLA 2018: the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Foundational Technique, vol. 11247, pp. 3--8, 2018


86)
Journal Paper


Ezio Bartocci, Ebru Aydin Gol, Iman Haghighi, Calin Belta

In IEEE Transactions on Control of Network Systems, vol. 5(1), 2018


85)
Journal Paper

An Algebraic Framework for Runtime Verification

Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic

In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (IEEE TCAD)., vol. 37(11), pp. 2233--2243, 2018

This paper was accepted at EMSOFT 2018.

84)
Journal Paper


Stefan Jaksic, Ezio Bartocci, Radu Grosu, Thang Nguyen, Dejan Nickovic

In Formal Methods in Systems Design, vol. 53(1), pp. 83--112, 2018


2017
83)
Conference Paper

Quantitative Regular Expressions for Arrhythmia Detection Algorithms

Houssam Abbas, Alena Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu

In Proc. of CMSB 2017: the 15th International Conference on Computational Methods in Systems Biology, vol. 10545, pp. 23--39, 2017


82)
Conference Paper

A Linear Programming-based iterative approach to Stabilizing Polynomial Dynamics

Mohamed Amin Ben Sassi, Ezio Bartocci, Sriram Sankaranarayanan

In Proc. of IFAC 2017: the 20th World Congress of the International Federation of Automatic Control, vol. 50(1), pp. 10462-469, 2017


81)
Conference Paper

A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage

Marco Baldi, Ezio Bartocci, Franco Chiaraluce, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni

In Proc. of QEST 2017: the 14th International Conference on Quantitative Evaluation of SysTems, vol. 10503, 2017


80)
Conference Paper

ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans

Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu

In Proc. of TACAS 2017: the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 10206, pp. 286--302, 2017


79)
Conference Paper

Computing with Biophysical and Hardware-efficient Neural Models

Konstantin Selyunin, Ramin M. Hasani, Denise Ratasich, Ezio Bartocci, Radu Grosu

In Proc. of IWANN 2017: 14th International Work-Conference on Artificial Neural Networks - Advances in Computational Intelligence, vol. 10305, pp. 535--547, 2017


78)
Conference Paper

Monitoring Mobile and Spatially Distributed Cyber-Physical Systems

Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi

In Proc. of MEMOCODE 2017: the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design , pp. 146--155, 2017


77)
Conference Paper

Runtime Monitoring with Recovery of the SENT Communication Protocol

Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, C. Reidl, U. Hafner, Ezio Bartocci, Dejan Nickovic, Radu Grosu

In Proc. of CAV 2017: the 29th International Conference on Computer-Aided Verification, vol. 10426, pp. 336--355, 2017


76)
Conference Paper

SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems

Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani

In Proc. of HVC 2017: the 13th IBM Haifa Verification Conference, Haifa, Israel, vol. 10629, pp. 131--146, 2017


75)
Edited

Introduction to the Special Issue on Runtime Verification

Ezio Bartocci, Rupak Majumdar

In Formal Methods in System Design, vol. 51(1), pp. 1--4, 2017


74)
Journal Paper

Policy learning in Continuous-Time Markov Decision Processes using Gaussian Processes

Ezio Bartocci, Luca Bortolussi, Tomas Brazdil, Dimitrios Milos, Guido Sanguinetti

In International Journal of Performance Evaluation, vol. 116, pp. 84--100, 2017


73)
Workshop Paper

SEA-PARAM: Exploring Schedulers in Parametric MDPs

Sebastian Arming, Ezio Bartocci, Ana Sokolova

In Proc. of QAPL 2017: the 15 International Workshop on Quantitative Aspects of Programming Languages and Systems, 2017


2016
72)
Conference Paper

Applying Runtime Monitoring for Automotive Electronic Development

Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Radu Grosu

In Proc. of RV 2016: the 7th International Conference on Runtime Verification, vol. 10012, pp. 462--469, 2016


71)
Conference Paper

Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems

Kenan Kalajdzic, Cyrille Jegourel, Anna Lukina, Ezio Bartocci, Axel Legay, Scott A. Smolka, Radu Grosu

In Proc. of ISoLA 2016: the 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, vol. 9952, pp. 46--61, 2016


70)
Conference Paper


Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu

In Proc. of the 2016 Design, Automation & Test in Europe Conference & Exhibition, pp. 924-929, 2016

69)
Conference Paper

Parallel Reachability Analysis for Hybrid Systems

Amit Gurung, Deka Arup Kumar, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray

In Proc. of MEMOCODE 2016: the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2016


68)
Conference Paper


Ezio Bartocci, Luca Bortolussi, Tomas Brazdil, Dimitrios Milios, Guido Sanguinetti

In Proc. of QEST 2016: the 13th International Conference on Quantitative Evaluation of SysTems, vol. 9826, pp. 244--259, 2016


67)
Conference Paper

Quantitative Monitoring of STL with Edit Distance

Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic

In Proc. of RV 2016: the 7th International Conference on Runtime Verification, vol. 10012, pp. 201-218, 2016


66)
Conference Paper


Alena Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu

In Proc. of HSCC'16: the 19th International Conference on Hybrid Systems: Computation and Control, pp. 11--20, 2016

Honorable mention for the HSCC 2016 Best Student Paper Award

65)
Edited

Preface (CMSB 2016)

Ezio Bartocci, Pietro Liò, Nicola Paoletti

In Proc. of CMSB 2016: the 14th conference on Computational Methods in Systems Biology, Cambridge, UK, vol. 9859, pp. V-VI, 2016


64)
Edited


Ezio Bartocci, C. R. Ramakrishnan

In Software Tools for Technology Transfer (STTT), vol. 18(4), pp. 355--357, 2016


63)
Invited Paper


Ezio Bartocci, Ylies Falcone

In Proc. of ISoLA 2016: the 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, vol. 9953, pp. 333-338, 2016


62)
Invited Paper


Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Stefan Jaksic, Konstantin Selyunin

In Proc. of ISoLA 2016: the 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, vol. 9953, pp. 371-379, 2016


61)
Journal Paper


Ezio Bartocci, Pietro Liò

In PLOS Computational Biology, vol. 12(1), pp. e1004591, 2016


60)
Workshop Paper

Discrete Abstraction of Multiaffine Systems

Hui Kong, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas Henzinger, Yu Jiang, Christian Schilling

In Proc. of HSB 2016: the Fifth International Workshop on Hybrid Systems Biology , vol. 9957, pp. 128--144, 2016


2015
59)
Conference Paper


Sergiy Bogomolov, Christian Schilling, Ezio Bartocci, Gregory Batt, Hui Kong, Radu Grosu

In In Proc. of HVC 2015: the 11th Haifa Verification Conference, Haifa, Israel, November, 2015, vol. 9434, pp. 19-35, 2015


58)
Conference Paper


Stefan Jaksic, Ezio Bartocci, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen, Dejan Nickovic

In Proc. of MEMOCODE 2015: the 13th ACM-IEEE International Conference on Formal Methods and Models for System Design, pp. 218-227, 2015


57)
Conference Paper


Konstantin Selyunin, Denise Ratasich, Ezio Bartocci, Md. Ariful Islam, Scott A. Smolka, Radu Grosu

In Proc. of CDC 2015: the 54th IEEE Conference on Decision and Control, pp. 6978-6985, 2015


56)
Conference Paper


Iman Haghighi, Austin Jones, Zhaodan Kong, Ezio Bartocci, Radu Grosu, Calin Belta

In Proc. of HSCC 2015: the 18th International Conference on Hybrid Systems: Computation and Control, pp. 189-198, 2015


55)
Conference Paper


Rajarshi Ray, Amit Gurung, Binayak Das, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu

In Proc. of HVC 2015: the 11th Haifa Verification Conference, Haifa, Israel, November, 2015, vol. 9434, pp. 3-18, 2015


54)
Edited


Ezio Bartocci, Rupak Majumdar

In Proc. of RV 2015: the 15th International Conference on Runtime Verification, Vienna, Austria, vol. 9333, pp. V-VI, 2015


53)
Journal Paper


Md. Ariful Islam, Abhishek Murthy, Ezio Bartocci, Elizabeth M. Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka, Radu Grosu

In Theoretical Computer Science, vol. 599, pp. 34-46, 2015


52)
Journal Paper


Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti

In Theoretical Computer Science, vol. 587, pp. 3-25, 2015


51)
Workshop Paper


Ezio Bartocci, Luca Bortolussi, Dimitrios Milios, Laura Nenzi, Guido Sanguinetti

In Proc. of HSB 15: the 4th International Workshop on Hybrid Systems Biology, vol. 9271, pp. 156-172, 2015


2014
50)
Conference Paper

A formal methods approach to pattern synthesis in reaction diffusion systems

Ebru Aydin Gol, Ezio Bartocci, Calin Belta

In Proc. of CDC'14: the 53rd {IEEE} Conference on Decision and Control, pp. 108--113, 2014


49)
Conference Paper


Ezio Bartocci, Luca Bortolussi, Guido Sanguinetti

In Proc. of FORMATS 2014: the 12th International Conference on Formal Modeling and Analysis of Timed Systems, vol. 8711, pp. 23-37, 2014


48)
Conference Paper


Ezio Bartocci, Richard Defrancisco, Scott A. Smolka

In Proc. of SPIN 2014: the International SPIN Symposium on Model Checking of Software, pp. 87-96, 2014


47)
Conference Paper


Md. Ariful Islam, Tushar Deshpande, Abhishek Murthy, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu

In Proc. of BIOTECHNO 2014: The Sixth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies, pp. 52-58, 2014

46)
Edited


Ezio Bartocci, Luca Bortolussi, Scott A. Smolka

In Information and Computation, vol. 236, pp. 1-2, 2014


45)
Invited Paper

Cyber-Physical Systems: Theoretical and Practical Challenges

Ezio Bartocci, Oliver Hoftberger, Radu Grosu

In ERCIM News, vol. 97, pp. 8-9, 2014

44)
Invited Paper

First International Competition of Software for Runtime Verification

Ezio Bartocci, Borzoo Bonakdarpour, Ylies Falcone

In Proc. of RV 2014: the 14th International Conference on Runtime Verification, vol. 8734, pp. 1-9, 2014


43)
Invited Paper


Ezio Bartocci, Sicun Gao, Scott A. Smolka

In Proc. of ISoLA 2014: the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Specialized Technique, vol. 8803, pp. 353-355, 2014


42)
Invited Paper


Sara Bufo, Ezio Bartocci, Guido Sanguinetti, Massimo Borelli, Umberto Lucangelo, Luca Bortolussi

In Proc. of ISoLA 2014: the 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, vol. 8803, pp. 391-403, 2014


2013
41)
Conference Paper


Ezio Bartocci, Luca Bortolussi, Laura Nenzi

In Proc. of CMSB 2013: the 11th International Conference on Computational Methods in Systems Biology, IST Austria, Klosterneuburg, Austria, vol. 8130, pp. 164-178, 2013


40)
Conference Paper


Kenan Kalajdzic, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu

In Proc. of RV 2013: the 4th International Conference on Runtime Verification, INRIA Rennes, France, September, 2013, vol. 8174, pp. 149-166, 2013


39)
Edited


Ezio Bartocci, Luca Bortolussi

In Proc. of the First International Workshop on Hybrid Systems and Biology, vol. 92, 2013


38)
Edited


Ezio Bartocci, C. R. Ramakrishnan

In Proc. of SPIN 2013: the 20th International Symposium of SPIN Model Checking Software, Stony Brook, NY, USA, vol. 7976, pp. V-VI, 2013


37)
Invited Paper

Monitoring with uncertainty

Ezio Bartocci, Radu Grosu

In Proceedings of HAS 2013: the 3rd Intern. Workshop of Hybrid Autonomous Systems, vol. 125(1), pp. 3--19, 2013


36)
Journal Paper


Abhishek Murthy, Ezio Bartocci, Flavio H. Fenton, James Glimm, Richard A. Gray, Elizabeth M. Cherry, Scott A. Smolka, Radu Grosu

In IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 10(2), pp. 323-336, 2013


35)
Workshop Paper


Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti

In Proceedings of HSB 2013: the 2nd Intern. Workshop on Hybrid Systems and Biology, Taormina, Italy,, vol. 125(1), pp. 3--19, 2013


34)
Workshop Paper


Ezio Bartocci

In Proceedings of HAS 2013: the 3rd Intern. Workshop of Hybrid Autonomous Systems, vol. 124(9), pp. 85--99, 2013


2012
33)
Conference Paper


Ezio Bartocci, Radu Grosu, Atul Kamarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok, Justin Seyster

In Proc. of RV 2012: the 3rd International Conference on Runtime Verification, Istanbul, Turkey, September, vol. 7687, pp. pp. 168-18, 2012


32)
Conference Paper


Abhishek Murthy, Md. Ariful Islam, Ezio Bartocci, Elizabeth M. Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka, Radu Grosu

In Proc. of CMSB 2012, the Tenth International Conference on Computational Methods in Systems Biology The Royal Society, London, UK, October 3-5, vol. 7605, pp. 267-287, 2012


31)
Conference Paper


Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka

In Proc. of ATVA 2012, the 10th International Symposium on Automated Technology for Verification and Analysis, Trivandrum, Kerala, October 3-6, vol. 7561, pp. 92-106, 2012


30)
Journal Paper


Ezio Bartocci, Pietro Liò, Emanuela Merelli, Nicola Paoletti

In T. Comp. Sys. Biology, vol. 14, pp. 53-76, 2012


29)
Journal Paper


Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Leonardo Vito

In J. Integrative Bioinformatics, vol. 9(1), 2012


2011
28)
Conference Paper


Abhishek Murthy, Ezio Bartocci, Flavio H. Fenton, James Glimm, Richard A. Gray, Scott A. Smolka, Radu Grosu

In Proc. of CMSB 2011: Proceedings of the 9th ACM International Conference on Computational Methods in Systems Biology, Paris, France, September 21-23, pp. 151--160, 2011


27)
Conference Paper


Radu Grosu, Gregory Batt, Flavio H. Fenton, James Glimm, Colas Le Guernic, Scott A. Smolka, Ezio Bartocci

In Proc. of CAV'11, the 23rd International Conference on Computer Aided Verification, Cliff Lodge, Snowbird, Utah, USA, July, 2011, vol. 6806, pp. 396-411, 2011


26)
Conference Paper


Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka

In Proc. of TACAS'11:the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Saarbruecken, Germany,March , vol. 6605, pp. 326-340, 2011


25)
Conference Paper


Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok

In Proc. of RV'11, the 2nd International Conference on Runtime Verification, San Francisco, September 27-30, vol. 7186, pp. 193-207, 2011

Best Paper Award

24)
Conference Paper


Ezio Bartocci, Elizabeth M. Cherry, James Glimm, Radu Grosu, Scott A. Smolka, Flavio H. Fenton

In Proc. of CMSB 2011: the 9th ACM International Conference on Computational Methods in Systems Biology, Paris, France, September 21-23, pp. 103-112, 2011


23)
Journal Paper


Roberta Alfieri, Ezio Bartocci, Emanuela Merelli, Luciano Milanesi

In Biosystems, vol. 105(1), pp. 34-40, 2011


22)
Journal Paper


Ezio Bartocci, Rupinder Singh, Frederick B. von Stein, Avessie Amedome, Alan Joseph J. Caceres, Juan Castillo, Evan Closser, Gabriel Deards, Andriy Goltsev, Roumwelle Sta. Ines, Cem Isbilir, Joan K. Marc, Diquan Moore, Dana Pardi, Sandeep Sadhu, Samuel Sanchez, Pooja Sharma, Anoopa Singh, Joshua Rogers, Aron Wolinetz, Terri Grosso-Applewhite, Kai Zhao, Andrew B. Filipski, Robert F. Gilmour Jr., Radu Grosu, James Glimm, Scott A. Smolka, Elizabeth M. Cherry, Edmund M. Clarke, Nancy Griffeth, Flavio H. Fenton

In American Journal of Physiology - Advances in Physiology Education, vol. 35(4), pp. 427-437, 2011


21)
Workshop Paper


Radu Grosu, Flavio H. Fenton, Scott A. Smolka, Ezio Bartocci

In Proc. of the 34th Software Engineering Workshop (SEW), Limerick, Ireland, June, pp. 69-76, 2011


2010
20)
Conference Paper


Ezio Bartocci, Diletta Romana Cacciagrano, Flavio Corradini, Emanuela Merelli, Leonardo Vito

In Proc. of the First International Conference on Biosciences, Cancun, Mexico, pp. 70-75, 2010


19)
Journal Paper


Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei

In Theoretical Computer Science, vol. 411(20), pp. 1999-2018, 2010


18)
Journal Paper


Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei

In Sci. Ann. Comp. Sci., vol. 20, pp. 1-31, 2010

17)
Journal Paper


Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei

In Scientific Annals of Computer Science, vol. 20, pp. 33-52, 2010

2009
16)
Conference Paper

A Shape Calculus for Biological Processes

Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei

In Proc. of ICTCS'09, the 11th Italian Conference on Theoretical Computer Science, Cremona, Italy, March, pp. 30-33, 2009

15)
Journal Paper


Radu Grosu, Scott A. Smolka, Flavio Corradini, Anita Wasilewska, Emilia Entcheva, Ezio Bartocci

In Commun. ACM, vol. 52(3), pp. 97-105, 2009


14)
Journal Paper

Modeling and simulation of cardiac tissue using hybrid I/O automata

Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Scott A. Smolka, Radu Grosu

In Theor. Comput. Sci., vol. 410(33-34), pp. 3149-3165, 2009


13)
Workshop Paper

Model Checking Biological Oscillators

Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei

In Electr. Notes Theor. Comput. Sci., vol. 229(1), pp. 41-58, 2009


2008
12)
Conference Paper

Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes

Radu Grosu, Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka, Anita Wasilewska

In Proc. of HSCC'08, the 11th International Conference on Hybrid Systems: Computation and Control, St. Louis, vol. 4981, pp. 229-243, 2008

To also appear in CACM, the Communications of the ACM, 2009.

11)
Journal Paper

CellExcite: an efficient simulation environment for excitable cells

Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Radu Grosu, Scott A. Smolka

In BMC Bioinformatics, vol. 9(S-2), 2008


10)
Workshop Paper

Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue

Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu, Scott A. Smolka

In Electr. Notes Theor. Comput. Sci., vol. 194(3), pp. 51-67, 2008


2007
9)
Journal Paper


Ezio Bartocci, Diletta Romana Cacciagrano, Nicola Cannata, Flavio Corradini, Emanuela Merelli, Luciano Milanesi, Paolo Romano

In IEEE Transactions on Nanobioscience, vol. 6(2), pp. 142-148, 2007


8)
Journal Paper


Paolo Romano, Ezio Bartocci, Guglielmo Bertolini, Flavio De Paoli, Domenico Marra, Giancarlo Mauri, Emanuela Merelli, Luciano Milanesi

In BMC Bioinformatics, vol. 8(S-1), 2007


7)
Journal Paper


Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Lorenzo Scortichini

In BMC Bioinformatics, vol. 8(S-1), 2007


2006
6)
Workshop Paper

A GRID-based multilayer architecture for bioinformatics

Ezio Bartocci, Diletta Romana Cacciagrano, Nicola Cannata, Flavio Corradini, Emanuela Merelli, Luciano Milanesi, Paolo Romano

In Proc. of the NETTAB'06: Network Tools and Application in Biology, Santa Margheita di Pula, Cagliari, Italy, 2006

5)
Workshop Paper

Building a MultiAgent System from a User Workflow Specification

Ezio Bartocci, Flavio Corradini, Emanuela Merelli

In Proc. of Workshop From Object to Agents - WOA 2006, September 26-27, vol. 204, 2006

4)
Workshop Paper


Ezio Bartocci, Flavio Corradini, Emanuela Merelli

In In Proc. of the 1st International Workshop on Workflow Systems in e-Science (WSES 06) ICCS 2006, Part III, vol. 3993, pp. 1012-1015, 2006


3)
Workshop Paper

Model driven design and implementation of activity-based applications in Hermes

Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Leonardo Vito

In Proc. of Workshop From Object to Agents - WOA 2006, September 26-27, vol. 204, 2006

2003
2)
Conference Paper

An XML View of the "World"

Ezio Bartocci, Emanuela Merelli, Leonardo Mariani

In Proc. of ICEIS'03, the 5th International Conference on Enterprise Information Systems, Angers, France, April 22-26, pp. 19-27, 2003

1)
Journal Paper


Gertrud Fischer, Saleh M. Ibrahim, Gudrun A. Brockmann, Jens Pahnke, Ezio Bartocci, Hans-Jürgen Thiesen, Pablo Serrano-Fernández, Stefan Möller

In Genome biology, vol. 4(11), 2003


×

Some text to describe the callout message.
Learn more or close it if it is in your way.

Impressum


Name: Univ.-Prof. Dott. Ric. Ezio Bartocci Title: University Professor in Computer Science
Affiliation: Institute of Computer Engineering
TU Wien – Technische Universität Wien
Address: TU Wien, Treitlstrasse 3, 1040 Vienna, Austria
Email: ezio.bartocci@tuwien.ac.at Responsible for Content: Ezio Bartocci, § 55 Abs. 2 RStV

Disclaimer: I assume no liability for the content of external links. Responsibility lies solely with the operators of linked websites. Copyright: All content on this site is © Ezio Bartocci unless otherwise noted. Reuse without permission is not allowed. Privacy Policy (Datenschutzerklärung): This website does not collect personal data, use cookies, or analytics services.