{"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":"book-chapter","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"],"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"],"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"],"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"],"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"],"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":5,"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":3.4232,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.92219332,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"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_cris_publications/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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Dawes, J H, Reger, G, Franzoni, G, Pfeiffer, A & Govi, G 2019, VyPR2 : A framework for runtime verification of python web services. in T Vojnar & L Zhang (eds), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11428 LNCS, Springer Nature, pp. 98-114, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, Prague, Czech Republic, 6/04/19. https://doi.org/10.1007/978-3-030-17465-1_6","raw_type":"info:eu-repo/semantics/publishedVersion"},{"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":"Dawes, J H, Reger, G, Franzoni, G, Pfeiffer, A & Govi, G 2019, VyPR2 : A framework for runtime verification of python web services. in T Vojnar & L Zhang (eds), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11428 LNCS, Springer Nature, pp. 98-114, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, Prague, Czech Republic, 6/04/19. https://doi.org/10.1007/978-3-030-17465-1_6","raw_type":"info:eu-repo/semantics/publishedVersion"}],"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":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.4699999988079071}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":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-04-19T08:26:33.389920","created_date":"2025-10-10T00:00:00"}