<?xml version="1.0" encoding="utf-8"?>
<export-example>
  <doc>
    <id>2021</id>
    <completedYear>2020</completedYear>
    <publishedYear>2020</publishedYear>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst>197</pageFirst>
    <pageLast>211</pageLast>
    <pageNumber>15</pageNumber>
    <edition/>
    <issue/>
    <volume/>
    <type>bookpart</type>
    <publisherName>Springer International Publishing</publisherName>
    <publisherPlace>Cham</publisherPlace>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>1</belongsToBibliography>
    <completedDate>--</completedDate>
    <publishedDate>--</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures</title>
    <parentTitle language="eng">Model-Based Safety and Assessment</parentTitle>
    <identifier type="isbn">9783030589196</identifier>
    <identifier type="issn">0302-9743</identifier>
    <identifier type="doi">10.1007/978-3-030-58920-2_13</identifier>
    <enrichment key="opus_doi_flag">true</enrichment>
    <enrichment key="opus_import_data">{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T08:32:48Z","timestamp":1720773168873},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030589196","type":"print"},{"value":"9783030589202","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-58920-2_13","type":"book-chapter","created":{"date-parts":[[2020,9,3]],"date-time":"2020-09-03T19:03:31Z","timestamp":1599159811000},"page":"197-211","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":26,"title":["SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures"],"prefix":"10.1007","author":[{"ORCID":"http:\/\/orcid.org\/0000-0001-9318-8177","authenticated-orcid":false,"given":"Koorosh","family":"Aslansefat","sequence":"first","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0003-2704-8381","authenticated-orcid":false,"given":"Ioannis","family":"Sorokos","sequence":"additional","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-1424-743X","authenticated-orcid":false,"given":"Declan","family":"Whiting","sequence":"additional","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-7470-3767","authenticated-orcid":false,"given":"Ramin","family":"Tavakoli Kolagari","sequence":"additional","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0001-7007-5153","authenticated-orcid":false,"given":"Yiannis","family":"Papadopoulos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,9,4]]},"reference":[{"key":"13_CR1","unstructured":"Alexander, R., et al.: Safety assurance objectives for autonomous systems (2020)"},{"key":"13_CR2","unstructured":"Amodei, D., Olah, C., Steinhardt, J., Christiano, P., Schulman, J., Man\u00e9, D.: Concrete problems in AI safety. arXiv preprint arXiv:1606.06565 (2016)"},{"key":"13_CR3","unstructured":"Aslansefat, K.: How to make your classifier safe (2020). https:\/\/towardsdatascience.com\/how-to-make-your-classifier-safe-46d55f39f1ad"},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1016\/j.isatra.2019.08.015","volume":"97","author":"K Aslansefat","year":"2020","unstructured":"Aslansefat, K., Gogani, M.B., Kabir, S., Shoorehdeli, M.A., Yari, M.: Performance evaluation and design for variable threshold alarm systems through semi-Markov process. ISA Trans. 97, 282\u2013295 (2020)","journal-title":"ISA Trans."},{"key":"13_CR5","unstructured":"Bellemare, M.G., et al.: The Cramer distance as a solution to biased Wasserstein gradients. arXiv preprint arXiv:1705.10743 (2017)"},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"103201","DOI":"10.1016\/j.artint.2019.103201","volume":"279","author":"S Burton","year":"2020","unstructured":"Burton, S., Habli, I., Lawton, T., McDermid, J., Morgan, P., Porter, Z.: Mind the gaps: assuring the safety of autonomous systems from an engineering, ethical, and legal perspective. Artif. Intell. 279, 103201 (2020)","journal-title":"Artif. Intell."},{"key":"13_CR7","volume-title":"Artificial Intelligence: The Insights You Need from Harvard Business Review","author":"TH Davenport","year":"2019","unstructured":"Davenport, T.H., Brynjolfsson, E., McAfee, A., Wilson, H.J.: Artificial Intelligence: The Insights You Need from Harvard Business Review. Harvard Business Press, Boston (2019)"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-662-44342-2_14","volume-title":"Encyclopedia of Distances","author":"MM Deza","year":"2014","unstructured":"Deza, M.M., Deza, E.: Distances in probability theory. Encyclopedia of Distances, pp. 257\u2013272. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-44342-2_14"},{"key":"13_CR9","doi-asserted-by":"publisher","unstructured":"Du-Harpur, X., Watt, F., Luscombe, N., Lynch, M.: What is AI? Applications of artificial intelligence to dermatology. Br. J. Dermatol. 1\u20138 (2020). https:\/\/doi.org\/10.1111\/bjd.18880","DOI":"10.1111\/bjd.18880"},{"key":"13_CR10","unstructured":"Finlay, C., Oberman, A.M.: Empirical confidence estimates for classification by deep neural networks. arXiv preprint arXiv:1903.09215 (2019)"},{"key":"13_CR11","volume-title":"Introduction to Statistical Pattern Recognition","author":"K Fukunaga","year":"2013","unstructured":"Fukunaga, K.: Introduction to Statistical Pattern Recognition. Elsevier, Amsterdam (2013)"},{"key":"13_CR12","unstructured":"Goodfellow, I., et al.: Generative adversarial nets. In: Advances in Neural Information Processing systems, pp. 2672\u20132680 (2014)"},{"key":"13_CR13","unstructured":"Gulrajani, I., Ahmed, F., Arjovsky, M., Dumoulin, V., Courville, A.C.: Improved training of Wasserstein GANs. In: Advances in Neural Information Processing Systems, pp. 5767\u20135777 (2017)"},{"key":"13_CR14","unstructured":"Hobbhahn, M., Kristiadi, A., Hennig, P.: Fast predictive uncertainty for classification with Bayesian deep networks. arXiv preprint arXiv:2003.01227 (2020)"},{"key":"13_CR15","unstructured":"ISO: Iso\/iec jtc 1\/sc 42: Artificial intelligence (2017). https:\/\/www.iso.org\/committee\/6794475.html. Accessed 10 May 2020"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/978-3-030-32872-6_22","volume-title":"Model-Based Safety and Assessment","author":"S Kabir","year":"2019","unstructured":"Kabir, S., et al.: A runtime safety analysis concept for open adaptive systems. In: Papadopoulos, Y., Aslansefat, K., Katsaros, P., Bozzano, M. (eds.) IMBSA 2019. LNCS, vol. 11842, pp. 332\u2013346. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-32872-6_22"},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/978-3-030-26250-1_29","volume-title":"Computer Safety, Reliability, and Security","author":"M Kl\u00e4s","year":"2019","unstructured":"Kl\u00e4s, M., Sembach, L.: Uncertainty wrappers for data-driven models. In: Romanovsky, A., Troubitsyna, E., Gashi, I., Schoitsch, E., Bitsch, F. (eds.) SAFECOMP 2019. LNCS, vol. 11699, pp. 358\u2013364. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-26250-1_29"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Nielsen, F.: The chord gap divergence and a generalization of the Bhattacharyya distance. In: 2018 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), pp. 2276\u20132280. IEEE (2018)","DOI":"10.1109\/ICASSP.2018.8462244"},{"issue":"3.24","key":"13_CR19","first-page":"479","volume":"7","author":"R Panigrahi","year":"2018","unstructured":"Panigrahi, R., Borah, S.: A detailed analysis of cicids2017 dataset for designing intrusion detection systems. Int. J. Eng. Technol. 7(3.24), 479\u2013482 (2018)","journal-title":"Int. J. Eng. Technol."},{"key":"13_CR20","unstructured":"U.C. on Standards in Public Life: Artificial intelligence and public standards (2020). https:\/\/www.gov.uk\/government\/publications\/artificial-intelligence-and-public-standards-report. Accessed 10 May 2020"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Quionero-Candela, J., Sugiyama, M., Schwaighofer, A., Lawrence, N.D.: Dataset Shift in Machine Learning. The MIT Press (2009)","DOI":"10.7551\/mitpress\/9780262170055.001.0001"},{"issue":"1","key":"13_CR22","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/s00477-010-0410-3","volume":"25","author":"M Raschke","year":"2011","unstructured":"Raschke, M.: Empirical behaviour of tests for the beta distribution and their application in environmental research. Stochast. Environ. Res. Risk Assess. 25(1), 79\u201389 (2011)","journal-title":"Stochast. Environ. Res. Risk Assess."},{"key":"13_CR23","unstructured":"Schulam, P., Saria, S.: Can you trust this prediction? auditing pointwise reliability after learning. arXiv preprint arXiv:1901.00403 (2019)"},{"key":"13_CR24","doi-asserted-by":"publisher","unstructured":"Sharafaldin, I., Lashkari, A.H., Ghorbani, A.A.: Toward generating a new intrusion detection dataset and intrusion traffic characterization. In: International Conference on Information Systems Security and Privacy (ICISSP), pp. 108\u2013116 (2018). https:\/\/doi.org\/10.5220\/0006639801080116","DOI":"10.5220\/0006639801080116"},{"issue":"2","key":"13_CR25","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/s10676-018-9494-0","volume":"21","author":"A Sharkey","year":"2018","unstructured":"Sharkey, A.: Autonomous weapons systems, killer robots and human dignity. Ethics Inf. Technol. 21(2), 75\u201387 (2018). https:\/\/doi.org\/10.1007\/s10676-018-9494-0","journal-title":"Ethics Inf. Technol."},{"key":"13_CR26","volume-title":"Pattern Recognition","author":"S Theodoridis","year":"2009","unstructured":"Theodoridis, S., Koutroumbas, K.: Pattern Recognition. Elsevier, New York (2009)"},{"issue":"1","key":"13_CR27","first-page":"3221","volume":"15","author":"L Van Der Maaten","year":"2014","unstructured":"Van Der Maaten, L.: Accelerating t-SNE using tree-based algorithms. J. Mach. Learn. Res. 15(1), 3221\u20133245 (2014)","journal-title":"J. Mach. Learn. Res."},{"issue":"9","key":"13_CR28","doi-asserted-by":"publisher","first-page":"1337","DOI":"10.1038\/s41591-019-0548-6","volume":"25","author":"J Wiens","year":"2019","unstructured":"Wiens, J., et al.: Do no harm: a roadmap for responsible machine learning for health care. Nat. Med. 25(9), 1337\u20131340 (2019)","journal-title":"Nat. Med."}],"container-title":["Model-Based Safety and Assessment","Lecture Notes in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-58920-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,24]],"date-time":"2021-04-24T09:57:47Z","timestamp":1619258267000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-58920-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030589196","9783030589202"],"references-count":28,"URL":"http:\/\/dx.doi.org\/10.1007\/978-3-030-58920-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"4 September 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IMBSA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Model-Based Safety and Assessment","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lisbon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"imbsa2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/easyconferences.eu\/imbsa2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"15","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"50% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Conference was held vertually due to COVID_19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}</enrichment>
    <enrichment key="local_crossrefDocumentType">book-chapter</enrichment>
    <enrichment key="local_crossrefLicence">http://www.springer.com/tdm</enrichment>
    <enrichment key="local_import_origin">crossref</enrichment>
    <enrichment key="local_doiImportPopulated">PersonAuthorFirstName_1,PersonAuthorLastName_1,PersonAuthorIdentifierOrcid_1,PersonAuthorFirstName_2,PersonAuthorLastName_2,PersonAuthorIdentifierOrcid_2,PersonAuthorFirstName_3,PersonAuthorLastName_3,PersonAuthorIdentifierOrcid_3,PersonAuthorFirstName_4,PersonAuthorLastName_4,PersonAuthorIdentifierOrcid_4,PersonAuthorFirstName_5,PersonAuthorLastName_5,PersonAuthorIdentifierOrcid_5,PublisherName,PublisherPlace,TitleMain_1,TitleParent_1,PageNumber,PageFirst,PageLast,CompletedYear,IdentifierIsbn,IdentifierIssn,Enrichmentlocal_crossrefLicence</enrichment>
    <enrichment key="opus.source">doi-import</enrichment>
    <enrichment key="opus.doi.autoCreate">false</enrichment>
    <enrichment key="opus.urn.autoCreate">false</enrichment>
    <author>Koorosh Aslansefat</author>
    <author>Ioannis Sorokos</author>
    <author>Declan Whiting</author>
    <author>Ramin Tavakoli Kolagari</author>
    <author>Yiannis Papadopoulos</author>
    <collection role="institutes" number="">Fakultät Informatik</collection>
    <collection role="Forschungsschwerpunkt" number="5">Digitalisierung &amp; Künstliche Intelligenz</collection>
  </doc>
  <doc>
    <id>3596</id>
    <completedYear>2010</completedYear>
    <publishedYear>2010</publishedYear>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst>297</pageFirst>
    <pageLast>307</pageLast>
    <pageNumber>11</pageNumber>
    <edition/>
    <issue/>
    <volume/>
    <type>bookpart</type>
    <publisherName>Springer Berlin Heidelberg</publisherName>
    <publisherPlace>Berlin, Heidelberg</publisherPlace>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>--</completedDate>
    <publishedDate>--</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">11 The EAST-ADL Architecture Description Language for Automotive Embedded Software</title>
    <abstract language="eng">Current trends in automotive embedded systems focus on how to manage the increasing software content, with a strong emphasis on standardization of the embedded software structure. The management of engineering information remains a critical challenge in order to support development and other stages of the life-cycle. System modelling based on an Architecture Description Language (ADL) is a way to keep these assets within one information structure. This paper presents the EAST-ADL2 modelling language, developed in the ITEA EAST-EEA project and further enhanced in the ATESST project (www.atesst.org). EAST-ADL2 supports comprehensive model-based development of embedded systems and provides dedicated constructs to facilitate variability and product line management, requirements engineering, representation of functional as well as software/hardware solutions, and timing and safety analysis.</abstract>
    <parentTitle language="eng">Lecture Notes in Computer Science</parentTitle>
    <identifier type="isbn">9783642162763</identifier>
    <identifier type="issn">0302-9743</identifier>
    <identifier type="doi">10.1007/978-3-642-16277-0_11</identifier>
    <enrichment key="opus_doi_flag">true</enrichment>
    <enrichment key="opus_import_data">{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T05:27:33Z","timestamp":1740634053172,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642162763"},{"type":"electronic","value":"9783642162770"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16277-0_11","type":"book-chapter","created":{"date-parts":[[2010,10,13]],"date-time":"2010-10-13T11:55:33Z","timestamp":1286970933000},"page":"297-307","source":"Crossref","is-referenced-by-count":26,"title":["11 The EAST-ADL Architecture Description Language for Automotive Embedded Software"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Cuenot","sequence":"first","affiliation":[]},{"given":"Patrick","family":"Frey","sequence":"additional","affiliation":[]},{"given":"Rolf","family":"Johansson","sequence":"additional","affiliation":[]},{"given":"Henrik","family":"L\u00f6nn","sequence":"additional","affiliation":[]},{"given":"Yiannis","family":"Papadopoulos","sequence":"additional","affiliation":[]},{"given":"Mark-Oliver","family":"Reiser","sequence":"additional","affiliation":[]},{"given":"Anders","family":"Sandberg","sequence":"additional","affiliation":[]},{"given":"David","family":"Servat","sequence":"additional","affiliation":[]},{"given":"Ramin","family":"Tavakoli Kolagari","sequence":"additional","affiliation":[]},{"given":"Martin","family":"T\u00f6rngren","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Weber","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"AUTOSAR Development Partnership: AUTOSAR Development Partnership (2007), http:\/\/www.autosar.org","key":"11_CR1"},{"issue":"10","key":"11_CR2","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MC.2007.344","volume":"40","author":"A. Sangiovanni-Vincentelli","year":"2007","unstructured":"Sangiovanni-Vincentelli, A., Di Natale, M.: Embedded system design for automotive applications. Computer\u00a040(10), 42\u201351 (2007)","journal-title":"Computer"},{"doi-asserted-by":"crossref","unstructured":"T\u00f6rngren, M., Chen, D.J., Malvius, D., Axelsson, J.: Model based development of automotive embedded systems. In: Handbook on Automotive Embedded Systems. Taylor and Francis CRC Press - Series: Industrial Information Technology (invited) (forthcoming 2008), ISBN=9780849380266","key":"11_CR3","DOI":"10.1201\/9780849380273.ch10"},{"doi-asserted-by":"crossref","unstructured":"T\u00f6rngren, M., Chen, D.J., Crnkovic, I.: Component-based vs. model-based development: A comparison in the context of vehicular embedded systems. In: EUROMICRO-SEAA, pp. 432\u2013441 (2005)","key":"11_CR4","DOI":"10.1109\/EUROMICRO.2005.18"},{"unstructured":"ATESST consortium: Report on behavioral modeling within east-adl2, d3.2 deliverable. Technical report (December 2007), http:\/\/www.atesst.org\/","key":"11_CR5"},{"unstructured":"Sj\u00f6stedt, C.J., Shi, J., T\u00f6rngren, M., Servat, D., Chen, D., Ahlsten, V., L\u00f6nn, H.: Mapping Simulink to UML in the Design of Embedded Systems: Investigating Scenarios and Structural and Behavioral Mapping. In: OMER4 Post-Proceedings (2008)","key":"11_CR6"},{"unstructured":"SysML Partners: Systems Modeling Language (SysML) open source specification project, http:\/\/www.sysml.org","key":"11_CR7"},{"unstructured":"International Organization for Standardization: ISO Working Draft 26262 Baseline 10 (2007)","key":"11_CR8"},{"unstructured":"Kelley, T.P.: Arguing Safety - A Systematic Approach to Managing Safety Cases. PhD thesis, University of York (1998)","key":"11_CR9"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/3-540-48249-0_13","volume-title":"Computer Safety, Reliability and Security","author":"Y. Papadopoulos","year":"1999","unstructured":"Papadopoulos, Y., McDermid, J.A.: Hierarchically performed hazard origin and propagation studies. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol.\u00a01698, pp. 139\u2013152. Springer, Heidelberg (1999)"},{"issue":"1","key":"11_CR11","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.jss.2004.06.027","volume":"76","author":"Y. Papadopoulos","year":"2005","unstructured":"Papadopoulos, Y., Grante, C.: Evolving car designs using model-based automated safety analysis and optimisation techniques. J. Syst. Softw.\u00a076(1), 77\u201389 (2005)","journal-title":"J. Syst. Softw."},{"unstructured":"HIS: Specification Requirements Interchange Format (RIF), version 1.1a (2007)","key":"11_CR12"},{"unstructured":"OMG: Uml profile for modeling and analysis of real-time and embedded systems (marte), beta1, omg document number: ptc\/07-08-04 (August 2007)","key":"11_CR13"},{"unstructured":"The Motor Industry Software Reliability Association (MISRA): Development guidelines for vehicle based software (1994)","key":"11_CR14"},{"unstructured":"International Electrotechnical Commission: Functional safety of electrical\/electronic\/ programmable electronic safety-related systems - part 0: Functional safety and iec 61508 (2005)","key":"11_CR15"},{"doi-asserted-by":"crossref","unstructured":"T\u00f6rner, F., Chen, D.J., Johansson, R., L\u00f6nn, H., T\u00f6rngren, M.: Supporting an automotive safety case through systematic model based development - the east-adl2 approach. In: SAE World Congress (2008), SAE paper number 2008-01-0127","key":"11_CR16","DOI":"10.4271\/2008-01-0127"}],"container-title":["Lecture Notes in Computer Science","Model-Based Engineering of Embedded Real-Time Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16277-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T18:13:58Z","timestamp":1740593638000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16277-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642162763","9783642162770"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16277-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}</enrichment>
    <enrichment key="local_crossrefDocumentType">book-chapter</enrichment>
    <enrichment key="local_crossrefLicence">http://www.springer.com/tdm</enrichment>
    <enrichment key="local_import_origin">crossref</enrichment>
    <enrichment key="local_doiImportPopulated">PersonAuthorFirstName_1,PersonAuthorLastName_1,PersonAuthorFirstName_2,PersonAuthorLastName_2,PersonAuthorFirstName_3,PersonAuthorLastName_3,PersonAuthorFirstName_4,PersonAuthorLastName_4,PersonAuthorFirstName_5,PersonAuthorLastName_5,PersonAuthorFirstName_6,PersonAuthorLastName_6,PersonAuthorFirstName_7,PersonAuthorLastName_7,PersonAuthorFirstName_8,PersonAuthorLastName_8,PersonAuthorFirstName_9,PersonAuthorLastName_9,PersonAuthorFirstName_10,PersonAuthorLastName_10,PersonAuthorFirstName_11,PersonAuthorLastName_11,PublisherName,PublisherPlace,TitleMain_1,TitleParent_1,PageNumber,PageFirst,PageLast,CompletedYear,IdentifierIsbn,IdentifierIssn,Enrichmentlocal_crossrefLicence</enrichment>
    <enrichment key="Reviewstatus">Begutachtet/Reviewed</enrichment>
    <enrichment key="opus.source">doi-import</enrichment>
    <enrichment key="opus.doi.autoCreate">false</enrichment>
    <enrichment key="opus.urn.autoCreate">false</enrichment>
    <author>Philippe Cuenot</author>
    <author>Patrick Frey</author>
    <author>Rolf Johansson</author>
    <author>Henrik Lönn</author>
    <author>Yiannis Papadopoulos</author>
    <author>Mark-Oliver Reiser</author>
    <author>Anders Sandberg</author>
    <author>David Servat</author>
    <author>Ramin Tavakoli Kolagari</author>
    <author>Martin Törngren</author>
    <author>Matthias Weber</author>
    <collection role="institutes" number="">Fakultät Informatik</collection>
  </doc>
</export-example>
