{"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)"],"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)"],"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)"],"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)"],"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.0439,"has_fulltext":true,"cited_by_count":16,"citation_normalized_percentile":{"value":0.90083945,"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/S4406922398","display_name":"SPIRE - Sciences Po Institutional REpository","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":"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/G1121271761","display_name":null,"funder_award_id":"Program","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1231421488","display_name":null,"funder_award_id":"under","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1494814522","display_name":null,"funder_award_id":"DE_AC52-07NA27344","funder_id":"https://openalex.org/F4320338286","funder_display_name":"Lawrence Livermore National Laboratory"},{"id":"https://openalex.org/G1783795302","display_name":null,"funder_award_id":"Project","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"},{"id":"https://openalex.org/G2060274946","display_name":null,"funder_award_id":"HAEC)","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G2087396116","display_name":null,"funder_award_id":"China","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"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/G2917824471","display_name":null,"funder_award_id":"DE-AC52-07NA2734","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G3317480652","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3391580208","display_name":null,"funder_award_id":"DE-AC52-07NA2","funder_id":"https://openalex.org/F4320338286","funder_display_name":"Lawrence Livermore National Laboratory"},{"id":"https://openalex.org/G3525752471","display_name":null,"funder_award_id":"617611360","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G391238517","display_name":null,"funder_award_id":", and","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"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/G4020255992","display_name":null,"funder_award_id":"Project","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4077431583","display_name":null,"funder_award_id":"SFB 91","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"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/G4711444667","display_name":null,"funder_award_id":"DE-AC52-07NA2734","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"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/G5125477408","display_name":null,"funder_award_id":"IGSSE","funder_id":"https://openalex.org/F4320323383","funder_display_name":"Technische Universit\u00e4t M\u00fcnchen"},{"id":"https://openalex.org/G5167091242","display_name":null,"funder_award_id":"No. 1","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5168466499","display_name":null,"funder_award_id":"Project","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G5195572796","display_name":null,"funder_award_id":"17611","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"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/G5365867299","display_name":null,"funder_award_id":"Grant","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G5398132153","display_name":null,"funder_award_id":"DFG grant","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G5522089832","display_name":null,"funder_award_id":"DE-AC52-07NA27344","funder_id":"https://openalex.org/F4320338286","funder_display_name":"Lawrence Livermore National Laboratory"},{"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/G5956271155","display_name":null,"funder_award_id":"1761136","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5964142490","display_name":null,"funder_award_id":"E-AC52-07NA27344","funder_id":"https://openalex.org/F4320338286","funder_display_name":"Lawrence Livermore National Laboratory"},{"id":"https://openalex.org/G5994120800","display_name":null,"funder_award_id":"Natural","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6009445997","display_name":null,"funder_award_id":"unknown","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G6020043373","display_name":null,"funder_award_id":"DE-AC52-07NA2734","funder_id":"https://openalex.org/F4320338286","funder_display_name":"Lawrence Livermore National Laboratory"},{"id":"https://openalex.org/G623747552","display_name":null,"funder_award_id":"CISPA","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G6258415954","display_name":null,"funder_award_id":"Chinese","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"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/G66964363","display_name":null,"funder_award_id":"IGSSE","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G6809183074","display_name":null,"funder_award_id":"Project No.","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"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/G7028480741","display_name":null,"funder_award_id":"SFB 912 (HAEC)","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G7033253288","display_name":null,"funder_award_id":"Grants","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7225624288","display_name":null,"funder_award_id":"This work was","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G7457441254","display_name":null,"funder_award_id":"61761136","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"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/G762232396","display_name":null,"funder_award_id":"Project","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G7676711446","display_name":null,"funder_award_id":"LLNL-LDRD Program","funder_id":"https://openalex.org/F4320338286","funder_display_name":"Lawrence Livermore National Laboratory"},{"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/G8080935424","display_name":null,"funder_award_id":"unknown","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"},{"id":"https://openalex.org/G8208342437","display_name":null,"funder_award_id":"1 and","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"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/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8535204681","display_name":"N/A","funder_award_id":"6113601","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8658770765","display_name":null,"funder_award_id":"DE-AC52-07NA27","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":{"grobid_xml":true,"pdf":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-04-20T07:46:08.049788","created_date":"2019-07-12T00:00:00"}