{"id":"https://openalex.org/W1493300555","doi":"https://doi.org/10.1007/978-3-642-39799-8_69","title":"Multi-core Emptiness Checking of Timed B\u00fcchi Automata Using Inclusion Abstraction","display_name":"Multi-core Emptiness Checking of Timed B\u00fcchi Automata Using Inclusion Abstraction","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W1493300555","doi":"https://doi.org/10.1007/978-3-642-39799-8_69","mag":"1493300555"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-39799-8_69","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-39799-8_69","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://vbn.aau.dk/da/publications/63e14668-e22d-49be-83e2-39a41252e8b2","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5018667026","display_name":"Alfons Laarman","orcid":"https://orcid.org/0000-0002-2433-4174"},"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":"Alfons Laarman","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043073096","display_name":"Mads Chr. Olesen","orcid":"https://orcid.org/0000-0002-3733-0500"},"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":"Mads Chr. Olesen","raw_affiliation_strings":["Department of Computer Science, Aalborg University, Denmark"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Aalborg University, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103728564","display_name":"Andreas Engelbredt Dalsgaard","orcid":null},"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":"Andreas Engelbredt Dalsgaard","raw_affiliation_strings":["Department of Computer Science, Aalborg University, Denmark"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Aalborg University, 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":["Department of Computer Science, Aalborg University, Denmark"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Aalborg University, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012697499","display_name":"Jaco van de Pol","orcid":"https://orcid.org/0000-0003-4305-0625"},"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":"Jaco van de Pol","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5018667026"],"corresponding_institution_ids":["https://openalex.org/I94624287"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":6.1271,"has_fulltext":true,"cited_by_count":36,"citation_normalized_percentile":{"value":0.96581028,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"968","last_page":"983"},"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9962999820709229,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9958999752998352,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/emptiness","display_name":"Emptiness","score":0.9183245897293091},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8466552495956421},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.7370551824569702},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.7151293754577637},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.5388100147247314},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5352253317832947},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4554228186607361},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3305094242095947},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.06362351775169373}],"concepts":[{"id":"https://openalex.org/C2779150620","wikidata":"https://www.wikidata.org/wiki/Q1096367","display_name":"Emptiness","level":2,"score":0.9183245897293091},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8466552495956421},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7370551824569702},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.7151293754577637},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.5388100147247314},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5352253317832947},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4554228186607361},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3305094242095947},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.06362351775169373},{"id":"https://openalex.org/C27206212","wikidata":"https://www.wikidata.org/wiki/Q34178","display_name":"Theology","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-642-39799-8_69","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-39799-8_69","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/63e14668-e22d-49be-83e2-39a41252e8b2","is_oa":true,"landing_page_url":"https://vbn.aau.dk/da/publications/63e14668-e22d-49be-83e2-39a41252e8b2","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Laarman, A, Olesen, M C, Dalsgaard, A, Larsen, K G & Pol, J V D 2013, Multi-Core Emptiness Checking of Timed B\u00fcchi Automata using Inclusion Abstraction. in Proceedings of the 25th International Conference on Computer Aided Verification (CAV). vol. 8044, Springer Publishing Company, Lecture Notes in Computer Science, vol. 8044, pp. 968-983, 25th International Concerence on Computer Aided Verification, Saint Petersburg, Russian Federation, 13/07/2013. https://doi.org/10.1007/978-3-642-39799-8_69","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/4ec02d4b-c500-4134-9c7f-36c9407c8de0","is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/4ec02d4b-c500-4134-9c7f-36c9407c8de0","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Laarman, A, Olesen, M C, Dalsgaard, A E, Larsen, K G & van de Pol, J 2013, Multi-core emptiness checking of timed B\u00fcchi automata using inclusion abstraction. in N Sharygina & H Veith (eds), Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Lecture Notes in Computer Science, vol. 8044, Springer, Berlin, Heidelberg, pp. 968-983, 25th International Conference on Computer Aided Verification, CAV 2013, Saint Petersburg, Russian Federation, 13/07/13. https://doi.org/10.1007/978-3-642-39799-8_69","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.704.2307","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.704.2307","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://people.cs.aau.dk/%7Emchro/papers/MultiCoreEmptinessCheckingofTimedBuchiAutomatausingInclusionAbstraction.pdf","raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:publications/63e14668-e22d-49be-83e2-39a41252e8b2","is_oa":true,"landing_page_url":"https://vbn.aau.dk/da/publications/63e14668-e22d-49be-83e2-39a41252e8b2","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Laarman, A, Olesen, M C, Dalsgaard, A, Larsen, K G & Pol, J V D 2013, Multi-Core Emptiness Checking of Timed B\u00fcchi Automata using Inclusion Abstraction. in Proceedings of the 25th International Conference on Computer Aided Verification (CAV). vol. 8044, Springer Publishing Company, Lecture Notes in Computer Science, vol. 8044, pp. 968-983, 25th International Concerence on Computer Aided Verification, Saint Petersburg, Russian Federation, 13/07/2013. https://doi.org/10.1007/978-3-642-39799-8_69","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.7599999904632568,"display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W36240330","https://openalex.org/W42364276","https://openalex.org/W79592313","https://openalex.org/W125598877","https://openalex.org/W1482233117","https://openalex.org/W1498432697","https://openalex.org/W1508631477","https://openalex.org/W1514827953","https://openalex.org/W1544607874","https://openalex.org/W1556566737","https://openalex.org/W1569203277","https://openalex.org/W1629693692","https://openalex.org/W1635966657","https://openalex.org/W1819818805","https://openalex.org/W1842017652","https://openalex.org/W1850929791","https://openalex.org/W1962072139","https://openalex.org/W1964976168","https://openalex.org/W1977553951","https://openalex.org/W2000947342","https://openalex.org/W2007490191","https://openalex.org/W2012935476","https://openalex.org/W2019881090","https://openalex.org/W2039834448","https://openalex.org/W2059970075","https://openalex.org/W2100271265","https://openalex.org/W2101508170","https://openalex.org/W2119646872","https://openalex.org/W2133057837","https://openalex.org/W2136877520","https://openalex.org/W2139796094","https://openalex.org/W2147895351","https://openalex.org/W2162181585","https://openalex.org/W2166801043","https://openalex.org/W2287508180","https://openalex.org/W3150433629","https://openalex.org/W4246679293","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2024521168","https://openalex.org/W2367752232","https://openalex.org/W2946506817","https://openalex.org/W3121073237","https://openalex.org/W4386642012","https://openalex.org/W4404421275","https://openalex.org/W2904964998","https://openalex.org/W2912897424","https://openalex.org/W2323781932","https://openalex.org/W4280582564"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":9},{"year":2013,"cited_by_count":2}],"updated_date":"2026-04-16T08:26:57.006410","created_date":"2025-10-10T00:00:00"}