{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T05:22:39Z","timestamp":1776316959754,"version":"3.50.1"},"reference-count":39,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/emsoft.2015.7318273","type":"proceedings-article","created":{"date-parts":[[2015,11,9]],"date-time":"2015-11-09T22:52:50Z","timestamp":1447109570000},"page":"177-186","source":"Crossref","is-referenced-by-count":23,"title":["A framework for mining hybrid automata from input\/output traces"],"prefix":"10.1109","author":[{"given":"Ramy","family":"Medhat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Ramesh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Borzoo","family":"Bonakdarpour","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Fischmeister","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134325"},{"key":"ref38","author":"van heerdt","year":"2014","journal-title":"Efficient Inference of Mealy Machines"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009745219419"},{"key":"ref32","first-page":"401","article-title":"Feature-Based Clustering for Electricity Use Time Series Data","author":"r\u00e4s\u00e4nen","year":"2009","journal-title":"Adaptive and Natural Computing Algorithms volume 5495 of Lecture Notes in Computer Science"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1081180.1081189"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.13.242-260"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36384-X_3"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.63"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/978-3-642-05089-3_14","article-title":"Inferring Mealy Machines","author":"shahbaz","year":"2009","journal-title":"FM 2009 Formal Methods"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.2307\/2529204"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831719"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.1979.4766909"},{"key":"ref12","first-page":"264","article-title":"Efficient Robust Monitoring for STL","author":"donz\u00e9","year":"2013","journal-title":"Proceedings of the 25th International Conference on Computer Aided Verification pages"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568234"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.2307\/2346830"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59615-5_13"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45069-6_31"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461337"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/BF02289588"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/34.990133"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.856667"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595761"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0092-8240(89)80047-3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.2307\/2335355"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1145\/2642937.2642988","article-title":"Behavioral Resource-aware Model Inference","author":"ohmann","year":"2014","journal-title":"Proceedings of the 29th ACM\/IEEE International Conference on Automated Software Engineering"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025151"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74320-0_4"},{"key":"ref7","author":"chen","year":"2011","journal-title":"Parametric Statistical Change Point Analysis With Applications to Genetics Medicine and Finance"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1093\/biomet\/58.2.341"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287630"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_23"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.18637\/jss.v058.i03","article-title":"changepoint: An R Package for Changepoint Analysis","volume":"58","author":"killick","year":"2014","journal-title":"Journal of Statistical Software"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.856649"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1810295.1810324"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562146"},{"key":"ref26","doi-asserted-by":"crossref","DOI":"10.1201\/b10928","author":"lo","year":"2011","journal-title":"Mining Software Specifications Methodologies and Applications"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837466"}],"event":{"name":"2015 International Conference on Embedded Software (EMSOFT)","location":"Amsterdam, Netherlands","start":{"date-parts":[[2015,10,4]]},"end":{"date-parts":[[2015,10,9]]}},"container-title":["2015 International Conference on Embedded Software (EMSOFT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7313572\/7318008\/07318273.pdf?arnumber=7318273","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,25]],"date-time":"2022-05-25T18:38:36Z","timestamp":1653503916000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7318273\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/emsoft.2015.7318273","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}