Остановите войну!
for scientists:
default search action
Paolo Zuliani
- > Home > Persons > Paolo Zuliani
Publications
- 2016
- [c28]Natasa Miskov-Zivanov, Paolo Zuliani, Qinsi Wang, Edmund M. Clarke, James R. Faeder:
High-level modeling and verification of cellular signaling. HLDVT 2016: 162-169 - 2015
- [c24]Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke:
SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems. CMSB 2015: 15-27 - [c21]Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke:
Towards personalized prostate cancer therapy using delta-reachability analysis. HSCC 2015: 227-232 - 2014
- [c20]Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke:
Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions. CMSB 2014: 99-113 - [i6]Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke:
SReach: Combining Statistical Tests and Bounded Model Checking for Nonlinear Hybrid Systems with Parametric Uncertainty. CoRR abs/1404.7206 (2014) - [i3]Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke:
Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions. CoRR abs/1407.1524 (2014) - [i2]Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke:
Towards Personalized Cancer Therapy Using Delta-Reachability Analysis. CoRR abs/1410.7346 (2014) - 2013
- [j6]Paolo Zuliani, André Platzer, Edmund M. Clarke:
Bayesian statistical model checking with application to Stateflow/Simulink verification. Formal Methods Syst. Des. 43(2): 338-367 (2013) - [c19]Natasa Miskov-Zivanov, Paolo Zuliani, Edmund M. Clarke, James R. Faeder:
Studies of biological networks with statistical model checking: application to immune system cells. BCB 2013: 728 - 2012
- [c18]Paolo Zuliani, Christel Baier, Edmund M. Clarke:
Rare-event verification for stochastic hybrid systems. HSCC 2012: 217-226 - [c17]David Henriques, João G. Martins, Paolo Zuliani, André Platzer, Edmund M. Clarke:
Statistical Model Checking for Markov Decision Processes. QEST 2012: 84-93 - 2011
- [c16]Ying-Chih Wang, Anvesh Komuravelli, Paolo Zuliani, Edmund M. Clarke:
Analog circuit verification by statistical model checking. ASP-DAC 2011: 1-6 - [c15]Edmund M. Clarke, Paolo Zuliani:
Statistical Model Checking for Cyber-Physical Systems. ATVA 2011: 1-12 - [c13]Haijun Gong, Paolo Zuliani, Qinsi Wang, Edmund M. Clarke:
Formal analysis for logical models of pancreatic cancer. CDC/ECC 2011: 4855-4860 - [c12]Edmund M. Clarke, William Klieber, Milos Novácek, Paolo Zuliani:
Model Checking and the State Explosion Problem. LASER Summer School 2011: 1-30 - 2010
- [j5]Haijun Gong, Paolo Zuliani, Anvesh Komuravelli, James R. Faeder, Edmund M. Clarke:
Analysis and verification of the HMGB1 signaling pathway. BMC Bioinform. 11(S-7): S10 (2010) - [c11]Haijun Gong, Paolo Zuliani, Anvesh Komuravelli, James R. Faeder, Edmund M. Clarke:
Computational Modeling and Verification of Signaling Pathways in Cancer. ANB 2010: 117-135 - [c10]Paolo Zuliani, André Platzer, Edmund M. Clarke:
Bayesian statistical model checking with application to Simulink/Stateflow verification. HSCC 2010: 243-252 - [c9]Håkan L. S. Younes, Edmund M. Clarke, Paolo Zuliani:
Statistical Verification of Probabilistic Properties with Unbounded Until. SBMF 2010: 144-160 - 2009
- [c8]Sumit Kumar Jha, Edmund M. Clarke, Christopher James Langmead, Axel Legay, André Platzer, Paolo Zuliani:
A Bayesian Approach to Model Checking Biological Systems. CMSB 2009: 218-234
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 02:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint