Ezio Bartocci - RankMe

259 papers A* 8A 9B 27C 7Misc 2Journal 122Unranked 73

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Declarative Scenario-based Testing with RoadLogic. CoRR Ezio Bartocci, Alessio Gambi, Felix Gigler, Cristinel Mateis, Dejan Nickovic
2026	J	`jnl`	GreenServ: Energy-Efficient Context-Aware Dynamic Routing for Multi-Model LLM Inference. CoRR Thomas Ziller, Shashikant Ilager, Alessandro Tundo, Ezio Bartocci, Leonardo Mariani, Ivona Brandic
2026	—	`conf`	Information-Flow Interfaces and Security Lattices. Engineering Safe and Trustworthy Cyber Physical Systems Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2026	J	`jnl`	Polar: An Algebraic Analyzer for (Probabilistic) Loops. CoRR Marcel Moosbrugger, Julian Müllner, Ezio Bartocci, Laura Kovács
2026	J	`jnl`	Towards Safe Learning-Based Non-Linear Model Predictive Control through Recurrent Neural Network Modeling. CoRR Mihaela-Larisa Clement, Mónika Farsang, Agnes Poks, Johannes Edelmann, Manfred Plöchl, Radu Grosu, Ezio Bartocci
2025	J	`jnl`	(Un)Solvable loop analysis. Formal Methods Syst. Des. Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
2025	J	`jnl`	A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators. CoRR Beatrice Melani, Ezio Bartocci, Michele Chiari
2025	J	`jnl`	A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators. ACM Trans. Embed. Comput. Syst. Beatrice Melani, Ezio Bartocci, Michele Chiari
2025	J	`jnl`	Correction: (Un)Solvable loop analysis. Formal Methods Syst. Des. Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
2025	J	`jnl`	Cumulative-Time Signal Temporal Logic. CoRR Hongkai Chen, Zeyu Zhang, Shouvik Roy, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Shan Lin
2025	J	`jnl`	Cumulative-Time Signal Temporal Logic. ACM Trans. Embed. Comput. Syst. Hongkai Chen, Zeyu Zhang, Shouvik Roy, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Shan Lin
2025	A*	`conf`	Exact Upper and Lower Bounds for the Output Distribution of Neural Networks with Random Inputs. ICML Andrey Kofnov, Daniel Kapla, Ezio Bartocci, Efstathia Bura
2025	J	`jnl`	Exact Upper and Lower Bounds for the Output Distribution of Neural Networks with Random Inputs. CoRR Andrey Kofnov, Daniel Kapla, Ezio Bartocci, Efstathia Bura
2025	A*	`conf`	Fault Injection for Simulink-based CPS Models: Insights and Future Directions. ASE Drishti Yadav, Claudio Mandrioli, Ezio Bartocci, Domenico Bianculli
2025	J	`jnl`	Gray-box runtime enforcement of hyperproperties. Acta Informatica Tzu-Han Hsu, Ana Oliveira da Costa, Andrew Wintenberg, Ezio Bartocci, Borzoo Bonakdarpour
2025	J	`jnl`	Hypernode automata. Acta Informatica Ezio Bartocci, Marek Chalupa, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2025	J	`jnl`	Information-flow interfaces. Formal Methods Syst. Des. Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2025	—	`conf`	Mining Specifications for Predictive Safety Monitoring. ICCPS Eleonora Nesterini, Ezio Bartocci, Alessio Gambi, Dejan Nickovic, Sanjit A. Seshia, Hazem Torfah
2025	A	`conf`	OFTEN-DEEPRL: On-the-Fly Teaching of Ethical Norms to Deep Reinforcement Learning Agents. ECAI Ignacio D. Lopez-Miguel, Sebastian P. Adam, Ezio Bartocci, Thomas Eiter, Martin Tappler
2025	—	`conf`	POPACheck: A Model Checker for Probabilistic Pushdown Automata. CAV (2) Francesco Pontiggia, Ezio Bartocci, Michele Chiari
2025	J	`jnl`	POPACheck: a Model Checker for probabilistic Pushdown Automata. CoRR Francesco Pontiggia, Ezio Bartocci, Michele Chiari
2025	J	`jnl`	Quantifying the Satisfaction of Spatio-Temporal Logic Specifications for Multiagent Control. IEEE Trans. Autom. Control. Wenliang Liu, Suhail Alsalehi, Noushin Mehdipour, Ezio Bartocci, Calin Belta
2025	A*	`conf`	Rule-Guided Reinforcement Learning Policy Evaluation and Improvement. IJCAI Martin Tappler, Ignacio D. Lopez-Miguel, Sebastian Tschiatschek, Ezio Bartocci
2025	J	`jnl`	Rule-Guided Reinforcement Learning Policy Evaluation and Improvement. CoRR Martin Tappler, Ignacio D. Lopez-Miguel, Sebastian Tschiatschek, Ezio Bartocci
2025	J	`jnl`	Signal Feature Coverage and Testing for CPS Dataflow Models. ACM Trans. Softw. Eng. Methodol. Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
2025	J	`jnl`	TD-Interpreter: Enhancing the Understanding of Timing Diagrams with Visual-Language Learning. CoRR Jie He, Vincent Theo Willem Kenbeek, Zhantao Yang, Meixun Qu, Ezio Bartocci, Dejan Nickovic, Radu Grosu
2024	—	`conf`	A Comparison of Monitoring Techniques for Deep Neural Networks. AISoLA Ezio Bartocci, Wasim Essbai
2024	—	`conf`	A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake Case. Principles of Verification (2) Ezio Bartocci, Josée Desharnais, Peter Lindner, Ana Sokolova
2024	C	`conf`	Adaptable Configuration of Decentralized Monitors. FORTE Ennio Visconti, Ezio Bartocci, Yliès Falcone, Laura Nenzi
2024	A*	`conf`	DeepRIoT: Continuous Integration and Deployment of Robotic-IoT Applications. DAC Meixun Qu, Jie He, Zlatan Tucakovic, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu
2024	J	`jnl`	Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments. ACM Trans. Model. Comput. Simul. Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura
2024	J	`jnl`	Information-flow Interfaces and Security Lattices. CoRR Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2024	J	`jnl`	Model Checking Recursive Probabilistic Programs with Conditioning. CoRR Francesco Pontiggia, Ezio Bartocci, Michele Chiari
2024	—	`conf`	Polar: An Algebraic Analyzer for (Probabilistic) Loops. Principles of Verification (1) Marcel Moosbrugger, Julian Müllner, Ezio Bartocci, Laura Kovács
2024	—	`conf`	Probabilistic Loop Synthesis from Sequences of Moments. QEST+FORMATS Miroslav Stankovic, Ezio Bartocci
2024	—	`conf`	Quantifying Uncertainty in Probabilistic Loops Without Sampling: A Fully Automated Approach. RP Ezio Bartocci
2024	—	`conf`	The ProbInG Project: Advancing Automatic Analysis of Probabilistic Loops. ISoLA (1) Ezio Bartocci
2024	—	`conf`	Verifying Global Two-Safety Properties in Neural Networks with Confidence. CAV (2) Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher
2024	J	`jnl`	Verifying Global Two-Safety Properties in Neural Networks with Confidence. CoRR Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher
2023	J	`jnl`	(Un)Solvable Loop Analysis. CoRR Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
2023	A*	`conf`	An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge. ASE Alessandro Tundo, Marco Mobilio, Shashikant Ilager, Ivona Brandic, Ezio Bartocci, Leonardo Mariani
2023	J	`jnl`	An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge. CoRR Alessandro Tundo, Marco Mobilio, Shashikant Ilager, Ivona Brandic, Ezio Bartocci, Leonardo Mariani
2023	—	`conf`	Deductive Controller Synthesis for Probabilistic Hyperproperties. QEST Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger
2023	J	`jnl`	Deductive Controller Synthesis for Probabilistic Hyperproperties. CoRR Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger
2023	J	`jnl`	Density Elicitation with applications in Probabilistic Loops. CoRR Andrey Kofnov, Ezio Bartocci, Efstathia Bura
2023	J	`jnl`	Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments. CoRR Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura
2023	B	`conf`	Hypernode Automata. CONCUR Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2023	J	`jnl`	Hypernode Automata. CoRR Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2023	—	`conf`	Introducing Asynchronicity to Probabilistic Hyperproperties. QEST Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
2023	J	`jnl`	Introducing Asynchronicity to Probabilistic Hyperproperties. CoRR Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
2023	B	`conf`	Lightweight Verification of Hyperproperties. ATVA Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang
2023	J	`jnl`	Mining Hyperproperties using Temporal Logics. ACM Trans. Embed. Comput. Syst. Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
2023	B	`conf`	Mining Specification Parameters for Multi-class Classification. RV Edgar A. Aguilar, Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
2023	J	`jnl`	MoonLight: a lightweight tool for monitoring spatio-temporal properties. Int. J. Softw. Tools Technol. Transf. Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Simone Silvetti, Michele Loreti
2023	A	`conf`	Progression for Monitoring in Temporal ASP. ECAI Davide Soldà, Ignacio D. Lopez-Miguel, Ezio Bartocci, Thomas Eiter
2023	A	`conf`	Property-Based Mutation Testing. ICST Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
2023	J	`jnl`	Property-Based Mutation Testing. CoRR Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
2023	—	`conf`	Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties. SPIN Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Bettina Könighofer
2023	A*	`conf`	TD-Magic: From Pictures of Timing Diagrams To Formal Specifications. DAC Jie He, Dejan Nickovic, Ezio Bartocci, Radu Grosu
2022	J	`jnl`	A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. Log. Methods Comput. Sci. Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti
2022	A*	`conf`	DeepSTL - From English Requirements to Signal Temporal Logic. ICSE Jie He, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu
2022	—	`conf`	Distribution Estimation for Probabilistic Loops. QEST Ahmad Karimi, Marcel Moosbrugger, Miroslav Stankovic, Laura Kovács, Ezio Bartocci, Efstathia Bura
2022	J	`jnl`	Enforcing ethical goals over reinforcement-learning policies. Ethics Inf. Technol. Emery A. Neufeld, Ezio Bartocci, Agata Ciabattoni, Guido Governatori
2022	—	`conf`	FIM: fault injection and mutation for Simulink. ESEC/SIGSOFT FSE Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
2022	B	`conf`	Flavors of Sequential Information Flow. VMCAI Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2022	—	`ed.`	HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022 HSCC Ezio Bartocci, Sylvie Putot
2022	B	`conf`	Information-flow Interfaces. FASE Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2022	J	`jnl`	Model checking hyperproperties for Markov decision processes. Inf. Comput. Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
2022	—	`conf`	Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments. QEST Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura
2022	J	`jnl`	Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments. CoRR Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura
2022	J	`jnl`	Moment-based analysis of Bayesian network properties. Theor. Comput. Sci. Miroslav Stankovic, Ezio Bartocci, Laura Kovács
2022	B	`conf`	On Normative Reinforcement Learning via Safe Reinforcement Learning. PRIMA Emery A. Neufeld, Ezio Bartocci, Agata Ciabattoni
2022	—	`conf`	Probabilistic Hyperproperties with Rewards. NFM Oyendrila Dobe, Lukas Wilke, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
2022	A	`conf`	Search-based Testing for Accurate Fault Localization in CPS. ISSRE Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
2022	B	`conf`	Solving Invariant Generation for Unsolvable Loops. SAS Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
2022	J	`jnl`	Solving Invariant Generation for Unsolvable Loops. CoRR Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
2022	J	`jnl`	Survey on mining signal temporal logic specifications. Inf. Comput. Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
2022	J	`jnl`	The probabilistic termination tool amber. Formal Methods Syst. Des. Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
2022	J	`jnl`	This is the Moment for Probabilistic Loops. CoRR Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács
2022	J	`jnl`	This is the moment for probabilistic loops. Proc. ACM Program. Lang. Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács
2021	J	`jnl`	A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. CoRR Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Michele Loreti
2021	A	`conf`	A Normative Supervisor for Reinforcement Learning Agents. CADE Emery A. Neufeld, Ezio Bartocci, Agata Ciabattoni, Guido Governatori
2021	J	`jnl`	A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities. CoRR Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng
2021	J	`jnl`	A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities. IEEE Internet Things J. Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng
2021	J	`jnl`	A Perspective on "CCS Expressions, Finite State Processes, and Three Problems of Equivalence". SIGACT News Ezio Bartocci, Michael A. Bender
2021	—	`conf`	Adaptive Testing for Specification Coverage in CPS Models. ADHS Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic
2021	A	`conf`	Automated Termination Analysis of Polynomial Probabilistic Programs. ESOP Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
2021	J	`jnl`	CPSDebug: Automatic failure explanation in CPS models. Int. J. Softw. Tools Technol. Transf. Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
2021	J	`jnl`	Flavours of Sequential Information Flow. CoRR Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2021	—	`ed.`	Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday Formal Methods in Outer Space Ezio Bartocci, Yliès Falcone, Martin Leucker
2021	J	`jnl`	From English to Signal Temporal Logic. CoRR Jie He, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu
2021	B	`conf`	HyperProb: A Model Checker for Probabilistic Hyperproperties. FM Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
2021	J	`jnl`	MORA - Automatic Generation of Moment-Based Invariants. CoRR Ezio Bartocci, Laura Kovács, Miroslav Stankovic
2021	B	`conf`	Mining Shape Expressions with ShapeIt. SEFM Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin
2021	J	`jnl`	Mining Shape Expressions with ShapeIt. CoRR Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin
2021	J	`jnl`	MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. CoRR Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Simone Silvetti
2021	—	`conf`	Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications. CDC Suhail Alsalehi, Noushin Mehdipour, Ezio Bartocci, Calin Belta
2021	J	`jnl`	Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications. CoRR Suhail Alsalehi, Noushin Mehdipour, Ezio Bartocci, Calin Belta
2021	J	`jnl`	Online Monitoring of Spatio-Temporal Properties for Imprecise Signals. CoRR Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi
2021	C	`conf`	Online monitoring of spatio-temporal properties for imprecise signals. MEMOCODE Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi
2021	J	`jnl`	Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. Meiyi Ma, John A. Stankovic, Ezio Bartocci, Lu Feng
2021	B	`conf`	The Probabilistic Termination Tool Amber. FM Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
2021	J	`jnl`	The Probabilistic Termination Tool Amber. CoRR Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
2020	J	`jnl`	Adaptive Testing for Specification Coverage. CoRR Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic
2020	C	`conf`	Analysis of Bayesian Networks via Prob-Solvable Loops. ICTAC Ezio Bartocci, Laura Kovács, Miroslav Stankovic
2020	J	`jnl`	Analysis of Bayesian Networks via Prob-Solvable Loops. CoRR Ezio Bartocci, Laura Kovács, Miroslav Stankovic
2020	J	`jnl`	Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. IEEE Access Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
2020	J	`jnl`	Automated Termination Analysis of Polynomial Probabilistic Programs. CoRR Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
2020	A	`conf`	CPSDebug: a tool for explanation of failures in cyber-physical systems. ISSTA Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic, Fabrizio Pastore
2020	J	`jnl`	CityPM: Predictive Monitoring with Logic-Calibrated Uncertainty for Smart Cities. CoRR Meiyi Ma, John A. Stankovic, Ezio Bartocci, Lu Feng
2020	J	`jnl`	Information-Flow Interfaces. CoRR Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2020	J	`jnl`	Mining Shape Expressions From Positive Examples. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Ezio Bartocci, Jyotirmoy Deshmukh, Felix Gigler, Cristinel Mateis, Dejan Nickovic, Xin Qin
2020	B	`conf`	Monitoring Spatio-Temporal Properties (Invited Tutorial). RV Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti
2020	B	`conf`	MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. RV Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti
2020	—	`conf`	Mora - Automatic Generation of Moment-Based Invariants. TACAS (1) Ezio Bartocci, Laura Kovács, Miroslav Stankovic
2020	B	`conf`	Parameter Synthesis for Probabilistic Hyperproperties. LPAR Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
2020	Misc	`conf`	Predictive monitoring with uncertainty for deep learning enabled smart cities: poster abstract. SenSys Meiyi Ma, Ezio Bartocci, John A. Stankovic, Lu Feng
2020	B	`conf`	Probabilistic Hyperproperties with Nondeterminism. ATVA Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
2020	J	`jnl`	Probabilistic Hyperproperties with Nondeterminism. CoRR Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
2020	B	`conf`	Runtime Verification of Autonomous Driving Systems in CARLA. RV Eleni Zapridou, Ezio Bartocci, Panagiotis Katsaros
2020	—	`conf`	SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities. ICCPS Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng
2019	J	`jnl`	A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems. IEEE Access Denise Ratasich, Faiq Khalid, Florian Geissler, Radu Grosu, Muhammad Shafique, Ezio Bartocci
2019	J	`jnl`	A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
2019	—	`conf`	Adaptive Fault Detection Exploiting Redundancy with Uncertainties in Space and Time. SASO Denise Ratasich, Michael Platzer, Radu Grosu, Ezio Bartocci
2019	J	`jnl`	Adaptive Fault Detection exploiting Redundancy with Uncertainties in Space and Time. CoRR Denise Ratasich, Michael Platzer, Radu Grosu, Ezio Bartocci
2019	J	`jnl`	Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. CoRR Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
2019	B	`conf`	Automatic Failure Explanation in CPS Models. SEFM Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
2019	J	`jnl`	Automatic Failure Explanation in CPS Models. CoRR Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
2019	B	`conf`	Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. ATVA Ezio Bartocci, Laura Kovács, Miroslav Stankovic
2019	J	`jnl`	Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. CoRR Ezio Bartocci, Laura Kovács, Miroslav Stankovic
2019	—	`conf`	Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home. ISCT Christian Hirsch, Ezio Bartocci, Radu Grosu
2019	—	`conf`	Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics. CDC Iman Haghighi, Noushin Mehdipour, Ezio Bartocci, Calin Belta
2019	J	`jnl`	Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics. CoRR Iman Haghighi, Noushin Mehdipour, Ezio Bartocci, Calin Belta
2019	J	`jnl`	Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
2019	—	`conf`	Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting. CMSB Paul Piho, Filip Margetiny, Ezio Bartocci, Richard R. Ribchester, Jane Hillston
2019	J	`jnl`	First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. Int. J. Softw. Tools Technol. Transf. Ezio Bartocci, Yliès 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
2019	—	`ed.`	From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday From Reactive Systems to Cyber-Physical Systems Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky
2019	—	`conf`	International Competition on Runtime Verification (CRV). TACAS (3) Ezio Bartocci, Yliès Falcone, Giles Reger
2019	J	`jnl`	Monitoring Mobile and Spatially Distributed Cyber-Physical Systems. CoRR Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi
2019	J	`jnl`	Parallel reachability analysis of hybrid systems in XSpeed. Int. J. Softw. Tools Technol. Transf. Amit Gurung, Rajarshi Ray, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu
2019	—	`conf`	Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty. FORMATS Hui Kong, Ezio Bartocci, Yu Jiang, Thomas A. Henzinger
2019	J	`jnl`	Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty. CoRR Hui Kong, Ezio Bartocci, Yu Jiang, Thomas A. Henzinger
2019	J	`jnl`	Quantitative Regular Expressions for Arrhythmia Detection. IEEE ACM Trans. Comput. Biol. Bioinform. Houssam Abbas, Alëna Rodionova, Konstantinos Mamouras, Ezio Bartocci, Scott A. Smolka, Radu Grosu
2019	J	`jnl`	Runtime Monitoring of Real time Safety Requirements in Smart Cities. CoRR Meiyi Ma, Ezio Bartocci, Lu Feng, John A. Stankovic
2019	—	`conf`	TOOLympics 2019: An Overview of Competitions in Formal Methods. TACAS (3) 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
2018	—	`conf`	A Counting Semantics for Monitoring LTL Specifications over Finite Traces. CAV (1) Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck
2018	J	`jnl`	A Counting Semantics for Monitoring LTL Specifications over Finite Traces. CoRR Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck
2018	J	`jnl`	A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks. IEEE Trans. Control. Netw. Syst. Ezio Bartocci, Ebru Aydin Gol, Iman Haghighi, Calin Belta
2018	J	`jnl`	A Roadmap Towards Resilient Internet of Things for Cyber-Physical Systems. CoRR Denise Ratasich, Faiq Khalid, Florian Geissler, Radu Grosu, Muhammad Shafique, Ezio Bartocci
2018	—	`conf`	A Robust Genetic Algorithm for Learning Temporal Specifications from Data. QEST Laura Nenzi, Simone Silvetti, Ezio Bartocci, Luca Bortolussi
2018	J	`jnl`	A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). CoRR César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
2018	J	`jnl`	An Algebraic Framework for Runtime Verification. CoRR Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic
2018	J	`jnl`	An Algebraic Framework for Runtime Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic
2018	J	`jnl`	Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016). IEEE ACM Trans. Comput. Biol. Bioinform. Ezio Bartocci, Pietro Liò, Nicola Paoletti
2018	—	`ch.`	Introduction to Runtime Verification. Lectures on Runtime Verification Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger
2018	—	`book`	Lectures on Runtime Verification - Introductory and Advanced Topics Ezio Bartocci, Yliès Falcone
2018	—	`conf`	Localizing Faults in Simulink/Stateflow Models with STL. HSCC Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath, Dejan Nickovic
2018	B	`conf`	Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial). RV Ezio Bartocci
2018	—	`conf`	Parameter-Independent Strategies for pMDPs via POMDPs. QEST Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova
2018	J	`jnl`	Parameter-Independent Strategies for pMDPs via POMDPs. CoRR Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova
2018	J	`jnl`	Quantitative monitoring of STL with edit distance. Formal Methods Syst. Des. Stefan Jaksic, Ezio Bartocci, Radu Grosu, Thang Nguyen, Dejan Nickovic
2018	—	`conf`	RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction). ISoLA (4) Ezio Bartocci, Yliès Falcone
2018	—	`conf`	Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes. CAV (1) Hui Kong, Ezio Bartocci, Thomas A. Henzinger
2018	B	`conf`	Signal Convolution Logic. ATVA Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi
2018	J	`jnl`	Signal Convolution Logic. CoRR Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi
2018	—	`ch.`	Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications. Lectures on Runtime Verification Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan
2018	—	`conf`	Verifying nonlinear analog and mixed-signal circuits with inputs. ADHS Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, Ulrich Schmid
2018	J	`jnl`	Verifying nonlinear analog and mixed-signal circuits with inputs. CoRR Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, Ulrich Schmid
2017	—	`conf`	A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage. QEST Marco Baldi, Ezio Bartocci, Franco Chiaraluce, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni
2017	J	`jnl`	A Robust Genetic Algorithm for Learning Temporal Specifications from Data. CoRR Simone Silvetti, Laura Nenzi, Luca Bortolussi, Ezio Bartocci
2017	—	`conf`	ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. TACAS (2) Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu
2017	J	`jnl`	Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. CoRR Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
2017	—	`conf`	Computing with Biophysical and Hardware-Efficient Neural Models. IWANN (1) Konstantin Selyunin, Ramin M. Hasani, Denise Ratasich, Ezio Bartocci, Radu Grosu
2017	J	`jnl`	Introduction to the special issue on runtime verification. Formal Methods Syst. Des. Ezio Bartocci, Rupak Majumdar
2017	C	`conf`	Monitoring mobile and spatially distributed cyber-physical systems. MEMOCODE Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi
2017	J	`jnl`	Policy learning in continuous-time Markov decision processes using Gaussian Processes. Perform. Evaluation Ezio Bartocci, Luca Bortolussi, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti
2017	—	`conf`	Quantitative Regular Expressions for Arrhythmia Detection Algorithms. CMSB Houssam Abbas, Alëna Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu
2017	—	`conf`	Runtime Monitoring with Recovery of the SENT Communication Protocol. CAV (1) Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, Christian Reidl, Udo Hafner, Ezio Bartocci, Dejan Nickovic, Radu Grosu
2017	—	`conf`	SEA-PARAM: Exploring Schedulers in Parametric MDPs. QAPL Sebastian Arming, Ezio Bartocci, Ana Sokolova
2017	—	`conf`	SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. Haifa Verification Conference Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
2017	—	`ch.`	Temporal Logic as Filtering. Dependable Software Systems Engineering Alëna Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu
2016	J	`jnl`	ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. CoRR Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu
2016	B	`conf`	Applying Runtime Monitoring for Automotive Electronic Development. RV Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Radu Grosu
2016	—	`ed.`	Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings CMSB Ezio Bartocci, Pietro Liò, Nicola Paoletti
2016	J	`jnl`	Computational Modeling, Formal Analysis, and Tools for Systems Biology. PLoS Comput. Biol. Ezio Bartocci, Pietro Liò
2016	—	`conf`	Discrete Abstraction of Multiaffine Systems. HSB Hui Kong, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A. Henzinger, Yu Jiang, Christian Schilling
2016	—	`conf`	Feedback Control for Statistical Model Checking of Cyber-Physical Systems. ISoLA (1) Kenan Kalajdzic, Cyrille Jégourel, Anna Lukina, Ezio Bartocci, Axel Legay, Scott A. Smolka, Radu Grosu
2016	A	`conf`	Monitoring of MTL specifications with IBM's spiking-neuron model. DATE Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu
2016	J	`jnl`	Parallel Reachability Analysis for Hybrid Systems. CoRR Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray
2016	C	`conf`	Parallel reachability analysis for hybrid systems. MEMOCODE Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray
2016	—	`conf`	Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent. QEST Ezio Bartocci, Luca Bortolussi, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti
2016	J	`jnl`	Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent. CoRR Ezio Bartocci, Luca Bortolussi, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti
2016	J	`jnl`	Preface of the special issue on Model Checking of Software - Selected papers of the 20th International SPIN Symposium on Model Checking of Software. Int. J. Softw. Tools Technol. Transf. Ezio Bartocci, C. R. Ramakrishnan
2016	B	`conf`	Quantitative Monitoring of STL with Edit Distance. RV Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic
2016	J	`jnl`	Regular Expressions for Irregular Rhythms. CoRR Houssam Abbas, Alëna Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu
2016	—	`conf`	Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction). ISoLA (2) Ezio Bartocci, Yliès Falcone
2016	—	`conf`	Temporal Logic as Filtering. HSCC Alëna Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu
2016	—	`conf`	The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems. ISoLA (2) Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Stefan Jaksic, Konstantin Selyunin
2015	—	`conf`	Abstraction-Based Parameter Synthesis for Multiaffine Systems. Haifa Verification Conference Sergiy Bogomolov, Christian Schilling, Ezio Bartocci, Grégory Batt, Hui Kong, Radu Grosu
2015	J	`jnl`	Deep Neural Programs for Adaptive Control in Cyber-Physical Systems. CoRR Konstantin Selyunin, Denise Ratasich, Ezio Bartocci, Radu Grosu
2015	C	`conf`	From signal temporal logic to FPGA monitors. MEMOCODE Stefan Jaksic, Ezio Bartocci, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen, Dejan Nickovic
2015	J	`jnl`	Model-order reduction of ion channel dynamics using approximate bisimulation. Theor. Comput. Sci. Md. Ariful Islam, Abhishek Murthy, Ezio Bartocci, Elizabeth Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka, Radu Grosu
2015	—	`conf`	Neural Programming: Towards adaptive control in Cyber-Physical Systems. CDC Konstantin Selyunin, Denise Ratasich, Ezio Bartocci, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
2015	B	`ed.`	Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings RV Ezio Bartocci, Rupak Majumdar
2015	—	`conf`	SpaTeL: a novel spatial-temporal logic and its applications to networked systems. HSCC Iman Haghighi, Austin Jones, Zhaodan Kong, Ezio Bartocci, Radu Grosu, Calin Belta
2015	—	`conf`	Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic. HSB Ezio Bartocci, Luca Bortolussi, Dimitrios Milios, Laura Nenzi, Guido Sanguinetti
2015	J	`jnl`	System design of stochastic models using robustness of temporal properties. Theor. Comput. Sci. Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti
2015	J	`jnl`	Temporal Logic as Filtering. CoRR Alëna Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu
2015	—	`conf`	XSpeed: Accelerating Reachability Analysis on Multi-core Processors. Haifa Verification Conference Rajarshi Ray, Amit Gurung, Binayak Das, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu
2014	J	`jnl`	A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems. CoRR Ebru Aydin Gol, Ezio Bartocci, Calin Belta
2014	—	`conf`	A formal methods approach to pattern synthesis in reaction diffusion systems. CDC Ebru Aydin Gol, Ezio Bartocci, Calin Belta
2014	J	`jnl`	Cyber-Physical Systems: Theoretical and Practical Challenges. ERCIM News Ezio Bartocci, Oliver Höftberger, Radu Grosu
2014	—	`conf`	Data-Driven Statistical Learning of Temporal Logic Properties. FORMATS Ezio Bartocci, Luca Bortolussi, Guido Sanguinetti
2014	B	`conf`	First International Competition on Software for Runtime Verification. RV Ezio Bartocci, Borzoo Bonakdarpour, Yliès Falcone
2014	J	`jnl`	Hybrid Systems and Biology. Inf. Comput. Ezio Bartocci, Luca Bortolussi, Scott A. Smolka
2014	—	`conf`	Medical Cyber-Physical Systems - (Track Introduction). ISoLA (2) Ezio Bartocci, Sicun Gao, Scott A. Smolka
2014	—	`conf`	Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients. ISoLA (2) Sara Bufo, Ezio Bartocci, Guido Sanguinetti, Massimo Borelli, Umberto Lucangelo, Luca Bortolussi
2014	—	`conf`	Towards a GPGPU-parallel SPIN model checker. SPIN Ezio Bartocci, Richard DeFrancisco, Scott A. Smolka
2013	—	`conf`	A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits. CMSB Ezio Bartocci, Luca Bortolussi, Laura Nenzi
2013	J	`jnl`	A temporal logic approach to modular design of synthetic biological circuits. CoRR Ezio Bartocci, Luca Bortolussi, Laura Nenzi
2013	J	`jnl`	Curvature Analysis of Cardiac Excitation Wavefronts. IEEE ACM Trans. Comput. Biol. Bioinform. Abhishek Murthy, Ezio Bartocci, Flavio H. Fenton, James Glimm, Richard A. Gray, Elizabeth Cherry, Scott A. Smolka, Radu Grosu
2013	J	`jnl`	Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias. CoRR Ezio Bartocci, Luca Bortolussi, Guido Sanguinetti
2013	—	`ed.`	Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings SPIN Ezio Bartocci, C. R. Ramakrishnan
2013	—	`conf`	Monitoring with uncertainty. HAS Ezio Bartocci, Radu Grosu
2013	—	`conf`	On the Robustness of Temporal Properties for Stochastic Models. HSB Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti
2013	B	`conf`	Runtime Verification with Particle Filtering. RV Kenan Kalajdzic, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu
2013	—	`conf`	Sampling-based Decentralized Monitoring for Networked Embedded Systems. HAS Ezio Bartocci
2012	B	`conf`	Adaptive Runtime Verification. RV Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok, Justin Seyster
2012	—	`conf`	Approximate Bisimulations for Sodium Channel Dynamics. CMSB Abhishek Murthy, Md. Ariful Islam, Ezio Bartocci, Elizabeth Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka, Radu Grosu
2012	J	`jnl`	Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study. Trans. Comp. Sys. Biology Ezio Bartocci, Pietro Liò, Emanuela Merelli, Nicola Paoletti
2012	B	`conf`	On Temporal Logic and Signal Processing. ATVA Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka
2012	—	`ed.`	Proceedings First International Workshop on Hybrid Systems and Biology, HSB 2012, Newcastle Upon Tyne, UK, 3rd September 2012. HSB Ezio Bartocci, Luca Bortolussi
2012	J	`jnl`	UBioLab: a web-LABoratory for Ubiquitous in-silico experiments. J. Integr. Bioinform. Ezio Bartocci, Diletta Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Leonardo Vito
2011	C	`conf`	A Change of Perspective Yields Formal Analysis. SEW Radu Grosu, Flavio H. Fenton, Scott A. Smolka, Ezio Bartocci
2011	—	`conf`	Curvature analysis of cardiac excitation wavefronts. CMSB Abhishek Murthy, Ezio Bartocci, Flavio H. Fenton, James Glimm, Richard A. Gray, Scott A. Smolka, Radu Grosu
2011	A*	`conf`	From Cardiac Cells to Genetic Regulatory Networks. CAV Radu Grosu, Grégory Batt, Flavio H. Fenton, James Glimm, Colas Le Guernic, Scott A. Smolka, Ezio Bartocci
2011	A	`conf`	Model Repair for Probabilistic Systems. TACAS Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka
2011	J	`jnl`	Modeling the cell cycle: From deterministic models to hybrid systems. Biosyst. Roberta Alfieri, Ezio Bartocci, Emanuela Merelli, Luciano Milanesi
2011	B	`conf`	Runtime Verification with State Estimation. RV Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok
2011	—	`conf`	Toward real-time simulation of cardiac dynamics. CMSB Ezio Bartocci, Elizabeth Cherry, James Glimm, Radu Grosu, Scott A. Smolka, Flavio H. Fenton
2010	J	`jnl`	Detecting synchronisation of biological oscillators by model checking. Theor. Comput. Sci. Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei
2010	J	`jnl`	Shape Calculus. A Spatial Mobile Calculus for 3D Shapes. Sci. Ann. Comput. Sci. Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
2010	J	`jnl`	Shape Calculus: Timed Operational Semantics and Well-formedness CoRR Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
2010	J	`jnl`	Timed Operational Semantics and Well-Formedness of Shape Calculus. Sci. Ann. Comput. Sci. Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
2009	—	`—`	A Formal Framework for Modeling, Simulating and Analyzing Networks of Excitable Cells. Ezio Bartocci
2009	—	`conf`	A Shape Calculus for Biological Processes. ICTCS Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
2009	J	`jnl`	Learning and detecting emergent behavior in networks of cardiac myocytes. Commun. ACM Radu Grosu, Scott A. Smolka, Flavio Corradini, Anita Wasilewska, Emilia Entcheva, Ezio Bartocci
2009	J	`jnl`	Modeling and simulation of cardiac tissue using hybrid I/O automata. Theor. Comput. Sci. Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Scott A. Smolka, Radu Grosu
2008	J	`jnl`	CellExcite: an efficient simulation environment for excitable cells. BMC Bioinform. Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Radu Grosu, Scott A. Smolka
2008	—	`conf`	Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes. HSCC Radu Grosu, Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka, Anita Wasilewska
2008	—	`conf`	Model Checking Biological Oscillators. FBTC@ICALP Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei
2008	—	`conf`	StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. Concurrency, Graphs and Models Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka
2007	J	`jnl`	BioWMS: a web-based Workflow Management System for bioinformatics. BMC Bioinform. Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Lorenzo Scortichini
2007	J	`jnl`	Biowep: a workflow enactment portal for bioinformatics applications. BMC Bioinform. Paolo Romano, Ezio Bartocci, Guglielmo Bertolini, Flavio De Paoli, Domenico Marra, Giancarlo Mauri, Emanuela Merelli, Luciano Milanesi
2007	—	`conf`	Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue. FBTC@CONCUR Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu, Scott A. Smolka
2006	—	`conf`	Building a MultiAgent System from a User Workflow Specification. WOA Ezio Bartocci, Flavio Corradini, Emanuela Merelli
2006	Misc	`conf`	Enacting Proactive Workflows Engine in e-Science. International Conference on Computational Science (3) Ezio Bartocci, Flavio Corradini, Emanuela Merelli
2006	—	`conf`	Model driven design and implementation of activity-based applications in Hermes. WOA Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Leonardo Vito
2003	—	`conf`	An XML View of the "World". ICEIS (1) Ezio Bartocci, Emanuela Merelli, Leonardo Mariani