{"id":"https://openalex.org/W2038140126","doi":"https://doi.org/10.4018/ijsi.2014040102","title":"Proxy-Monitor","display_name":"Proxy-Monitor","publication_year":2014,"publication_date":"2014-04-01","ids":{"openalex":"https://openalex.org/W2038140126","doi":"https://doi.org/10.4018/ijsi.2014040102","mag":"2038140126"},"language":"en","primary_location":{"id":"doi:10.4018/ijsi.2014040102","is_oa":false,"landing_page_url":"https://doi.org/10.4018/ijsi.2014040102","pdf_url":null,"source":{"id":"https://openalex.org/S4210228539","display_name":"International Journal of Software Innovation","issn_l":"2166-7160","issn":["2166-7160","2166-7179"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320424","host_organization_name":"IGI Global","host_organization_lineage":["https://openalex.org/P4310320424"],"host_organization_lineage_names":["IGI Global"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Innovation","raw_type":"journal-article"},"type":"article","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/A5032624369","display_name":"S\u00e9bastien Salva","orcid":null},"institutions":[{"id":"https://openalex.org/I198244214","display_name":"Universit\u00e9 Clermont Auvergne","ror":"https://ror.org/01a8ajp46","country_code":"FR","type":"education","lineage":["https://openalex.org/I198244214"]},{"id":"https://openalex.org/I4210099416","display_name":"Laboratoire d'Informatique, de Mod\u00e9lisation et d'Optimisation des Syst\u00e8mes","ror":"https://ror.org/00t3fpp34","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I198244214","https://openalex.org/I198244214","https://openalex.org/I203339264","https://openalex.org/I205703379","https://openalex.org/I3019848993","https://openalex.org/I4210099416","https://openalex.org/I4210123221","https://openalex.org/I4210159245","https://openalex.org/I4387154249"]},{"id":"https://openalex.org/I4210127465","display_name":"Instituts Universitaires de Technologie","ror":"https://ror.org/03f099r71","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210127465"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"S\u00e9bastien Salva","raw_affiliation_strings":["Clermont-Ferrand University, Aubi\u00e8re, France","Institut Universitaire de Technologie d'Aubi\u00e8re","Laboratoire d'Informatique, de Mod\u00e9lisation et d'optimisation des Syst\u00e8mes","Universit\u00e9 Clermont Auvergne [2017-2020]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Clermont-Ferrand University, Aubi\u00e8re, France","institution_ids":[]},{"raw_affiliation_string":"Institut Universitaire de Technologie d'Aubi\u00e8re","institution_ids":["https://openalex.org/I4210127465"]},{"raw_affiliation_string":"Laboratoire d'Informatique, de Mod\u00e9lisation et d'optimisation des Syst\u00e8mes","institution_ids":["https://openalex.org/I4210099416"]},{"raw_affiliation_string":"Universit\u00e9 Clermont Auvergne [2017-2020]","institution_ids":["https://openalex.org/I198244214"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008183672","display_name":"Tien-Dung Cao","orcid":"https://orcid.org/0000-0003-4805-8132"},"institutions":[{"id":"https://openalex.org/I4210141097","display_name":"T\u00e2n T\u1ea1o University","ror":"https://ror.org/03q6f0894","country_code":"VN","type":"education","lineage":["https://openalex.org/I4210141097"]},{"id":"https://openalex.org/I4210142254","display_name":"Laboratoire Bordelais de Recherche en Informatique","ror":"https://ror.org/03adqg323","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210159245","https://openalex.org/I4210160189"]}],"countries":["FR","VN"],"is_corresponding":false,"raw_author_name":"Tien-Dung Cao","raw_affiliation_strings":["School of Engineering, Tan Tao University, Long An, Vietnam","Laboratoire Bordelais de Recherche en Informatique"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Engineering, Tan Tao University, Long An, Vietnam","institution_ids":["https://openalex.org/I4210141097"]},{"raw_affiliation_string":"Laboratoire Bordelais de Recherche en Informatique","institution_ids":["https://openalex.org/I4210142254"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14941406,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2","issue":"2","first_page":"20","last_page":"42"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.8557913899421692},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.7092522382736206},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6065742373466492},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.6060117483139038},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.588324248790741},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.460400253534317},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.368862509727478},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.35943442583084106},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3592851161956787},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.22937622666358948},{"id":"https://openalex.org/keywords/standardization","display_name":"Standardization","score":0.1011093258857727}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8557913899421692},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.7092522382736206},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6065742373466492},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.6060117483139038},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.588324248790741},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.460400253534317},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.368862509727478},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.35943442583084106},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3592851161956787},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.22937622666358948},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.1011093258857727},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.4018/ijsi.2014040102","is_oa":false,"landing_page_url":"https://doi.org/10.4018/ijsi.2014040102","pdf_url":null,"source":{"id":"https://openalex.org/S4210228539","display_name":"International Journal of Software Innovation","issn_l":"2166-7160","issn":["2166-7160","2166-7179"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320424","host_organization_name":"IGI Global","host_organization_lineage":["https://openalex.org/P4310320424"],"host_organization_lineage_names":["IGI Global"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Innovation","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.75,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W38701583","https://openalex.org/W127265581","https://openalex.org/W1504797356","https://openalex.org/W1535629208","https://openalex.org/W1562837134","https://openalex.org/W1564510709","https://openalex.org/W1566793636","https://openalex.org/W1740522204","https://openalex.org/W1825341937","https://openalex.org/W2026774266","https://openalex.org/W2036910349","https://openalex.org/W2101623441","https://openalex.org/W2107412422","https://openalex.org/W2107424259","https://openalex.org/W2112640524","https://openalex.org/W2113012730","https://openalex.org/W2119736157","https://openalex.org/W2126606154","https://openalex.org/W2131142971","https://openalex.org/W2143024421","https://openalex.org/W2149542769","https://openalex.org/W2153074919","https://openalex.org/W2160146193","https://openalex.org/W2166659009","https://openalex.org/W2167065106","https://openalex.org/W2171015689","https://openalex.org/W2251633806","https://openalex.org/W2551849333","https://openalex.org/W3021041777","https://openalex.org/W4231021522"],"related_works":["https://openalex.org/W2406499533","https://openalex.org/W2528363695","https://openalex.org/W2809618173","https://openalex.org/W3036403349","https://openalex.org/W2037121848","https://openalex.org/W4312733571","https://openalex.org/W2006962382","https://openalex.org/W2149716943","https://openalex.org/W1968510839","https://openalex.org/W4315606162"],"abstract_inverted_index":{"This":[0,91],"paper":[1,92],"proposes":[2],"a":[3,23],"conformance":[4,40],"testing":[5,10,35],"method":[6],"combining":[7],"two":[8],"well-known":[9],"approaches,":[11],"runtime":[12,104],"verification":[13,18,105],"and":[14,106,131],"passive":[15,34,107],"testing.":[16,108],"Runtime":[17],"addresses":[19],"the":[20,39,42,45,64,78,95,112,121,151,154],"monitoring":[21],"of":[22,41,114,153],"system":[24,43],"under":[25],"test":[26,66],"to":[27,58,63,102,149],"check":[28],"whether":[29,54,77],"formal":[30],"properties":[31],"hold,":[32],"while":[33],"aims":[36],"at":[37],"checking":[38,70],"in":[44,50,144],"long-term.":[46],"The":[47,109],"method,":[48],"proposed":[49],"this":[51,133],"paper,":[52],"checks":[53,76],"an":[55],"implementation":[56,79,122],"conforms":[57],"its":[59],"specification":[60],"with":[61],"reference":[62],"ioco":[65,72],"relation.":[67],"While":[68],"passively":[69],"if":[71],"holds,":[73],"it":[74],"also":[75,93],"meets":[80],"safety":[81],"properties,":[82],"which":[83,99],"informally":[84],"state":[85],"that":[86],"\u201cnothing":[87],"bad":[88],"ever":[89],"happens\u201d.":[90],"tackles":[94],"trace":[96],"extraction":[97],"problem,":[98],"is":[100,147],"common":[101],"both":[103],"authors":[110],"define":[111],"notion":[113],"Proxy-monitors":[115],"for":[116],"collecting":[117],"traces":[118],"even":[119],"when":[120],"environment":[123],"access":[124],"rights":[125],"are":[126],"restricted.":[127],"Then,":[128],"they":[129],"apply":[130],"specialise":[132],"approach":[134],"on":[135],"Web":[136,140],"service":[137,141],"compositions.":[138],"A":[139],"composition":[142],"deployed":[143],"different":[145],"Clouds":[146],"experimented":[148],"assess":[150],"feasibility":[152],"method.":[155]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2016-06-24T00:00:00"}