{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:51:46Z","timestamp":1747806706840,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icse.2004.1317439","type":"proceedings-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T09:50:22Z","timestamp":1096365022000},"page":"168-177","source":"Crossref","is-referenced-by-count":23,"title":["Visual timed event scenarios"],"prefix":"10.1109","author":[{"given":"A.","family":"Alfonso","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Braberman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Kicillof","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Olivero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00253-1"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/940103.940106"},{"key":"18","first-page":"193","article-title":"Playing with time: On the specification and execution of time-enriched Iscs","author":"harel","year":"2002","journal-title":"Proc of the 10th IEEE\/ACM Intl Symp MASCOTS '02"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"16","first-page":"645","article-title":"Timed sequence diagrams and tool-based analysis a case study","volume":"1723","author":"firley","year":"1999","journal-title":"Proc of the 2nd Intl Conf UML '99 Volume 1723 of LNCS"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/170035.171537"},{"key":"14","first-page":"323","article-title":"The temporal rover and the ATG rover","volume":"1885","author":"drusinsky","year":"2000","journal-title":"Proc of the 7th Intl Workshop SPIN Volume 1885 of LNCS"},{"key":"11","first-page":"494","article-title":"Verification of real-time designs: Combining scheduling theory with automatic formal verification","author":"braberman","year":"1999","journal-title":"Proc of the 7th ACM\/SIGSOFT Intl Conf ESEC\/FSE '99"},{"key":"12","first-page":"21","article-title":"Improving the verification of timed systems using influence information","volume":"2280","author":"braberman","year":"2002","journal-title":"Proc of the 8th Intl Conf TACAS '02 Volume 2280 of LNCS"},{"key":"21","first-page":"348","article-title":"Using on-the-fly verification techniques for the generation of test suites","volume":"1102","author":"fernandez","year":"1996","journal-title":"Proc of 8th Intl Conf CAV '96 Volume 1102 of LNCS"},{"key":"20","first-page":"342","article-title":"Synthesizing monitors for safety properties","volume":"2280","author":"havelund","year":"2002","journal-title":"Proc of the 8th Intl Conf TACAS '02 Volume 2280 of LNCS"},{"key":"22","article-title":"Runtime assurance based on formal specifications","author":"lee","year":"1999","journal-title":"Proc of the IEEE Intl Conf PDPTA '99"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1088\/0967-1846\/4\/2\/004"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/380749.380771"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45212-6_21"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.2001.948539"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/42186.42323"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587069"},{"key":"29","first-page":"586","article-title":"Sel, a new event pattern specification language for event correlation","author":"zhu","year":"2001","journal-title":"Proc of the IEEE Intl Conf ICCCN '01"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1024"},{"key":"10","first-page":"546","article-title":"Kronos: A model-checking tool for real-time systems","volume":"1427","author":"bozga","year":"1998","journal-title":"Proc of the 10th Intl Conf CAV '98 Volume 1427 of LNCS"},{"journal-title":"Un Lenguaje Visual para la Especificacio?n y Verificacio?n Automa?tica de Requerimientos de Tiempo real Complejos","year":"2003","author":"alfonso","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/200912.200913"},{"key":"6","first-page":"228","article-title":"Analyzing partially-implemented red-time systems","author":"avrunin","year":"1997","journal-title":"Proc of the 18th ACM\/IEEE Conf ICSE '97"},{"key":"5","first-page":"460","article-title":"TIMES - A tool for modelling and implementation of embedded systems","volume":"2280","author":"amnell","year":"2002","journal-title":"Proc of the 8th Conf TACAS '02 Volume 2280 of LNCS"},{"key":"4","first-page":"67","article-title":"Efficient decompositional model checking for regular timing diagrams","volume":"1703","author":"amla","year":"1999","journal-title":"Porc of Intl Conf on Correct Hardware Design and Verification Methods Volume 1703 of LNCS"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2001.980712"},{"key":"8","first-page":"232","article-title":"UPPAAL - A tool suite for automatic verification of real-time systems","author":"bengtsson","year":"1995","journal-title":"Proc of the Intl Conf on Hybrid Systems"}],"event":{"name":"Proceedings. 26th International Conference on Software Engineering","acronym":"ICSE-04","location":"Edinburgh, UK"},"container-title":["Proceedings. 26th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9201\/29176\/01317439.pdf?arnumber=1317439","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T21:43:43Z","timestamp":1489441423000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1317439\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/icse.2004.1317439","relation":{},"subject":[]}}