{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:28:24Z","timestamp":1750220904477,"version":"3.41.0"},"publisher-location":"New York, New York, USA","reference-count":25,"publisher":"ACM Press","license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1145\/3368926.3369659","type":"proceedings-article","created":{"date-parts":[[2019,12,20]],"date-time":"2019-12-20T13:30:11Z","timestamp":1576848611000},"page":"457-464","source":"Crossref","is-referenced-by-count":2,"title":["On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems"],"prefix":"10.1145","author":[{"given":"Hoang-Viet","family":"Tran","sequence":"first","affiliation":[{"name":"VNU University of Engineering and Technology, Hanoi, Vietnam"}]},{"given":"Quang-Trung","family":"Nguyen","sequence":"additional","affiliation":[{"name":"Vietnam University of Commerce, Hanoi, Vietnam"}]},{"given":"Pham Ngoc","family":"Hung","sequence":"additional","affiliation":[{"name":"VNU University of Engineering and Technology, Hanoi, Vietnam"}]}],"member":"320","reference":[{"key":"key-10.1145\/3368926.3369659-1","doi-asserted-by":"crossref","unstructured":"É. André and S.-W. Lin. Learning-based compositional parameter synthesis for event-recording automata. In A. Bouajjani and A. Silva, editors, Formal Techniques for Distributed Objects, Components, and Systems, pages 17--32, Cham, 2017. Springer International Publishing.","DOI":"10.1007\/978-3-319-60225-7_2"},{"key":"key-10.1145\/3368926.3369659-2","doi-asserted-by":"crossref","unstructured":"Y.-F. Chen, E. M. Clarke, A. Farzan, M.-H. Tsai, Y.-K. Tsay, and B.-Y. Wang. Automated assume-guarantee reasoning through implicit learning. In T. Touili, B. Cook, and P. Jackson, editors, Computer Aided Verification, volume 6174 of Lecture Notes in Computer Science, pages 511--526. Springer Berlin Heidelberg, 2010.","DOI":"10.1007\/978-3-642-14295-6_44"},{"key":"key-10.1145\/3368926.3369659-3","unstructured":"E. M. Clarke, D. Long, and K. McMillan. Compositional model checking. In Proceedings of the Fourth Annual Symposium on Logic in Computer Science, pages 353--362, Piscataway, NJ, USA, 1989. IEEE Press."},{"key":"key-10.1145\/3368926.3369659-4","doi-asserted-by":"crossref","unstructured":"E. M. Clarke and E. A. Emerson. Design and synthesis of synchronization skeletons using branching-time temporal logic. In Logic of Programs, Workshop, pages 52--71, London, UK, UK, 1982. Springer-Verlag.","DOI":"10.1007\/BFb0025774"},{"key":"key-10.1145\/3368926.3369659-5","unstructured":"E. M. Clarke, Jr., O. Grumberg, and D. A. Peled. Model Checking. MIT Press, Cambridge, MA, USA, 1999."},{"key":"key-10.1145\/3368926.3369659-6","doi-asserted-by":"crossref","unstructured":"J. M. Cobleigh, D. Giannakopoulou, and C. S. Părsărreanu. Learning assumptions for compositional verification. In Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'03, pages 331--346, Berlin, Heidelberg, 2003. Springer-Verlag.","DOI":"10.1007\/3-540-36577-X_24"},{"key":"key-10.1145\/3368926.3369659-7","doi-asserted-by":"crossref","unstructured":"M. H. de Queiroz, J. E. R. Cury, and W. M. Wonham. Multi-tasking supervisory control of discrete-event systems. Discrete Event Dynamic Systems, 15(4):375--395, Dec 2005.","DOI":"10.1007\/s10626-005-4058-y"},{"key":"key-10.1145\/3368926.3369659-8","doi-asserted-by":"crossref","unstructured":"J. S. Dong, J. Sun, Y. Liu, and Y.-F. Li. Event analytics. In G. Ciobanu and D. Méry, editors, Theoretical Aspects of Computing -- ICTAC 2014, pages 17--24, Cham, 2014. Springer International Publishing.","DOI":"10.1007\/978-3-319-10882-7_2"},{"key":"key-10.1145\/3368926.3369659-9","doi-asserted-by":"crossref","unstructured":"J. S. Dong, J. Sun, Y. Liu, Y.-F. Li, J. Sun, and L. Shi. Event and strategy analytics. In 2015 International Symposium on Theoretical Aspects of Software Engineering, pages 4--6, Sep. 2015.","DOI":"10.1109\/TASE.2015.28"},{"key":"key-10.1145\/3368926.3369659-10","doi-asserted-by":"crossref","unstructured":"D. Giannakopoulou, K. S. Namjoshi, and C.S. Părsărreanu. Compositional Reasoning, pages 345--383. Springer International Publishing, Cham, 2018.","DOI":"10.1007\/978-3-319-10575-8_12"},{"key":"key-10.1145\/3368926.3369659-11","doi-asserted-by":"crossref","unstructured":"D. Giannakopoulou, C. S. Părsărreanu, and H. Barringer. Assumption generation for software component verification. In Proceedings of the 17th IEEE International Conference on Automated Software Engineering, ASE '02, pages 3--12, Washington, DC, USA, 2002. IEEE Computer Society.","DOI":"10.1109\/ASE.2002.1114984"},{"key":"key-10.1145\/3368926.3369659-12","doi-asserted-by":"crossref","unstructured":"O. Grumberg and D. E. Long. Model checking and modular verification. ACM Trans. Program. Lang. Syst., 16(3):843--871, May 1994.","DOI":"10.1145\/177492.177725"},{"key":"key-10.1145\/3368926.3369659-13","doi-asserted-by":"crossref","unstructured":"D. Heimbold and D. Luckham. Debugging ada tasking programs. IEEE Software, 2(2):47--57, March 1985.","DOI":"10.1109\/MS.1985.230351"},{"key":"key-10.1145\/3368926.3369659-14","doi-asserted-by":"crossref","unstructured":"L. Lamport. Verification and specification of concurrent programs. In J. W. de Bakker, W. P. de Roever, and G. Rozenberg, editors, A Decade of Concurrency Reflections and Perspectives, pages 347--374, Berlin, Heidelberg, 1994. Springer Berlin Heidelberg.","DOI":"10.1007\/3-540-58043-3_23"},{"key":"key-10.1145\/3368926.3369659-15","doi-asserted-by":"crossref","unstructured":"C.-L. Le, H.-V. Tran, and P. N. Hung. On Implementation of the Assumption Generation Method for Component-Based Software Verification, pages 549--558. Springer International Publishing, Cham, 2017.","DOI":"10.1007\/978-3-319-56660-3_47"},{"key":"key-10.1145\/3368926.3369659-16","doi-asserted-by":"crossref","unstructured":"Y. Li, Y.-F. Chen, L. Zhang, and D. Liu. A novel learning algorithm for büchi automata based on family of dfas and classification trees. In A. Legay and T. Margaria, editors, Tools and Algorithms for the Construction and Analysis of Systems, pages 208--226, Berlin, Heidelberg, 2017. Springer Berlin Heidelberg.","DOI":"10.1007\/978-3-662-54577-5_12"},{"key":"key-10.1145\/3368926.3369659-17","doi-asserted-by":"crossref","unstructured":"Y. Li, A. Turrini, Y.-F. Chen, and L. Zhang. Learning Büchi Automata and Its Applications, pages 38--98. Springer International Publishing, Cham, 2019.","DOI":"10.1007\/978-3-030-17601-3_2"},{"key":"key-10.1145\/3368926.3369659-18","doi-asserted-by":"crossref","unstructured":"S.-W. Lin, J. Sun, T. K. Nguyen, Y. Liu, and J. S. Dong. Interpolation guided compositional verification (t). In 2015 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pages 65--74, Nov 2015.","DOI":"10.1109\/ASE.2015.33"},{"key":"key-10.1145\/3368926.3369659-19","doi-asserted-by":"crossref","unstructured":"S.-W. Lin, É. André, Y. Liu, J. Sun, and J. S. Dong. Learning assumptions for compositional verification of timed systems. IEEE Transactions on Software Engineering, 40(2):137--153, Feb 2014.","DOI":"10.1109\/TSE.2013.57"},{"key":"key-10.1145\/3368926.3369659-20","doi-asserted-by":"crossref","unstructured":"S.-W. Lin and P.-A. Hsiung. Compositional synthesis of concurrent systems through causal model checking and learning. In C. Jones, P. Pihlajasaari, and J. Sun, editors, FM 2014: Formal Methods, pages 416--431, Cham, 2014. Springer International Publishing.","DOI":"10.1007\/978-3-319-06410-9_29"},{"key":"key-10.1145\/3368926.3369659-21","unstructured":"J. Magee and J. Kramer. Concurrency: State Models and Java Programs. Wiley Publishing, 2nd edition, 2006."},{"key":"key-10.1145\/3368926.3369659-22","doi-asserted-by":"crossref","unstructured":"A. Pnueli. In transition from global to modular temporal reasoning about programs. In K. R. Apt, editor, Logics and Models of Concurrent Systems, chapter In Transition from Global to Modular Temporal Reasoning About Programs, pages 123--144. Springer-Verlag New York, Inc., New York, NY, USA, 1985.","DOI":"10.1007\/978-3-642-82453-1_5"},{"key":"key-10.1145\/3368926.3369659-23","doi-asserted-by":"crossref","unstructured":"J.-P. Queille and J. Sifakis. Specification and verification of concurrent systems in cesar. In Proceedings of the 5th Colloquium on International Symposium on Programming, pages 337--351, London, UK, UK, 1982. Springer-Verlag.","DOI":"10.1007\/3-540-11494-7_22"},{"key":"key-10.1145\/3368926.3369659-24","doi-asserted-by":"crossref","unstructured":"Y. Sun, G. Lipari, É. André, and L. Fribourg. Toward parametric timed interfaces for real-time components. In Proceedings 1st International Workshop on Synthesis of Continuous Parameters, SynCoP 2014, Grenoble, France, 6th April 2014., volume 145, pages 49--64, 2014.","DOI":"10.4204\/EPTCS.145.6"},{"key":"key-10.1145\/3368926.3369659-25","doi-asserted-by":"crossref","unstructured":"H.-V. Tran, P. N. Hung, and D. V. Hung. On improvement of assume-guarantee verification method for timed component-based software. In 10th International Conference on Knowledge and Systems Engineering, KSE 2018, Ho Chi Minh City, Vietnam, November 1-3, 2018, pages 270--275, 2018.","DOI":"10.1109\/KSE.2018.8573364"}],"event":{"number":"10","sponsor":["SOICT, School of Information and Communication Technology - HUST","NAFOSTED, The National Foundation for Science and Technology Development"],"acronym":"SoICT 2019","name":"the Tenth International Symposium","start":{"date-parts":[[2019,12,4]]},"location":"Hanoi, Ha Long Bay, Viet Nam","end":{"date-parts":[[2019,12,6]]}},"container-title":["Proceedings of the Tenth International Symposium on Information and Communication Technology - SoICT 2019"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3368926.3369659","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/dl.acm.org\/ft_gateway.cfm?id=3369659&ftid=2101300&dwn=1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:50Z","timestamp":1750203890000},"score":1,"resource":{"primary":{"URL":"http:\/\/dl.acm.org\/citation.cfm?doid=3368926.3369659"}},"subtitle":[],"proceedings-subject":"Information and Communication Technology","short-title":[],"issued":{"date-parts":[[2019]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1145\/3368926.3369659","relation":{},"subject":[],"published":{"date-parts":[[2019]]}}}