logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
E

Ezio Bartocci

technische universitat wien

37H-index
266Paper Count
4.4KCitation Count
Published Papers 17
Publication Date
logo
Hypernode automata
errACTA INFORMATICA
IF0.5
err2025-12-09
err0
errOAAI
errBartocci, Ezio; Chalupa, Marek; Henzinger, Thomas A.; Nickovic, Dejan; Oliveira Da Costa, Ana
errShare
errSave
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
errACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS
IF2.6
err2025-09-01
err0
errOAAI
errMelani, Beatrice; Bartocci, Ezio; Chiari, Michele
errShare
errSave
Cumulative-Time Signal Temporal Logic
errACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS
IF2.6
err2025-09-01
err0
errOAAI
errChen, Hongkai; Zhang, Zeyu; Roy, Shouvik; Bartocci, Ezio; Smolka, Scott A.; Stoller, Scott; Lin, Shan
errShare
errSave
Signal Feature Coverage and Testing for CPS Dataflow Models
errACM Transactions on Software Engineering and Methodology
IF6.2
err2025-08-18
err0
PREAI
errEzio Bartocci; Leonardo Mariani; Dejan Nickovic; Drishti Yadav
errShare
errSave
Quantifying the Satisfaction of Spatio-Temporal Logic Specifications for Multiagent Control
errIEEE Transactions on Automatic Control
IF7
err2025-08-01
err0
PREAI
errWenliang Liu; Suhail Alsalehi; Noushin Mehdipour; Ezio Bartocci; Calin Belta
errShare
errSave
Adaptive testing for specification coverage and refinement in CPS models
errNONLINEAR ANALYSIS-HYBRID SYSTEMS
IF4.1
err2022-11-01
err2
errOAAI
errBartocci, Ezio; Bloem, Roderick; Maderbacher, Benedikt; Manjunath, Niveditha; Nickovic, Dejan
errShare
errSave
Enforcing ethical goals over reinforcement-learning policies
errETHICS AND INFORMATION TECHNOLOGY
IF4
err2022-09-29
err5
errOAAI
errNeufeld, Emery A.; Bartocci, Ezio; Ciabattoni, Agata; Governatori, Guido
errShare
errSave
A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities
errIEEE INTERNET OF THINGS JOURNAL
IF8.9
err2021-08-01
err0
errOAAI
errMa, Meiyi; Bartocci, Ezio; Lifland, Eli; Stankovic, John A.; Feng, Lu
errShare
errSave
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems
errIEEE ACCESS
IF3.6
err2020-01-01
err5
errOAAI
errShmarov, Fedor; Soudjani, Sadegh; Paoletti, Nicola; Bartocci, Ezio; Lin, Shan; Smolka, Scott A.; Zuliani, Paolo
errShare
errSave
Quantitative Regular Expressions for Arrhythmia Detection
errIEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS
IF3.4
err2019-09-01
err11
errOAAI
errAbbas, Houssam; Rodionova, Alena; Mamouras, Konstantinos; Bartocci, Ezio; Smolka, Scott A.; Grosu, Radu
errShare
errSave
A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems
errIEEE ACCESS
IF3.6
err2019-01-01
err86
errOAAI
errRatasich, Denise; Khalid, Faiq; Geissler, Florian; Grosu, Radu; Shafique, Muhammad; Bartocci, Ezio
errShare
errSave
Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016)
errIEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS
IF3.4
err2018-07-01
err0
PREAI
errBartocci, Ezio; Lio, Pietro; Paoletti, Nicola
errShare
errSave
A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks
errIEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS
IF5
err2018-03-01
err25
errOAAI
errBartocci, Ezio; Gol, Ebru Aydin; Haghighi, Iman; Belta, Calin
errShare
errSave
Curvature Analysis of Cardiac Excitation Wavefronts
errIEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS
IF3.4
err2013-03-01
err9
errOAAI
errMurthy, Abhishek; Bartocci, Ezio; Fenton, Flavio H.; Glimm, James; Gray, Richard A.; Cherry, Elizabeth M.; Smolka, Scott A.; Grosu, Radu
errShare
errSave
Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
errCOMMUNICATIONS OF THE ACM
IF12.2
err2009-03-01
err66
errOAAI
errGrosu, Radu; Smolka, Scott A.; Corradini, Flavio; Wasilewska, Anita; Entcheva, Emilia; Bartocci, Ezio
errShare
errSave
An agent-based multilayer architecture for bioinformatics grids
errIEEE TRANSACTIONS ON NANOBIOSCIENCE
IF4.4
err2007-06-01
err15
PREAI
errBartocci, Ezio; Cacciagrano, Diletta; Cannata, Nicola; Corradini, Flavio; Merelli, Emanuela; Milanesi, Luciano; Romano, Paolo
errShare
errSave
Expressionview:: visualization of quantitative trait loci and gene-expression data in Ensembl -: art. no. R77
errGENOME BIOLOGY
IF9.4
err2003-10-10
err20
errOAAI
errFischer, G; Ibrahim, SM; Brockmann, GA; Pahnke, J; Bartocci, E; Thiesen, HJ; Serrano-Fernández, P; Möller, S
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
J
John A. Stankovic
H-index: 103 · Papers: 642
P
Píetro Lió
H-index: 72 · Papers: 1.1K
J
James Glimm
H-index: 63 · Papers: 622
C
Călin Belta
H-index: 56 · Papers: 480
M
Muhammad Shafique
H-index: 49 · Papers: 825
View more