{"id":"https://openalex.org/W4390410355","doi":"https://doi.org/10.1007/978-3-031-50521-8_9","title":"Deductive Verification of\u00a0Parameterized Embedded Systems Modeled in\u00a0SystemC","display_name":"Deductive Verification of\u00a0Parameterized Embedded Systems Modeled in\u00a0SystemC","publication_year":2023,"publication_date":"2023-12-29","ids":{"openalex":"https://openalex.org/W4390410355","doi":"https://doi.org/10.1007/978-3-031-50521-8_9"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-50521-8_9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-50521-8_9","pdf_url":null,"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":null,"license_id":null,"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":"green","oa_url":"https://ris.utwente.nl/ws/files/349426081/978-3-031-50521-8.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5092026607","display_name":"Philip Tasche","orcid":"https://orcid.org/0000-0003-1518-4079"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Philip Tasche","raw_affiliation_strings":["University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027069142","display_name":"Ra\u00fal E. Monti","orcid":"https://orcid.org/0000-0002-6964-1426"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Ra\u00fal E. Monti","raw_affiliation_strings":["University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5093613096","display_name":"Stefanie Eva Drerup","orcid":"https://orcid.org/0009-0001-2647-9617"},"institutions":[{"id":"https://openalex.org/I22465464","display_name":"University of M\u00fcnster","ror":"https://ror.org/00pd74e08","country_code":"DE","type":"education","lineage":["https://openalex.org/I22465464"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Stefanie Eva Drerup","raw_affiliation_strings":["University of M\u00fcnster, M\u00fcnster, Germany"],"affiliations":[{"raw_affiliation_string":"University of M\u00fcnster, M\u00fcnster, Germany","institution_ids":["https://openalex.org/I22465464"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5093446925","display_name":"Pauline Blohm","orcid":"https://orcid.org/0000-0001-8934-1861"},"institutions":[{"id":"https://openalex.org/I22465464","display_name":"University of M\u00fcnster","ror":"https://ror.org/00pd74e08","country_code":"DE","type":"education","lineage":["https://openalex.org/I22465464"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Pauline Blohm","raw_affiliation_strings":["University of M\u00fcnster, M\u00fcnster, Germany"],"affiliations":[{"raw_affiliation_string":"University of M\u00fcnster, M\u00fcnster, Germany","institution_ids":["https://openalex.org/I22465464"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041878881","display_name":"Paula Herber","orcid":"https://orcid.org/0000-0002-5349-154X"},"institutions":[{"id":"https://openalex.org/I22465464","display_name":"University of M\u00fcnster","ror":"https://ror.org/00pd74e08","country_code":"DE","type":"education","lineage":["https://openalex.org/I22465464"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Paula Herber","raw_affiliation_strings":["University of M\u00fcnster, M\u00fcnster, Germany"],"affiliations":[{"raw_affiliation_string":"University of M\u00fcnster, M\u00fcnster, Germany","institution_ids":["https://openalex.org/I22465464"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045181048","display_name":"Marieke Huisman","orcid":"https://orcid.org/0000-0003-4467-072X"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Marieke Huisman","raw_affiliation_strings":["University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5092026607"],"corresponding_institution_ids":["https://openalex.org/I94624287"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":5.9776,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.96876169,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"187","last_page":"209"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9983000159263611,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9957000017166138,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/systemc","display_name":"SystemC","score":0.8985261917114258},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8839634656906128},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.6411369442939758},{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.6261299848556519},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6139618754386902},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.47226133942604065},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.4644259214401245},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3590019941329956},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.32844066619873047},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.1995418667793274}],"concepts":[{"id":"https://openalex.org/C2776928060","wikidata":"https://www.wikidata.org/wiki/Q1753563","display_name":"SystemC","level":2,"score":0.8985261917114258},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8839634656906128},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6411369442939758},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.6261299848556519},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6139618754386902},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.47226133942604065},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.4644259214401245},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3590019941329956},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.32844066619873047},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1995418667793274}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-031-50521-8_9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-50521-8_9","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:ris.utwente.nl:publications/e0e04d94-0b23-430c-9924-2f1319f2f683","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/e0e04d94-0b23-430c-9924-2f1319f2f683","pdf_url":"https://ris.utwente.nl/ws/files/349426081/978-3-031-50521-8.pdf","source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Tasche, P, Monti, R E, Drerup, S E, Blohm, P, Herber, P & Huisman, M 2024, Deductive Verification of\u00a0Parameterized Embedded Systems Modeled in\u00a0SystemC. in R Dimitrova, O Lahav & S Wolff (eds), Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024 London, United Kingdom, January 15\u201316, 2024 Proceedings, Part II. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14500 LNCS, Springer, pp. 187-209, 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, London, United Kingdom, 15/01/24. https://doi.org/10.1007/978-3-031-50521-8_9","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:ris.utwente.nl:publications/e0e04d94-0b23-430c-9924-2f1319f2f683","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/e0e04d94-0b23-430c-9924-2f1319f2f683","pdf_url":"https://ris.utwente.nl/ws/files/349426081/978-3-031-50521-8.pdf","source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Tasche, P, Monti, R E, Drerup, S E, Blohm, P, Herber, P & Huisman, M 2024, Deductive Verification of\u00a0Parameterized Embedded Systems Modeled in\u00a0SystemC. in R Dimitrova, O Lahav & S Wolff (eds), Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024 London, United Kingdom, January 15\u201316, 2024 Proceedings, Part II. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14500 LNCS, Springer, pp. 187-209, 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, London, United Kingdom, 15/01/24. https://doi.org/10.1007/978-3-031-50521-8_9","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"score":0.5,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4390410355.pdf"},"referenced_works_count":41,"referenced_works":["https://openalex.org/W34269752","https://openalex.org/W77471018","https://openalex.org/W1517193549","https://openalex.org/W1574577245","https://openalex.org/W1959882242","https://openalex.org/W1962072139","https://openalex.org/W2002446960","https://openalex.org/W2055424026","https://openalex.org/W2071017427","https://openalex.org/W2072922398","https://openalex.org/W2076600865","https://openalex.org/W2100889455","https://openalex.org/W2107515421","https://openalex.org/W2117958841","https://openalex.org/W2119925465","https://openalex.org/W2132761501","https://openalex.org/W2138106527","https://openalex.org/W2154206750","https://openalex.org/W2161253570","https://openalex.org/W2165165828","https://openalex.org/W2169490784","https://openalex.org/W2171573750","https://openalex.org/W2172648107","https://openalex.org/W2295244175","https://openalex.org/W2531335688","https://openalex.org/W2746792245","https://openalex.org/W2798542572","https://openalex.org/W2808548211","https://openalex.org/W2999161693","https://openalex.org/W3022762686","https://openalex.org/W3126262779","https://openalex.org/W3127332315","https://openalex.org/W3149451953","https://openalex.org/W3172631514","https://openalex.org/W3214693221","https://openalex.org/W4235316443","https://openalex.org/W4242057943","https://openalex.org/W4247806563","https://openalex.org/W4253774880","https://openalex.org/W4256186103","https://openalex.org/W6929099685"],"related_works":["https://openalex.org/W2166358658","https://openalex.org/W2056893153","https://openalex.org/W2028386630","https://openalex.org/W3172631514","https://openalex.org/W2012039880","https://openalex.org/W2204090679","https://openalex.org/W2105593427","https://openalex.org/W3120172095","https://openalex.org/W2118572231","https://openalex.org/W2226016578"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":4}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}