{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T19:05:30Z","timestamp":1762542330351,"version":"3.28.0"},"reference-count":44,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/fmcad.2014.6987615","type":"proceedings-article","created":{"date-parts":[[2014,12,30]],"date-time":"2014-12-30T20:00:39Z","timestamp":1419969639000},"page":"207-214","source":"Crossref","is-referenced-by-count":14,"title":["Patient-specific models from inter-patient biological models and clinical records"],"prefix":"10.1109","author":[{"given":"E.","family":"Tronci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Mancini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I.","family":"Salvo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Sinisi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Mari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I.","family":"Melatti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Massini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Davi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Dierkes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Ehrig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Roblitz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Leeners","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.H.C.","family":"Kruger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Egli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F","family":"Ille","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Control Theory and Systems Biology","year":"2009","author":"ingalls","key":"19"},{"key":"35","first-page":"251","article-title":"On a continuous degree of satisfaction of temporal logic formulae with applications to systems biology","author":"rizk","year":"2008","journal-title":"Proc of 6th CMSB"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.11.013"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1016\/j.jtbi.2012.11.020"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ICCABS.2012.6182640"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1145\/2506583.2512390"},{"key":"15","first-page":"165","article-title":"Quantitative model checking","author":"grosu","year":"2004","journal-title":"Preliminary Proc of ISoLA"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btp358"},{"key":"16","first-page":"271","article-title":"Monte carlo model checking","author":"grosu","year":"2005","journal-title":"Proc of TACAS"},{"key":"39","doi-asserted-by":"publisher","DOI":"10.1515\/CCLM.2006.160"},{"key":"13","first-page":"117","article-title":"Computational modeling and verification of signaling pathways in cancer","author":"gong","year":"2010","journal-title":"Proc of 4th ANB Volume 6479"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161052"},{"journal-title":"Mathematical Control Theory Deterministic Finite Dimensional Systems","year":"1998","author":"sontag","key":"37"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60155-2_20"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1109\/TCBB.2011.110"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1186\/1471-2105-11-S7-S10"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1089\/10665270252833208"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcrc.2010.12.031"},{"key":"43","doi-asserted-by":"publisher","DOI":"10.1109\/BIMNICS.2006.361804"},{"key":"42","doi-asserted-by":"publisher","DOI":"10.2514\/6.2012-1275611"},{"journal-title":"Advanced Digital Signal Processing and Noise Reductio","year":"2006","author":"vaseghi","key":"41"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1109\/TCBB.2011.63"},{"key":"44","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-013-0195-3"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1364644.1364651"},{"key":"23","first-page":"201","article-title":"Generalized queries and bayesian statistical model checking in dynamic bayesian networks: Application to personalized medicine","author":"langmead","year":"2009","journal-title":"Proc CSB"},{"key":"24","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1090\/qam\/10666","article-title":"A method for the solution of certain non-linear problems in least squares","volume":"2","author":"levenberg","year":"1944","journal-title":"The Quarterly of Applied Math"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-7-91"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1002\/047134608X.W1046"},{"key":"27","article-title":"Branch-And-bound applications in combinatorial data analysis","author":"stahl","year":"2005","journal-title":"Statistics and Computing"},{"key":"28","first-page":"296","article-title":"System level formal verification via model checking driven simulation","author":"mancini","year":"2013","journal-title":"Proc 25th CAV Volume 8044 of LNCS"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/PDP.2014.32"},{"key":"3","first-page":"43","article-title":"A mapreduce parallel approach to automatic synthesis of control software","author":"alimguzhin","year":"2013","journal-title":"Proc of SPIN Volume 7976 of LNCS"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/2380356.2380398"},{"key":"10","first-page":"2008","article-title":"A model checking approach to the parameter estimation of biochemical pathways","volume":"5307","author":"donaldson","year":"2008","journal-title":"Proc of 6th CMSB"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426260"},{"key":"30","first-page":"180","article-title":"Synthesis of quantized feedback control software for discrete time linear hybrid systems","author":"mari","year":"2010","journal-title":"Proc of 23rd CAV Volume 6174 of LNCS"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0027755"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/PDMC-HiBi.2010.21"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1145\/2559934"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-2-26"},{"key":"31","first-page":"243","article-title":"Undecidability of quantized state feedback control for discrete time linear hybrid systems","author":"mari","year":"2012","journal-title":"Proc of ICTAC Volume 7521 of LNCS"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39176-7_5"},{"key":"9","article-title":"Parameter identification in large kinetic networks with bioparkin","author":"dierkes","year":"2013","journal-title":"CoRR"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-002-0099-y"}],"event":{"name":"2014 Formal Methods in Computer-Aided Design (FMCAD)","start":{"date-parts":[[2014,10,21]]},"location":"Lausanne, Switzerland","end":{"date-parts":[[2014,10,24]]}},"container-title":["2014 Formal Methods in Computer-Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6975680\/6987576\/06987615.pdf?arnumber=6987615","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,18]],"date-time":"2019-08-18T23:19:19Z","timestamp":1566170359000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6987615\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":44,"URL":"https:\/\/doi.org\/10.1109\/fmcad.2014.6987615","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}