Paolo Zuliani
发表
O. K. Oyebamiji,
Darren J. Wilkinson,
B. Li,
2019,
J. Comput. Sci..
SReach: Combining Statistical Tests and Bounded Model Checking for Nonlinear Hybrid Systems with Parametric Uncertainty
pdf
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
ArXiv.
Paolo Zuliani,
Fedor Shmarov,
P. Zuliani,
2014,
ArXiv.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
CMSB.
Paolo Zuliani,
Thomas P. Curtis,
Bowen Li,
2019,
bioRxiv.
Paolo Zuliani,
Goksel Misirli,
Anil Wipat,
2016
.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2015,
CMSB.
Paolo Zuliani,
Qinsi Wang,
James R. Faeder,
2011,
BICoB.
Paolo Zuliani,
P. Zuliani,
2014,
International Journal on Software Tools for Technology Transfer.
Paolo Zuliani,
Mariia Vasileva,
2018,
ArXiv.
Edmund M. Clarke,
Paolo Zuliani,
E. Clarke,
2011,
ATVA.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
1404.7206.
Edmund M. Clarke,
David Henriques,
André Platzer,
2012,
2012 Ninth International Conference on Quantitative Evaluation of Systems.
Carla Piazza,
Paolo Zuliani,
Linda Anticoli,
2016,
RC.
Axel Legay,
Sumit Kumar Jha,
Edmund M. Clarke,
2009,
CMSB.
Paolo Zuliani,
P. Zuliani,
2005,
Acta Informatica.
Paolo Zuliani,
Curtis Madsen,
Fedor Shmarov,
2015,
CMSB.
Konstantinos Georgopoulos,
Paolo Zuliani,
Clive Emary,
2020
.
Ezio Bartocci,
Nicola Paoletti,
Scott A. Smolka,
2017,
ArXiv.
Paolo Zuliani,
Fedor Shmarov,
2014
.
Edmund M. Clarke,
Paolo Zuliani,
Anvesh Komuravelli,
2010,
ANB.
Edmund M. Clarke,
Paolo Zuliani,
Natasa Miskov-Zivanov,
2013,
BCB.
Alberto Sillitti,
Giancarlo Succi,
Paolo Zuliani,
2004,
QUTE-SWAP '04.
Carla Piazza,
Paolo Zuliani,
Linda Anticoli,
2017,
InfQ@VALUETOOLS.
Giancarlo Succi,
Bruno Rossi,
Paolo Zuliani,
2005,
TCGOV.
Paolo Zuliani,
Fedor Shmarov,
2016,
AAAI Workshop: Planning for Hybrid Systems.
Thomas E. Gorochowski,
Paolo Zuliani,
Harold Fellermann,
2019,
Nature Communications.
Alberto Sillitti,
Giancarlo Succi,
Paolo Zuliani,
2005,
DG.O.
Axel Legay,
Sumit Kumar Jha,
Edmund M. Clarke,
2009
.
Paolo Zuliani,
Fedor Shmarov,
P. Zuliani,
2016,
Haifa Verification Conference.
Paolo Zuliani,
Fedor Shmarov,
P. Zuliani,
2015,
SNR@CAV.
Giancarlo Succi,
Paolo Zuliani,
Andrea Janes,
2003,
XP.
Paolo Zuliani,
2005,
UC.
Edmund M. Clarke,
Paolo Zuliani,
Anvesh Komuravelli,
2011,
16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011).
Jeff W. Sanders,
Paolo Zuliani,
J. Sanders,
2000,
MPC.
Ezio Bartocci,
Nicola Paoletti,
Scott A. Smolka,
2019,
IEEE Access.
Vincent Danos,
Paolo Zuliani,
Goksel Misirli,
2016
.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
HSCC.
Paolo Zuliani,
Fedor Shmarov,
P. Zuliani,
2014,
HSCC.
Paolo Zuliani,
György Kovács,
Giancarlo Succi,
2004
.
Edmund M. Clarke,
Paolo Zuliani,
Anvesh Komuravelli,
2010,
BMC Bioinformatics.
Paolo Zuliani,
2009,
Acta Informatica.
Giancarlo Succi,
György Kovács,
Paolo Zuliani,
2005
.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
ArXiv.
Paolo Zuliani,
Jeremy Revell,
P. Zuliani,
2018,
CMSB.
Ezio Bartocci,
Nicola Paoletti,
Scott A. Smolka,
2017,
Haifa Verification Conference.
Pietro Liò,
Paolo Zuliani,
Olga Troyanskaya,
2019,
Computational Biology.
Håkan L. S. Younes,
Edmund M. Clarke,
Paolo Zuliani,
2010,
SBMF.
Edmund M. Clarke,
Paolo Zuliani,
William Klieber,
2011,
LASER Summer School.
Paolo Zuliani,
2007,
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).
Edmund M. Clarke,
Paolo Zuliani,
Qinsi Wang,
2016,
2016 IEEE International High Level Design Validation and Test Workshop (HLDVT).
Paolo Zuliani,
2001,
IBM J. Res. Dev..
Edmund M. Clarke,
Paolo Zuliani,
Qinsi Wang,
2011,
IEEE Conference on Decision and Control and European Control Conference.
Edmund M. Clarke,
André Platzer,
Paolo Zuliani,
2010,
Formal Methods in System Design.
Edmund M. Clarke,
André Platzer,
Paolo Zuliani,
2013,
Formal Methods Syst. Des..
Paolo Zuliani,
P. Zuliani,
2004
.
Vincent Danos,
Matthew R. Pocock,
Paolo Zuliani,
2015,
Bioinform..
Carla Piazza,
Paolo Zuliani,
Linda Anticoli,
2017,
ArXiv.
Edmund M. Clarke,
Paolo Zuliani,
Natasa Miskov-Zivanov,
2012
.
Paolo Zuliani,
M Vasileva,
F Shmarov,
2020,
2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Edmund M. Clarke,
David Henriques,
Paolo Zuliani,
2012
.
Christel Baier,
Edmund M. Clarke,
Paolo Zuliani,
2012,
HSCC '12.
Paolo Zuliani,
P. Zuliani,
2007,
QPL.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
ArXiv.
Witold Pedrycz,
Giancarlo Succi,
Paolo Zuliani,
2004,
Empirical Software Engineering.
Paolo Zuliani,
Mariia Vasileva,
2020,
VECoS.
Paolo Zuliani,
Sadegh Soudjani,
Marco Lewis,
2021,
ArXiv.
Sofie Haesaert,
Alessandro Abate,
Anne Remke,
2021,
ARCH@ADHS.
Edmund M. Clarke,
Paolo Zuliani,
Haijun Gong,
2011
.
Edmund M. Clarke,
Paolo Zuliani,
Haijun Gong,
2013
.
P. G. Jayathilake,
Paolo Zuliani,
Pahala Gedara Jayathilake,
2018,
PloS one.
Giancarlo Succi,
Paolo Zuliani,
G. Succi,
2004
.
P. G. Jayathilake,
Paolo Zuliani,
Curtis Madsen,
2017,
PloS one.