Catalogo dei prodotti della ricerca

ZULIANI, PAOLO

ZULIANI, PAOLO  

DIPARTIMENTO DI INFORMATICA  

Mostra prodotti
Risultati 1 - 20 di 68 (tempo di esecuzione: 0.048 secondi).
Titolo Data di pubblicazione Autore(i) File
A Bayesian Approach to Model Checking Biological Systems 2009 Jha Sumit, K.; Clarke Edmund, M.; Langmead Christopher, J.; Legay, Axel; Platzer, André; Zuliani, P
A Bayesian approach to modelling the impact of hydrodynamic shear stress on biofilm deformation 2018 Oyebamiji Oluwole, K.; Wilkinson Darren, J.; Jayathilake Pahala, Gedara; Rushton Steve, P.; Bridgens, Ben; Li, Bowen; Zuliani, P
A Formal Derivation of Grover's Quantum Search Algorithm 2007 Zuliani, P
A mechanistic Individual-based Model of microbial communities 2017 Jayathilake Pahala, Gedara; Gupta, Prashant; Li, Bowen; Madsen, Curtis; Oyebamiji, Oluwole; González-Cabaleiro, Rebeca; Rushton, Steve; Bridgens, Ben; Swailes, David; Allen, Ben; McGough A., Stephen; Zuliani, P; Ofiteru Irina, Dana; Wilkinson, Darren; Chen, Jinju; Curtis, Tom
An Empirical Analysis on the Discontinuous Use of Pair Programming 2003 Janes, Andrea; Russo, Barbara; Zuliani, P; Succi, Giancarlo
An Empirical Exploration of the Distributions of the Chidamber and Kemerer Object-Oriented Metrics Suite 2005 Succi, Giancarlo; Pedrycz, Witold; Djokic, Snezana; Zuliani, P; Russo, Barbara
An Evaluation of Estimation Techniques for Probabilistic Verification 2020 Vasileva, Mariia; Zuliani, P
Analog circuit verification by statistical model checking 2011 Wang, Ying-Chih; Komuravelli, Anvesh; Zuliani, P; Clarke Edmund, M.
Analysis and verification of the HMGB1 signaling pathway 2010 Gong, Haijun; Zuliani, P; Komuravelli, Anvesh; Faeder James, R; Clarke Edmund, M
Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization 2016 Misirli, Goksel; Cavaliere, Matteo; Waites, William; Pocock, Matthew; Madsen, Curtis; Gilfellon, Owen; Honorato-Zimmer, Ricardo; Zuliani, P; Danos, Vincent; Wipat, Anil
ARCH-COMP20 Category Report: Stochastic Models 2020 Abate, Alessandro; Blom, Henk; Cauchi, Nathalie; Delicaris, Joanna; Hartmanns, Arnd; Khaled, Mahmoud; Lavaei, Abolfazl; Pilch, Carina; Remke, Anne; Schupp, Stefan; Shmarov, Fedor; Soudjani, Sadegh; Vinod, Abraham; Wooding, Ben; Zamani, Majid; Zuliani, P
ARCH-COMP21 Category Report: Stochastic Models 2021 Alessandro, Abate; Henk Blom Marc, Bouissou; Nathalie, Cauchi; Hassane, Chraibi; Joanna, Delicaris; Sofie, Haesaert; Arnd, Hartmanns; Mahmoud, Khaled; Abolfazl, Lavaei; Hao, Ma; Kaushik, Mallik; Mathis, Niehage; Anne, Remke; Stefan, Schupp; Fedor, Shmarov; Sadegh, Soudjani; Adam, Thorpe; Vlad, Turcuman; Zuliani, P
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems 2020 Shmarov, Fedor; Soudjani, Sadegh; Paoletti, Nicola; Bartocci, Ezio; Lin, Shan; Smolka Scott, A.; Zuliani, P
Automated Verification of Silq Quantum Programs using SMT Solvers 2024 Lewis, Marco; Zuliani, Paolo; Soudjani, Sadegh
Barrier Certificates for a Computational Model of Epileptic Seizures 2023 Ingham, John F.; Wang, Yujiang; Zuliani, Paolo; Soudjani, Sadegh
Bayesian emulation and calibration of an individual-based model of microbial communities 2019 Oyebamiji, O. K.; Wilkinson, D. J.; Li, B.; Jayathilake, P. G.; Zuliani, P; Curtis, T. P.
Bayesian statistical model checking with application to Simulink/Stateflow verification 2010 Zuliani, P; Platzer, André; Clarke Edmund, M.
Bayesian statistical model checking with application to Stateflow/Simulink verification 2013 Zuliani, P; Platzer, André; Clarke Edmund, M.
BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models 2015 Madsen, Curtis; Shmarov, Fedor; Zuliani, P
CFD–DEM modelling of biofilm streamer oscillations and their cohesive failure in fluid flow 2021 Xia, Yuqing; Jayathilake Pahala, G.; Li, Bowen; Zuliani, P; Chen, Jinju