{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T04:01:42Z","timestamp":1746504102918,"version":"3.40.4"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319129815"},{"type":"electronic","value":"9783319129822"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-12982-2_11","type":"book-chapter","created":{"date-parts":[[2014,10,20]],"date-time":"2014-10-20T06:26:34Z","timestamp":1413786394000},"page":"143-154","source":"Crossref","is-referenced-by-count":6,"title":["Dynamic Modeling and Simulation of Leukocyte Integrin Activation through an Electronic Design Automation Framework"],"prefix":"10.1007","author":[{"given":"Nicola","family":"Bombieri","sequence":"first","affiliation":[]},{"given":"Rosario","family":"Distefano","sequence":"additional","affiliation":[]},{"given":"Giovanni","family":"Scardoni","sequence":"additional","affiliation":[]},{"given":"Franco","family":"Fummi","sequence":"additional","affiliation":[]},{"given":"Carlo","family":"Laudanna","sequence":"additional","affiliation":[]},{"given":"Rosalba","family":"Giugno","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Cadence Palladium - System Design and Verification, http:\/\/www.cadence.com\/products\/sd\/Pages\/default.aspx","key":"11_CR1"},{"unstructured":"Mentor Graphics SystemVisio, http:\/\/www.mentor.com\/products\/sm\/","key":"11_CR2"},{"unstructured":"Synopsys System Studio, http:\/\/www.synopsys.com\/Systems\/Pages\/default.aspx","key":"11_CR3"},{"unstructured":"SystemC - Accellera Systems Initiative, http:\/\/www.systemc.org","key":"11_CR4"},{"unstructured":"IEEE 1666 Standard: SystemC Language Reference Manual (2011), http:\/\/ieeexplore.ieee.org","key":"11_CR5"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1038\/ni.1691","volume":"10","author":"M. Bolomini-Vittori","year":"2009","unstructured":"Bolomini-Vittori, M., Montresor, A., Giagulli, C., Staunton, D., Rossi, B., Martinello, M., Constantin, G., Laudanna, C.: Regulation of conformer-specific activation of the integrin lfa-1 by a chemokine-triggered rho signaling module. Nat. Immunol.\u00a010, 185\u2013194 (2009)","journal-title":"Nat. Immunol."},{"key":"11_CR7","doi-asserted-by":"publisher","DOI":"10.1002\/0470868279","volume-title":"Numerical Methods for Ordinary Differential Equations","author":"J.C. Butcher","year":"2003","unstructured":"Butcher, J.C.: Numerical Methods for Ordinary Differential Equations. Wiley, Chichester (2003)"},{"doi-asserted-by":"crossref","unstructured":"Cai, L., Gajski, D.: Transaction level modeling: An overview. In: ACM\/IEEE CODES+ISSS, pp. 19\u201324 (2003)","key":"11_CR8","DOI":"10.1145\/944650.944651"},{"doi-asserted-by":"crossref","unstructured":"Cai, L., Gajski, D.: Transaction level modeling: An overview. In: Proceedings of the 1st IEEE\/ACM\/IFIP International Conference on Hardware\/Software Codesign and System Synthesis, pp. 19\u201324. CODES+ISSS (2003)","key":"11_CR9","DOI":"10.1145\/944650.944651"},{"issue":"4","key":"11_CR10","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1093\/bib\/bbm029","volume":"8","author":"C. Chaouiya","year":"2007","unstructured":"Chaouiya, C.: Petri net modelling of biological networks. Briefings in Bioinformatics\u00a08(4), 210\u2013219 (2007)","journal-title":"Briefings in Bioinformatics"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"759","DOI":"10.1016\/S1074-7613(00)00074-1","volume":"13","author":"G. Constantin","year":"2000","unstructured":"Constantin, G., Majeed, M., Giagulli, C., Piccio, L., Kim, J., Butcher, E., Laudanna, C.: Chemokines trigger immediate beta2 integrin affinity and mobility changes: differential regulation and roles in lymphocyte arrest under flow. Immunity\u00a013, 759\u2013769 (2000)","journal-title":"Immunity"},{"doi-asserted-by":"crossref","unstructured":"Ezudheen, P., Chandran, P., Chandra, J., Simon, B.P., Ravi, D.: Parallelizing SystemC kernel for fast hardware simulation on SMP machines. In: Proc. of ACM\/IEEE PADS, pp. 80\u201387 (2009)","key":"11_CR12","DOI":"10.1109\/PADS.2009.25"},{"issue":"10","key":"11_CR13","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/2001269.2001289","volume":"54","author":"J. Fisher","year":"2011","unstructured":"Fisher, J., Harel, D., Henzinger, T.A.: Biology as reactivity. Commun. ACM\u00a054(10), 72\u201382 (2011)","journal-title":"Commun. ACM"},{"key":"11_CR14","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1038\/nbt1356","volume":"25","author":"J. Fisher","year":"2007","unstructured":"Fisher, J., Henzinger, T.A.: Executable cell biology. Nature Biotechnology\u00a025, 1239\u20131249 (2007)","journal-title":"Nature Biotechnology"},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"604","DOI":"10.4049\/jimmunol.177.1.604","volume":"177","author":"C. Giagulli","year":"2006","unstructured":"Giagulli, C., Ottoboni, L., Caveggion, E., Rossi, B., Lowell, C., Constantin, G., Laudanna, C., Berton, G.: The src family kinases hck and fgr are dispensable for inside-out, chemoattractant-induced signaling regulating beta 2 integrin affinity and valency in neutrophils, but are required for beta 2 integrin-mediated outside-in signaling involved in sustained adhesion. J. Immunol.\u00a0177, 604\u2013611 (2006)","journal-title":"J. Immunol."},{"issue":"4","key":"11_CR16","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1093\/bib\/bbl043","volume":"7","author":"D. Gilbert","year":"2006","unstructured":"Gilbert, D., Fuss, H., Gu, X., Orton, R., Robinson, S., Vyshemirsky, V., Kurth, M.J., Downes, C.S., Dubitzky, W.: Computational methodologies for modelling, analysis and simulation of signalling networks. Briefings in Bioinformatics\u00a07(4), 339\u2013353 (2006)","journal-title":"Briefings in Bioinformatics"},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"1241","DOI":"10.1083\/jcb.200404160","volume":"167","author":"M. Kim","year":"2004","unstructured":"Kim, M., Carman, C., Yang, W., Salas, A., Springer, T.: The primacy of affinity over clustering in regulation of adhesiveness of the integrin \u03b1l\u03b22. J. Cell. Biol.\u00a0167, 1241\u20131253 (2004)","journal-title":"J. Cell. Biol."},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"678","DOI":"10.1038\/nri2156","volume":"7","author":"K. Ley","year":"2007","unstructured":"Ley, K., Laudanna, C., Cybulsky, M., Nourshargh, S.: Getting to the site of inflammation: the leukocyte adhesion cascade updated. Nat. Rev. Immunol.\u00a07, 678\u2013689 (2007)","journal-title":"Nat. Rev. Immunol."},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.pbiomolbio.2012.08.015","volume":"111","author":"T. Melham","year":"2013","unstructured":"Melham, T.: Modelling, abstraction, and computation in systems biology: A view from computer science. Progress in Biophysics and Molecular Biology\u00a0111, 129\u2013136 (2013)","journal-title":"Progress in Biophysics and Molecular Biology"},{"issue":"6","key":"11_CR20","doi-asserted-by":"publisher","first-page":"1003","DOI":"10.1083\/jcb.201303067","volume":"203","author":"A. Montresor","year":"2013","unstructured":"Montresor, A., Bolomini-Vittori, M., Toffali, L., Rossi, B., Constantin, G., Laudanna, C.: Jak tyrosine kinases promote hierarchical activation of rho and rap modules of integrin activation. J. Cell. Biol.\u00a0203(6), 1003\u20131019 (2013)","journal-title":"J. Cell. Biol."},{"key":"11_CR21","doi-asserted-by":"publisher","first-page":"127","DOI":"10.3389\/fimmu.2012.00127","volume":"3","author":"A. Montresor","year":"2012","unstructured":"Montresor, A., Toffali, L., Constantin, G., Laudanna, C.: Chemokines and the signaling modules regulating integrin affinity. Front Immunol.\u00a03, 127 (2012)","journal-title":"Front Immunol."},{"doi-asserted-by":"crossref","unstructured":"Nanjundappa, M., Patel, H.D., Jose, B.A., Shukla, S.K.: Scgpsim: a fast systemc simulator on gpus. In: Proceedings of the 2010 Asia and South Pacific Design Automation Conference, ASPDAC 2010, pp. 149\u2013154 (2010)","key":"11_CR22","DOI":"10.1109\/ASPDAC.2010.5419903"},{"issue":"7","key":"11_CR23","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C. Priami","year":"1995","unstructured":"Priami, C.: Stochastic pi-calculus. The Computer Journal\u00a038(7), 578\u2013589 (1995)","journal-title":"The Computer Journal"},{"issue":"2","key":"11_CR24","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1109\/TCBB.2007.1076","volume":"5","author":"A. Sadot","year":"2008","unstructured":"Sadot, A., Fisher, J., Barak, D., Admanit, Y., Stern, M.J., Hubbard, E.J., Harel, D.: Toward verified biological models. IEEE\/ACM Transactions on Computational Biology and Bioinformatics\u00a05(2), 223\u2013234 (2008)","journal-title":"IEEE\/ACM Transactions on Computational Biology and Bioinformatics"},{"issue":"1","key":"11_CR25","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1109\/TCBB.2013.128","volume":"11","author":"S. Srihari","year":"2013","unstructured":"Srihari, S., Raman, V., Leong, H.W., Ragan, M.A.: Evolution and controllability of cancer networks: A boolean perspective. IEEE\/ACM Transactions on Computational Biology and Bioinformatics\u00a011(1), 83\u201394 (2013)","journal-title":"IEEE\/ACM Transactions on Computational Biology and Bioinformatics"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-12982-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T06:39:30Z","timestamp":1746427170000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-12982-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319129815","9783319129822"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-12982-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}