{"id":"https://openalex.org/W4386528840","doi":"https://doi.org/10.1007/978-3-031-40436-8_11","title":"Assume-Guarantee Reasoning for\u00a0Additive Hybrid Behaviour","display_name":"Assume-Guarantee Reasoning for\u00a0Additive Hybrid Behaviour","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4386528840","doi":"https://doi.org/10.1007/978-3-031-40436-8_11"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-40436-8_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-40436-8_11","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033505407","display_name":"Pjl Pieter Cuijpers","orcid":"https://orcid.org/0000-0002-5487-4972"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]},{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Pieter J. L. Cuijpers","raw_affiliation_strings":["Radboud Universiteit, Nijmegen, The Netherlands","Technische Universiteit Eindhoven, Eindhoven, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Radboud Universiteit, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"Technische Universiteit Eindhoven, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058714574","display_name":"Jonas Hansen","orcid":"https://orcid.org/0000-0003-3612-4139"},"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":true,"raw_author_name":"Jonas Hansen","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/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 G. Larsen","raw_affiliation_strings":["Aalborg University, Aalborg, Denmark"],"affiliations":[{"raw_affiliation_string":"Aalborg University, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5058714574"],"corresponding_institution_ids":["https://openalex.org/I891191580"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":2.0098,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.86623012,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"297","last_page":"322"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9937000274658203,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9933000206947327,"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/computer-science","display_name":"Computer science","score":0.7964962720870972},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.7824597954750061},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.6547289490699768},{"id":"https://openalex.org/keywords/congruence","display_name":"Congruence (geometry)","score":0.5802798271179199},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5589407086372375},{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.4902065396308899},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.45423030853271484},{"id":"https://openalex.org/keywords/hybrid-automaton","display_name":"Hybrid automaton","score":0.4223005771636963},{"id":"https://openalex.org/keywords/composition-operator","display_name":"Composition operator","score":0.41895899176597595},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19966283440589905},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.19403696060180664},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15631252527236938},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.09065631031990051}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7964962720870972},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7824597954750061},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.6547289490699768},{"id":"https://openalex.org/C132074034","wikidata":"https://www.wikidata.org/wiki/Q154210","display_name":"Congruence (geometry)","level":2,"score":0.5802798271179199},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5589407086372375},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.4902065396308899},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.45423030853271484},{"id":"https://openalex.org/C2776028153","wikidata":"https://www.wikidata.org/wiki/Q5953179","display_name":"Hybrid automaton","level":3,"score":0.4223005771636963},{"id":"https://openalex.org/C21513729","wikidata":"https://www.wikidata.org/wiki/Q5156798","display_name":"Composition operator","level":4,"score":0.41895899176597595},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19966283440589905},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.19403696060180664},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15631252527236938},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.09065631031990051},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C79013869","wikidata":"https://www.wikidata.org/wiki/Q1780743","display_name":"Compact operator","level":3,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/978-3-031-40436-8_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-40436-8_11","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:pure.atira.dk:publications/e11c0a49-f92e-49b6-a1f8-94206a6ef69f","is_oa":false,"landing_page_url":"https://vbn.aau.dk/da/publications/e11c0a49-f92e-49b6-a1f8-94206a6ef69f","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Cuijpers, P J L, Hansen, J & Larsen, K G 2023, Assume-Guarantee Reasoning for Additive Hybrid Behaviour. in J P Bowen, Q Li & Q Xu (eds), Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. 1 edn, vol. 14080, Springer, Lecture Notes in Computer Science, pp. 297-322. https://doi.org/10.1007/978-3-031-40436-8_11","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/8c235b5b-c5da-4ead-bc65-1616f4418eee","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/8c235b5b-c5da-4ead-bc65-1616f4418eee","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Cuijpers, P J L, Hansen, J & Larsen, K G 2023, Assume-Guarantee Reasoning for\u00a0Additive Hybrid Behaviour. in J P Bowen, Q Li & Q Xu (eds), Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14080 LNCS, Springer, pp. 297-322. https://doi.org/10.1007/978-3-031-40436-8_11","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.tue.nl:publications/8c235b5b-c5da-4ead-bc65-1616f4418eee","is_oa":false,"landing_page_url":"https://www.scopus.com/pages/publications/85171990436","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Cuijpers, P J L, Hansen, J & Larsen, K G 2023, Assume-Guarantee Reasoning for\u00a0Additive Hybrid Behaviour. in J P Bowen, Q Li & Q Xu (eds), Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14080 LNCS, Springer, pp. 297-322. https://doi.org/10.1007/978-3-031-40436-8_11","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/297175","is_oa":false,"landing_page_url":"https://hdl.handle.net/2066/297175","pdf_url":null,"source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Part of book or chapter of book"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W1541691471","https://openalex.org/W1560127922","https://openalex.org/W1582882984","https://openalex.org/W1584905895","https://openalex.org/W1776738182","https://openalex.org/W1844974994","https://openalex.org/W1865562238","https://openalex.org/W1964727056","https://openalex.org/W1972316716","https://openalex.org/W2000890456","https://openalex.org/W2004306968","https://openalex.org/W2015678302","https://openalex.org/W2023808162","https://openalex.org/W2029795923","https://openalex.org/W2101508170","https://openalex.org/W2122984931","https://openalex.org/W2130664212","https://openalex.org/W2137865376","https://openalex.org/W2144609998","https://openalex.org/W2148106163","https://openalex.org/W2152198540","https://openalex.org/W2156314014","https://openalex.org/W2158942489","https://openalex.org/W2163008980","https://openalex.org/W2166423024","https://openalex.org/W2205337852","https://openalex.org/W2253126574","https://openalex.org/W2293287097","https://openalex.org/W2296303324","https://openalex.org/W2798491932","https://openalex.org/W2914011863","https://openalex.org/W3189981105","https://openalex.org/W4205178436","https://openalex.org/W4237801927","https://openalex.org/W4283274723","https://openalex.org/W6601087228"],"related_works":["https://openalex.org/W1495105673","https://openalex.org/W2025792734","https://openalex.org/W2020061635","https://openalex.org/W1524267824","https://openalex.org/W1905380539","https://openalex.org/W1968401573","https://openalex.org/W42165","https://openalex.org/W2095644384","https://openalex.org/W2047013661","https://openalex.org/W71055736"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-01-21T23:30:37.877113","created_date":"2025-10-10T00:00:00"}