×
Author ID: zuliani.paolo Recent zbMATH articles by "Zuliani, Paolo"
Published as: Zuliani, Paolo; Zuliani, P.
Documents Indexed: 16 Publications since 2000, including 1 Additional arXiv Preprint
Co-Authors: 19 Co-Authors with 11 Joint Publications
584 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

12 Publications have been cited 76 times in 61 Documents Cited by Year
Quantum programming. Zbl 0963.68037
Sanders, J. W.; Zuliani, P.
19
2000
Statistical model checking for cyber-physical systems. Zbl 1348.68128
Clarke, Edmund M.; Zuliani, Paolo
8
2011
Bayesian statistical model checking with application to Stateflow/Simulink verification. Zbl 1291.68273
Zuliani, Paolo; Platzer, André; Clarke, Edmund M.
8
2013
Bayesian statistical model checking with application to Simulink/Stateflow verification. Zbl 1361.68154
Zuliani, Paolo; Platzer, André; Clarke, Edmund M.
8
2010
ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems. Zbl 1366.68183
Shmarov, Fedor; Zuliani, Paolo
8
2015
Compiling quantum programs. Zbl 1079.68020
Zuliani, Paolo
6
2005
Quantum programming with mixed states. Zbl 1277.68061
Zuliani, Paolo
5
2007
Statistical verification of probabilistic properties with unbounded until. Zbl 1325.68158
Younes, Håkan L. S.; Clarke, Edmund M.; Zuliani, Paolo
4
2011
Computational modeling and verification of signaling pathways in cancer. Zbl 1349.92074
Gong, Haijun; Zuliani, Paolo; Komuravelli, Anvesh; Faeder, James R.; Clarke, Edmund M.
3
2012
Rare-event verification for stochastic hybrid systems. Zbl 1362.68192
Zuliani, Paolo; Baier, Christel; Clarke, Edmund M.
3
2012
Towards quantum programs verification: from Quipper circuits to QPMC. Zbl 1480.81028
Anticoli, Linda; Piazza, Carla; Taglialegne, Leonardo; Zuliani, Paolo
3
2016
Reasoning about faulty quantum programs. Zbl 1183.68155
Zuliani, Paolo
1
2009
Towards quantum programs verification: from Quipper circuits to QPMC. Zbl 1480.81028
Anticoli, Linda; Piazza, Carla; Taglialegne, Leonardo; Zuliani, Paolo
3
2016
ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems. Zbl 1366.68183
Shmarov, Fedor; Zuliani, Paolo
8
2015
Bayesian statistical model checking with application to Stateflow/Simulink verification. Zbl 1291.68273
Zuliani, Paolo; Platzer, André; Clarke, Edmund M.
8
2013
Computational modeling and verification of signaling pathways in cancer. Zbl 1349.92074
Gong, Haijun; Zuliani, Paolo; Komuravelli, Anvesh; Faeder, James R.; Clarke, Edmund M.
3
2012
Rare-event verification for stochastic hybrid systems. Zbl 1362.68192
Zuliani, Paolo; Baier, Christel; Clarke, Edmund M.
3
2012
Statistical model checking for cyber-physical systems. Zbl 1348.68128
Clarke, Edmund M.; Zuliani, Paolo
8
2011
Statistical verification of probabilistic properties with unbounded until. Zbl 1325.68158
Younes, Håkan L. S.; Clarke, Edmund M.; Zuliani, Paolo
4
2011
Bayesian statistical model checking with application to Simulink/Stateflow verification. Zbl 1361.68154
Zuliani, Paolo; Platzer, André; Clarke, Edmund M.
8
2010
Reasoning about faulty quantum programs. Zbl 1183.68155
Zuliani, Paolo
1
2009
Quantum programming with mixed states. Zbl 1277.68061
Zuliani, Paolo
5
2007
Compiling quantum programs. Zbl 1079.68020
Zuliani, Paolo
6
2005
Quantum programming. Zbl 0963.68037
Sanders, J. W.; Zuliani, P.
19
2000
all top 5

Cited by 143 Authors

6 Ying, Mingsheng
5 Legay, Axel
4 Abate, Alessandro
4 Feng, Yuan
4 Zuliani, Paolo
3 Duan, Runyao
3 Falaschi, Moreno
3 Hermith, Diana
3 Mancini, Toni
3 Mari, Federico
3 Massini, Annalisa
3 Melatti, Igor
3 Soudjani, Sadegh
3 Tronci, Enrico
2 Chiarugi, Davide
2 Cordy, Maxime
2 Haesaert, Sofie
2 Ji, Zhengfeng
2 Kwiatkowska, Marta Z.
2 Milios, Dimitrios
2 Oishi, Meeko M. K.
2 Olarte, Carlos
2 Papadakis, Mike
2 Piazza, Carla
2 Platzer, André
2 Romanello, Riccardo
2 Sanguinetti, Guido
2 Thorpe, Adam J.
2 Zamani, Majid
1 Ali, Hesham A.
1 Ameen, El-Mahdy M.
1 Amy, Matthew
1 Badawy, Mahmoud
1 Badings, Thom S.
1 Baier, Christel
1 Banach, Richard
1 Bernini, Andrea
1 Biondi, Fabrizio
1 Bøgsted Poulsen, Danny
1 Bortolussi, Luca
1 Brim, Luboš
1 Brodo, Linda
1 Češka, Milan
1 Chang, Zhengwei
1 Chen, Jianxin
1 Chen, Taolue
1 Chraibi, Hassane
1 Clarke, Edmund Melson jun.
1 Daca, Przemysław
1 David, Alexandre
1 Degano, Pierpaolo
1 Della Giustina, D.
1 Diciolla, Marco
1 Du Bois, André Rauber
1 Dullerud, Geir E.
1 Dutfoy, Anne
1 Feitosa, Samuel S.
1 Felty, Amy P.
1 Fiadeiro, José Luiz
1 Galtier, Thomas
1 Garnier, Josselin
1 Gielerak, Roman
1 Ginis, Kyriakos G.
1 Goldsztejn, Alexandre
1 Groote, Jan Friso
1 Grosu, Radu
1 Guo, Wensheng
1 Hasanbeig, Hosein
1 Hehner, Eric C. R.
1 Henzinger, Thomas A.
1 Ishii, Daisuke
1 Jansen, Nils
1 Jegourel, Cyrille
1 Kawamoto, Yusuke
1 Koutsoukos, Xenofon D.
1 Křetínský, Jan
1 Kröning, Daniel
1 Lal, Ratan
1 Lampis, Michael
1 Larsen, Kim Guldstrand
1 Lavaei, Abolfazl
1 Lazreg, Sami
1 Li, Yangjia
1 Litvintseva, L. V.
1 Londero, C.
1 Lopes, Antónia
1 Mahmoud, Mohamed Yousri
1 Mereacre, Alexandru
1 Mikucionis, Marius
1 Mousavi, Mohammadreza
1 Neubauer, Sophie A.
1 Nimbe, Peter
1 Ortiz, Kendric R.
1 Papakyriakou, Michalis A.
1 Papaspyrou, Nikolaos S.
1 Pavlović, Duško
1 Perdrix, Simon
1 Petrov, Tatjana
1 Piveta, Eduardo Kessler
1 Poonawala, Hasan A.
...and 43 more Authors

Citations by Year