{"id":"https://openalex.org/W3047409295","doi":"https://doi.org/10.1145/3324884.3416565","title":"Interval change-point detection for runtime probabilistic model checking","display_name":"Interval change-point detection for runtime probabilistic model checking","publication_year":2020,"publication_date":"2020-12-21","ids":{"openalex":"https://openalex.org/W3047409295","doi":"https://doi.org/10.1145/3324884.3416565","mag":"3047409295"},"language":"en","primary_location":{"id":"doi:10.1145/3324884.3416565","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3324884.3416565","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://eprints.whiterose.ac.uk/164829/1/ASE_2020_camera_ready.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100635681","display_name":"Xingyu Zhao","orcid":"https://orcid.org/0000-0002-3474-349X"},"institutions":[{"id":"https://openalex.org/I32062511","display_name":"Heriot-Watt University","ror":"https://ror.org/04mghma93","country_code":"GB","type":"education","lineage":["https://openalex.org/I32062511"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Xingyu Zhao","raw_affiliation_strings":["Heriot-Watt University, Edinburgh, U.K"],"affiliations":[{"raw_affiliation_string":"Heriot-Watt University, Edinburgh, U.K","institution_ids":["https://openalex.org/I32062511"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011374280","display_name":"Radu C\u0103linescu","orcid":"https://orcid.org/0000-0002-2678-9260"},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Radu Calinescu","raw_affiliation_strings":["University of York, York, U.K"],"affiliations":[{"raw_affiliation_string":"University of York, York, U.K","institution_ids":["https://openalex.org/I52099693"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055440630","display_name":"Simos Gerasimou","orcid":"https://orcid.org/0000-0002-2706-5272"},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Simos Gerasimou","raw_affiliation_strings":["University of York, York, U.K"],"affiliations":[{"raw_affiliation_string":"University of York, York, U.K","institution_ids":["https://openalex.org/I52099693"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052097132","display_name":"Valentin Robu","orcid":"https://orcid.org/0000-0002-9280-2072"},"institutions":[{"id":"https://openalex.org/I32062511","display_name":"Heriot-Watt University","ror":"https://ror.org/04mghma93","country_code":"GB","type":"education","lineage":["https://openalex.org/I32062511"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Valentin Robu","raw_affiliation_strings":["Heriot-Watt University, Edinburgh, U.K"],"affiliations":[{"raw_affiliation_string":"Heriot-Watt University, Edinburgh, U.K","institution_ids":["https://openalex.org/I32062511"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5032160199","display_name":"David Flynn","orcid":"https://orcid.org/0000-0002-1024-3618"},"institutions":[{"id":"https://openalex.org/I32062511","display_name":"Heriot-Watt University","ror":"https://ror.org/04mghma93","country_code":"GB","type":"education","lineage":["https://openalex.org/I32062511"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"David Flynn","raw_affiliation_strings":["Heriot-Watt University, Edinburgh, U.K"],"affiliations":[{"raw_affiliation_string":"Heriot-Watt University, Edinburgh, U.K","institution_ids":["https://openalex.org/I32062511"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5100635681"],"corresponding_institution_ids":["https://openalex.org/I32062511"],"apc_list":null,"apc_paid":null,"fwci":3.2028,"has_fulltext":true,"cited_by_count":12,"citation_normalized_percentile":{"value":0.91944898,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"163","last_page":"174"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9995999932289124,"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/T10639","display_name":"Advanced Software Engineering Methodologies","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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9958999752998352,"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.6589459776878357},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6439708471298218},{"id":"https://openalex.org/keywords/prior-probability","display_name":"Prior probability","score":0.6426215171813965},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.5957739353179932},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.5903867483139038},{"id":"https://openalex.org/keywords/estimator","display_name":"Estimator","score":0.5879375338554382},{"id":"https://openalex.org/keywords/bayesian-probability","display_name":"Bayesian probability","score":0.5392566919326782},{"id":"https://openalex.org/keywords/point-estimation","display_name":"Point estimation","score":0.5327420830726624},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.5233598947525024},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.48759785294532776},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.484464168548584},{"id":"https://openalex.org/keywords/interval-estimation","display_name":"Interval estimation","score":0.4631611108779907},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.4548533260822296},{"id":"https://openalex.org/keywords/uncertainty-quantification","display_name":"Uncertainty quantification","score":0.4350561201572418},{"id":"https://openalex.org/keywords/markov-chain-monte-carlo","display_name":"Markov chain Monte Carlo","score":0.4262761175632477},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2810019552707672},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.22549673914909363},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.20923560857772827},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.2012365460395813},{"id":"https://openalex.org/keywords/confidence-interval","display_name":"Confidence interval","score":0.18124550580978394}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6589459776878357},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6439708471298218},{"id":"https://openalex.org/C177769412","wikidata":"https://www.wikidata.org/wiki/Q278090","display_name":"Prior probability","level":3,"score":0.6426215171813965},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.5957739353179932},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.5903867483139038},{"id":"https://openalex.org/C185429906","wikidata":"https://www.wikidata.org/wiki/Q1130160","display_name":"Estimator","level":2,"score":0.5879375338554382},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.5392566919326782},{"id":"https://openalex.org/C41426520","wikidata":"https://www.wikidata.org/wiki/Q1192065","display_name":"Point estimation","level":2,"score":0.5327420830726624},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.5233598947525024},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.48759785294532776},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.484464168548584},{"id":"https://openalex.org/C205167067","wikidata":"https://www.wikidata.org/wiki/Q3300636","display_name":"Interval estimation","level":3,"score":0.4631611108779907},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.4548533260822296},{"id":"https://openalex.org/C32230216","wikidata":"https://www.wikidata.org/wiki/Q7882499","display_name":"Uncertainty quantification","level":2,"score":0.4350561201572418},{"id":"https://openalex.org/C111350023","wikidata":"https://www.wikidata.org/wiki/Q1191869","display_name":"Markov chain Monte Carlo","level":3,"score":0.4262761175632477},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2810019552707672},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22549673914909363},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.20923560857772827},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2012365460395813},{"id":"https://openalex.org/C44249647","wikidata":"https://www.wikidata.org/wiki/Q208498","display_name":"Confidence interval","level":2,"score":0.18124550580978394},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3324884.3416565","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3324884.3416565","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:eprints.whiterose.ac.uk:164829","is_oa":true,"landing_page_url":"https://orcid.org/0000-0002-2678-9260>,","pdf_url":"https://eprints.whiterose.ac.uk/164829/1/ASE_2020_camera_ready.pdf","source":{"id":"https://openalex.org/S4306400854","display_name":"White Rose Research Online (University of Leeds, The University of Sheffield, University of York)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2800616092","host_organization_name":"White Rose University Consortium","host_organization_lineage":["https://openalex.org/I2800616092"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"NonPeerReviewed"},{"id":"pmh:oai:wrap.warwick.ac.uk:181995","is_oa":false,"landing_page_url":"https://wrap.warwick.ac.uk/181995/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400665","display_name":"Warwick Research Archive Portal (University of Warwick)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I39555362","host_organization_name":"University of Warwick","host_organization_lineage":["https://openalex.org/I39555362"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference Item"}],"best_oa_location":{"id":"pmh:oai:eprints.whiterose.ac.uk:164829","is_oa":true,"landing_page_url":"https://orcid.org/0000-0002-2678-9260>,","pdf_url":"https://eprints.whiterose.ac.uk/164829/1/ASE_2020_camera_ready.pdf","source":{"id":"https://openalex.org/S4306400854","display_name":"White Rose Research Online (University of Leeds, The University of Sheffield, University of York)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2800616092","host_organization_name":"White Rose University Consortium","host_organization_lineage":["https://openalex.org/I2800616092"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"NonPeerReviewed"},"sustainable_development_goals":[{"score":0.6200000047683716,"display_name":"No poverty","id":"https://metadata.un.org/sdg/1"}],"awards":[{"id":"https://openalex.org/G2838024195","display_name":"UK Robotics and Artificial Intelligence Hub for Offshore Energy Asset Integrity Management","funder_award_id":"EP/R026173/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3047409295.pdf","grobid_xml":"https://content.openalex.org/works/W3047409295.grobid-xml"},"referenced_works_count":49,"referenced_works":["https://openalex.org/W28083412","https://openalex.org/W970178447","https://openalex.org/W1479679270","https://openalex.org/W1482727770","https://openalex.org/W1498125516","https://openalex.org/W1498432697","https://openalex.org/W1601373402","https://openalex.org/W1862398452","https://openalex.org/W1971139410","https://openalex.org/W1971908606","https://openalex.org/W1974641445","https://openalex.org/W1990911977","https://openalex.org/W1998284497","https://openalex.org/W2001919784","https://openalex.org/W2005998857","https://openalex.org/W2014917354","https://openalex.org/W2028622255","https://openalex.org/W2031523887","https://openalex.org/W2042456368","https://openalex.org/W2067210253","https://openalex.org/W2075465263","https://openalex.org/W2123748412","https://openalex.org/W2133859873","https://openalex.org/W2158679941","https://openalex.org/W2171166366","https://openalex.org/W2291637985","https://openalex.org/W2461207771","https://openalex.org/W2515822248","https://openalex.org/W2547248845","https://openalex.org/W2580630723","https://openalex.org/W2593267253","https://openalex.org/W2605921092","https://openalex.org/W2783704528","https://openalex.org/W2803413084","https://openalex.org/W2804728961","https://openalex.org/W2810936687","https://openalex.org/W2885463968","https://openalex.org/W2886168462","https://openalex.org/W2903775008","https://openalex.org/W2909693411","https://openalex.org/W2950878895","https://openalex.org/W2956835927","https://openalex.org/W2962676138","https://openalex.org/W2963467757","https://openalex.org/W3007460877","https://openalex.org/W3090077115","https://openalex.org/W3101119896","https://openalex.org/W4230388127","https://openalex.org/W4242441073"],"related_works":["https://openalex.org/W1023014886","https://openalex.org/W4388295416","https://openalex.org/W4240160801","https://openalex.org/W3046248604","https://openalex.org/W4366758761","https://openalex.org/W4231087893","https://openalex.org/W1556779715","https://openalex.org/W1976150099","https://openalex.org/W2490743626","https://openalex.org/W4287829545"],"abstract_inverted_index":{"Recent":[0],"probabilistic":[1,150],"model":[2,151],"checking":[3,152],"techniques":[4],"can":[5,41],"verify":[6],"reliability":[7],"and":[8,83,104,129,147],"performance":[9],"properties":[10,57],"of":[11,54,58,76,131,141],"software":[12],"systems":[13],"affected":[14],"by":[15],"parametric":[16,154],"uncertainty.":[17,155],"This":[18],"involves":[19],"modelling":[20],"the":[21,52,55,73,77,121],"system":[22,56],"behaviour":[23],"using":[24,45],"interval":[25,100,132],"Markov":[26,29,133],"chains,":[27],"i.e.,":[28],"models":[30],"with":[31,48,108,113],"transition":[32],"probabilities":[33],"or":[34],"rates":[35],"specified":[36],"as":[37],"intervals.":[38],"These":[39],"intervals":[40,82],"be":[42],"updated":[43],"continually":[44],"Bayesian":[46,63,111,124],"estimators":[47,64],"imprecise":[49,114],"priors,":[50],"enabling":[51],"verification":[53,87],"interest":[59],"at":[60],"runtime.":[61],"However,":[62],"are":[65],"slow":[66],"to":[67,69,85,126],"react":[68],"sudden":[70,142],"changes":[71,143],"in":[72,144],"actual":[74],"value":[75],"estimated":[78],"parameters,":[79],"yielding":[80],"inaccurate":[81],"leading":[84],"poor":[86],"results":[88,118],"after":[89],"such":[90],"changes.":[91],"To":[92],"address":[93],"this":[94],"limitation,":[95],"we":[96,105],"introduce":[97],"an":[98],"efficient":[99],"change-point":[101,127],"detection":[102,128],"method,":[103],"integrate":[106],"it":[107],"a":[109,138],"state-of-the-art":[110],"estimator":[112],"priors.":[115],"Our":[116],"experimental":[117],"show":[119],"that":[120],"resulting":[122],"end-to-end":[123],"approach":[125],"estimation":[130],"chain":[134],"parameters":[135],"handles":[136],"effectively":[137],"wide":[139],"range":[140],"parameter":[145],"values,":[146],"supports":[148],"runtime":[149],"under":[153]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}