{"id":"https://openalex.org/W2954479669","doi":"https://doi.org/10.1007/978-3-030-17502-3","title":"Tools and Algorithms for the Construction and Analysis of Systems","display_name":"Tools and Algorithms for the Construction and Analysis of Systems","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2954479669","doi":"https://doi.org/10.1007/978-3-030-17502-3","mag":"2954479669"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-17502-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-17502-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-17502-3.pdf?pdf=button","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"},"type":"book","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-17502-3.pdf?pdf=button","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071340047","display_name":"Dirk Beyer","orcid":"https://orcid.org/0000-0003-4832-7662"},"institutions":[{"id":"https://openalex.org/I3018771216","display_name":"LMU Klinikum","ror":"https://ror.org/02jet3w32","country_code":"DE","type":"healthcare","lineage":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]},{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Dirk Beyer","raw_affiliation_strings":["LMU Munich, Munich, Germany","LMU - Ludwig Maximilian University [Munich] = Ludwig Maximilians Universit\u00e4t M\u00fcnchen (Professor-Huber-Platz 2, 80539 M\u00fcnchen, Allemagne - Germany)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LMU Munich, Munich, Germany","institution_ids":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]},{"raw_affiliation_string":"LMU - Ludwig Maximilian University [Munich] = Ludwig Maximilians Universit\u00e4t M\u00fcnchen (Professor-Huber-Platz 2, 80539 M\u00fcnchen, Allemagne - Germany)","institution_ids":["https://openalex.org/I8204097"]}]},{"author_position":"middle","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","Department of Applied Mathematics [Twente] (PO Box 217 7500 AE Enschede The Netherlands - Netherlands)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"Department of Applied Mathematics [Twente] (PO Box 217 7500 AE Enschede The Netherlands - Netherlands)","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039526664","display_name":"Fabrice Kordon","orcid":"https://orcid.org/0000-0002-5626-828X"},"institutions":[{"id":"https://openalex.org/I4210159731","display_name":"Laboratoire de Recherche en Informatique de Paris 6","ror":"https://ror.org/05krcen59","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210159245","https://openalex.org/I4210159731"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Fabrice Kordon","raw_affiliation_strings":["LIP6 - CNRS UMR, Paris, France","MoVe - Mod\u00e9lisation et V\u00e9rification (France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIP6 - CNRS UMR, Paris, France","institution_ids":["https://openalex.org/I4210159731","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"MoVe - Mod\u00e9lisation et V\u00e9rification (France)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078808456","display_name":"Bernhard Steffen","orcid":"https://orcid.org/0000-0001-9619-1558"},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Bernhard Steffen","raw_affiliation_strings":["TU Dortmund University, Dortmund, Germany","TU - Technische Universit\u00e4t Dortmund [Dortmund] (44221 Dortmund - Germany)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Dortmund University, Dortmund, Germany","institution_ids":["https://openalex.org/I200332995"]},{"raw_affiliation_string":"TU - Technische Universit\u00e4t Dortmund [Dortmund] (44221 Dortmund - Germany)","institution_ids":["https://openalex.org/I200332995"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5071340047"],"corresponding_institution_ids":["https://openalex.org/I3018771216","https://openalex.org/I8204097"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":2.0427,"has_fulltext":true,"cited_by_count":16,"citation_normalized_percentile":{"value":0.90073529,"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":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9997000098228455,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9997000098228455,"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.9983999729156494,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9879000186920166,"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.796100378036499},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.6859297156333923},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.5467261075973511},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5271477699279785},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08128419518470764}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.796100378036499},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.6859297156333923},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5467261075973511},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5271477699279785},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08128419518470764},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","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},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":8,"locations":[{"id":"doi:10.1007/978-3-030-17502-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-17502-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-17502-3.pdf?pdf=button","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"},{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/9c7d3b43-639c-4804-9161-ca0b4d209ade","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/9c7d3b43-639c-4804-9161-ca0b4d209ade","pdf_url":"https://ris.utwente.nl/ws/files/113165228/2019_Book_ToolsAndAlgorithmsForTheConstr.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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Beyer, D, Huisman, M, Kordon, F & Steffen, B (eds) 2019, Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III. Lecture Notes in Computer Science, vol. 11429, Springer. https://doi.org/10.1007/978-3-030-17502-3","raw_type":"info:eu-repo/semantics/book"},{"id":"pmh:oai:HAL:hal-02093532v1","is_oa":false,"landing_page_url":"https://hal.science/hal-02093532","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"11427, Springer, 2019, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-17502-3⟩","raw_type":"Proceedings"},{"id":"pmh:oai:HAL:hal-02133649v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-02133649","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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":"Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19), Part III: TOOLympics, Apr 2019, Prague, Czech Republic. pp.1-9, ⟨10.1007/978-3-030-17502-3⟩","raw_type":"Conference papers"},{"id":"pmh:oai:doab-books:43529","is_oa":true,"landing_page_url":"http://www.oapen.org/download/?type=document&docid=1006828","pdf_url":null,"source":{"id":"https://openalex.org/S4306400539","display_name":"Directory of Open access Books (OAPEN Foundation)","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":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"book"},{"id":"pmh:oai:pure.atira.dk:openaire/dbe8e26f-01dc-4484-903c-e366aad3ef88","is_oa":true,"landing_page_url":"https://vbn.aau.dk/da/publications/dbe8e26f-01dc-4484-903c-e366aad3ef88","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Vojnar, T, Zhang, L, Mikucionis, M, Grosu, R, Beyer, D, Lengal, O & Hahn, E M 2019, TACAS Preface. in Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6\u201311, 2019, Proceedings, Part III. vol. 11429 LNCS, Springer, Lecture Notes in Computer Science, vol. 11429, pp. vii-ix, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, 06/04/2019. https://doi.org/10.1007/978-3-030-17502-3","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:pure.atira.dk:publications/dbe8e26f-01dc-4484-903c-e366aad3ef88","is_oa":true,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=85064913419&partnerID=8YFLogxK","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Vojnar, T, Zhang, L, Mikucionis, M, Grosu, R, Beyer, D, Lengal, O & Hahn, E M 2019, TACAS Preface. in Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6\u201311, 2019, Proceedings, Part III. vol. 11429 LNCS, Springer, Lecture Notes in Computer Science, vol. 11429, pp. vii-ix, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, 06/04/2019. https://doi.org/10.1007/978-3-030-17502-3","raw_type":"contributionToPeriodical"},{"id":"pmh:ut:oai:ris.utwente.nl:publications/9c7d3b43-639c-4804-9161-ca0b4d209ade","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/tools-and-algorithms-for-the-construction-and-analysis-of-systems(9c7d3b43-639c-4804-9161-ca0b4d209ade).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/book"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-17502-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-17502-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-17502-3.pdf?pdf=button","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"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2197641028","display_name":null,"funder_award_id":"CRC 248","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G398350314","display_name":null,"funder_award_id":"639.021.754","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G4085403815","display_name":null,"funder_award_id":"DE-AC52-07NA27344","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4343739756","display_name":null,"funder_award_id":"Contract DE-AC52-07NA27344","funder_id":"https://openalex.org/F4320338286","funder_display_name":"Lawrence Livermore National Laboratory"},{"id":"https://openalex.org/G4844777956","display_name":null,"funder_award_id":"DE-AC52-07NA27344","funder_id":"https://openalex.org/F4320337547","funder_display_name":"Laboratory Directed Research and Development"},{"id":"https://openalex.org/G5329822564","display_name":null,"funder_award_id":"383882557","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G5801422158","display_name":null,"funder_award_id":"16KIS0656","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G5816449448","display_name":null,"funder_award_id":"DE-AC52-07NA27344","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G6441358257","display_name":null,"funder_award_id":"DE-AC52-07NA27344","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G6929368781","display_name":null,"funder_award_id":"SFB 912","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G69709960","display_name":null,"funder_award_id":"Contract DE-AC52-07NA27344","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G6979878578","display_name":null,"funder_award_id":"61761136011","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7023841084","display_name":null,"funder_award_id":"HO 2169/5-1","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G7468986614","display_name":null,"funder_award_id":"61532019","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7806955302","display_name":null,"funder_award_id":"DE-AC52-07NA27344","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8374966015","display_name":null,"funder_award_id":"AC52-07NA27344","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G890954746","display_name":null,"funder_award_id":"389792660","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G991281326","display_name":null,"funder_award_id":"AC52-07NA27344","funder_id":"https://openalex.org/F4320338286","funder_display_name":"Lawrence Livermore National Laboratory"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306084","display_name":"U.S. Department of Energy","ror":"https://ror.org/01bj3aw27"},{"id":"https://openalex.org/F4320308943","display_name":"Microsoft Research","ror":"https://ror.org/00d0nc645"},{"id":"https://openalex.org/F4320310598","display_name":"Amazon Web Services","ror":"https://ror.org/04mv4n011"},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320320940","display_name":"Stiftelsen f\u00f6r\u00a0Strategisk Forskning","ror":"https://ror.org/044wr7g58"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321114","display_name":"Bundesministerium f\u00fcr Bildung und Forschung","ror":"https://ror.org/04pz7b180"},{"id":"https://openalex.org/F4320321133","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35"},{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"},{"id":"https://openalex.org/F4320322581","display_name":"Vetenskapsr\u00e5det","ror":"https://ror.org/03zttf063"},{"id":"https://openalex.org/F4320323383","display_name":"Technische Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/02kkvpp62"},{"id":"https://openalex.org/F4320324232","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34"},{"id":"https://openalex.org/F4320324787","display_name":"Peking University","ror":"https://ror.org/02v51f717"},{"id":"https://openalex.org/F4320337547","display_name":"Laboratory Directed Research and Development","ror":"https://ror.org/01e41cf67"},{"id":"https://openalex.org/F4320338208","display_name":"International Graduate School of Science and Engineering","ror":null},{"id":"https://openalex.org/F4320338286","display_name":"Lawrence Livermore National Laboratory","ror":"https://ror.org/041nk4h53"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2954479669.pdf","grobid_xml":"https://content.openalex.org/works/W2954479669.grobid-xml"},"referenced_works_count":232,"referenced_works":["https://openalex.org/W70032344","https://openalex.org/W86290638","https://openalex.org/W95161029","https://openalex.org/W121297392","https://openalex.org/W122465024","https://openalex.org/W148448369","https://openalex.org/W165973852","https://openalex.org/W209133351","https://openalex.org/W241804591","https://openalex.org/W333239218","https://openalex.org/W346140615","https://openalex.org/W577336618","https://openalex.org/W657159919","https://openalex.org/W831708374","https://openalex.org/W1225649350","https://openalex.org/W1267783697","https://openalex.org/W1419314641","https://openalex.org/W1495368328","https://openalex.org/W1503168288","https://openalex.org/W1506927614","https://openalex.org/W1507281497","https://openalex.org/W1516143638","https://openalex.org/W1546727036","https://openalex.org/W1552961498","https://openalex.org/W1553511155","https://openalex.org/W1567531241","https://openalex.org/W1577404745","https://openalex.org/W1583487553","https://openalex.org/W1590315663","https://openalex.org/W1624142974","https://openalex.org/W1647861174","https://openalex.org/W1680814403","https://openalex.org/W1731278903","https://openalex.org/W1791042548","https://openalex.org/W1826019303","https://openalex.org/W1833403382","https://openalex.org/W1841862047","https://openalex.org/W1848718052","https://openalex.org/W1968199981","https://openalex.org/W1973506584","https://openalex.org/W1982849299","https://openalex.org/W1986072156","https://openalex.org/W1988651604","https://openalex.org/W1993129359","https://openalex.org/W1996748114","https://openalex.org/W1997221584","https://openalex.org/W2001932052","https://openalex.org/W2003992820","https://openalex.org/W2011858119","https://openalex.org/W2029138738","https://openalex.org/W2031825596","https://openalex.org/W2042924775","https://openalex.org/W2045255985","https://openalex.org/W2045280800","https://openalex.org/W2078988604","https://openalex.org/W2083505384","https://openalex.org/W2086631793","https://openalex.org/W2096370316","https://openalex.org/W2101512909","https://openalex.org/W2115051564","https://openalex.org/W2117247884","https://openalex.org/W2119929369","https://openalex.org/W2125872407","https://openalex.org/W2128466029","https://openalex.org/W2136177401","https://openalex.org/W2136514805","https://openalex.org/W2137374798","https://openalex.org/W2150010935","https://openalex.org/W2161253570","https://openalex.org/W2168096396","https://openalex.org/W2179309410","https://openalex.org/W2182283312","https://openalex.org/W2194993457","https://openalex.org/W2232378406","https://openalex.org/W2269587551","https://openalex.org/W2281538553","https://openalex.org/W2292992187","https://openalex.org/W2295513474","https://openalex.org/W2341060778","https://openalex.org/W2348183150","https://openalex.org/W2413590733","https://openalex.org/W2467636347","https://openalex.org/W2474562651","https://openalex.org/W2479369740","https://openalex.org/W2479985712","https://openalex.org/W2480140547","https://openalex.org/W2480534701","https://openalex.org/W2480628618","https://openalex.org/W2481945296","https://openalex.org/W2482333150","https://openalex.org/W2483771058","https://openalex.org/W2486364108","https://openalex.org/W2486916996","https://openalex.org/W2487685844","https://openalex.org/W2490045363","https://openalex.org/W2490811891","https://openalex.org/W2491982257","https://openalex.org/W2493261155","https://openalex.org/W2493854183","https://openalex.org/W2493922253","https://openalex.org/W2493946278","https://openalex.org/W2496039851","https://openalex.org/W2498950568","https://openalex.org/W2499075340","https://openalex.org/W2499905456","https://openalex.org/W2500131695","https://openalex.org/W2502779967","https://openalex.org/W2503469005","https://openalex.org/W2504209588","https://openalex.org/W2505714681","https://openalex.org/W2506212021","https://openalex.org/W2506347026","https://openalex.org/W2506452794","https://openalex.org/W2509328669","https://openalex.org/W2511045703","https://openalex.org/W2529085039","https://openalex.org/W2536541088","https://openalex.org/W2542671290","https://openalex.org/W2543538425","https://openalex.org/W2548985278","https://openalex.org/W2551309523","https://openalex.org/W2561310305","https://openalex.org/W2565255124","https://openalex.org/W2571737705","https://openalex.org/W2574017551","https://openalex.org/W2576671371","https://openalex.org/W2587316632","https://openalex.org/W2597472131","https://openalex.org/W2599362873","https://openalex.org/W2599611259","https://openalex.org/W2600771941","https://openalex.org/W2602627431","https://openalex.org/W2602639380","https://openalex.org/W2602709260","https://openalex.org/W2603044584","https://openalex.org/W2604025362","https://openalex.org/W2604968291","https://openalex.org/W2615768957","https://openalex.org/W2630264676","https://openalex.org/W2735532640","https://openalex.org/W2737435014","https://openalex.org/W2740442565","https://openalex.org/W2740463039","https://openalex.org/W2745943940","https://openalex.org/W2750879512","https://openalex.org/W2753530402","https://openalex.org/W2765527199","https://openalex.org/W2779220970","https://openalex.org/W2783845080","https://openalex.org/W2784656124","https://openalex.org/W2797196027","https://openalex.org/W2799100779","https://openalex.org/W2803369237","https://openalex.org/W2805419234","https://openalex.org/W2808095428","https://openalex.org/W2860545744","https://openalex.org/W2885746554","https://openalex.org/W2890569340","https://openalex.org/W2904982962","https://openalex.org/W2906157479","https://openalex.org/W2912178761","https://openalex.org/W2912720389","https://openalex.org/W2912782610","https://openalex.org/W2913717796","https://openalex.org/W2915402656","https://openalex.org/W2917906087","https://openalex.org/W2927368889","https://openalex.org/W2927858908","https://openalex.org/W2929483929","https://openalex.org/W2932603064","https://openalex.org/W2933041103","https://openalex.org/W2934127774","https://openalex.org/W2934813222","https://openalex.org/W2935191403","https://openalex.org/W2935442691","https://openalex.org/W2942066171","https://openalex.org/W2945700340","https://openalex.org/W2951009962","https://openalex.org/W2954479669","https://openalex.org/W3024282833","https://openalex.org/W3104827919","https://openalex.org/W3142159695","https://openalex.org/W3144452372","https://openalex.org/W3150926507","https://openalex.org/W3162067122","https://openalex.org/W3211825105","https://openalex.org/W4205914269","https://openalex.org/W4205962651","https://openalex.org/W4206398538","https://openalex.org/W4230290951","https://openalex.org/W4230569261","https://openalex.org/W4230919050","https://openalex.org/W4234001087","https://openalex.org/W4236606692","https://openalex.org/W4237602468","https://openalex.org/W4238728835","https://openalex.org/W4239921445","https://openalex.org/W4242396713","https://openalex.org/W4246020801","https://openalex.org/W4246708745","https://openalex.org/W4247116705","https://openalex.org/W4249583580","https://openalex.org/W4250413609","https://openalex.org/W4250846042","https://openalex.org/W4252720559","https://openalex.org/W4287901611","https://openalex.org/W4288832657","https://openalex.org/W4299694611","https://openalex.org/W4300004495","https://openalex.org/W4301155284","https://openalex.org/W4302065831","https://openalex.org/W4302155065","https://openalex.org/W4381304672","https://openalex.org/W4391285994","https://openalex.org/W4393911060","https://openalex.org/W4399112402","https://openalex.org/W6637251723","https://openalex.org/W6646812344","https://openalex.org/W6679306360","https://openalex.org/W6679307086","https://openalex.org/W6737694244","https://openalex.org/W6741020195","https://openalex.org/W6757246699","https://openalex.org/W6761040689","https://openalex.org/W6777087870","https://openalex.org/W6821414442","https://openalex.org/W6837197614","https://openalex.org/W6928752356","https://openalex.org/W6940520746","https://openalex.org/W6940585492","https://openalex.org/W6978208847","https://openalex.org/W7071626199"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109"],"abstract_inverted_index":{"The":[0],"TACAS":[1],"2019":[2],"open":[3],"access":[4],"proceedings":[5],"book":[6],"is":[7],"focusing":[8],"on":[9],"rigorously":[10],"based":[11],"tools":[12,32],"and":[13,18,29,33],"algorithms":[14,34],"for":[15,35],"the":[16,25],"construction":[17],"analysis":[19],"of":[20,31],"systems":[21],"aiming":[22],"to":[23],"improve":[24],"utility,":[26],"reliability,":[27],"flexibility,":[28],"efficiency":[30],"buliding":[36],"systems.":[37]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":9},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3}],"updated_date":"2026-05-18T08:16:58.900851","created_date":"2019-07-12T00:00:00"}