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 |
2025 | ||
---|---|---|
190) | Conference Paper
Mining Specifications for Predictive Safety Monitoring
Eleonora Nesterini, Ezio Bartocci, Alessio Gambi, Dejan Nickovic, Sanjit A. Seshia, Hazem Torfah
| |
189) | Conference Paper
Rule-Guided Reinforcement Learning Policy Evaluation and Improvement
Martin Tappler, Ignacio D. Lopez-Miguel, Sebastian Tschiatschek, Ezio Bartocci
| |
188) | Invited Paper
Information-flow Interfaces and Security Lattices
Ezio Bartocci, Thomas Henzinger, Dejan Nickovic, Ana Oliveira da Costa
| |
187) | Journal Paper
An Adaptive, Provable Correct Simplex Architecture
Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Bettina Könighofer
| |
186) | Journal Paper
Moment-based Density Elicitation with Applications in Probabilistic Loops
Andrey Kofnov, Ezio Bartocci, Efstathia Bura
DOI: 10.1145/3728648
| |
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
| |
184) | Journal Paper
Signal Feature Coverage and Testing for CPS Dataflow Models
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
DOI: 10.1145/3714467
| |
2024 | ||
183) | Conference Paper
Ennio Visconti, Ezio Bartocci, Ylies Falcone, Laura Nenzi
| |
182) | Conference Paper
Meixun Qu, Jie He, Zlatan Tucakovic, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu
| |
181) | Conference Paper
Miroslav Stankovic, Ezio Bartocci
| |
180) | Conference Paper
Ezio Bartocci
| |
179) | Conference Paper
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
A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake Case
Ezio Bartocci, Josée Desharnais, Peter Lindner, Ana Sokolova
| |
176) | Invited Paper
Polar: An Algebraic Analyzer for (Probabilistic) Loops
Marcel Moosbrugger, Julian Müllner, Ezio Bartocci, Laura Kovacs
| |
175) | Invited Paper
Ezio Bartocci
| |
174) | Journal Paper
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovacs, Marcel Moosbrugger, Miroslav Stankovic
| |
173) | Journal Paper
Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura
DOI: 10.1145/3641545
| |
172) | Journal Paper
Ezio Bartocci, Thomas Ferrère, Thomas Henzinger, Dejan Nickovic, Ana Oliveira da Costa
| |
171) | Workshop Paper
Patrick Indri, Peter Blohm, Anagha Athavale, Ezio Bartocci, Georg Weissenbacher, Matteo Maffei, Dejan Nickovic, Thomas Gärtner
| |
2023 | ||
170) | Conference Paper
Lightweight Verification of Hyperproperties
Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang
| |
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
| |
168) | Conference Paper
Deductive Controller Synthesis for Probabilistic Hyperproperties
Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia
| |
167) | Conference Paper
Hypernode Automata
Ezio Bartocci, Thomas Henzinger, Dejan Nickovic, Ana Oliveira da Costa
| |
166) | Conference Paper
Introducing Asynchronicity to Probabilistic Hyperproperties
Carolima Gerlach, Oyendrila Dobe, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour
| |
165) | Conference Paper
Mining Specification Parameters for Multi-Class Classification
Edgar Aguilar, Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
| |
164) | Conference Paper
Progression for Monitoring in Temporal ASP
Davide Solda, Ignacio D. Lopez-Miguel, Ezio Bartocci, Thomas Eiter
DOI: 10.3233/FAIA230513
| |
163) | Conference Paper
Property-based Mutation Testing
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
| |
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
| |
161) | Conference Paper
TD-Magic: From Pictures of Timing Diagrams To Formal Specifications
Jie He, Dejan Nickovic, Ezio Bartocci, Radu Grosu
| |
160) | Journal Paper
Mining Hyperproperties using Temporal Logics
Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
DOI: 10.1145/3609394
| |
159) | Journal Paper
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Simone Silvetti, Michele Loreti
| |
2022 | ||
158) | ![]() Conference Paper
Solving Invariant Generation for Unsolvable Loops
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovacs, Marcel Moosbrugger, Miroslav Stankovic
| |
157) | Conference Paper
DeepSTL - From English Requirements to Signal Temporal Logic
Jie He, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu
| |
156) | Conference Paper
Ahmad Karimi, Miroslav Stankovic, Marcel Moosbrugger, Laura Kovacs, Ezio Bartocci, Efstathia Bura
| |
155) | Conference Paper
FIM: Fault Injection and Mutation for Simulink
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
| |
154) | ![]() Conference Paper
Ezio Bartocci, Thomas Ferrère, Thomas Henzinger, Dejan Nickovic, Ana Oliveira da Costa
| |
153) | ![]() Conference Paper
Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura
| |
152) | Conference Paper
On Normative Reinforcement Learning via Safe Reinforcement Learning
Emery Neufeld, Ezio Bartocci, Agata Ciabattoni
| |
151) | Conference Paper
Lukas Wilke, Oyendrila Dobe, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour
| |
150) | Conference Paper
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
| |
149) | Edited
Ezio Bartocci, Sylvie Putot
DOI: 10.1145/3501710
| |
148) | Invited Paper
Flavours of Sequential Information Flow
Ezio Bartocci, Thomas Ferrère, Thomas Henzinger, Dejan Nickovic, Ana Oliveira da Costa
| |
147) | Journal Paper
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti
| |
146) | Journal Paper
Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic
| |
145) | Journal Paper
Emery Neufeld, Ezio Bartocci, Agata Ciabattoni, Guido Governatori
| |
144) | Journal Paper
Model Checking Hyperproperties for Markov Decision Processes
Oyendrila Dobe, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour
| |
143) | Journal Paper
Moment-Based Analysis of Bayesian Network Properties
Miroslav Stankovic, Ezio Bartocci, Laura Kovacs
| |
142) | Journal Paper
Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
| |
141) | Journal Paper
The Probabilistic Termination Tool Amber
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovacs
| |
140) | Journal Paper
This is the Moment for Probabilistic Loops
Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovacs
DOI: 10.1145/3563341
| |
2021 | ||
139) | Conference Paper
Oyendrila Dobe, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour
| |
138) | Conference Paper
Emery Neufeld, Ezio Bartocci, Agata Ciabattoni, Guido Governatori
| |
137) | ![]() Conference Paper
Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic
| |
136) | Conference Paper
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovacs
| |
135) | Conference Paper
Ezio Bartocci, Jyotirmoy V. Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin
| |
134) | Conference Paper
Suhail Alsalehi, Noushin Mehdipour, Ezio Bartocci, Calin Belta
| |
133) | Conference Paper
Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi
| |
132) | Conference Paper
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovacs
| |
131) | Edited
Ezio Bartocci, Ylies Falcone, Martin Leucker
| |
130) | Invited Paper
A Perspective on "CCS Expressions, Finite State Processes, and Three Problems of Equivalence"
Ezio Bartocci, Michael A. Bender
| |
129) | 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
| |
128) | Journal Paper
Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng
| |
127) | Journal Paper
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
| |
126) | 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 | ||
125) | Conference Paper
Analysis of Bayesian Networks via Prob-Solvable Loops
Ezio Bartocci, Laura Kovacs, Miroslav Stankovic
| |
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
| |
123) | Conference Paper
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti
| |
122) | Conference Paper
MORA - Automatic Generation of Moment-Based Invariants
Ezio Bartocci, Laura Kovacs, Miroslav Stankovic
| |
121) | Conference Paper
Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
DOI: 10.29007/37lf
| |
120) | Conference Paper
Probabilistic Hyperproperties with Nondeterminism
Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
| |
119) | Conference Paper
Runtime Verification of Autonomous Driving Systems in CARLA
Eleni Zapridou, Ezio Bartocci, Panagiotis Katsaros
| |
118) | Conference Paper
Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng
| |
117) | Invited Paper
Monitoring Spatio-Temporal Properties (Invited Tutorial)
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti
| |
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
| |
115) | Journal Paper
Mining Shape Expressions from Positive Examples
Ezio Bartocci, Jyotirmoy V. Deshmukh, Felix Gliger, Cristinel Mateis, Dejan Nickovic, Xin Qin
| |
2019 | ||
114) | Conference Paper
Adaptive Fault Detection exploiting Redundancy with Uncertainties in Space and Time
Denise Ratasich, Michael Platzer, Radu Grosu, Ezio Bartocci
| |
113) | Conference Paper
Automatic Failure Explanation in CPS Models
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
| |
112) | Conference Paper
Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops
Ezio Bartocci, Laura Kovacs, Miroslav Stankovic
| |
111) | Conference Paper
Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home
Christian Hirsch, Ezio Bartocci, Radu Grosu
| |
110) | Conference Paper
Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics
Iman Haghighi, Noushin Mehdipour, Ezio Bartocci, Calin Belta
| |
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
| |
108) | Conference Paper
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty
Hui Kong, Ezio Bartocci, Yu Jiang, Thomas Henzinger
| |
107) | Edited
Preface
Ezio Bartocci, Radu Grosu, Rance Cleaveland, Oleg Sokolsky
| |
106) | Invited Paper
Ezio Bartocci, Ylies Falcone, Giles Reger
| |
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
| |
104) | Journal Paper
Amit Gurung, Rajarshi Ray, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu
| |
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
| |
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
| |
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
| |
100) | Journal Paper
Quantitative Regular Expressions for Arrhythmia Detection
Houssam Abbas, Alena Rodionova, Konstantinos Mamouras, Ezio Bartocci, Scott A. Smolka, Radu Grosu
| |
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
| |
98) | Book Chapter
An Introduction to Runtime Verification
Ezio Bartocci, Ylies Falcone, Adrian Francalanza, Giles Reger
| |
97) | Conference Paper
A Robust Genetic Algorithm for Learning Temporal Specifications from Data
Laura Nenzi, Simone Silvetti, Ezio Bartocci, Luca Bortolussi
| |
96) | Conference Paper
Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, Ulrich Schmid
| |
95) | Conference Paper
Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Roeck
| |
94) | Conference Paper
Localizing Faults in Simulink/Stateflow Models with Signal Temporal Logic
Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath, Dejan Nickovic
| |
93) | Conference Paper
Parameter-Independent Strategies for pMDPs via POMDPs
Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova
| |
92) | Conference Paper
Hui Kong, Ezio Bartocci, Thomas Henzinger
| |
91) | Conference Paper
Signal Convolution Logic
Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi
| |
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
| |
89) | Edited
Preface
Ezio Bartocci, Ylies Falcone
| |
88) | Invited Paper
Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial)
Ezio Bartocci
| |
87) | Invited Paper
RV-TheToP: Runtime Verification from Theory To the Industry Practice (Track Introduction)
Ezio Bartocci, Ylies Falcone
| |
86) | Journal Paper
Ezio Bartocci, Ebru Aydin Gol, Iman Haghighi, Calin Belta
| |
85) | Journal Paper
An Algebraic Framework for Runtime Verification
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic
| |
84) | Journal Paper
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Thang Nguyen, Dejan Nickovic
| |
2017 | ||
83) | Conference Paper
Quantitative Regular Expressions for Arrhythmia Detection Algorithms
Houssam Abbas, Alena Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu
| |
82) | Conference Paper
A Linear Programming-based iterative approach to Stabilizing Polynomial Dynamics
Mohamed Amin Ben Sassi, Ezio Bartocci, Sriram Sankaranarayanan
| |
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
| |
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
| |
79) | Conference Paper
Computing with Biophysical and Hardware-efficient Neural Models
Konstantin Selyunin, Ramin M. Hasani, Denise Ratasich, Ezio Bartocci, Radu Grosu
| |
78) | Conference Paper
Monitoring Mobile and Spatially Distributed Cyber-Physical Systems
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi
| |
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
| |
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
| |
75) | Edited
Introduction to the Special Issue on Runtime Verification
Ezio Bartocci, Rupak Majumdar
| |
74) | Journal Paper
Policy learning in Continuous-Time Markov Decision Processes using Gaussian Processes
Ezio Bartocci, Luca Bortolussi, Tomas Brazdil, Dimitrios Milos, Guido Sanguinetti
| |
73) | Workshop Paper
SEA-PARAM: Exploring Schedulers in Parametric MDPs
Sebastian Arming, Ezio Bartocci, Ana Sokolova
DOI: 10.4204/EPTCS.250.3
| |
2016 | ||
72) | Conference Paper
Applying Runtime Monitoring for Automotive Electronic Development
Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Radu Grosu
| |
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
| |
70) | Conference Paper
Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu
| |
69) | Conference Paper
Parallel Reachability Analysis for Hybrid Systems
Amit Gurung, Deka Arup Kumar, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray
| |
68) | Conference Paper
Ezio Bartocci, Luca Bortolussi, Tomas Brazdil, Dimitrios Milios, Guido Sanguinetti
| |
67) | Conference Paper
Quantitative Monitoring of STL with Edit Distance
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic
| |
66) | ![]() Conference Paper
Alena Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu
| |
65) | Edited
Preface (CMSB 2016)
Ezio Bartocci, Pietro Liò, Nicola Paoletti
| |
64) | Edited
Ezio Bartocci, C. R. Ramakrishnan
| |
63) | Invited Paper
Ezio Bartocci, Ylies Falcone
| |
62) | Invited Paper
Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Stefan Jaksic, Konstantin Selyunin
| |
61) | Journal Paper
Ezio Bartocci, Pietro Liò
| |
60) | Workshop Paper
Discrete Abstraction of Multiaffine Systems
Hui Kong, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas Henzinger, Yu Jiang, Christian Schilling
| |
2015 | ||
59) | Conference Paper
Sergiy Bogomolov, Christian Schilling, Ezio Bartocci, Gregory Batt, Hui Kong, Radu Grosu
| |
58) | Conference Paper
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen, Dejan Nickovic
| |
57) | Conference Paper
Konstantin Selyunin, Denise Ratasich, Ezio Bartocci, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
| |
56) | Conference Paper
Iman Haghighi, Austin Jones, Zhaodan Kong, Ezio Bartocci, Radu Grosu, Calin Belta
| |
55) | Conference Paper
Rajarshi Ray, Amit Gurung, Binayak Das, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu
| |
54) | Edited
Ezio Bartocci, Rupak Majumdar
| |
53) | Journal Paper
Md. Ariful Islam, Abhishek Murthy, Ezio Bartocci, Elizabeth M. Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka, Radu Grosu
| |
52) | Journal Paper
Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti
| |
51) | Workshop Paper
Ezio Bartocci, Luca Bortolussi, Dimitrios Milios, Laura Nenzi, Guido Sanguinetti
| |
2014 | ||
50) | Conference Paper
A formal methods approach to pattern synthesis in reaction diffusion systems
Ebru Aydin Gol, Ezio Bartocci, Calin Belta
| |
49) | Conference Paper
Ezio Bartocci, Luca Bortolussi, Guido Sanguinetti
| |
48) | Conference Paper
Ezio Bartocci, Richard Defrancisco, Scott A. Smolka
| |
47) | Conference Paper
Md. Ariful Islam, Tushar Deshpande, Abhishek Murthy, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu
| |
46) | Edited
Ezio Bartocci, Luca Bortolussi, Scott A. Smolka
| |
45) | Invited Paper
Cyber-Physical Systems: Theoretical and Practical Challenges
Ezio Bartocci, Oliver Hoftberger, Radu Grosu
| |
44) | Invited Paper
First International Competition of Software for Runtime Verification
Ezio Bartocci, Borzoo Bonakdarpour, Ylies Falcone
| |
43) | Invited Paper
Ezio Bartocci, Sicun Gao, Scott A. Smolka
| |
42) | Invited Paper
Sara Bufo, Ezio Bartocci, Guido Sanguinetti, Massimo Borelli, Umberto Lucangelo, Luca Bortolussi
| |
2013 | ||
41) | Conference Paper
Ezio Bartocci, Luca Bortolussi, Laura Nenzi
| |
40) | Conference Paper
Kenan Kalajdzic, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu
| |
39) | Edited
Ezio Bartocci, Luca Bortolussi
DOI: 10.4204/EPTCS.92
| |
38) | Edited
Ezio Bartocci, C. R. Ramakrishnan
| |
37) | Invited Paper
Monitoring with uncertainty
Ezio Bartocci, Radu Grosu
| |
36) | Journal Paper
Abhishek Murthy, Ezio Bartocci, Flavio H. Fenton, James Glimm, Richard A. Gray, Elizabeth M. Cherry, Scott A. Smolka, Radu Grosu
| |
35) | Workshop Paper
Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti
DOI: 10.4204/EPTCS.125.1
| |
34) | Workshop Paper
Ezio Bartocci
DOI: 10.4204/EPTCS.124
| |
2012 | ||
33) | Conference Paper
Ezio Bartocci, Radu Grosu, Atul Kamarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok, Justin Seyster
| |
32) | Conference Paper
Abhishek Murthy, Md. Ariful Islam, Ezio Bartocci, Elizabeth M. Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka, Radu Grosu
| |
31) | Conference Paper
Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka
| |
30) | Journal Paper
Ezio Bartocci, Pietro Liò, Emanuela Merelli, Nicola Paoletti
| |
29) | Journal Paper
Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Leonardo Vito
| |
2011 | ||
28) | Conference Paper
Abhishek Murthy, Ezio Bartocci, Flavio H. Fenton, James Glimm, Richard A. Gray, Scott A. Smolka, Radu Grosu
| |
27) | Conference Paper
Radu Grosu, Gregory Batt, Flavio H. Fenton, James Glimm, Colas Le Guernic, Scott A. Smolka, Ezio Bartocci
| |
26) | Conference Paper
Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka
| |
25) | ![]() Conference Paper
Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok
| |
24) | Conference Paper
Ezio Bartocci, Elizabeth M. Cherry, James Glimm, Radu Grosu, Scott A. Smolka, Flavio H. Fenton
| |
23) | Journal Paper
Roberta Alfieri, Ezio Bartocci, Emanuela Merelli, Luciano Milanesi
| |
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
| |
21) | Workshop Paper
Radu Grosu, Flavio H. Fenton, Scott A. Smolka, Ezio Bartocci
DOI: 10.1109/SEW.2011.16
| |
2010 | ||
20) | Conference Paper
Ezio Bartocci, Diletta Romana Cacciagrano, Flavio Corradini, Emanuela Merelli, Leonardo Vito
| |
19) | Journal Paper
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei
| |
18) | Journal Paper
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
| |
17) | Journal Paper
Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
| |
2009 | ||
16) | Conference Paper
A Shape Calculus for Biological Processes
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
| |
15) | Journal Paper
Radu Grosu, Scott A. Smolka, Flavio Corradini, Anita Wasilewska, Emilia Entcheva, Ezio Bartocci
| |
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
| |
13) | Workshop Paper
Model Checking Biological Oscillators
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei
| |
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
| |
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
Ezio Bartocci, Diletta Romana Cacciagrano, Nicola Cannata, Flavio Corradini, Emanuela Merelli, Luciano Milanesi, Paolo Romano
| |
8) | Journal Paper
Paolo Romano, Ezio Bartocci, Guglielmo Bertolini, Flavio De Paoli, Domenico Marra, Giancarlo Mauri, Emanuela Merelli, Luciano Milanesi
| |
7) | Journal Paper
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
Ezio Bartocci, Flavio Corradini, Emanuela Merelli
DOI: 10.1007/11758532_138
| |
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
Gertrud Fischer, Saleh M. Ibrahim, Gudrun A. Brockmann, Jens Pahnke, Ezio Bartocci, Hans-Jürgen Thiesen, Pablo Serrano-Fernández, Stefan Möller
|
Some text to describe the callout message.
Learn more or close it if it is in your way.
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.