{"id":"https://openalex.org/W2086673120","doi":"https://doi.org/10.1007/s10703-012-0177-x","title":"Model checking for probabilistic timed automata","display_name":"Model checking for probabilistic timed automata","publication_year":2012,"publication_date":"2012-10-11","ids":{"openalex":"https://openalex.org/W2086673120","doi":"https://doi.org/10.1007/s10703-012-0177-x","mag":"2086673120"},"language":"en","primary_location":{"id":"doi:10.1007/s10703-012-0177-x","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10703-012-0177-x","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/2318/143907","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5067544120","display_name":"Gethin Norman","orcid":"https://orcid.org/0000-0001-9326-4344"},"institutions":[{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"education","lineage":["https://openalex.org/I7882870"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Gethin Norman","raw_affiliation_strings":["School of Computing Science, University of Glasgow, 18 Lilybank Gardens, Glasgow, G12 8RZ, Scotland, UK","School of Computing Science, University of Glasgow, Glasgow, UK","School of Computing Science, University of Glasgow, Glasgow, UK. G12 8RZ"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing Science, University of Glasgow, 18 Lilybank Gardens, Glasgow, G12 8RZ, Scotland, UK","institution_ids":["https://openalex.org/I7882870"]},{"raw_affiliation_string":"School of Computing Science, University of Glasgow, Glasgow, UK","institution_ids":["https://openalex.org/I7882870"]},{"raw_affiliation_string":"School of Computing Science, University of Glasgow, Glasgow, UK. G12 8RZ","institution_ids":["https://openalex.org/I7882870"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036097359","display_name":"David Parker","orcid":"https://orcid.org/0000-0003-4137-8862"},"institutions":[{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"David Parker","raw_affiliation_strings":["School of Computer Science, University of Birmingham, Birmingham, UK","School of Computer Science, University of Birmingham, Edgbaston, Birmingham, B15 2TT, UK","School of Computer Science, University of Birmingham, Birmingham, UK, B15 2TT#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science, University of Birmingham, Birmingham, UK","institution_ids":["https://openalex.org/I79619799"]},{"raw_affiliation_string":"School of Computer Science, University of Birmingham, Edgbaston, Birmingham, B15 2TT, UK","institution_ids":["https://openalex.org/I79619799"]},{"raw_affiliation_string":"School of Computer Science, University of Birmingham, Birmingham, UK, B15 2TT#TAB#","institution_ids":["https://openalex.org/I79619799"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044285570","display_name":"Jeremy Sproston","orcid":"https://orcid.org/0000-0003-2101-6821"},"institutions":[{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Jeremy Sproston","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 degli Studi di Torino, Corso Svizzera 185, 10149, Torino, Italy","Dipartimento di Informatica, Universit\u00e0 degli Studi di Torino, Torino, Italy","Dipartimento di Informatica, Universit\u00e0 degli Studi di Torino, Torino, Italy 10149#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 degli Studi di Torino, Corso Svizzera 185, 10149, Torino, Italy","institution_ids":["https://openalex.org/I55143463"]},{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 degli Studi di Torino, Torino, Italy","institution_ids":["https://openalex.org/I55143463"]},{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 degli Studi di Torino, Torino, Italy 10149#TAB#","institution_ids":["https://openalex.org/I55143463"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5036097359","https://openalex.org/A5044285570","https://openalex.org/A5067544120"],"corresponding_institution_ids":["https://openalex.org/I55143463","https://openalex.org/I7882870","https://openalex.org/I79619799"],"apc_list":{"value":3490,"currency":"USD","value_usd":3490},"apc_paid":null,"fwci":8.7385,"has_fulltext":false,"cited_by_count":114,"citation_normalized_percentile":{"value":0.98361007,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":"43","issue":"2","first_page":"164","last_page":"190"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9954000115394592,"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.8165625929832458},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7997509837150574},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6300291419029236},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5987842679023743},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5277082324028015},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.49301955103874207},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.48880836367607117},{"id":"https://openalex.org/keywords/communications-protocol","display_name":"Communications protocol","score":0.4307917356491089},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.40003135800361633},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.1457957625389099},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.138978511095047},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11552208662033081},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10757914185523987}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.8165625929832458},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7997509837150574},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6300291419029236},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5987842679023743},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5277082324028015},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.49301955103874207},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.48880836367607117},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.4307917356491089},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.40003135800361633},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.1457957625389099},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.138978511095047},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11552208662033081},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10757914185523987},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10703-012-0177-x","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10703-012-0177-x","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},{"id":"pmh:oai:iris.unito.it:2318/143907","is_oa":true,"landing_page_url":"http://hdl.handle.net/2318/143907","pdf_url":"http://hdl.handle.net/2318/143907","source":{"id":"https://openalex.org/S4306400637","display_name":"Institutional Research Information System University of Turin (University of Turin)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I55143463","host_organization_name":"University of Turin","host_organization_lineage":["https://openalex.org/I55143463"],"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":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:iris.unito.it:2318/143907","is_oa":true,"landing_page_url":"http://hdl.handle.net/2318/143907","pdf_url":"http://hdl.handle.net/2318/143907","source":{"id":"https://openalex.org/S4306400637","display_name":"Institutional Research Information System University of Turin (University of Turin)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I55143463","host_organization_name":"University of Turin","host_organization_lineage":["https://openalex.org/I55143463"],"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":"","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[{"score":0.9200000166893005,"display_name":"Affordable and clean energy","id":"https://metadata.un.org/sdg/7"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2086673120.pdf"},"referenced_works_count":74,"referenced_works":["https://openalex.org/W106209860","https://openalex.org/W126539787","https://openalex.org/W128430150","https://openalex.org/W138290785","https://openalex.org/W146083093","https://openalex.org/W1501731334","https://openalex.org/W1528600913","https://openalex.org/W1538639190","https://openalex.org/W1544206522","https://openalex.org/W1552249698","https://openalex.org/W1559321056","https://openalex.org/W1572777470","https://openalex.org/W1574289075","https://openalex.org/W1589336320","https://openalex.org/W1590344134","https://openalex.org/W1597655219","https://openalex.org/W1599995366","https://openalex.org/W1601373402","https://openalex.org/W1710323894","https://openalex.org/W1809182522","https://openalex.org/W1829884141","https://openalex.org/W1862398452","https://openalex.org/W1903000972","https://openalex.org/W1967761514","https://openalex.org/W1976268573","https://openalex.org/W1981808971","https://openalex.org/W2005998857","https://openalex.org/W2009280542","https://openalex.org/W2009363597","https://openalex.org/W2015717550","https://openalex.org/W2028827800","https://openalex.org/W2044499152","https://openalex.org/W2051580064","https://openalex.org/W2052092737","https://openalex.org/W2057574664","https://openalex.org/W2057873236","https://openalex.org/W2062936109","https://openalex.org/W2065323166","https://openalex.org/W2080316200","https://openalex.org/W2089017767","https://openalex.org/W2095602520","https://openalex.org/W2101508170","https://openalex.org/W2102510624","https://openalex.org/W2102609194","https://openalex.org/W2103416572","https://openalex.org/W2109951066","https://openalex.org/W2110697357","https://openalex.org/W2118912801","https://openalex.org/W2121889906","https://openalex.org/W2123631651","https://openalex.org/W2130136014","https://openalex.org/W2130773092","https://openalex.org/W2132976180","https://openalex.org/W2133057837","https://openalex.org/W2137013587","https://openalex.org/W2140493413","https://openalex.org/W2142830749","https://openalex.org/W2153675518","https://openalex.org/W2155492335","https://openalex.org/W2158503535","https://openalex.org/W2159433799","https://openalex.org/W2163234015","https://openalex.org/W2166069606","https://openalex.org/W2169677553","https://openalex.org/W2410243683","https://openalex.org/W2501266110","https://openalex.org/W2586877961","https://openalex.org/W2950697212","https://openalex.org/W2992293693","https://openalex.org/W3005923869","https://openalex.org/W3006518911","https://openalex.org/W4230164823","https://openalex.org/W4242441073","https://openalex.org/W6637251723"],"related_works":["https://openalex.org/W1538854713","https://openalex.org/W2943623134","https://openalex.org/W2494523064","https://openalex.org/W1484021165","https://openalex.org/W4235160909","https://openalex.org/W2746280673","https://openalex.org/W2152996796","https://openalex.org/W1594593035","https://openalex.org/W2560415449","https://openalex.org/W1585812309"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":12},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":12},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":11},{"year":2017,"cited_by_count":13},{"year":2016,"cited_by_count":16},{"year":2015,"cited_by_count":17},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":8}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}