引用次数
引用: 5,357
H-指数: 40
I10-指数 : 96
出版物: 254
Shape Calculus A spatial calculus for 3D colliding shapes
Luca Tesei , Maria Rita Di Berardini , Flavio Corradini , Emanuela Merelli
1 -29
7
2009
Hybrid automata for the R-point transition in mammaliancells
Luciano Milanesi , Emanuela Merelli , Roberta Alfieri , Ezio Bartocci
2009
Shape Calculus: Timed Operational Semantics and Well-formedness
Diletta Romana Cacciagrano , Luca Tesei , Maria Rita Di Berardini , Emanuela Merelli
arXiv: Programming Languages 1 -40
2
2010
Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems
Cyrille Jégourel , Axel Legay , Radu Grosu , Scott A. Smolka
arXiv: Systems and Control
3
2014
Cyber-Physical Systems: Theoretical and Practical Challenges.
Oliver Höftberger , Radu Grosu , Ezio Bartocci
Ercim News 2014
2
2014
Medical Cyber-Physical Systems - (Track Introduction).
Sicun Gao , Scott A. Smolka , Ezio Bartocci
ISoLA (2) 353 -355
2014
Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
C. R. Ramakrishnan , Ezio Bartocci
Springer Publishing Company, Incorporated
1
2013
Lectures on Runtime Verification: Introductory and Advanced Topics
Yliès Falcone , L Mariani , A Rollet , S Saha
13
2018
Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics
Calin Belta , Ezio Bartocci , Iman Haghighi , Noushin Mehdipour
arXiv: Systems and Control
52
2019
Signal Convolution Logic
Laura Nenzi , Luca Bortolussi , Ezio Bartocci , Simone Silvetti
arXiv: Logic in Computer Science
3
2018
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty
Ezio Bartocci , Hui Kong , Yu Jiang , Thomas A. Henzinger
arXiv e-prints
2019
Bird Migration and Climate Variables
Marcus Hirtl , Stefano Natali , Ezio Bartocci , Leonida Fusani
EGUGA 14671
2018
Probabilistic Hyperproperties with Nondeterminism
Borzoo Bonakdarpour , Erika Abraham , Ezio Bartocci , Oyendrila Dobe
arXiv: Logic in Computer Science
3
2020
Parallel reachability analysis for hybrid systems
Sergiy Bogomolov , Radu Grosu , Amit Gurung , Ezio Bartocci
formal methods 12 -22
8
2016
Modeling and Analysis of Cardiac Hybrid Cellular Automata via GPU-Accelerated Monte Carlo Simulation
Alessio Gizzi , Ezio Bartocci , Lilly Maria Treml
Mathematics 9 ( 2) 164
1
2021
Automated Termination Analysis of Polynomial Probabilistic Programs
Joost-Pieter Katoen , Laura Kovács , Ezio Bartocci , Marcel Moosbrugger
european symposium on programming 12648 491 -518
2
2021
A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities
Meiyi Ma , Ezio Bartocci , Eli Lifland , John Stankovic
IEEE Internet of Things Journal 1 -1
1
2021
Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems.
Meiyi Ma , John Stankovic , Ezio Bartocci , Lu Feng
arXiv: Learning
13
2020
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems.
Laura Nenzi , Michele Loreti , Luca Bortolussi , Ezio Bartocci
arXiv: Logic in Computer Science
2021
CPSDebug: a tool for explanation of failures in cyber-physical systems
Ezio Bartocci , Niveditha Manjunath , Leonardo Mariani , Cristinel Mateis
international symposium on software testing and analysis 569 -572
4
2020