{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T08:44:34Z","timestamp":1726044274518},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030313036"},{"type":"electronic","value":"9783030313043"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-31304-3_26","type":"book-chapter","created":{"date-parts":[[2019,9,16]],"date-time":"2019-09-16T20:02:46Z","timestamp":1568664166000},"page":"356-359","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Barbaric Robustness Monitoring Revisited for STL* in Parasim"],"prefix":"10.1007","author":[{"given":"David","family":"\u0160afr\u00e1nek","sequence":"first","affiliation":[]},{"given":"Matej","family":"Troj\u00e1k","sequence":"additional","affiliation":[]},{"given":"Vojt\u011bch","family":"Br\u016f\u017ea","sequence":"additional","affiliation":[]},{"given":"Tom\u00e1\u0161","family":"Vejpustek","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Papou\u0161ek","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Demko","sequence":"additional","affiliation":[]},{"given":"Samuel","family":"Pastva","sequence":"additional","affiliation":[]},{"given":"Ale\u0161","family":"Pejznoch","sequence":"additional","affiliation":[]},{"given":"Lubo\u0161","family":"Brim","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,9,17]]},"reference":[{"issue":"387","key":"26_CR1","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1038\/43199","volume":"6636","author":"N Barkai","year":"1997","unstructured":"Barkai, N., Leibler, S.: Robustness in simple biochemical networks. Nature 6636(387), 913\u2013917 (1997)","journal-title":"Nature"},{"issue":"4","key":"26_CR2","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1049\/iet-syb.2010.0072","volume":"5","author":"DG Bates","year":"2011","unstructured":"Bates, D.G., Cosentino, C.: Validation and invalidation of systems biology models using robustness analysis. IET Syst. Biol. 5(4), 229\u2013244 (2011)","journal-title":"IET Syst. Biol."},{"key":"26_CR3","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.ic.2014.01.012","volume":"236","author":"L Brim","year":"2014","unstructured":"Brim, L., Dluho\u0161, P., \u0160afr\u00e1nek, D., Vejpustek, T.: STL*: extending signal temporal logic with signal-value freezing operator. Inf. Comput. 236, 52\u201367 (2014)","journal-title":"Inf. Comput."},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"Brim, L., Vejpustek, T., \u0160afr\u00e1nek, D., Fabrikov\u00e1, J.: Robustness analysis for value-freezing signal temporal logic. \n                      arXiv:1309.0867\n                      \n                     (2013)","DOI":"10.4204\/EPTCS.125.2"},{"key":"26_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-14295-6_17","volume-title":"Computer Aided Verification","author":"A Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A.: Breach, a toolbox for verification and parameter synthesis of hybrid systems. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 167\u2013170. Springer, Heidelberg (2010). \n                      https:\/\/doi.org\/10.1007\/978-3-642-14295-6_17"},{"key":"26_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-15297-9_9","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A., Maler, O.: Robust satisfaction of temporal logic over real-valued signals. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol. 6246, pp. 92\u2013106. Springer, Heidelberg (2010). \n                      https:\/\/doi.org\/10.1007\/978-3-642-15297-9_9"},{"key":"26_CR7","unstructured":"Eaton, J.W., Bateman, D., Hauberg, S., Wehbring, R.: GNU Octave Version 3.8.1 Manual: A High-level Interactive Language for Numerical Computations. CreateSpace Independent Publishing Platform, Scotts Valley (2014)"},{"issue":"42","key":"26_CR8","doi-asserted-by":"publisher","first-page":"4262","DOI":"10.1016\/j.tcs.2009.06.021","volume":"410","author":"G Fainekos","year":"2009","unstructured":"Fainekos, G., Pappas, G.J.: Robustness of temporal logic specifications for continuous-time signals. Theoret. Comput. Sci. 410(42), 4262\u20134291 (2009)","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"26_CR9","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1186\/1752-0509-7-55","volume":"7","author":"R Keller","year":"2013","unstructured":"Keller, R., et al.: The systems biology simulation core algorithm. BMC Syst. Biol. 7(1), 55 (2013)","journal-title":"BMC Syst. Biol."},{"key":"26_CR10","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1093\/bioinformatics\/btp200","volume":"25","author":"A Rizk","year":"2009","unstructured":"Rizk, A., Batt, G., Fages, F., Soliman, S.: A general computational method for robustness analysis with applications to synthetic gene networks. Bioinformatics 25, 169\u2013178 (2009)","journal-title":"Bioinformatics"},{"issue":"11","key":"26_CR11","doi-asserted-by":"publisher","first-page":"e1002218","DOI":"10.1371\/journal.pcbi.1002218","volume":"7","author":"R Steuer","year":"2011","unstructured":"Steuer, R., Waldherr, S., Sourjik, V., Kollmann, M.: Robust signal processing in living cells. PLoS Comput. Biol. 7(11), e1002218 (2011)","journal-title":"PLoS Comput. Biol."},{"issue":"32","key":"26_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3182\/20131218-3-IN-2045.00190","volume":"46","author":"S Streif","year":"2013","unstructured":"Streif, S., et al.: Robustness analysis, prediction and estimation for uncertain biochemical networks. IFAC Proc. Volumes 46(32), 1\u201320 (2013)","journal-title":"IFAC Proc. Volumes"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-31304-3_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,16]],"date-time":"2019-09-16T20:04:42Z","timestamp":1568664282000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-31304-3_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030313036","9783030313043"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-31304-3_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"17 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CMSB","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Methods in Systems Biology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Trieste","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cmsb2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cmsb2019.units.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"53","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"14","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"11","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2.5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7 tool papers were accepted; average number of reviewers\/paper for the short papers: 1.5","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}