{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T18:03:40Z","timestamp":1730225020236,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/hldvt.2016.7748271","type":"proceedings-article","created":{"date-parts":[[2016,11,21]],"date-time":"2016-11-21T21:23:51Z","timestamp":1479763431000},"page":"162-169","source":"Crossref","is-referenced-by-count":4,"title":["High-level modeling and verification of cellular signaling"],"prefix":"10.1109","author":[{"given":"Natasa","family":"Miskov-Zivanov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Zuliani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qinsi","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edmund M.","family":"Clarke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James R.","family":"Faeder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","first-page":"218","volume":"5688","author":"jha","year":"0","journal-title":"approach to Model Checking biological systems in CMSB ser LNCS"},{"key":"ref3","first-page":"13","volume":"58","author":"hoeffding","year":"1963","journal-title":"Probability Inequalities for Sums of Bounded Random Variables Journal of the American Statistical Association"},{"key":"ref10","first-page":"117","volume":"16","author":"wald","year":"1945","journal-title":"Sequential tests of statistical hypotheses Annals of Mathematical Statistics"},{"key":"ref6","first-page":"46","author":"pnueli","year":"1977","journal-title":"The temporal logic of programs in FOCS IEEE"},{"key":"ref11","first-page":"223","volume":"2404","author":"younes","year":"2002","journal-title":"Probabilistic verification of discrete event systems using acceptance sampling in CAV ser LNCS"},{"journal-title":"Model Predicts Duration of T Cell Stimulation is a Critical Determinant of Cell Fate and Plasticity under submission","year":"2013","author":"miskov-zivanov","key":"ref5"},{"key":"ref12","first-page":"243","author":"zuliani","year":"2010","journal-title":"Bayesian statistical model checking with application to Stateflow\/Simulink verification in HSCC"},{"key":"ref8","first-page":"4895","volume":"183","author":"turner","year":"2009","journal-title":"Dominant Role of Antigen Dose in CD4+ Foxp3+ Regulatory T Cell Induction and Expansion The Journal of Immunology"},{"key":"ref7","first-page":"7797","author":"sauer","year":"2008","journal-title":"T cell receptor signaling controls Foxp3 expression via PI3K Akt and mTO R Proc Natl Acad Sci USA 105"},{"key":"ref2","volume":"11","author":"gong","year":"2010","journal-title":"Analysis and verification of the HMGB1 signaling pathway BMC Bioinformatics"},{"key":"ref9","first-page":"327","author":"vardi","year":"1985","journal-title":"Automatic Verification of Probabilistic Concurrent Finite-State Programs in FOCS"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1186\/1751-0473-3-16"}],"event":{"name":"2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)","start":{"date-parts":[[2016,10,7]]},"location":"Santa Cruz, CA, USA","end":{"date-parts":[[2016,10,8]]}},"container-title":["2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7746774\/7748241\/07748271.pdf?arnumber=7748271","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,7]],"date-time":"2016-12-07T12:25:53Z","timestamp":1481113553000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7748271\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2016.7748271","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}