{"id":"https://openalex.org/W1930225646","doi":"https://doi.org/10.1007/978-3-540-73099-6_17","title":"Differential Dynamic Logic for Verifying Parametric Hybrid Systems","display_name":"Differential Dynamic Logic for Verifying Parametric Hybrid Systems","publication_year":2007,"publication_date":"2007-09-14","ids":{"openalex":"https://openalex.org/W1930225646","doi":"https://doi.org/10.1007/978-3-540-73099-6_17","mag":"1930225646"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-73099-6_17","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-73099-6_17","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","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://figshare.com/articles/Differential_Dynamic_Logic_for_Verifying_Parametric_Hybrid_Systems/6604841","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5080481427","display_name":"Andr\u00e9 Platzer","orcid":"https://orcid.org/0000-0001-7238-5710"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]},{"id":"https://openalex.org/I129877168","display_name":"Carl von Ossietzky Universit\u00e4t Oldenburg","ror":"https://ror.org/033n9gh91","country_code":"DE","type":"education","lineage":["https://openalex.org/I129877168"]}],"countries":["DE","US"],"is_corresponding":true,"raw_author_name":"Andr\u00e9 Platzer","raw_affiliation_strings":["University of Oldenburg, Department of Computing Science, Germany, Carnegie Mellon University, Computer Science Department, Pittsburgh, PA,","University of Oldenburg, Department of Computing Science, Germany, Carnegie Mellon University, Computer Science Department, Pittsburgh, PA,#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Oldenburg, Department of Computing Science, Germany, Carnegie Mellon University, Computer Science Department, Pittsburgh, PA,","institution_ids":["https://openalex.org/I129877168","https://openalex.org/I74973139"]},{"raw_affiliation_string":"University of Oldenburg, Department of Computing Science, Germany, Carnegie Mellon University, Computer Science Department, Pittsburgh, PA,#TAB#","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5080481427"],"corresponding_institution_ids":["https://openalex.org/I129877168","https://openalex.org/I74973139"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":5.4446,"has_fulltext":true,"cited_by_count":62,"citation_normalized_percentile":{"value":0.96893909,"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":"216","last_page":"232"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9983999729156494,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9970999956130981,"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/computer-science","display_name":"Computer science","score":0.6685916185379028},{"id":"https://openalex.org/keywords/sequent-calculus","display_name":"Sequent calculus","score":0.6646157503128052},{"id":"https://openalex.org/keywords/dynamic-logic","display_name":"Dynamic logic (digital electronics)","score":0.6341668367385864},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.5721763372421265},{"id":"https://openalex.org/keywords/quantifier-elimination","display_name":"Quantifier elimination","score":0.5577982664108276},{"id":"https://openalex.org/keywords/sequent","display_name":"Sequent","score":0.5503286719322205},{"id":"https://openalex.org/keywords/second-order-logic","display_name":"Second-order logic","score":0.5398324131965637},{"id":"https://openalex.org/keywords/proof-calculus","display_name":"Proof calculus","score":0.47001126408576965},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.46079808473587036},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.4110487699508667},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.39054369926452637},{"id":"https://openalex.org/keywords/higher-order-logic","display_name":"Higher-order logic","score":0.39028337597846985},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35793983936309814},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.329756498336792},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.26967427134513855},{"id":"https://openalex.org/keywords/natural-deduction","display_name":"Natural deduction","score":0.25721555948257446},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.20761463046073914}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6685916185379028},{"id":"https://openalex.org/C65880906","wikidata":"https://www.wikidata.org/wiki/Q1771121","display_name":"Sequent calculus","level":3,"score":0.6646157503128052},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.6341668367385864},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5721763372421265},{"id":"https://openalex.org/C32278780","wikidata":"https://www.wikidata.org/wiki/Q1849020","display_name":"Quantifier elimination","level":2,"score":0.5577982664108276},{"id":"https://openalex.org/C89421646","wikidata":"https://www.wikidata.org/wiki/Q843632","display_name":"Sequent","level":2,"score":0.5503286719322205},{"id":"https://openalex.org/C144791301","wikidata":"https://www.wikidata.org/wiki/Q1548746","display_name":"Second-order logic","level":4,"score":0.5398324131965637},{"id":"https://openalex.org/C6489637","wikidata":"https://www.wikidata.org/wiki/Q7250002","display_name":"Proof calculus","level":3,"score":0.47001126408576965},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.46079808473587036},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.4110487699508667},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.39054369926452637},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.39028337597846985},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35793983936309814},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.329756498336792},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.26967427134513855},{"id":"https://openalex.org/C62073222","wikidata":"https://www.wikidata.org/wiki/Q1572108","display_name":"Natural deduction","level":2,"score":0.25721555948257446},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.20761463046073914},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.0},{"id":"https://openalex.org/C172385210","wikidata":"https://www.wikidata.org/wiki/Q5339","display_name":"Transistor","level":3,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1007/978-3-540-73099-6_17","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-73099-6_17","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:figshare.com:article/6604841","is_oa":true,"landing_page_url":"https://figshare.com/articles/journal_contribution/Differential_Dynamic_Logic_for_Verifying_Parametric_Hybrid_Systems/6604841","pdf_url":"https://figshare.com/articles/Differential_Dynamic_Logic_for_Verifying_Parametric_Hybrid_Systems/6604841","source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"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":"Text"},{"id":"pmh:oai:repository.cmu.edu:compsci-2247","is_oa":false,"landing_page_url":"http://repository.cmu.edu/cgi/viewcontent.cgi?article=2247&context=compsci","pdf_url":null,"source":{"id":"https://openalex.org/S4306400668","display_name":"Research Showcase @ Carnegie Mellon University (Carnegie Mellon University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I74973139","host_organization_name":"Carnegie Mellon University","host_organization_lineage":["https://openalex.org/I74973139"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computer Science Department","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.160.1769","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.160.1769","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.avacs.org/Publikationen/Open/avacs_technical_report_015.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.645.6299","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.645.6299","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.69.8368","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.69.8368","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.functologic.com/pub/dL.pdf","raw_type":"text"},{"id":"doi:10.1184/r1/6604841.v1","is_oa":true,"landing_page_url":"https://doi.org/10.1184/r1/6604841.v1","pdf_url":null,"source":{"id":"https://openalex.org/S7407050927","display_name":"KiltHub Repository","issn_l":null,"issn":[],"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"pmh:oai:figshare.com:article/6604841","is_oa":true,"landing_page_url":"https://figshare.com/articles/journal_contribution/Differential_Dynamic_Logic_for_Verifying_Parametric_Hybrid_Systems/6604841","pdf_url":"https://figshare.com/articles/Differential_Dynamic_Logic_for_Verifying_Parametric_Hybrid_Systems/6604841","source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"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":"Text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1230235592","display_name":null,"funder_award_id":"SFB/TR 14 AVACS","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G3582310573","display_name":null,"funder_award_id":"AVACS","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G4064624828","display_name":null,"funder_award_id":"SFB/TR","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G5949215475","display_name":null,"funder_award_id":"SFB/TR 14","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G6052429835","display_name":null,"funder_award_id":"(DFG)","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320875","display_name":"Deutscher Akademischer Austauschdienst","ror":"https://ror.org/039djdh30"},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1930225646.pdf","grobid_xml":"https://content.openalex.org/works/W1930225646.grobid-xml"},"referenced_works_count":40,"referenced_works":["https://openalex.org/W44659885","https://openalex.org/W156110352","https://openalex.org/W1485584666","https://openalex.org/W1491037654","https://openalex.org/W1503474309","https://openalex.org/W1506722517","https://openalex.org/W1512712729","https://openalex.org/W1522694098","https://openalex.org/W1525967073","https://openalex.org/W1537084112","https://openalex.org/W1581792297","https://openalex.org/W1582811927","https://openalex.org/W1591345321","https://openalex.org/W1820785953","https://openalex.org/W1971616901","https://openalex.org/W2007074311","https://openalex.org/W2019474894","https://openalex.org/W2070013285","https://openalex.org/W2072328544","https://openalex.org/W2102251549","https://openalex.org/W2118721394","https://openalex.org/W2124778357","https://openalex.org/W2132638915","https://openalex.org/W2134180922","https://openalex.org/W2147340401","https://openalex.org/W2154128151","https://openalex.org/W2166802518","https://openalex.org/W2167668895","https://openalex.org/W2336123333","https://openalex.org/W2340735175","https://openalex.org/W2478072027","https://openalex.org/W2490640467","https://openalex.org/W2501364339","https://openalex.org/W2561675875","https://openalex.org/W2604845086","https://openalex.org/W2798401172","https://openalex.org/W2911432472","https://openalex.org/W2913459036","https://openalex.org/W4239007999","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1836554196","https://openalex.org/W162254089","https://openalex.org/W1492421865","https://openalex.org/W4295728898","https://openalex.org/W1484266479","https://openalex.org/W3090765541","https://openalex.org/W2006286500","https://openalex.org/W2112658881","https://openalex.org/W2198307418","https://openalex.org/W2435951483"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":8}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}