{"id":"https://openalex.org/W2107224406","doi":"https://doi.org/10.1007/3-540-44804-7_2","title":"Faster and Symbolic CTMC Model Checking","display_name":"Faster and Symbolic CTMC Model Checking","publication_year":2001,"publication_date":"2001-01-01","ids":{"openalex":"https://openalex.org/W2107224406","doi":"https://doi.org/10.1007/3-540-44804-7_2","mag":"2107224406"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-44804-7_2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-44804-7_2","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090819329","display_name":"Joost-Pieter Katoen","orcid":"https://orcid.org/0000-0002-6143-1926"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Joost-Pieter Katoen","raw_affiliation_strings":["Formal Methods and Tools Group, Faculty of Computer Science, University of Twente, P.O. Box217, 7500, AE Enschede, The Netherlands","Formal Methods and Tools Group, Faculty of Computer Science, University of Twente, AE Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools Group, Faculty of Computer Science, University of Twente, P.O. Box217, 7500, AE Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"Formal Methods and Tools Group, Faculty of Computer Science, University of Twente, AE Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081710233","display_name":"Marta Kwiatkowska","orcid":"https://orcid.org/0000-0001-9022-7599"},"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":false,"raw_author_name":"Marta Kwiatkowska","raw_affiliation_strings":["School of Computer Science, University of Birmingham, Edgbaston, Birmingham, B15 2TT, UK","School of Computer Science, University of Birmingham, Edgbaston, Birmingham, UK#TAB#"],"affiliations":[{"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, Edgbaston, Birmingham, UK#TAB#","institution_ids":["https://openalex.org/I79619799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067544120","display_name":"Gethin Norman","orcid":"https://orcid.org/0000-0001-9326-4344"},"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":false,"raw_author_name":"Gethin Norman","raw_affiliation_strings":["School of Computer Science, University of Birmingham, Edgbaston, Birmingham, B15 2TT, UK","School of Computer Science, University of Birmingham, Edgbaston, Birmingham, UK#TAB#"],"affiliations":[{"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, Edgbaston, Birmingham, UK#TAB#","institution_ids":["https://openalex.org/I79619799"]}]},{"author_position":"last","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":false,"raw_author_name":"David Parker","raw_affiliation_strings":["School of Computer Science, University of Birmingham, Edgbaston, Birmingham, B15 2TT, UK","School of Computer Science, University of Birmingham, Edgbaston, Birmingham, UK#TAB#"],"affiliations":[{"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, Edgbaston, Birmingham, UK#TAB#","institution_ids":["https://openalex.org/I79619799"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5090819329"],"corresponding_institution_ids":["https://openalex.org/I94624287"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":13.7957,"has_fulltext":false,"cited_by_count":79,"citation_normalized_percentile":{"value":0.99277108,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"23","last_page":"38"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9950000047683716,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9940999746322632,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.8666698932647705},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8189270496368408},{"id":"https://openalex.org/keywords/symbolic-trajectory-evaluation","display_name":"Symbolic trajectory evaluation","score":0.7980896830558777},{"id":"https://openalex.org/keywords/binary-decision-diagram","display_name":"Binary decision diagram","score":0.6984927654266357},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.5710189938545227},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5478848218917847},{"id":"https://openalex.org/keywords/symbolic-data-analysis","display_name":"Symbolic data analysis","score":0.5302999019622803},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4977900981903076},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4710412323474884},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.4556356966495514},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4504587650299072},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.35606610774993896},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.13565945625305176},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.06660434603691101}],"concepts":[{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.8666698932647705},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8189270496368408},{"id":"https://openalex.org/C23123167","wikidata":"https://www.wikidata.org/wiki/Q7661193","display_name":"Symbolic trajectory evaluation","level":3,"score":0.7980896830558777},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.6984927654266357},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.5710189938545227},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5478848218917847},{"id":"https://openalex.org/C65620979","wikidata":"https://www.wikidata.org/wiki/Q7661176","display_name":"Symbolic data analysis","level":2,"score":0.5302999019622803},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4977900981903076},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4710412323474884},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.4556356966495514},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4504587650299072},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.35606610774993896},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.13565945625305176},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.06660434603691101},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":10,"locations":[{"id":"doi:10.1007/3-540-44804-7_2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-44804-7_2","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:ris.utwente.nl:openaire_cris_publications/f9ce3196-db8a-4f98-b88c-847c25d44bd1","is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/f9ce3196-db8a-4f98-b88c-847c25d44bd1","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Katoen, J P, Kwiatkowska, M, Norman, G & Parker, D 2001, Faster and symbolic CTMC model checking. in S Gilmore & L de Alfaro (eds), Process Algebra and Probabilistic Methods, Performance Modeling and Verification : Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12\u201314, 2001 Proceedings. Lecture Notes in Computer Science, vol. 2165, Springer, Berlin, pp. 23-38, Process Algebra and Probabilistic Methods - Performance Modelling in Verification, PAPM-PROBMIV 2001, Aachen, Germany, 12/09/01. https://doi.org/10.1007/3-540-44804-7_2","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:hdl:10068/624452","is_oa":false,"landing_page_url":"http://hdl.handle.net/10068/624452","pdf_url":null,"source":{"id":"https://openalex.org/S4377196900","display_name":"OpenGrey (Institut de l'Information Scientifique et Technique)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1295345811","host_organization_name":"Institut de l'Information Scientifique et Technique","host_organization_lineage":["https://openalex.org/I1295345811"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"R - Report"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.107.5257","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.5257","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.prismmodelchecker.org/papers/probmiv01.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.23.5792","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.5792","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.cs.bham.ac.uk/pub/authors/M.Z.Kwiatkowska/probmiv01.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.3.863","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.863","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.bham.ac.uk/~dxp/papers/probmiv01.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.6.2593","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.2593","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.bham.ac.uk/~dxp/papers/CSR-01-03.ps.gz","raw_type":"text"},{"id":"pmh:oai:eprints.gla.ac.uk:40190","is_oa":false,"landing_page_url":"http://eprints.gla.ac.uk/40190/","pdf_url":null,"source":{"id":"https://openalex.org/S4210235606","display_name":"ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam)","issn_l":"2622-8912","issn":["2622-8912","2622-8920"],"is_oa":false,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Book Sections"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/22eef044-f28c-4693-b7cc-9e76b2888432","is_oa":false,"landing_page_url":"https://research.birmingham.ac.uk/en/publications/22eef044-f28c-4693-b7cc-9e76b2888432","pdf_url":null,"source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Katoen, JP, Kwiatkowska, M, Norman, G, Parker, D, de Alfaro, L & Gilmore, S 2001, 'Faster and symbolic CTMC model checking', Paper presented at In Proceedings PAPM-PROBMIV 2001, 1/01/01 pp. 23-38.","raw_type":"conferenceObject"},{"id":"pmh:oai:ris.utwente.nl:publications/f9ce3196-db8a-4f98-b88c-847c25d44bd1","is_oa":false,"landing_page_url":"http://link.springer.de/link/service/series/0558/bibs/2165/21650023.htm","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.699999988079071,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W192924609","https://openalex.org/W1498125516","https://openalex.org/W1503526472","https://openalex.org/W1514324734","https://openalex.org/W1538639190","https://openalex.org/W1553940723","https://openalex.org/W1554850964","https://openalex.org/W1561934984","https://openalex.org/W1589421353","https://openalex.org/W1596186423","https://openalex.org/W1601373402","https://openalex.org/W1655884486","https://openalex.org/W1806449990","https://openalex.org/W1984121732","https://openalex.org/W2001919784","https://openalex.org/W2005998857","https://openalex.org/W2041226400","https://openalex.org/W2047650874","https://openalex.org/W2051580064","https://openalex.org/W2090311494","https://openalex.org/W2095861482","https://openalex.org/W2096899005","https://openalex.org/W2117189826","https://openalex.org/W2124446794","https://openalex.org/W2135453964","https://openalex.org/W2167435507","https://openalex.org/W2168246878","https://openalex.org/W2296646831","https://openalex.org/W2497844755","https://openalex.org/W2653646069","https://openalex.org/W2912904668","https://openalex.org/W4242441073","https://openalex.org/W4285719527","https://openalex.org/W6631989135"],"related_works":["https://openalex.org/W1994104992","https://openalex.org/W2803843036","https://openalex.org/W1548402307","https://openalex.org/W2471151559","https://openalex.org/W198321285","https://openalex.org/W1561659860","https://openalex.org/W2015778889","https://openalex.org/W1583869287","https://openalex.org/W2053470278","https://openalex.org/W4254417154"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":3}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}