{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T18:40:49Z","timestamp":1730313649653,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,11,10]]},"DOI":"10.1145\/1181195.1181203","type":"proceedings-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T01:15:56Z","timestamp":1168996556000},"page":"33-40","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Experiments in the use of \u03c4-simulations for the components-verification of real-time systems"],"prefix":"10.1145","author":[{"given":"Fran\u00e7oise","family":"Bellegarde","sequence":"first","affiliation":[{"name":"LIFC - Laboratoire d'Informatique de l'Universit\u00e9 de Franche-Comt\u00e9, Besan\u00e7on Cedex, France"}]},{"given":"Jacques","family":"Julliand","sequence":"additional","affiliation":[{"name":"LIFC - Laboratoire d'Informatique de l'Universit\u00e9 de Franche-Comt\u00e9, Besan\u00e7on Cedex, France"}]},{"given":"Hassan","family":"Mountassir","sequence":"additional","affiliation":[{"name":"LIFC - Laboratoire d'Informatique de l'Universit\u00e9 de Franche-Comt\u00e9, Besan\u00e7on Cedex, France"}]},{"given":"Emilie","family":"Oudot","sequence":"additional","affiliation":[{"name":"LIFC - Laboratoire d'Informatique de l'Universit\u00e9 de Franche-Comt\u00e9, Besan\u00e7on Cedex, France"}]}],"member":"320","published-online":{"date-parts":[[2006,11,10]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"169","volume-title":"1st Conference on the B method","author":"Abrial J.-R.","year":"1996","unstructured":"J.-R. Abrial . Extending B without changing it (for developing distributed systems) . In 1st Conference on the B method , pages 169 -- 190 , Nantes, France , November 1996 .]] J.-R. Abrial. Extending B without changing it (for developing distributed systems). In 1st Conference on the B method, pages 169--190, Nantes, France, November 1996.]]"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1024"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/227595.227602"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 2nd International Workshop on Formal Aspects of Component Software (FACS'05)","volume":"160","author":"Bellegarde F.","year":"2005","unstructured":"F. Bellegarde , J. Julliand , H. Mountassir , and E. Oudot . On the contribution of a \u03c4-simulation in the incremental modeling of timed systems . In Proceedings of the 2nd International Workshop on Formal Aspects of Component Software (FACS'05) , volume 160 of Electronic Notes in Theoretical Computer Science, pages 97--111, Macao, Macao , October 2005 . Elsevier.]] F. Bellegarde, J. Julliand, H. Mountassir, and E. Oudot. On the contribution of a \u03c4-simulation in the incremental modeling of timed systems. In Proceedings of the 2nd International Workshop on Formal Aspects of Component Software (FACS'05), volume 160 of Electronic Notes in Theoretical Computer Science, pages 97--111, Macao, Macao, October 2005. Elsevier.]]"},{"key":"e_1_3_2_1_6_1","series-title":"Lecture Notes in Computer Science","volume-title":"COMPOS'97","author":"Bornot S.","year":"1997","unstructured":"S. Bornot , J. Sifakis , and S. Tripakis . Modeling Urgency in Timed Systems . In COMPOS'97 , volume 1536 of Lecture Notes in Computer Science . Springer-Verlag , 1997 .]] S. Bornot, J. Sifakis, and S. Tripakis. Modeling Urgency in Timed Systems. In COMPOS'97, volume 1536 of Lecture Notes in Computer Science. Springer-Verlag, 1997.]]"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1021758401878"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of Workshop on Logic of Programs","volume":"131","author":"Clarke E.","year":"1981","unstructured":"E. Clarke and E. Emerson . Design and synthesis of synchronization skeletons using branching-time temporal logic . In Proceedings of Workshop on Logic of Programs , volume 131 of Lecture Notes in Computer Science. Springer-Verlag , 1981 .]] E. Clarke and E. Emerson. Design and synthesis of synchronization skeletons using branching-time temporal logic. In Proceedings of Workshop on Logic of Programs, volume 131 of Lecture Notes in Computer Science. Springer-Verlag, 1981.]]"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44880-2_24"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/800070.802190"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of 1st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98)","author":"Garavel H.","year":"1998","unstructured":"H. Garavel . OPEN\/CAESAR : An Open Software Architecture for Verification, Simulation and Testing. In B. Steffen, editor , Proceedings of 1st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98) , Lisboa, Portugal , March 1998 .]] H. Garavel. OPEN\/CAESAR: An Open Software Architecture for Verification, Simulation and Testing. In B. Steffen, editor, Proceedings of 1st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98), Lisboa, Portugal, March 1998.]]"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of 4th international Conference on Concurrency Theory (CONCUR'93)","volume":"715","author":"Glabbeck R. v.","year":"1993","unstructured":"R. v. Glabbeck . The Linear Time - Branching Time Spectrum II; The semantics of sequential systems with silent moves . In Proceedings of 4th international Conference on Concurrency Theory (CONCUR'93) , volume 715 of Lecture Notes in Computer Science, pages 66--81, Hildesheim, Germany, august 1993 . Springer-Verlag.]] R. v. Glabbeck. The Linear Time - Branching Time Spectrum II; The semantics of sequential systems with silent moves. In Proceedings of 4th international Conference on Concurrency Theory (CONCUR'93), volume 715 of Lecture Notes in Computer Science, pages 66--81, Hildesheim, Germany, august 1993. Springer-Verlag.]]"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/795662.796255"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/646846.706958"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.159837"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/646731.703837"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-005-1632-8"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050009"}],"event":{"name":"SIGSOFT06\/FSE-14: SIGSOFT 2006 -14th International Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Portland Oregon","acronym":"SIGSOFT06\/FSE-14"},"container-title":["Proceedings of the 2006 conference on Specification and verification of component-based systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1181195.1181203","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T05:00:34Z","timestamp":1673326834000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1181195.1181203"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,11,10]]},"references-count":19,"alternative-id":["10.1145\/1181195.1181203","10.1145\/1181195"],"URL":"https:\/\/doi.org\/10.1145\/1181195.1181203","relation":{},"subject":[],"published":{"date-parts":[[2006,11,10]]},"assertion":[{"value":"2006-11-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}