{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:17:48Z","timestamp":1750306668391,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,3]],"date-time":"2014-06-03T00:00:00Z","timestamp":1401753600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,6,3]]},"DOI":"10.1145\/2593801.2593808","type":"proceedings-article","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T13:48:00Z","timestamp":1400593680000},"page":"38-44","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["A self-learning approach for validation of communication in embedded systems"],"prefix":"10.1145","author":[{"given":"Falk","family":"Langer","sequence":"first","affiliation":[{"name":"Fraunhofer ESK, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erik","family":"Oswald","sequence":"additional","affiliation":[{"name":"Fraunhofer ESK, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,6,3]]},"reference":[{"volume-title":"Specification by example. How successful teams deliver the right software. Manning","author":"Adzic G.","key":"e_1_3_2_1_1_1","unstructured":"Adzic , G. 2011. Specification by example. How successful teams deliver the right software. Manning , Shelter Island , N.Y. Adzic, G. 2011. Specification by example. How successful teams deliver the right software. Manning, Shelter Island, N.Y."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/584792.584888"},{"volume-title":"Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems. Lecture Notes in Computer Science. Springer","author":"Bollig B.","key":"e_1_3_2_1_4_1","unstructured":"Bollig , B. , Katoen , J.-P. , Kern , C. , and Leucker , M . 2007. Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning . In Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems. Lecture Notes in Computer Science. Springer , Braga, Portugal, 435\u2013450. Bollig, B., Katoen, J.-P., Kern, C., and Leucker, M. 2007. Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning. In Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems. Lecture Notes in Computer Science. Springer, Braga, Portugal, 435\u2013450."},{"key":"e_1_3_2_1_5_1","first-page":"1","article-title":"Interface Verification Using Executable Reference Models: An Application in the Automotive Infotainment. In Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems, Miami","volume":"7","author":"Drabek C.","year":"2013","unstructured":"Drabek , C. , Pramsohler , T. , Zeller , M. , and Weiss , G. 2013 . Interface Verification Using Executable Reference Models: An Application in the Automotive Infotainment. In Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems, Miami , Florida, USA , 7 : 1 \u2013 10 . Drabek, C., Pramsohler, T., Zeller, M., and Weiss, G. 2013. Interface Verification Using Executable Reference Models: An Application in the Automotive Infotainment. In Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems, Miami, Florida, USA, 7:1\u201310.","journal-title":"Florida, USA"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.118"},{"volume-title":"Logging Design for Vehicle Communication Field Operational Tests. In FAST-Zero'11 Proceedings, 1\u20136.","author":"Goralczyk M.","key":"e_1_3_2_1_7_1","unstructured":"Goralczyk , M. , Schaeufele , B. , and Radusch , I . 2011 . Logging Design for Vehicle Communication Field Operational Tests. In FAST-Zero'11 Proceedings, 1\u20136. Goralczyk, M., Schaeufele, B., and Radusch, I. 2011. Logging Design for Vehicle Communication Field Operational Tests. In FAST-Zero'11 Proceedings, 1\u20136."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_26"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems","author":"Klaus Becker","year":"2012","unstructured":"Klaus Becker , Marc Zeller, and Gereon Weiss . 2012 . Towards Efficient On-line Schedulability Tests for Adaptive Networked Embedded Real-time Systems . In Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems , Rome, Italy , 24-26 February, 2012. SciTePress, 440\u2013449. Klaus Becker, Marc Zeller, and Gereon Weiss. 2012. Towards Efficient On-line Schedulability Tests for Adaptive Networked Embedded Real-time Systems. In Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems, Rome, Italy, 24-26 February, 2012. SciTePress, 440\u2013449."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1041685.1029909"},{"key":"e_1_3_2_1_11_1","unstructured":"Langer F. Bertulies K. and Hoffmann F. 2011. Self Learning Anomaly Detection for Embedded Safety Critical Systems. In Schriftenreihe des Instituts f\u00fcr Angewandte Informatik Automatisierungstechnik am Karlsruher Institut f\u00fcr Technologie. KIT Scientific Publishing 31\u201345.  Langer F. Bertulies K. and Hoffmann F. 2011. Self Learning Anomaly Detection for Embedded Safety Critical Systems. In Schriftenreihe des Instituts f\u00fcr Angewandte Informatik Automatisierungstechnik am Karlsruher Institut f\u00fcr Technologie. KIT Scientific Publishing 31\u201345."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Langer F. Eilers D. and Knorr R. 2009. Fault detection in discrete event based distributed systems by forecasting message sequences with neural networks. In KI 2009: Advances in Artificial Intelligence. Springer 411-418.   Langer F. Eilers D. and Knorr R. 2009. Fault detection in discrete event based distributed systems by forecasting message sequences with neural networks. In KI 2009: Advances in Artificial Intelligence. Springer 411-418.","DOI":"10.1007\/978-3-642-04617-9_52"},{"volume-title":"International Workshop on Principles of Diagnosis (DX), 163\u2013166","author":"Langer F.","key":"e_1_3_2_1_13_1","unstructured":"Langer , F. and Prehofer , C . 2011. Anomaly detection in embedded safety critical software . In International Workshop on Principles of Diagnosis (DX), 163\u2013166 . Langer, F. and Prehofer, C. 2011. Anomaly detection in embedded safety critical software. In International Workshop on Principles of Diagnosis (DX), 163\u2013166."},{"volume-title":"Using Reference Traces for Validation of Communication in Embedded Systems. In ICONS 2014, The Ninth International Conference on Systems, 203\u2013208","author":"Langer F.","key":"e_1_3_2_1_14_1","unstructured":"Langer , F. and Oswald , E . 2014 . Using Reference Traces for Validation of Communication in Embedded Systems. In ICONS 2014, The Ninth International Conference on Systems, 203\u2013208 . Langer, F. and Oswald, E. 2014. Using Reference Traces for Validation of Communication in Embedded Systems. In ICONS 2014, The Ninth International Conference on Systems, 203\u2013208."},{"key":"e_1_3_2_1_15_1","volume-title":"Embedded Systems. In Proceedings of the IEEE International Symposium on Requirements Engineering, 126-133","author":"Lutz R. R.","year":"1993","unstructured":"Lutz , R. R. 1993 . Analyzing Software Requirements Errors in Safety-Critical , Embedded Systems. In Proceedings of the IEEE International Symposium on Requirements Engineering, 126-133 . Lutz, R. R. 1993. Analyzing Software Requirements Errors in Safety-Critical, Embedded Systems. In Proceedings of the IEEE International Symposium on Requirements Engineering, 126-133."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/776816.776894"},{"volume-title":"Proceedings of the 14th IEEE Workshop on Computer Security Foundations. CSFW \u201901","author":"Jha S.","key":"e_1_3_2_1_17_1","unstructured":"Jha , S. , Tan , K. , and Maxion , R. A . 2001. Markov Chains, Classifiers, and Intrusion Detection . In Proceedings of the 14th IEEE Workshop on Computer Security Foundations. CSFW \u201901 . IEEE Computer Society, Washington, DC, USA, 206\u2013219. Jha, S., Tan, K., and Maxion, R. A. 2001. Markov Chains, Classifiers, and Intrusion Detection. In Proceedings of the 14th IEEE Workshop on Computer Security Foundations. CSFW \u201901. IEEE Computer Society, Washington, DC, USA, 206\u2013219."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2005.38"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1948.tb01338.x"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1015330.1015404"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.12.015"},{"key":"e_1_3_2_1_22_1","unstructured":"V-MODELL\u00aeXT. 2008. V-Modell-XT Complete 1.2.1.1. IABG.  V-MODELL\u00aeXT. 2008. V-Modell-XT Complete 1.2.1.1. IABG."},{"volume-title":"Proceedings of the 3rd International Workshop on Model Based Architecting and Construction of Embedded Systems, 69\u201383","author":"Weiss G.","key":"e_1_3_2_1_23_1","unstructured":"Weiss , G. , Zeller , M. , Eilers , D. , and Knorr , R . 2010. Approach for iterative validation of automotive embedded systems . In Proceedings of the 3rd International Workshop on Model Based Architecting and Construction of Embedded Systems, 69\u201383 . Weiss, G., Zeller, M., Eilers, D., and Knorr, R. 2010. Approach for iterative validation of automotive embedded systems. In Proceedings of the 3rd International Workshop on Model Based Architecting and Construction of Embedded Systems, 69\u201383."}],"event":{"name":"ICSE '14: 36th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","TCSE IEEE Computer Society's Tech. Council on Software Engin."],"location":"Hyderabad India","acronym":"ICSE '14"},"container-title":["Proceedings of the 3rd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593801.2593808","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2593801.2593808","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:00:45Z","timestamp":1750230045000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593801.2593808"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,3]]},"references-count":23,"alternative-id":["10.1145\/2593801.2593808","10.1145\/2593801"],"URL":"https:\/\/doi.org\/10.1145\/2593801.2593808","relation":{},"subject":[],"published":{"date-parts":[[2014,6,3]]},"assertion":[{"value":"2014-06-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}