Ezio Bartocci
发表
Thomas A. Henzinger,
Yu Jiang,
Hui Kong,
2016,
HSB.
Ezio Bartocci,
Radu Grosu,
Denise Ratasich,
2015,
ArXiv.
Dejan Nickovic,
Ezio Bartocci,
Radu Grosu,
2017,
Dependable Software Systems Engineering.
Ezio Bartocci,
Radu Grosu,
2013,
HAS.
Ezio Bartocci,
Panagiotis Katsaros,
Eleni Zapridou,
2020,
RV.
Hui Kong,
Ezio Bartocci,
Sergiy Bogomolov,
2015,
Haifa Verification Conference.
Ezio Bartocci,
Luca Bortolussi,
Michele Loreti,
2020,
RV.
Ezio Bartocci,
Radu Grosu,
Erez Zadok,
2012,
RV.
Ezio Bartocci,
Radu Grosu,
Scott A. Smolka,
2013
.
Ezio Bartocci,
Radu Grosu,
Denise Ratasich,
2017,
IWANN.
Ezio Bartocci,
Emanuela Merelli,
Luca Tesei,
2009,
FBTC@ICALP.
Ezio Bartocci,
Radu Grosu,
Oliviero Riganelli,
2008,
Concurrency, Graphs and Models.
Dejan Nickovic,
Ezio Bartocci,
Leonardo Mariani,
2019,
SEFM.
Ezio Bartocci,
Borzoo Bonakdarpour,
Erika Abraham,
2020,
ATVA.
Ezio Bartocci,
Luca Bortolussi,
Michele Loreti,
2020,
RV.
Dejan Nickovic,
Ezio Bartocci,
Radu Grosu,
2016,
HSCC.
Sriram Sankaranarayanan,
Ezio Bartocci,
Mohamed Amin Ben Sassi,
2017
.
Ezio Bartocci,
Rupak Majumdar,
2017,
Formal Methods Syst. Des..
Ezio Bartocci,
Guido Sanguinetti,
Luca Bortolussi,
2013,
HSB.
Gerhard Goos,
Juris Hartmanis,
Jan van Leeuwen,
2018,
Lecture Notes in Computer Science.
Dejan Nickovic,
Ezio Bartocci,
Radu Grosu,
2016,
ISoLA.
Ezio Bartocci,
Jane Hillston,
Paul Piho,
2019,
CMSB.
Calin Belta,
Ezio Bartocci,
Iman Haghighi,
2019,
2019 IEEE 58th Conference on Decision and Control (CDC).
Ezio Bartocci,
Lu Feng,
Meiyi Ma,
2020,
SenSys.
Ezio Bartocci,
Radu Grosu,
Scott A. Smolka,
2011,
CAV.
Ezio Bartocci,
Radu Grosu,
Houssam Abbas,
2016,
ArXiv.
Ezio Bartocci,
Emanuela Merelli,
Luca Tesei,
2010,
Sci. Ann. Comput. Sci..
Ezio Bartocci,
Luca Bortolussi,
Michele Loreti,
2017,
MEMOCODE.
Dejan Nickovic,
Ezio Bartocci,
Thomas Ferrère,
2018,
HSCC.
Ezio Bartocci,
Radu Grosu,
Scott A. Smolka,
2012,
CMSB.
Ezio Bartocci,
Emanuela Merelli,
Luca Tesei,
2010,
Theor. Comput. Sci..
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
Dejan Nickovic,
Sriram Sankaranarayanan,
Ezio Bartocci,
2018,
Lectures on Runtime Verification.
Lu Feng,
Ezio Bartocci,
Eli Lifland,
2019,
2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS).
Ezio Bartocci,
Radu Grosu,
Scott A. Smolka,
2009,
Theor. Comput. Sci..
C. R. Ramakrishnan,
Ezio Bartocci,
Radu Grosu,
2011,
TACAS.
Ezio Bartocci,
Radu Grosu,
Scott A. Smolka,
2008,
BMC Bioinformatics.
Ezio Bartocci,
Nicola Paoletti,
Scott A. Smolka,
2017,
ArXiv.
Ezio Bartocci,
Sergiy Bogomolov,
Radu Grosu,
2016,
2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Ezio Bartocci,
Emanuela Merelli,
Flavio Corradini,
2006,
WOA.
Ezio Bartocci,
Erika Ábrahám,
Borzoo Bonakdarpour,
2020,
LPAR.
C. R. Ramakrishnan,
Ezio Bartocci,
E. Bartocci,
2013,
Lecture Notes in Computer Science.
Ezio Bartocci,
Laura Kovács,
Miroslav Stankovic,
2020,
TACAS.
Ezio Bartocci,
Radu Grosu,
Scott A. Smolka,
2015,
2015 54th IEEE Conference on Decision and Control (CDC).
Ezio Bartocci,
Lu Feng,
Meiyi Ma,
2019,
ArXiv.
Ezio Bartocci,
Radu Grosu,
Dejan Ničković,
2018,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Ezio Bartocci,
Sergiy Bogomolov,
Radu Grosu,
2015,
Haifa Verification Conference.
Muhammad Shafique,
Ezio Bartocci,
Radu Grosu,
2018,
IEEE Access.
Dejan Nickovic,
César Sánchez,
Gordon J. Pace,
2018,
Formal Methods in System Design.
Ezio Bartocci,
Guido Sanguinetti,
Tomás Brázdil,
2016,
QEST.
Ezio Bartocci,
Borzoo Bonakdarpour,
Yliès Falcone,
2014,
RV.
Cyrille Jégourel,
Axel Legay,
Ezio Bartocci,
2016,
ISoLA.
Dejan Nickovic,
Ezio Bartocci,
Roderick Bloem,
2018,
CAV.
Ezio Bartocci,
Luca Bortolussi,
Laura Nenzi,
2018,
ATVA.
Ezio Bartocci,
Guido Sanguinetti,
Luca Bortolussi,
2014,
FORMATS.
Ezio Bartocci,
Radu Grosu,
Scott A. Smolka,
2011,
CMSB.
Ezio Bartocci,
Laura Kovács,
Miroslav Stankovic,
2020,
ICTAC.
Ezio Bartocci,
Yliès Falcone,
2016,
ISoLA.
Ezio Bartocci,
Emanuela Merelli,
Flavio Corradini,
2007,
BMC Bioinformatics.
Fabrice Kordon,
Ezio Bartocci,
Dirk Beyer,
2019,
TACAS.
Ezio Bartocci,
2009
.
Ezio Bartocci,
Guido Sanguinetti,
Luca Bortolussi,
2015,
Theor. Comput. Sci..
Ezio Bartocci,
Emanuela Merelli,
Luciano Milanesi,
2006
.
Dejan Nickovic,
Ezio Bartocci,
Roderick Bloem,
2020,
ArXiv.
Ezio Bartocci,
Yliès Falcone,
Giles Reger,
2019,
TACAS.
Ezio Bartocci,
Nicola Paoletti,
Scott A. Smolka,
2019,
IEEE Access.
Ezio Bartocci,
Radu Grosu,
Erez Zadok,
2011,
RV.
Ezio Bartocci,
Cristinel Mateis,
Jyotirmoy V. Deshmukh,
2020,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Ezio Bartocci,
Luca Bortolussi,
Michele Loreti,
2020,
International Journal on Software Tools for Technology Transfer.
Thomas A. Henzinger,
Hui Kong,
Ezio Bartocci,
2018,
CAV.
Ezio Bartocci,
Guido Sanguinetti,
Luca Bortolussi,
2014,
ISoLA.
Ana Sokolova,
Joost-Pieter Katoen,
Krishnendu Chatterjee,
2018,
QEST.
Ezio Bartocci,
Scott A. Smolka,
Sicun Gao,
2014,
ISoLA.
Ezio Bartocci,
Radu Grosu,
Scott A. Smolka,
2008,
Electron. Notes Theor. Comput. Sci..
Pietro Liò,
Ezio Bartocci,
Nicola Paoletti,
2018,
TCBB.
Ezio Bartocci,
Guido Sanguinetti,
Luca Bortolussi,
2015,
HSB.
Ezio Bartocci,
Nicola Paoletti,
Pietro Liò,
2016,
Lecture Notes in Computer Science.
Ezio Bartocci,
Guido Sanguinetti,
Tomás Brázdil,
2017,
Perform. Evaluation.
Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems
pdf
Axel Legay,
Ezio Bartocci,
Radu Grosu,
2015,
ArXiv.
Ezio Bartocci,
Emanuela Merelli,
Luca Tesei,
2010,
ArXiv.
Ezio Bartocci,
Nicola Paoletti,
Scott A. Smolka,
2017,
Haifa Verification Conference.
Ezio Bartocci,
Emanuela Merelli,
Luciano Milanesi,
2011,
Biosyst..
Pietro Liò,
Ezio Bartocci,
Nicola Paoletti,
2012,
Trans. Comp. Sys. Biology.
Ezio Bartocci,
Yliès Falcone,
2018,
ISoLA.
Calin Belta,
Ezio Bartocci,
Radu Grosu,
2015,
HSCC.
Richard A. Gray,
Ezio Bartocci,
Radu Grosu,
2011,
CMSB.
Ezio Bartocci,
Radu Grosu,
Scott A. Smolka,
2008,
CACM.
Dejan Nickovic,
Ezio Bartocci,
Radu Grosu,
2016,
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Dejan Nickovic,
Gordon J. Pace,
Ezio Bartocci,
2019,
Formal Methods Syst. Des..
Ezio Bartocci,
Radu Grosu,
Scott A. Smolka,
2015,
Theor. Comput. Sci..
Ezio Bartocci,
Marco Baldi,
Franco Chiaraluce,
2017,
QEST.
Giancarlo Mauri,
Ezio Bartocci,
Emanuela Merelli,
2007,
BMC Bioinformatics.
Ezio Bartocci,
Leonardo Mariani,
Cristinel Mateis,
2020,
ISSTA.
Dejan Nickovic,
Ezio Bartocci,
Radu Grosu,
2015,
2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).
Ezio Bartocci,
Radu Grosu,
Scott A. Smolka,
2009
.
C. R. Ramakrishnan,
Ezio Bartocci,
2016,
International Journal on Software Tools for Technology Transfer.
Richard A. Gray,
Ezio Bartocci,
Radu Grosu,
2011,
CMSB.
Ezio Bartocci,
Emanuela Merelli,
Flavio Corradini,
2006,
WOA.
Ezio Bartocci,
Radu Grosu,
Houssam Abbas,
2016,
CMSB.
Ezio Bartocci,
Luca Bortolussi,
Laura Nenzi,
2013,
CMSB.
Ezio Bartocci,
Lu Feng,
Meiyi Ma,
2020,
ArXiv.
Ezio Bartocci,
Guido Sanguinetti,
Luca Bortolussi,
2013,
ArXiv.
Ezio Bartocci,
Luca Bortolussi,
2012
.
Thomas A. Henzinger,
Ezio Bartocci,
Yu Jiang,
2019,
FORMATS.
Dejan Nickovic,
Thomas A. Henzinger,
Ezio Bartocci,
2020,
ArXiv.
Ezio Bartocci,
Sergiy Bogomolov,
Radu Grosu,
2019,
International Journal on Software Tools for Technology Transfer.
Dejan Nickovic,
Ezio Bartocci,
Radu Grosu,
2017,
CAV.
Ana Sokolova,
Ezio Bartocci,
Sebastian Arming,
2017,
QAPL@ETAPS.
Calin Belta,
Ezio Bartocci,
Ebru Aydin Gol,
2014,
53rd IEEE Conference on Decision and Control.
Ezio Bartocci,
Luca Bortolussi,
Scott A. Smolka,
2014,
Inf. Comput..
Ezio Bartocci,
Radu Grosu,
Oliver Höftberger,
2014,
ERCIM News.
Ezio Bartocci,
Radu Grosu,
Flavio Corradini,
2008
.
C. R. Ramakrishnan,
Ezio Bartocci,
2013
.
Ezio Bartocci,
Emanuela Merelli,
Diletta Cacciagrano,
2012,
Journal of integrative bioinformatics.
Ezio Bartocci,
Yu Meng,
Ulrich Schmid,
2018,
ADHS.
Ezio Bartocci,
Joost-Pieter Katoen,
Laura Kovács,
2020,
ArXiv.
Ezio Bartocci,
Emanuela Merelli,
Diletta Cacciagrano,
2010,
2010 International Conference on Biosciences.
Ezio Bartocci,
Emanuela Merelli,
Luca Tesei,
2009,
ICTCS.
Ezio Bartocci,
Radu Grosu,
Scott A. Smolka,
2008,
HSCC.
Ezio Bartocci,
Radu Grosu,
Scott A. Smolka,
2011,
2011 IEEE 34th Software Engineering Workshop.
Ezio Bartocci,
Radu Grosu,
Houssam Abbas,
2019,
IEEE/ACM Transactions on Computational Biology and Bioinformatics.
Ezio Bartocci,
Emanuela Merelli,
Luca Tesei,
2010,
Sci. Ann. Comput. Sci..
Ezio Bartocci,
2018,
RV.
Ezio Bartocci,
Adrian Francalanza,
Yliès Falcone,
2018,
Lectures on Runtime Verification.
Ezio Bartocci,
Laura Kovács,
Miroslav Stankovic,
2019,
ATVA.
Ezio Bartocci,
Emanuela Merelli,
Flavio Corradini,
2006,
International Conference on Computational Science.
Dejan Nickovic,
Ezio Bartocci,
Radu Grosu,
2016,
Formal Methods in System Design.
Ezio Bartocci,
Emanuela Merelli,
L. Toldo,
2003
.
Pietro Liò,
Ezio Bartocci,
P. Lio’,
2016,
PLoS Comput. Biol..
Ezio Bartocci,
Emanuela Merelli,
Leonardo Vito,
2012,
J. Integr. Bioinform..
Ezio Bartocci,
E. Bartocci,
2013,
HAS.
Dejan Nickovic,
Ezio Bartocci,
Radu Grosu,
2012,
ATVA.
Ashish Tiwari,
Ezio Bartocci,
Radu Grosu,
2016,
TACAS.
Ezio Bartocci,
Leonardo Mariani,
Emanuela Merelli,
2003,
ICEIS.
Ezio Bartocci,
Scott A. Smolka,
Richard DeFrancisco,
2014,
SPIN.
Ezio Bartocci,
Emanuela Merelli,
Flavio Corradini,
2004
.
Ezio Bartocci,
Radu Grosu,
Denise Ratasich,
2019,
2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO).
Ezio Bartocci,
Radu Grosu,
Christian Hirsch,
2019,
2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT).
Ezio Bartocci,
Luca Bortolussi,
Laura Nenzi,
2018,
QEST.
Ezio Bartocci,
Radu Grosu,
Thang Nguyen,
2016,
RV.
Calin Belta,
Ezio Bartocci,
Iman Haghighi,
2018,
IEEE Transactions on Control of Network Systems.
Dejan Nickovic,
Ezio Bartocci,
Radu Grosu,
2018,
Formal Methods Syst. Des..
Ezio Bartocci,
Yi Zhang,
Felix Klaedtke,
2017,
International Journal on Software Tools for Technology Transfer.
Dejan Nickovic,
Ezio Bartocci,
Cristinel Mateis,
2021,
SEFM.
Calin Belta,
Ezio Bartocci,
Noushin Mehdipour,
2021,
2021 60th IEEE Conference on Decision and Control (CDC).
Dejan Nickovic,
Ezio Bartocci,
Benedikt Maderbacher,
2021,
ADHS.
Ezio Bartocci,
Leonardo Mariani,
Cristinel Mateis,
2021,
Int. J. Softw. Tools Technol. Transf..
Dejan Nickovic,
Ezio Bartocci,
Radu Grosu,
2021,
ArXiv.
Ezio Bartocci,
Miroslav Stankovič,
Laura Kovács,
2021,
Theor. Comput. Sci..
Guido Governatori,
Ezio Bartocci,
Agata Ciabattoni,
2021,
CADE.
Ezio Bartocci,
Erika Ábrahám,
Borzoo Bonakdarpour,
2021,
FM.
Joost-Pieter Katoen,
Ezio Bartocci,
Laura Kovács,
2021,
ESOP.
Modeling and Analysis of Cardiac Hybrid Cellular Automata via GPU-Accelerated Monte Carlo Simulation
Ezio Bartocci,
Alessio Gizzi,
Lilly Maria Treml,
2021
.
Dejan Nickovic,
Thomas A. Henzinger,
Ezio Bartocci,
2022,
VMCAI.
Joost-Pieter Katoen,
Ezio Bartocci,
Marcel Moosbrugger,
2021,
FM.
Ezio Bartocci,
Michele Loreti,
Laura Nenzi,
2021,
MEMOCODE.
Ezio Bartocci,
John A. Stankovic,
Lu Feng,
2020,
ACM Trans. Embed. Comput. Syst..
Ezio Bartocci,
Hans-Jürgen Thiesen,
Steffen Möller,
2003,
Genome Biology.
Ezio Bartocci,
Luca Bortolussi,
2012
.
Ezio Bartocci,
Emanuela Merelli,
Luca Tesei,
2009
.