Ezio Bartocci
Affiliations: | 2005-2006 | University of Camerino, Italy, Camerino, Marche, Italy | |
| 2008- | Informatics | Technische Universität Wien (TU Wien) |
Google:
"Ezio Bartocci"Mean distance: (not calculated yet)
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Ratasich D, Khalid F, Geissler F, et al. (2019) A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems Ieee Access. 7: 13260-13283 |
| Gurung A, Ray R, Bartocci E, et al. (2019) Parallel reachability analysis of hybrid systems in XSpeed International Journal On Software Tools For Technology Transfer. 21: 401-423 |
| Bartocci E, Gol EA, Haghighi I, et al. (2018) A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks Ieee Transactions On Control of Network Systems. 5: 308-320 |
| Jaksic S, Bartocci E, Grosu R, et al. (2018) An Algebraic Framework for Runtime Verification Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 37: 2233-2243 |
| Fan C, Meng Y, Maier J, et al. (2018) Verifying nonlinear analog and mixed-signal circuits with inputs Ifac-Papersonline. 51: 241-246 |
| Bartocci E, Bortolussi L, Brázdil T, et al. (2017) Policy learning in Continuous-Time Markov Decision Processes using Gaussian Processes Performance Evaluation. 116: 84-100 |
| Bartocci E, Lió P. (2016) Computational Modeling, Formal Analysis, and Tools for Systems Biology. Plos Computational Biology. 12: e1004591 |
| Bartocci E, Ramakrishnan CR. (2016) Preface of the special issue on Model Checking of Software: Selected papers of the 20th International SPIN Symposium on Model Checking of Software International Journal On Software Tools For Technology Transfer. 1-3 |
| Bartocci E, Bortolussi L, Nenzi L, et al. (2015) System design of stochastic models using robustness of temporal properties Theoretical Computer Science. 587: 3-25 |
| Ariful Islam M, Murthy A, Bartocci E, et al. (2015) Model-order reduction of ion channel dynamics using approximate bisimulation Theoretical Computer Science. 599: 34-46 |