{"id":"https://openalex.org/W4366450296","doi":"https://doi.org/10.1007/978-3-031-30826-0_2","title":"A Modeling Concept for Formal Verification of OS-Based Compositional Software","display_name":"A Modeling Concept for Formal Verification of OS-Based Compositional Software","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4366450296","doi":"https://doi.org/10.1007/978-3-031-30826-0_2"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-30826-0_2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30826-0_2","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30826-0_2.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30826-0_2.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059784580","display_name":"Leandro Batista Ribeiro","orcid":"https://orcid.org/0000-0002-1294-1524"},"institutions":[{"id":"https://openalex.org/I4092182","display_name":"Graz University of Technology","ror":"https://ror.org/00d7xrm67","country_code":"AT","type":"education","lineage":["https://openalex.org/I4092182"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Leandro Batista Ribeiro","raw_affiliation_strings":["Graz University of Technology, Graz, Austria"],"affiliations":[{"raw_affiliation_string":"Graz University of Technology, Graz, Austria","institution_ids":["https://openalex.org/I4092182"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054433534","display_name":"Florian Lorber","orcid":"https://orcid.org/0009-0006-2387-2778"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Florian Lorber","raw_affiliation_strings":["Aalborg University, Aalborg, Denmark"],"affiliations":[{"raw_affiliation_string":"Aalborg University, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090034962","display_name":"Ulrik Nyman","orcid":"https://orcid.org/0000-0001-6430-540X"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Ulrik Nyman","raw_affiliation_strings":["Aalborg University, Aalborg, Denmark"],"affiliations":[{"raw_affiliation_string":"Aalborg University, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069362159","display_name":"Kim G. Larsen","orcid":"https://orcid.org/0000-0002-5953-3384"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Kim Guldstrand Larsen","raw_affiliation_strings":["Aalborg University, Aalborg, Denmark"],"affiliations":[{"raw_affiliation_string":"Aalborg University, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072094059","display_name":"Marcel Baunach","orcid":"https://orcid.org/0000-0002-3716-2682"},"institutions":[{"id":"https://openalex.org/I4092182","display_name":"Graz University of Technology","ror":"https://ror.org/00d7xrm67","country_code":"AT","type":"education","lineage":["https://openalex.org/I4092182"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Marcel Baunach","raw_affiliation_strings":["Graz University of Technology, Graz, Austria"],"affiliations":[{"raw_affiliation_string":"Graz University of Technology, Graz, Austria","institution_ids":["https://openalex.org/I4092182"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5059784580"],"corresponding_institution_ids":["https://openalex.org/I4092182"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":4.296,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.94942704,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"26","last_page":"46"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9954000115394592,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.857469916343689},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6007829904556274},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5873792171478271},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5844236016273499},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.583276629447937},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.47199466824531555},{"id":"https://openalex.org/keywords/verification","display_name":"Verification","score":0.4349368214607239},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.42300522327423096},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"Verification and validation","score":0.4176172912120819},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4130033552646637},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.390083909034729},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.30731457471847534},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.26271143555641174}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.857469916343689},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6007829904556274},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5873792171478271},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5844236016273499},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.583276629447937},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.47199466824531555},{"id":"https://openalex.org/C142284323","wikidata":"https://www.wikidata.org/wiki/Q7921323","display_name":"Verification","level":5,"score":0.4349368214607239},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.42300522327423096},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.4176172912120819},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4130033552646637},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.390083909034729},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.30731457471847534},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.26271143555641174},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-031-30826-0_2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30826-0_2","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30826-0_2.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.atira.dk:openaire/20ba2dc4-9308-431b-90aa-af57e45368b1","is_oa":true,"landing_page_url":"https://vbn.aau.dk/da/publications/20ba2dc4-9308-431b-90aa-af57e45368b1","pdf_url":null,"source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Ribeiro, L B, Lorber, F, Nyman, U, Larsen, K G & Baunach, M 2023, A Modeling Concept for Formal Verification of OS-Based Compositional Software. in L Lambers, S Uchitel & S Uchitel (eds), 26th International Conference (FASE 2023) : Fundamental Approaches to Software Engineering, Proceedings. Springer, Lecture Notes in Computer Science, vol. 13991 LNCS, pp. 26-46, 26th International Conference on Fundamental Approaches to Software Engineering, FASE 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, 22/04/2023. https://doi.org/10.1007/978-3-031-30826-0_2","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-30826-0_2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30826-0_2","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30826-0_2.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/8","score":0.46000000834465027,"display_name":"Decent work and economic growth"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4366450296.pdf"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W1579437898","https://openalex.org/W1606177908","https://openalex.org/W1962072139","https://openalex.org/W2000947342","https://openalex.org/W2051536083","https://openalex.org/W2127159302","https://openalex.org/W2130427425","https://openalex.org/W2136310957","https://openalex.org/W2150377894","https://openalex.org/W2154321080","https://openalex.org/W2555067925","https://openalex.org/W2761236351","https://openalex.org/W2768897767","https://openalex.org/W2799773339","https://openalex.org/W2804324442","https://openalex.org/W2951779680","https://openalex.org/W3042060228","https://openalex.org/W3092162653","https://openalex.org/W3099610013","https://openalex.org/W3100966138","https://openalex.org/W3130687998","https://openalex.org/W3139619551","https://openalex.org/W3157695123","https://openalex.org/W4244819751","https://openalex.org/W4298447450"],"related_works":["https://openalex.org/W3211062188","https://openalex.org/W2343496192","https://openalex.org/W4307177191","https://openalex.org/W3171879404","https://openalex.org/W2487050754","https://openalex.org/W2291120548","https://openalex.org/W1693422805","https://openalex.org/W3084925267","https://openalex.org/W1497560829","https://openalex.org/W163452052"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-03-06T13:50:29.536080","created_date":"2025-10-10T00:00:00"}