{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:14:42Z","timestamp":1750306482394,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,10,27]],"date-time":"2015-10-27T00:00:00Z","timestamp":1445904000000},"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":[[2015,10,27]]},"DOI":"10.1145\/2846696.2846698","type":"proceedings-article","created":{"date-parts":[[2016,1,29]],"date-time":"2016-01-29T15:05:10Z","timestamp":1454079910000},"page":"55-62","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Towards improving software security using language engineering and mbeddr C"],"prefix":"10.1145","author":[{"given":"Markus","family":"Voelter","sequence":"first","affiliation":[{"name":"itemis, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zaur","family":"Molotnikov","sequence":"additional","affiliation":[{"name":"fortiss, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Kolb","sequence":"additional","affiliation":[{"name":"itemis, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,10,27]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Software Security: Building Security In","author":"McGraw G.","year":"2006","unstructured":"G. McGraw , Software Security: Building Security In . Addison-Wesley , 2006 . G. McGraw, Software Security: Building Security In. Addison-Wesley, 2006."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1407003"},{"key":"e_1_3_2_1_3_1","volume-title":"HITB Security Conference","author":"Teso H.","year":"2013","unstructured":"H. Teso , \u201c Aircraft hacking ,\u201d in HITB Security Conference , Amsterdam, The Netherlands , 2013 . H. Teso, \u201cAircraft hacking,\u201d in HITB Security Conference, Amsterdam, The Netherlands, 2013."},{"key":"e_1_3_2_1_4_1","volume-title":"DSL Engineering. dslbook.org","author":"Voelter M.","year":"2013","unstructured":"M. Voelter , S. Benz , C. Dietrich , B. Engelmann , M. Helander , L. Kats , E. Visser , and G. Wachsmuth , DSL Engineering. dslbook.org , 2013 . M. Voelter, S. Benz, C. Dietrich, B. Engelmann, M. Helander, L. Kats, E. Visser, and G. Wachsmuth, DSL Engineering. dslbook.org, 2013."},{"key":"e_1_3_2_1_5_1","volume-title":"Language Workbenches: The Killer-App for Domain Specific Languages?","author":"Fowler M.","year":"2005","unstructured":"M. Fowler , \u201c Language Workbenches: The Killer-App for Domain Specific Languages? \u201d 2005 . M. Fowler, \u201cLanguage Workbenches: The Killer-App for Domain Specific Languages?\u201d 2005."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-02654-1_11"},{"volume-title":"JetBrains Meta Programming System","year":"2015","key":"e_1_3_2_1_7_1","unstructured":"\u201c JetBrains Meta Programming System ,\u201d http:\/\/www.jetbrains.com\/mps\/, accessed 14\/9\/ 2015 . \u201cJetBrains Meta Programming System,\u201d http:\/\/www.jetbrains.com\/mps\/, accessed 14\/9\/2015."},{"key":"e_1_3_2_1_8_1","volume-title":"GEMOC Workshop","author":"Voelter M.","year":"2014","unstructured":"M. Voelter and S. Lisson , \u201c Supporting diverse notations in mps\u2019 projectional editor ,\u201d GEMOC Workshop , 2014 . M. Voelter and S. Lisson, \u201cSupporting diverse notations in mps\u2019 projectional editor,\u201d GEMOC Workshop, 2014."},{"key":"e_1_3_2_1_9_1","volume-title":"GTTSE 2011","author":"Voelter M.","year":"2011","unstructured":"M. Voelter , \u201c Language and IDE Development, Modularization and Composition with MPS ,\u201d in GTTSE 2011 , ser. LNCS. Springer , 2011 . M. Voelter, \u201cLanguage and IDE Development, Modularization and Composition with MPS,\u201d in GTTSE 2011, ser. LNCS. Springer, 2011."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11245-9_3"},{"volume-title":"Automated Software Engineering","author":"Voelter M.","key":"e_1_3_2_1_11_1","unstructured":"M. Voelter , D. Ratiu , B. Kolb , and B. Schaetz , \u201c mbeddr: instantiating a language workbench in the embedded software domain ,\u201d Automated Software Engineering , vol. 20 , no. 3, 2013. M. Voelter, D. Ratiu, B. Kolb, and B. Schaetz, \u201cmbeddr: instantiating a language workbench in the embedded software domain,\u201d Automated Software Engineering, vol. 20, no. 3, 2013."},{"key":"e_1_3_2_1_12_1","volume-title":"10th Dagstuhl Workshop on Model-based Development of Embedded Systems","author":"Voelter M.","year":"2014","unstructured":"M. Voelter , \u201c Preliminary experience of using mbeddr ,\u201d in 10th Dagstuhl Workshop on Model-based Development of Embedded Systems , 2014 . M. Voelter, \u201cPreliminary experience of using mbeddr,\u201d in 10th Dagstuhl Workshop on Model-based Development of Embedded Systems, 2014."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642938"},{"key":"e_1_3_2_1_14_1","volume-title":"Generic tools, specific languages","author":"Voelter M.","year":"2014","unstructured":"M. Voelter , \u201c Generic tools, specific languages ,\u201d dissertation, TU Delft , 2014 . M. Voelter, \u201cGeneric tools, specific languages,\u201d dissertation, TU Delft, 2014."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/2683916"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1260984.1261237"},{"key":"e_1_3_2_1_17_1","volume-title":"JPL","author":"Board M. C. O. M. I.","year":"1999","unstructured":"M. C. O. M. I. Board , Mars Climate Orbiter Mishap Investigation Board : Phase I Report . JPL , 1999 . M. C. O. M. I. Board, Mars Climate Orbiter Mishap Investigation Board: Phase I Report. JPL, 1999."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/646647.699203"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24730-2_15"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050043"},{"key":"e_1_3_2_1_21_1","volume-title":"The Second USENIX Workshop on Electronic Commerce Proceedings","author":"Wagner D.","year":"1996","unstructured":"D. Wagner , B. Schneier \u201cAnalysis of the ssl 3.0 protocol ,\u201d in The Second USENIX Workshop on Electronic Commerce Proceedings , 1996 . D. Wagner, B. Schneier et al., \u201cAnalysis of the ssl 3.0 protocol,\u201d in The Second USENIX Workshop on Electronic Commerce Proceedings, 1996."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2006.253270"},{"key":"e_1_3_2_1_23_1","volume-title":"Probabilistic model checking of the IEEE 802.11 wireless local area network protocol","author":"Kwiatkowska M.","year":"2002","unstructured":"M. Kwiatkowska , G. Norman , and J. Sproston , Probabilistic model checking of the IEEE 802.11 wireless local area network protocol . Springer , 2002 . M. Kwiatkowska, G. Norman, and J. Sproston, Probabilistic model checking of the IEEE 802.11 wireless local area network protocol. Springer, 2002."},{"key":"e_1_3_2_1_24_1","volume-title":"NSDI","volume":"4","author":"Musuvathi M.","year":"2004","unstructured":"M. Musuvathi , D. R. Engler \u201cModel checking large network protocol implementations .\u201d in NSDI , vol. 4 . Citeseer , 2004 . M. Musuvathi, D. R. Engler et al., \u201cModel checking large network protocol implementations.\u201d in NSDI, vol. 4. Citeseer, 2004."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/290133.290145"},{"key":"e_1_3_2_1_26_1","volume-title":"ACESMB@MoDELS","author":"Voelter M.","year":"2013","unstructured":"M. Voelter , D. Ratiu , and F. Tomassetti , \u201c Requirements as first-class citizens: Integrating requirements closely with implementation artifacts ,\u201d in ACESMB@MoDELS , 2013 . M. Voelter, D. Ratiu, and F. Tomassetti, \u201cRequirements as first-class citizens: Integrating requirements closely with implementation artifacts,\u201d in ACESMB@MoDELS, 2013."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/STEP.2005.31"},{"key":"e_1_3_2_1_28_1","volume-title":"People and computers V","author":"Green T. R.","year":"1989","unstructured":"T. R. Green , \u201c Cognitive dimensions of notations ,\u201d People and computers V , 1989 . T. R. Green, \u201cCognitive dimensions of notations,\u201d People and computers V, 1989."},{"issue":"03","key":"e_1_3_2_1_29_1","article-title":"Cyclomatic complexity and lines of code: empirical evidence of a stable linear relationship","volume":"2","author":"Graylin J.","year":"2009","unstructured":"J. Graylin , J. E. Hale , R. K. Smith , H. David , N. A. Kraft , W. Charles ., \u201c Cyclomatic complexity and lines of code: empirical evidence of a stable linear relationship ,\u201d Journal of Software Engineering and Applications , vol. 2 , no. 03 , 2009 . J. Graylin, J. E. Hale, R. K. Smith, H. David, N. A. Kraft, W. Charles et al., \u201cCyclomatic complexity and lines of code: empirical evidence of a stable linear relationship,\u201d Journal of Software Engineering and Applications, vol. 2, no. 03, 2009.","journal-title":"Journal of Software Engineering and Applications"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11245-9_3"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010085415024"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2661136.2661149"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(02)00352-3"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1932682.1869497"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/1949925.1949932"},{"volume-title":"Autom. Softw. Eng.","author":"Voelter M.","key":"e_1_3_2_1_37_1","unstructured":"M. Voelter , D. Ratiu , B. Kolb , and B. Sch\u00e4tz , \u201c mbeddr: instantiating a language workbench in the embedded software domain ,\u201d Autom. Softw. Eng. , vol. 20 , no. 3, 2013. M. Voelter, D. Ratiu, B. Kolb, and B. Sch\u00e4tz, \u201cmbeddr: instantiating a language workbench in the embedded software domain,\u201d Autom. Softw. Eng., vol. 20, no. 3, 2013."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346312"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/829514.830533"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/829514.830540"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29420-4_1"}],"event":{"name":"SPLASH '15: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"],"location":"Pittsburgh PA USA","acronym":"SPLASH '15"},"container-title":["Proceedings of the Workshop on Domain-Specific Modeling"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2846696.2846698","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2846696.2846698","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:23Z","timestamp":1750225703000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2846696.2846698"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,27]]},"references-count":40,"alternative-id":["10.1145\/2846696.2846698","10.1145\/2846696"],"URL":"https:\/\/doi.org\/10.1145\/2846696.2846698","relation":{},"subject":[],"published":{"date-parts":[[2015,10,27]]},"assertion":[{"value":"2015-10-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}