{"id":"https://openalex.org/W2935474443","doi":"https://doi.org/10.1007/978-3-030-17465-1_6","title":"VyPR2: A Framework for Runtime Verification of Python Web Services","display_name":"VyPR2: A Framework for Runtime Verification of Python Web Services","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2935474443","doi":"https://doi.org/10.1007/978-3-030-17465-1_6","mag":"2935474443"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-17465-1_6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-17465-1_6","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-17465-1_6.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-17465-1_6.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016635557","display_name":"Joshua Heneage Dawes","orcid":"https://orcid.org/0000-0002-2289-1620"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]},{"id":"https://openalex.org/I67311998","display_name":"European Organization for Nuclear Research","ror":"https://ror.org/01ggx4157","country_code":"CH","type":"facility","lineage":["https://openalex.org/I67311998"]}],"countries":["CH","GB"],"is_corresponding":true,"raw_author_name":"Joshua Heneage Dawes","raw_affiliation_strings":["CERN, Geneva, Switzerland","University of Manchester, Manchester, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CERN, Geneva, Switzerland","institution_ids":["https://openalex.org/I67311998"]},{"raw_affiliation_string":"University of Manchester, Manchester, UK","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052066515","display_name":"Giles Reger","orcid":"https://orcid.org/0000-0001-6353-952X"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Giles Reger","raw_affiliation_strings":["University of Manchester, Manchester, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Manchester, Manchester, UK","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5106725797","display_name":"Giovanni Franzoni","orcid":null},"institutions":[{"id":"https://openalex.org/I67311998","display_name":"European Organization for Nuclear Research","ror":"https://ror.org/01ggx4157","country_code":"CH","type":"facility","lineage":["https://openalex.org/I67311998"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Giovanni Franzoni","raw_affiliation_strings":["CERN, Geneva, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CERN, Geneva, Switzerland","institution_ids":["https://openalex.org/I67311998"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083386713","display_name":"A. Pfeiffer","orcid":"https://orcid.org/0000-0001-5328-448X"},"institutions":[{"id":"https://openalex.org/I67311998","display_name":"European Organization for Nuclear Research","ror":"https://ror.org/01ggx4157","country_code":"CH","type":"facility","lineage":["https://openalex.org/I67311998"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Andreas Pfeiffer","raw_affiliation_strings":["CERN, Geneva, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CERN, Geneva, Switzerland","institution_ids":["https://openalex.org/I67311998"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5106429816","display_name":"G. Govi","orcid":null},"institutions":[{"id":"https://openalex.org/I1314696892","display_name":"Fermi National Accelerator Laboratory","ror":"https://ror.org/020hgte69","country_code":"US","type":"facility","lineage":["https://openalex.org/I1314696892","https://openalex.org/I1330989302","https://openalex.org/I39565521","https://openalex.org/I4210114836"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Giacomo Govi","raw_affiliation_strings":["Fermi National Accelerator Laboratory, Batavia, IL, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Fermi National Accelerator Laboratory, Batavia, IL, USA","institution_ids":["https://openalex.org/I1314696892"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5016635557"],"corresponding_institution_ids":["https://openalex.org/I28407311","https://openalex.org/I67311998"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":2.1989,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.86903915,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"98","last_page":"114"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9984999895095825,"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.9984999895095825,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.8446446657180786},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.7661482095718384},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6391782164573669},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.6065671443939209},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5676962733268738},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.5552223324775696},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.5281686186790466},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.46808820962905884},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.45336323976516724},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.44155120849609375},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4085850715637207},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.35738638043403625},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.34334176778793335},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.34044602513313293},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3401685357093811},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.24236828088760376}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8446446657180786},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.7661482095718384},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6391782164573669},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.6065671443939209},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5676962733268738},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.5552223324775696},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.5281686186790466},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.46808820962905884},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.45336323976516724},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.44155120849609375},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4085850715637207},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.35738638043403625},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.34334176778793335},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.34044602513313293},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3401685357093811},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.24236828088760376}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-030-17465-1_6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-17465-1_6","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-17465-1_6.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.atira.dk:openaire/c52790de-e267-4aa7-848c-9d381886d3c3","is_oa":true,"landing_page_url":"https://research.manchester.ac.uk/en/publications/c52790de-e267-4aa7-848c-9d381886d3c3","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"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":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:pure.atira.dk:publications/c52790de-e267-4aa7-848c-9d381886d3c3","is_oa":true,"landing_page_url":"https://www.research.manchester.ac.uk/portal/en/publications/vypr2(c52790de-e267-4aa7-848c-9d381886d3c3).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"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":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-17465-1_6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-17465-1_6","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-17465-1_6.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals","score":0.4699999988079071}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2935474443.pdf","grobid_xml":"https://content.openalex.org/works/W2935474443.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W1556566737","https://openalex.org/W2029138738","https://openalex.org/W2047276559","https://openalex.org/W2048388159","https://openalex.org/W2078356878","https://openalex.org/W2118100443","https://openalex.org/W2405916544","https://openalex.org/W2507383261","https://openalex.org/W2594581733","https://openalex.org/W2738184854","https://openalex.org/W2753781312","https://openalex.org/W2769393322","https://openalex.org/W2786819761","https://openalex.org/W2786919210","https://openalex.org/W2787211898","https://openalex.org/W2807080833","https://openalex.org/W2883459807","https://openalex.org/W2943229231","https://openalex.org/W4232091795"],"related_works":["https://openalex.org/W2406499533","https://openalex.org/W2809618173","https://openalex.org/W2617181502","https://openalex.org/W3036403349","https://openalex.org/W4383898361","https://openalex.org/W1989217955","https://openalex.org/W2950360254","https://openalex.org/W1563456403","https://openalex.org/W2006962382","https://openalex.org/W4375857205"],"abstract_inverted_index":{"Runtime":[0],"Verification":[1],"(RV)":[2],"is":[3,60,124,161],"the":[4,26,31,49,61,84,102,118,125,130,136,142,146,164,169],"process":[5],"of":[6,11,86,93,99,127,148],"checking":[7],"whether":[8],"a":[9,12,15,23,108,158],"run":[10],"system":[13],"holds":[14],"given":[16],"property.":[17],"In":[18],"order":[19],"to":[20,29,107,116,129,145,157,163],"perform":[21],"such":[22],"check":[24],"online,":[25],"algorithm":[27],"used":[28],"monitor":[30],"property":[32],"must":[33],"induce":[34],"minimal":[35],"overhead.":[36],"This":[37],"paper":[38],"focuses":[39],"on":[40,168],"two":[41],"areas":[42],"that":[43,160],"have":[44],"received":[45],"little":[46],"attention":[47],"from":[48],"RV":[50],"community:":[51],"Python":[52,68],"programs":[53],"and":[54,88,111,150],"web":[55,131],"services.":[56],"Our":[57,121],"first":[58,140],"contribution":[59,123],"VyPR":[62,95,128],"runtime":[63],"verification":[64],"tool":[65,71],"for":[66],"single-threaded":[67],"programs.":[69],"The":[70],"handles":[72],"specifications":[73],"in":[74,135],"our,":[75],"previously":[76],"introduced,":[77],"Control-Flow":[78],"Temporal":[79],"Logic":[80],"(CFTL),":[81],"which":[82],"supports":[83],"specification":[85,110],"state":[87],"time":[89],"constraints":[90],"over":[91],"runs":[92],"functions.":[94],"minimally":[96],"(in":[97],"terms":[98],"reachability)":[100],"instruments":[101],"input":[103],"program":[104],"with":[105],"respect":[106],"CFTL":[109],"then":[112,151],"uses":[113],"instrumentation":[114],"information":[115],"optimise":[117],"monitoring":[119],"algorithm.":[120],"second":[122],"lifting":[126],"service":[132,159],"setting,":[133],"resulting":[134],"VyPR2":[137,156],"tool.":[138],"We":[139],"describe":[141,152],"necessary":[143],"modifications":[144],"architecture":[147],"VyPR,":[149],"our":[153],"experience":[154],"applying":[155],"critical":[162],"physics":[165],"reconstruction":[166],"pipeline":[167],"CMS":[170],"Experiment":[171],"at":[172],"CERN.":[173]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1}],"updated_date":"2026-09-01T08:31:24.195828","created_date":"2025-10-10T00:00:00"}