{"id":"https://openalex.org/W2588048676","doi":"https://doi.org/10.1007/978-3-662-45489-3","title":"Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems","display_name":"Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W2588048676","doi":"https://doi.org/10.1007/978-3-662-45489-3","mag":"2588048676"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-662-45489-3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-662-45489-3","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"},"type":"book","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":null,"display_name":"Stoelinga, Mari\u00eblle Ida Antoinette","orcid":null},"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":"Stoelinga, Mari\u00eblle Ida Antoinette","raw_affiliation_strings":["Design and Analysis of Communication Systems, University of Twente, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Design and Analysis of Communication Systems, University of Twente, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040482467","display_name":"Anne Remke","orcid":"https://orcid.org/0000-0002-5912-4767"},"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":"Remke, Anne Katharina Ingrid","raw_affiliation_strings":["Department of Computer Science, University of Twente, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Twente, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"last","author":{"id":null,"display_name":"Unknown, [Unknown]","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Unknown, [Unknown]","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I94624287"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.2792,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.64918626,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"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/T10142","display_name":"Formal Methods in Verification","score":0.9890999794006348,"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.9890999794006348,"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.9319999814033508,"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/T11195","display_name":"Simulation Techniques and Applications","score":0.902999997138977,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.85594642162323},{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.788392961025238},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.7758544683456421},{"id":"https://openalex.org/keywords/stochastic-modelling","display_name":"Stochastic modelling","score":0.5872507095336914},{"id":"https://openalex.org/keywords/stochastic-process","display_name":"Stochastic process","score":0.4841049909591675},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4273897409439087},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3685184419155121},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3670806288719177},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.18529242277145386},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07532858848571777}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.85594642162323},{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.788392961025238},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.7758544683456421},{"id":"https://openalex.org/C127491075","wikidata":"https://www.wikidata.org/wiki/Q7617825","display_name":"Stochastic modelling","level":2,"score":0.5872507095336914},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.4841049909591675},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4273897409439087},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3685184419155121},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3670806288719177},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.18529242277145386},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07532858848571777},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/978-3-662-45489-3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-662-45489-3","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"},{"id":"pmh:oai:dial.uclouvain.be:ebook:61475","is_oa":false,"landing_page_url":"http://hdl.handle.net/2078/ebook:61475","pdf_url":null,"source":{"id":"https://openalex.org/S4306401902","display_name":"Digital Access to Libraries (Universit\u00e9 catholique de Louvain (UCL), l'Universit\u00e9 de Namur (UNamur) and the Universit\u00e9 Saint-Louis (USL-B))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I95674353","host_organization_name":"UCLouvain","host_organization_lineage":["https://openalex.org/I95674353"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:ris.utwente.nl:publications/74e34d57-065c-4fc6-ad1a-086a9d60a6e3","is_oa":false,"landing_page_url":null,"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:ut:oai:ris.utwente.nl:publications/74e34d57-065c-4fc6-ad1a-086a9d60a6e3","is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/74e34d57-065c-4fc6-ad1a-086a9d60a6e3","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/book"},{"id":"pmh:ut:oai:ris.utwente.nl:publications/95262dc8-9797-45b0-a969-9271c59d6996","is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/stochastic-model-checking(95262dc8-9797-45b0-a969-9271c59d6996).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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/book"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.6800000071525574,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":268,"referenced_works":["https://openalex.org/W4571507","https://openalex.org/W21727558","https://openalex.org/W40031358","https://openalex.org/W40750098","https://openalex.org/W41554520","https://openalex.org/W58990062","https://openalex.org/W100229751","https://openalex.org/W103288008","https://openalex.org/W141373173","https://openalex.org/W171047235","https://openalex.org/W173641204","https://openalex.org/W180602404","https://openalex.org/W190675879","https://openalex.org/W258022877","https://openalex.org/W342302233","https://openalex.org/W368265031","https://openalex.org/W434069379","https://openalex.org/W1061340565","https://openalex.org/W1481528147","https://openalex.org/W1481843134","https://openalex.org/W1487627902","https://openalex.org/W1489359924","https://openalex.org/W1497573972","https://openalex.org/W1498432697","https://openalex.org/W1501881008","https://openalex.org/W1504080271","https://openalex.org/W1505927408","https://openalex.org/W1507380329","https://openalex.org/W1509804682","https://openalex.org/W1511105469","https://openalex.org/W1514324734","https://openalex.org/W1515235931","https://openalex.org/W1518931405","https://openalex.org/W1520708882","https://openalex.org/W1523654866","https://openalex.org/W1529165591","https://openalex.org/W1535517661","https://openalex.org/W1539382740","https://openalex.org/W1541407177","https://openalex.org/W1548876510","https://openalex.org/W1556729131","https://openalex.org/W1565898282","https://openalex.org/W1568502976","https://openalex.org/W1577626490","https://openalex.org/W1580405793","https://openalex.org/W1581031502","https://openalex.org/W1583191255","https://openalex.org/W1584456573","https://openalex.org/W1584574224","https://openalex.org/W1587070059","https://openalex.org/W1588184453","https://openalex.org/W1588200817","https://openalex.org/W1589318611","https://openalex.org/W1593969495","https://openalex.org/W1596631497","https://openalex.org/W1598991751","https://openalex.org/W1600800362","https://openalex.org/W1603153151","https://openalex.org/W1608325120","https://openalex.org/W1608455964","https://openalex.org/W1621538476","https://openalex.org/W1623473440","https://openalex.org/W1645305843","https://openalex.org/W1650157420","https://openalex.org/W1656942730","https://openalex.org/W1704074244","https://openalex.org/W1734364899","https://openalex.org/W1762430620","https://openalex.org/W1762983356","https://openalex.org/W1763211909","https://openalex.org/W1781946001","https://openalex.org/W1793726001","https://openalex.org/W1801185978","https://openalex.org/W1810681804","https://openalex.org/W1836142986","https://openalex.org/W1850679117","https://openalex.org/W1850900101","https://openalex.org/W1862398452","https://openalex.org/W1926463588","https://openalex.org/W1949189160","https://openalex.org/W1952801044","https://openalex.org/W1963619740","https://openalex.org/W1966347268","https://openalex.org/W1966963894","https://openalex.org/W1969154599","https://openalex.org/W1971346686","https://openalex.org/W1975876445","https://openalex.org/W1976268573","https://openalex.org/W1976443948","https://openalex.org/W1977545325","https://openalex.org/W1978142453","https://openalex.org/W1978469611","https://openalex.org/W1980648830","https://openalex.org/W1981626449","https://openalex.org/W1983350265","https://openalex.org/W1984121732","https://openalex.org/W1992008267","https://openalex.org/W1992144831","https://openalex.org/W1995641027","https://openalex.org/W1996917540","https://openalex.org/W1997088148","https://openalex.org/W1998422337","https://openalex.org/W2005998857","https://openalex.org/W2006743818","https://openalex.org/W2010309395","https://openalex.org/W2010714742","https://openalex.org/W2011122436","https://openalex.org/W2013469283","https://openalex.org/W2015739305","https://openalex.org/W2018670096","https://openalex.org/W2020293036","https://openalex.org/W2021473546","https://openalex.org/W2022585556","https://openalex.org/W2024780670","https://openalex.org/W2036546758","https://openalex.org/W2041226400","https://openalex.org/W2042321087","https://openalex.org/W2043896870","https://openalex.org/W2044260813","https://openalex.org/W2045514650","https://openalex.org/W2047279254","https://openalex.org/W2047473202","https://openalex.org/W2048355938","https://openalex.org/W2049229863","https://openalex.org/W2052092737","https://openalex.org/W2055085056","https://openalex.org/W2055502660","https://openalex.org/W2055959255","https://openalex.org/W2058221907","https://openalex.org/W2061760083","https://openalex.org/W2065464080","https://openalex.org/W2066322491","https://openalex.org/W2067373714","https://openalex.org/W2068361557","https://openalex.org/W2069190813","https://openalex.org/W2070403229","https://openalex.org/W2070874614","https://openalex.org/W2073094004","https://openalex.org/W2076337359","https://openalex.org/W2076829994","https://openalex.org/W2078103992","https://openalex.org/W2078734278","https://openalex.org/W2080593426","https://openalex.org/W2081287319","https://openalex.org/W2083117595","https://openalex.org/W2083194543","https://openalex.org/W2084924279","https://openalex.org/W2085061065","https://openalex.org/W2087666725","https://openalex.org/W2088501121","https://openalex.org/W2090359754","https://openalex.org/W2092971419","https://openalex.org/W2097476502","https://openalex.org/W2098245493","https://openalex.org/W2098432798","https://openalex.org/W2101036453","https://openalex.org/W2102787760","https://openalex.org/W2103495734","https://openalex.org/W2105172619","https://openalex.org/W2106219446","https://openalex.org/W2106272197","https://openalex.org/W2110586188","https://openalex.org/W2111119954","https://openalex.org/W2111390218","https://openalex.org/W2111987809","https://openalex.org/W2113227344","https://openalex.org/W2114158268","https://openalex.org/W2115054228","https://openalex.org/W2115555017","https://openalex.org/W2115593730","https://openalex.org/W2115662590","https://openalex.org/W2116982675","https://openalex.org/W2117429544","https://openalex.org/W2117702591","https://openalex.org/W2119207053","https://openalex.org/W2120638878","https://openalex.org/W2124391925","https://openalex.org/W2124777750","https://openalex.org/W2125500714","https://openalex.org/W2125569171","https://openalex.org/W2125781122","https://openalex.org/W2127535453","https://openalex.org/W2130080327","https://openalex.org/W2130820909","https://openalex.org/W2131390691","https://openalex.org/W2134759932","https://openalex.org/W2134991157","https://openalex.org/W2138756653","https://openalex.org/W2138760504","https://openalex.org/W2139324000","https://openalex.org/W2140646474","https://openalex.org/W2141541459","https://openalex.org/W2141823988","https://openalex.org/W2141881497","https://openalex.org/W2142486837","https://openalex.org/W2143249843","https://openalex.org/W2147568833","https://openalex.org/W2148167082","https://openalex.org/W2148626278","https://openalex.org/W2148908268","https://openalex.org/W2149827235","https://openalex.org/W2152224120","https://openalex.org/W2152639018","https://openalex.org/W2155418451","https://openalex.org/W2155707149","https://openalex.org/W2156008373","https://openalex.org/W2157239333","https://openalex.org/W2158395308","https://openalex.org/W2159404644","https://openalex.org/W2161833190","https://openalex.org/W2161926614","https://openalex.org/W2163110827","https://openalex.org/W2163234015","https://openalex.org/W2164875685","https://openalex.org/W2165161585","https://openalex.org/W2165336784","https://openalex.org/W2167718560","https://openalex.org/W2169287093","https://openalex.org/W2169677553","https://openalex.org/W2170611159","https://openalex.org/W2170774457","https://openalex.org/W2171280873","https://openalex.org/W2171849316","https://openalex.org/W2181367018","https://openalex.org/W2199672054","https://openalex.org/W2225410132","https://openalex.org/W2243006201","https://openalex.org/W2243362255","https://openalex.org/W2266703950","https://openalex.org/W2294647483","https://openalex.org/W2410243683","https://openalex.org/W2484638602","https://openalex.org/W2491539874","https://openalex.org/W2624930298","https://openalex.org/W2740474362","https://openalex.org/W2970873286","https://openalex.org/W2986444891","https://openalex.org/W3027095131","https://openalex.org/W3101973194","https://openalex.org/W3102717965","https://openalex.org/W3131027453","https://openalex.org/W3137368705","https://openalex.org/W3141216424","https://openalex.org/W3143459636","https://openalex.org/W3166263510","https://openalex.org/W4205165567","https://openalex.org/W4205834900","https://openalex.org/W4210827858","https://openalex.org/W4210976136","https://openalex.org/W4213255380","https://openalex.org/W4229487429","https://openalex.org/W4229644064","https://openalex.org/W4231174388","https://openalex.org/W4233323875","https://openalex.org/W4233905156","https://openalex.org/W4235282977","https://openalex.org/W4237420033","https://openalex.org/W4238023202","https://openalex.org/W4241357800","https://openalex.org/W4242441073","https://openalex.org/W4246195644","https://openalex.org/W4246415257","https://openalex.org/W4250417675","https://openalex.org/W4255549806","https://openalex.org/W4298023569","https://openalex.org/W4299821460","https://openalex.org/W4301524229","https://openalex.org/W4307347247"],"related_works":["https://openalex.org/W4289687320","https://openalex.org/W2116366046","https://openalex.org/W925418074","https://openalex.org/W2119610731","https://openalex.org/W2042280983","https://openalex.org/W2321888438","https://openalex.org/W2888652631","https://openalex.org/W1995427843","https://openalex.org/W2369445029","https://openalex.org/W2026456043"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-03-25T23:56:10.502304","created_date":"2017-02-24T00:00:00"}