Citation Statistics according to Google Scholar | ||||||||||||||||||
# citation | h-index | # co-authors |
---|---|---|
5763 | 42 | 263 |
# Journal Papers |
# Conference Papers |
# Workshops Papers |
# Invited Papers |
# Edited Books |
---|---|---|---|---|
47 | 92 | 12 | 18 | 12 |
6 | 7 | 1 | 0 | 2 | 12 | 6 |
DBLP, Google Scholar, Scopus, ResearchGate, CS Ranking, CORE Ranking, GII-GRIN-SCIE Ranking, Top Italian Scientists |
2024 | ||
---|---|---|
183) | Conference Paper
Adaptable configuration of decentralized monitors
Ennio Visconti, Ezio Bartocci, Ylies Falcone, Laura Nenzi
| |
182) | Conference Paper
DeepRIoT: Continuous Integration and Deployment of Robotic-IoT Applications
Meixun Qu, Jie He, Zlatan Tucakovic, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu
| |
181) | Conference Paper
Probabilistic Loop Synthesis from Sequences of Moments
Miroslav Stankovic, Ezio Bartocci
| |
180) | Conference Paper
The ProbInG project: Advancing Automatic Analysis of Probabilistic Loops
Ezio Bartocci
| |
179) | Conference Paper
Verifying Global Two-Safety Properties in Neural Networks with Confidence
Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher
| |
178) | Invited Paper
A Comparison of Monitoring Techniques for Deep Neural Networks
Ezio Bartocci, Wasim Essbai
| |
177) | Invited Paper
Information-flow Interfaces and Security Lattices
Ezio Bartocci, Thomas Henzinger, Dejan Nickovic, Ana Oliveira da Costa
| |
176) | Invited Paper
Quantifying Uncertainty in Probabilistic Loops without Sampling: a Fully Automated Approach
Ezio Bartocci
| |
175) | Journal Paper
(Un)Solvable Loop Analysis
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovacs, Marcel Moosbrugger, Miroslav Stankovic
| |
174) | Journal Paper
An Adaptive, Provable Correct Simplex Architecture
Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Bettina Könighofer
| |
173) | Journal Paper
Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments
Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura
DOI: 10.1145/3641545
| |
172) | Journal Paper
Information-flow Interfaces
Ezio Bartocci, T. Ferrère, Thomas Henzinger, Dejan Nickovic, Ana Oliveira da Costa
| |
2023 | ||
171) | Conference Paper
Lightweight Verification of Hyperproperties
Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang
| |
170) | 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
| |
169) | Conference Paper
Deductive Controller Synthesis for Probabilistic Hyperproperties
Roman Andriushchenko, Ezio Bartocci, Milan Češka, Francesco Pontiggia
| |
168) | Conference Paper
Hypernode Automata
Ezio Bartocci, Thomas Henzinger, Dejan Nickovic, Ana Oliveira da Costa
| |
167) | Conference Paper
Introducing Asynchronicity to Probabilistic Hyperproperties
Carolima Gerlach, Oyendrila Dobe, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour
| |
166) | Conference Paper
Mining Specification Parameters for Multi-Class Classification
Edgar Aguilar, Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
| |
165) | Conference Paper
Progression for Monitoring in Temporal ASP
Davide Solda, Ignacio D. Lopez-Miguel, Ezio Bartocci, Thomas Eiter
DOI: 10.3233/FAIA230513
| |
164) | Conference Paper
Property-based Mutation Testing
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
| |
163) | 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
| |
162) | Conference Paper
TD-Magic: From Pictures of Timing Diagrams To Formal Specifications
Jie He, Dejan Nickovic, Ezio Bartocci, Radu Grosu
| |
161) | Journal Paper
Mining Hyperproperties using Temporal Logics
Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
DOI: 10.1145/3609394
| |
160) | Journal Paper
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Simone Silvetti, Michele Loreti
| |
2022 | ||
159) | Conference Paper
Solving Invariant Generation for Unsolvable Loops
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovacs, Marcel Moosbrugger, Miroslav Stankovic
| |
158) | Conference Paper
DeepSTL - From English Requirements to Signal Temporal Logic
Jie He, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu
| |
157) | Conference Paper
Distribution Estimation for Probabilistic Loops
Ahmad Karimi, Miroslav Stankovic, Marcel Moosbrugger, Laura Kovacs, Ezio Bartocci, Efstathia Bura
| |
156) | Conference Paper
FIM: Fault Injection and Mutation for Simulink
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
| |
155) | Conference Paper
Information-Flow Interfaces
Ezio Bartocci, T. Ferrère, Thomas Henzinger, Dejan Nickovic, Ana Oliveira da Costa
| |
154) | Conference Paper
Moment-based Invariants for Probabilistic Loops with non-polynomial assignments
Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura
| |
153) | Conference Paper
On Normative Reinforcement Learning via Safe Reinforcement Learning
Emery Neufeld, Ezio Bartocci, Agata Ciabattoni
| |
152) | Conference Paper
Probabilistic Hyperproperties with Rewards
Lukas Wilke, Oyendrila Dobe, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour
| |
151) | Conference Paper
Search-based Testing for Accurate Fault Localization in CPS
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
| |
150) | Edited
Preface
Ezio Bartocci, Sylvie Putot
DOI: 10.1145/3501710
| |
149) | Invited Paper
Flavours of Sequential Information Flow
Ezio Bartocci, T. Ferrère, Thomas Henzinger, Dejan Nickovic, Ana Oliveira da Costa
| |
148) | Journal Paper
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti
| |
147) | Journal Paper
Adaptive Testing for Specification Coverage and Refinement in CPS Models
Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic
| |
146) | Journal Paper
Enforcing Ethical Goals over Reinforcement-Learning Policies
Emery Neufeld, Ezio Bartocci, Agata Ciabattoni, Guido Governatori
| |
145) | Journal Paper
Model Checking Hyperproperties for Markov Decision Processes
Oyendrila Dobe, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour
| |
144) | Journal Paper
Moment-Based Analysis of Bayesian Network Properties
Miroslav Stankovic, Ezio Bartocci, Laura Kovacs
| |
143) | Journal Paper
Survey on Mining Signal Temporal Logic Specifications
Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
| |
142) | Journal Paper
The Probabilistic Termination Tool Amber
Marcel Moosbrugger, Ezio Bartocci, J.-P. Katoen, Laura Kovacs
| |
141) | Journal Paper
This is the Moment for Probabilistic Loops
Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovacs
DOI: 10.1145/3563341
| |
2021 | ||
140) | Conference Paper
HyperProb: A Model Checker for Probabilistic Hyperproperties
Oyendrila Dobe, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour
| |
139) | Conference Paper
A Normative Supervisor for Reinforcement Learning Agents
Emery Neufeld, Ezio Bartocci, Agata Ciabattoni, Guido Governatori
| |
138) | Conference Paper
Adaptive Testing for Specification Coverage in CPS Models
Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic
| |
137) | Conference Paper
Automated Termination Analysis of Polynomial Probabilistic Programs
Marcel Moosbrugger, Ezio Bartocci, J.-P. Katoen, Laura Kovacs
| |
136) | Conference Paper
Mining Shape Expressions with ShapeIt
Ezio Bartocci, Jyotirmoy V. Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin
| |
135) | Conference Paper
Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications
Suhail Alsalehi, Noushin Mehdipour, Ezio Bartocci, Calin Belta
| |
134) | Conference Paper
Online Monitoring of Spatio-Temporal Properties for Imprecise Signals
Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi
| |
133) | Conference Paper
The Probabilistic Termination Tool Amber
Marcel Moosbrugger, Ezio Bartocci, J.-P. Katoen, Laura Kovacs
| |
132) | Edited
Preface
Ezio Bartocci, Ylies Falcone, Martin Leucker
| |
131) | Invited Paper
A Perspective on "CCS Expressions, Finite State Processes, and Three Problems of Equivalence"
Ezio Bartocci, Michael A. Bender
| |
130) | Journal Paper
Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems
Meiyi Ma, John A. Stankovic, Ezio Bartocci, Lu Feng
DOI: 10.1145/3477032
| |
129) | Journal Paper
A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities
Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng
| |
128) | Journal Paper
CPSDebug: Automatic Failure Explanation in CPS Models
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
| |
127) | Journal Paper
Modeling and Analysis of Cardiac Hybrid Cellular Automata via GPU-accelerated Monte Carlo Simulation
Lilly Treml, Ezio Bartocci, Alessio Gizzi
DOI: 10.3390/math9020164
| |
2020 | ||
126) | Conference Paper
Analysis of Bayesian Networks via Prob-Solvable Loops
Ezio Bartocci, Laura Kovacs, Miroslav Stankovic
| |
125) | Conference Paper
CPSDebug: A Tool for Failure Explanation in Cyber-Physical Systems
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic, Fabrizio Pastore
| |
124) | Conference Paper
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti
| |
123) | Conference Paper
MORA - Automatic Generation of Moment-Based Invariants
Ezio Bartocci, Laura Kovacs, Miroslav Stankovic
| |
122) | Conference Paper
Parameter Synthesis for Probabilistic Hyperproperties
Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
DOI: 10.29007/37lf
| |
121) | Conference Paper
Probabilistic Hyperproperties with Nondeterminism
Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
| |
120) | Conference Paper
Runtime Verification of Autonomous Driving Systems in CARLA
Eleni Zapridou, Ezio Bartocci, Panagiotis Katsaros
| |
119) | Conference Paper
SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities
Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng
| |
118) | Invited Paper
Monitoring Spatio-Temporal Properties (Invited Tutorial)
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti
| |
117) | 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
| |
116) | Journal Paper
Mining Shape Expressions from Positive Examples
Ezio Bartocci, Jyotirmoy Deshmukh, Felix Gliger, Cristinel Mateis, Dejan Nickovic, Xin Qin
| |
2019 | ||
115) | Conference Paper
Adaptive Fault Detection exploiting Redundancy with Uncertainties in Space and Time
Denise Ratasich, Michael Platzer, Radu Grosu, Ezio Bartocci
| |
114) | Conference Paper
Automatic Failure Explanation in CPS Models
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
| |
113) | Conference Paper
Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops
Ezio Bartocci, Laura Kovacs, Miroslav Stankovic
| |
112) | Conference Paper
Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home
Christian Hirsch, Ezio Bartocci, Radu Grosu
| |
111) | Conference Paper
Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics
Iman Haghighi, Noushin Mehdipour, Ezio Bartocci, Calin Belta
| |
110) | Conference Paper
Investigating a Hodgkin-Huxley type model for Drosophila larval neuromuscular junctions via particle swarm fitting
Paul Piho, Filip Margetiny, Ezio Bartocci, Richard Ribchester, Jane Hillston
| |
109) | Conference Paper
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty
Hui Kong, Ezio Bartocci, Yu Jiang, Thomas Henzinger
| |
108) | Edited
Preface
Ezio Bartocci, Radu Grosu, Rance Cleaveland, Oleg Sokolsky
| |
107) | Invited Paper
International Competition on Runtime Verification (CRV)
Ezio Bartocci, Ylies Falcone, Giles Reger
| |
106) | Invited Paper
TOOLympics 2019: An Overview of Competitions in Formal Methods
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
| |
105) | Journal Paper
Parallel Reachability Analysis for Hybrid Systems Using XSpeed
Amit Gurung, Rajarshi Ray, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu
| |
104) | 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
| |
103) | 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
| |
102) | 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, Felix Klaedtke, Klaus Havelund, Yogi Joshi, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang
| |
101) | Journal Paper
Quantitative Regular Expressions for Arrhythmia Detection
Houssam Abbas, Alena Rodionova, Konstantinos Mamouras, Ezio Bartocci, Scott Smolka, Radu Grosu
| |
2018 | ||
100) | Book Chapter
Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan
| |
99) | Book Chapter
An Introduction to Runtime Verification
Ezio Bartocci, Ylies Falcone, Adrian Francalanza, Giles Reger
| |
98) | Conference Paper
A Robust Genetic Algorithm for Learning Temporal Specifications from Data
Laura Nenzi, Simone Silvetti, Ezio Bartocci, Luca Bortolussi
| |
97) | Conference Paper
Verifying nonlinear analog and mixed-signal circuits with inputs
Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, Ulrich Schmid
| |
96) | Conference Paper
A Counting Semantics for Monitoring LTL Specifications over Finite Traces
Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Roeck
| |
95) | Conference Paper
Localizing Faults in Simulink/Stateflow Models with Signal Temporal Logic
Ezio Bartocci, T. Ferrère, Niveditha Manjunath, Dejan Nickovic
| |
94) | Conference Paper
Parameter-Independent Strategies for pMDPs via POMDPs
Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, J.-P. Katoen, Ana Sokolova
| |
93) | Conference Paper
Reachable Set Over-approximation for Nonlinear Systems Using Piecewise Barrier Tubes
Hui Kong, Ezio Bartocci, Thomas Henzinger
| |
92) | Conference Paper
Signal Convolution Logic
Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi
| |
91) | 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
| |
90) | Edited
Preface
Ezio Bartocci, Ylies Falcone
| |
89) | Invited Paper
Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial)
Ezio Bartocci
| |
88) | Invited Paper
RV-TheToP: Runtime Verification from Theory To the Industry Practice (Track Introduction)
Ezio Bartocci, Ylies Falcone
| |
87) | Journal Paper
A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks
Ezio Bartocci, Ebru Aydin Gol, Iman Haghighi, Calin Belta
| |
86) | Journal Paper
An Algebraic Framework for Runtime Verification
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic
| |
85) | Journal Paper
Quantitative Monitoring of STL with Edit Distance
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Thang Nguyen, Dejan Nickovic
| |
2017 | ||
84) | Conference Paper
Quantitative Regular Expressions for Arrhythmia Detection Algorithms
Houssam Abbas, Alena Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu
| |
83) | Conference Paper
A Linear Programming-based iterative approach to Stabilizing Polynomial Dynamics
Mohamed Amin Ben Sassi, Ezio Bartocci, Sriram Sankaranarayanan
| |
82) | 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
| |
81) | 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
| |
80) | Conference Paper
Computing with Biophysical and Hardware-efficient Neural Models
Konstantin Selyunin, Ramin M. Hasani, Denise Ratasich, Ezio Bartocci, Radu Grosu
| |
79) | Conference Paper
Monitoring Mobile and Spatially Distributed Cyber-Physical Systems
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi
| |
78) | 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
| |
77) | 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
| |
76) | Edited
Introduction to the Special Issue on Runtime Verification
Ezio Bartocci, Rupak Majumdar
| |
75) | Journal Paper
Policy learning in Continuous-Time Markov Decision Processes using Gaussian Processes
Ezio Bartocci, Luca Bortolussi, Tomas Brazdil, Dimitrios Milos, Guido Sanguinetti
| |
74) | Workshop Paper
SEA-PARAM: Exploring Schedulers in Parametric MDPs
Sebastian Arming, Ezio Bartocci, Ana Sokolova
| |
2016 | ||
73) | Conference Paper
Applying Runtime Monitoring for Automotive Electronic Development
Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Radu Grosu
| |
72) | Conference Paper
Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems
Kenan Kalajdzic, Cyrille Jegourel, Axel Legay, Ezio Bartocci, Anna Lukina, Scott A. Smolka, Radu Grosu
| |
71) | Conference Paper
Monitoring of MTL Specifications With IBM's Spiking-Neuron Model
Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu
| |
70) | Conference Paper
Parallel Reachability Analysis for Hybrid Systems
Amit Gurung, Deka Arup Kumar, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray
| |
69) | Conference Paper
Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent
Ezio Bartocci, Luca Bortolussi, Tomas Brazdil, Dimitrios Milios, Guido Sanguinetti
| |
68) | Conference Paper
Quantitative Monitoring of STL with Edit Distance
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic
| |
67) | Conference Paper
Temporal Logic as Filtering
Alena Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu
| |
66) | Edited
Preface (CMSB 2016)
Ezio Bartocci, Pietro Liò, Nicola Paoletti
| |
65) | Edited
Preface of the Special Issue on Model Checking of Software - Selected papers of the 20th International SPIN Symposium on Model Checking of Software
Ezio Bartocci, C. R. Ramakrishnan
| |
64) | Invited Paper
Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction)
Ezio Bartocci, Ylies Falcone
| |
63) | Invited Paper
The HARMONIA project: Hardware Monitoring for Automotive Systems-of-Systems
Ezio Bartocci, Radu Grosu, Stefan Jaksic, Thang Nguyen, Dejan Nickovic, Konstantin Selyunin
| |
62) | Journal Paper
Computational modeling, formal analysis and tools for systems biology
Ezio Bartocci, Pietro Liò
| |
61) | Workshop Paper
Discrete Abstraction of Multiaffine Systems
Hui Kong, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas Henzinger, Yu Jiang, Christian Schilling
| |
2015 | ||
60) | Conference Paper
Abstraction-based parameter synthesis for multiaffine systems
Sergiy Bogomolov, Christian Schilling, Ezio Bartocci, Grégory Batt, H Kong, Radu Grosu
| |
59) | Conference Paper
From Signal Temporal Logic to FPGA Monitors
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen, Dejan Nickovic
| |
58) | Conference Paper
Neural Programming: Towards Adaptive Control in Cyber-Physical Systems
Konstantin Selyunin, Denise Ratasich, Ezio Bartocci, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
| |
57) | Conference Paper
SpaTeL: A novel spatial-temporal logic and its applications to networked systems
Iman Haghighi, Austin Jones, Zhaodan Kong, Ezio Bartocci, Radu Grosu, Calin Belta
| |
56) | Conference Paper
XSpeed: Accelerating Reachability Analysis on MultiCore Processors
Rajarshi Ray, Amit Gurung, Binayak Das, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu
| |
55) | Edited
Preface (RV 2015)
Ezio Bartocci, Rupak Majumdar
| |
54) | Journal Paper
Model-order reduction of ion channel dynamics using approximate bisimulation
Md. Ariful Islam, Scott A. Smolka, Ezio Bartocci, Elizabeth M. Cherry, Flavio H. Fenton, James Glimm, Radu Grosu, Abhishek Murthy
| |
53) | Journal Paper
System design of stochastic models using robustness of temporal properties
Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti
| |
52) | Workshop Paper
Studying Emergent Behaviours in Morphogenesis using Signal Spatio-Temporal Logic
Ezio Bartocci, Luca Bortolussi, Dimitrios Milios, Laura Nenzi, Guido Sanguinetti
| |
2014 | ||
51) | Conference Paper
A formal methods approach to pattern synthesis in reaction diffusion systems
Ebru Aydin Gol, Ezio Bartocci, Calin Belta
| |
50) | Conference Paper
Data-driven statistical learning of temporal logic properties
Ezio Bartocci, Luca Bortolussi, Guido Sanguinetti
| |
49) | Conference Paper
Towards a GPGPU-parallel SPIN model checker
Ezio Bartocci, Richard Defrancisco, Scott A. Smolka
| |
48) | Conference Paper
Tracking Action Potentials of Nonlinear Excitable Cells using Model Predictive Control
Md. Ariful Islam, Tushar Deshpande, Abhishek Murthy, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu
| |
47) | Edited
Hybrid Systems and Biology (Preface)
Ezio Bartocci, Luca Bortolussi, Scott A. Smolka
| |
46) | Invited Paper
Cyber-Physical Systems: Theoretical and Practical Challenges
Ezio Bartocci, Oliver Hoftberger, Radu Grosu
| |
45) | Invited Paper
First International Competition of Software for Runtime Verification
Ezio Bartocci, Borzoo Bonakdarpour, Ylies Falcone
| |
44) | Invited Paper
Medical cyber-physical systems (Track introduction)
Ezio Bartocci, Sicun Gao, Scott A. Smolka
| |
43) | Invited Paper
Temporal Logic based Monitoring of Assisted Ventilaion in Intensive Care Patients
Sara Bufo, Ezio Bartocci, Guido Sanguinetti, Massimo Borelli, Umberto Lucangelo, Luca Bortolussi
| |
2013 | ||
42) | Conference Paper
A temporal logic approach to modular design of synthetic biological circuits
Ezio Bartocci, Luca Bortolussi, Laura Nenzi
| |
41) | Conference Paper
Runtime Verification with Particle Filtering
Kenan Kalajdzic, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu
| |
40) | Edited
Preface (HSB 2012)
Ezio Bartocci, Luca Bortolussi
DOI: 10.4204/EPTCS.92
| |
39) | Edited
Preface (SPIN 2013)
Ezio Bartocci, C. R. Ramakrishnan
| |
38) | Invited Paper
Monitoring with uncertainty
Ezio Bartocci, Radu Grosu
| |
37) | Journal Paper
Curvature Analysis of Cardiac Excitation Wavefronts
Abhishek Murthy, Ezio Bartocci, Flavio H. Fenton, James Glimm, Richard A. Gray, Elizabeth M. Cherry, Scott A. Smolka, Radu Grosu
| |
36) | Workshop Paper
On the Robustness of Temporal Properties for Stochastic Models
Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti
DOI: 10.4204/EPTCS.125.1
| |
35) | Workshop Paper
Sampling-based Decentralized Monitoring for Networked Embedded Systems,
Ezio Bartocci
DOI: 10.4204/EPTCS.124
| |
2012 | ||
34) | Conference Paper
Adaptive Runtime Verification
Ezio Bartocci, Radu Grosu, Atul Kamarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok, Justin Seyster
| |
33) | Conference Paper
Approximate Bisimulations for Sodium Channel Dynamics
Abhishek Murthy, Md. Ariful Islam, Ezio Bartocci, Elizabeth M. Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka, Radu Grosu
| |
32) | Conference Paper
On Temporal Logic and Signal Processing
Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka
| |
31) | Journal Paper
Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study
Ezio Bartocci, Pietro Liò, Emanuela Merelli, Nicola Paoletti
| |
30) | Journal Paper
UBioLab: a web-LABoratory for Ubiquitous in-silico experiments
Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Leonardo Vito
| |
2011 | ||
29) | Conference Paper
Curvature analysis of cardiac excitation wavefronts
Abhishek Murthy, Ezio Bartocci, Flavio H. Fenton, James Glimm, Richard A. Gray, Scott A. Smolka, Radu Grosu
| |
28) | Conference Paper
From Cardiac Cells to Genetic Regulatory Networks
Radu Grosu, Grégory Batt, Flavio H. Fenton, James Glimm, Colas Le Guernic, Scott A. Smolka, Ezio Bartocci
| |
27) | Conference Paper
Model Repair for Probabilistic Systems
Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka
| |
26) | Conference Paper
Runtime Verification with State Estimation
Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok
| |
25) | Conference Paper
Toward real-time simulation of cardiac dynamics
Ezio Bartocci, Elizabeth M. Cherry, James Glimm, Radu Grosu, Scott A. Smolka, Flavio H. Fenton
| |
24) | Journal Paper
Modeling the cell cycle: From deterministic models to hybrid systems
Roberta Alfieri, Ezio Bartocci, Emanuela Merelli, Luciano Milanesi
| |
23) | Journal Paper
Teaching cardiac electrophysiology modeling to undergraduate students: Laboratory exercises and GPU programming for the study of arrhythmias and spiral wave dynamics
Ezio Bartocci, R. Singh, F.B. von Stein, A. Amedome, A.J.J. Caceres, J. Castillo, E. Closser, G. Deards, A. Goltsev, R.S. Ines, C. Isbilir, J.K. Marc, D. Moore, D. Pardi, S. Sadhu, S. Sanchez, P. Sharma, A. Singh, J. Rogers, A. Wolinetz, T. Grosso-Applewhite, K. Zhao, A.B. Filipski, R.F. Gilmour Jr., Radu Grosu, James Glimm, Scott A. Smolka, Elizabeth M. Cherry, Edmund M. Clarke, Nancy Griffeth, Flavio H. Fenton
| |
22) | Workshop Paper
A Change of Perspective Yields Formal Analysis
Radu Grosu, Flavio H. Fenton, Scott A. Smolka, Ezio Bartocci
| |
2010 | ||
21) | Conference Paper
A resourceome for the automation of in-silico biological experiments
Ezio Bartocci, Diletta Romana Cacciagrano, Flavio Corradini, Emanuela Merelli, Leonardo Vito
| |
20) | Journal Paper
Detecting synchronisation of biological oscillators by model checking
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei
| |
19) | Journal Paper
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
| |
18) | Journal Paper
Timed operational semantics and well-formedness of shape calculus
Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
| |
2009 | ||
17) | Conference Paper
A Shape Calculus for Biological Processes
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
| |
16) | Journal Paper
Learning and detecting emergent behavior in networks of cardiac myocytes
Radu Grosu, Scott A. Smolka, Flavio Corradini, Anita Wasilewska, Emilia Entcheva, Ezio Bartocci
| |
15) | 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
| |
14) | Workshop Paper
Model Checking Biological Oscillators
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei
| |
2008 | ||
13) | 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
| |
12) | Invited Paper
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes
Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka, Colas Le Guernic
| |
11) | Journal Paper
CellExcite: an efficient simulation environment for excitable cells
Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Radu Grosu, Scott A. Smolka
| |
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
| |
2007 | ||
9) | Journal Paper
An agent-based multilayer architecture for bioinformatics grids
Ezio Bartocci, Diletta Romana Cacciagrano, Nicola Cannata, Flavio Corradini, Emanuela Merelli, Luciano Milanesi, Paolo Romano
| |
8) | Journal Paper
Biowep: a workflow enactment portal for bioinformatics applications
Paolo Romano, Ezio Bartocci, Guglielmo Bertolini, Flavio De Paoli, Domenico Marra, Giancarlo Mauri, Emanuela Merelli, Luciano Milanesi
| |
7) | Journal Paper
BioWMS: a web-based Workflow Management System for bioinformatics
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Lorenzo Scortichini
| |
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
| |
5) | Workshop Paper
Building a MultiAgent System from a User Workflow Specification
Ezio Bartocci, Flavio Corradini, Emanuela Merelli
| |
4) | Workshop Paper
Enacting Proactive Workflows Engine in e-Science
Ezio Bartocci, Flavio Corradini, Emanuela Merelli
| |
3) | Workshop Paper
Model driven design and implementation of activity-based applications in Hermes
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Leonardo Vito
| |
2003 | ||
2) | Conference Paper
An XML View of the "World"
Ezio Bartocci, Emanuela Merelli, Leonardo Mariani
| |
1) | Journal Paper
Expressionview: visualization of quantitative trait loci and gene-expression data in Ensembl.
G. Fischer, S.M. Ibrahim, G.A. Brockmann, J. Pahnke, Ezio Bartocci, H.-J. Thiesen, P. Serrano-Fernández, S. Möller
|