{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:48:11Z","timestamp":1729666091253,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1109\/iceccs.2010.14","type":"proceedings-article","created":{"date-parts":[[2010,11,19]],"date-time":"2010-11-19T21:27:01Z","timestamp":1290202021000},"page":"136-145","source":"Crossref","is-referenced-by-count":1,"title":["Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction"],"prefix":"10.1109","author":[{"given":"Shinya","family":"Umeno","sequence":"first","affiliation":[]},{"given":"Nancy","family":"Lynch","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","article-title":"UPPAAL in a nutshell","volume":"1","author":"larsen","year":"1997","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2001.980714"},{"key":"ref14","first-page":"496","article-title":"SAL 2","volume":"3114","author":"de moura","year":"2004","journal-title":"Proc of CAV 2004 ser Lecture Notes in Computer Science"},{"key":"ref15","article-title":"Timed systems in SAL","author":"dutertre","year":"2004","journal-title":"SRI International Tech Rep SRI-SDL-04-03"},{"key":"ref16","first-page":"199","article-title":"Modeling and verification of a fault-tolerant real-time startup protocol using calendar automata","volume":"3253","year":"2004","journal-title":"Proc of FORMATS\/FTRTFT 2004 ser Lecture Notes in Computer Science"},{"key":"ref17","first-page":"58","article-title":"Easy parameterized verification of biphase mark and 8NI protocols","volume":"3920","author":"brown","year":"2006","journal-title":"Proc of TACAS 2006 ser Lecture Notes in Computer Science"},{"article-title":"The Theory of Timed I\/O Automata, ser. Synthesis Lectures on Computer Science","year":"2006","author":"kaynar","key":"ref4"},{"key":"ref3","article-title":"Timeout order abstraction for formal verification of loosely synchronized real-time distributed systems","author":"umeno","year":"0","journal-title":"Massachusetts Institute of Technology Tech Rep to appear soon A stable draft version is available from [1]"},{"key":"ref6","first-page":"1","article-title":"A virtual node-based tracking algorithm for mobile networks","year":"2007","journal-title":"International Conference on Distributed Computing Systems (ICDCS 2007)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-76627-8_30"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/11516798_29"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/11795490_12"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73196-2_14"},{"key":"ref1","article-title":"Supplemental files for our iceccs-2010 paper","author":"umeno","year":"0","journal-title":"files can be obtained"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_43"}],"event":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)","start":{"date-parts":[[2010,3,22]]},"location":"Oxford, United Kingdom","end":{"date-parts":[[2010,3,26]]}},"container-title":["2010 15th IEEE International Conference on Engineering of Complex Computer Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5626943\/5628545\/05628618.pdf?arnumber=5628618","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T16:20:25Z","timestamp":1497889225000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5628618\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/iceccs.2010.14","relation":{},"subject":[],"published":{"date-parts":[[2010,3]]}}}