{"id":"https://openalex.org/W3008579984","doi":"https://doi.org/10.1109/bigdata47090.2019.9005994","title":"A Methodology for Real-Time Data Verification exploiting Deep Learning and Model Checking","display_name":"A Methodology for Real-Time Data Verification exploiting Deep Learning and Model Checking","publication_year":2019,"publication_date":"2019-12-01","ids":{"openalex":"https://openalex.org/W3008579984","doi":"https://doi.org/10.1109/bigdata47090.2019.9005994","mag":"3008579984"},"language":"en","primary_location":{"id":"doi:10.1109/bigdata47090.2019.9005994","is_oa":false,"landing_page_url":"https://doi.org/10.1109/bigdata47090.2019.9005994","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE International Conference on Big Data (Big Data)","raw_type":"proceedings-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/A5057264250","display_name":"Giovanni Capobianco","orcid":"https://orcid.org/0000-0002-9888-3627"},"institutions":[{"id":"https://openalex.org/I129627893","display_name":"University of Molise","ror":"https://ror.org/04z08z627","country_code":"IT","type":"education","lineage":["https://openalex.org/I129627893"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Giovanni Capobianco","raw_affiliation_strings":["Department of Biosciences and Territory, University of Molise, Pesche, (IS), Italy"],"affiliations":[{"raw_affiliation_string":"Department of Biosciences and Territory, University of Molise, Pesche, (IS), Italy","institution_ids":["https://openalex.org/I129627893"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018737176","display_name":"Umberto Di Giacomo","orcid":null},"institutions":[{"id":"https://openalex.org/I129627893","display_name":"University of Molise","ror":"https://ror.org/04z08z627","country_code":"IT","type":"education","lineage":["https://openalex.org/I129627893"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Umberto Di Giacomo","raw_affiliation_strings":["Department of Biosciences and Territory, University of Molise, Pesche, (IS), Italy"],"affiliations":[{"raw_affiliation_string":"Department of Biosciences and Territory, University of Molise, Pesche, (IS), Italy","institution_ids":["https://openalex.org/I129627893"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073754438","display_name":"Tommaso Di Tusa","orcid":null},"institutions":[{"id":"https://openalex.org/I129627893","display_name":"University of Molise","ror":"https://ror.org/04z08z627","country_code":"IT","type":"education","lineage":["https://openalex.org/I129627893"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Tommaso Di Tusa","raw_affiliation_strings":["Department of Biosciences and Territory, University of Molise, Pesche, (IS), Italy"],"affiliations":[{"raw_affiliation_string":"Department of Biosciences and Territory, University of Molise, Pesche, (IS), Italy","institution_ids":["https://openalex.org/I129627893"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023695406","display_name":"Francesco Mercaldo","orcid":"https://orcid.org/0000-0002-9425-1657"},"institutions":[{"id":"https://openalex.org/I4210155236","display_name":"National Research Council","ror":"https://ror.org/04zaypm56","country_code":"IT","type":"funder","lineage":["https://openalex.org/I4210155236"]},{"id":"https://openalex.org/I4210130157","display_name":"Institute of Informatics and Telematics","ror":"https://ror.org/02gdcn153","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210130157","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Francesco Mercaldo","raw_affiliation_strings":["National Research Council of Italy (CNR), Institute for Informatics and Telematics, Pisa, Italy"],"affiliations":[{"raw_affiliation_string":"National Research Council of Italy (CNR), Institute for Informatics and Telematics, Pisa, Italy","institution_ids":["https://openalex.org/I4210130157","https://openalex.org/I4210155236"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004599844","display_name":"Antonella Santone","orcid":"https://orcid.org/0000-0002-2634-4456"},"institutions":[{"id":"https://openalex.org/I129627893","display_name":"University of Molise","ror":"https://ror.org/04z08z627","country_code":"IT","type":"education","lineage":["https://openalex.org/I129627893"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Antonella Santone","raw_affiliation_strings":["Department of Biosciences and Territory, University of Molise, Pesche, (IS), Italy"],"affiliations":[{"raw_affiliation_string":"Department of Biosciences and Territory, University of Molise, Pesche, (IS), Italy","institution_ids":["https://openalex.org/I129627893"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5057264250"],"corresponding_institution_ids":["https://openalex.org/I129627893"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.22900224,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"5995","last_page":"5997"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9926999807357788,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9926999807357788,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive 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/T11512","display_name":"Anomaly Detection Techniques and Applications","score":0.9890999794006348,"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/T11674","display_name":"Sports Analytics and Performance","score":0.9889000058174133,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"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.8044874668121338},{"id":"https://openalex.org/keywords/situated","display_name":"Situated","score":0.5732795000076294},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.54234778881073},{"id":"https://openalex.org/keywords/ball","display_name":"Ball (mathematics)","score":0.5322378277778625},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.5161551237106323},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.48750540614128113},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4374629855155945},{"id":"https://openalex.org/keywords/deep-learning","display_name":"Deep learning","score":0.43620920181274414},{"id":"https://openalex.org/keywords/feature-extraction","display_name":"Feature extraction","score":0.41482752561569214},{"id":"https://openalex.org/keywords/computer-vision","display_name":"Computer vision","score":0.3757858872413635},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.35313838720321655},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3510003685951233}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8044874668121338},{"id":"https://openalex.org/C132829578","wikidata":"https://www.wikidata.org/wiki/Q581151","display_name":"Situated","level":2,"score":0.5732795000076294},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.54234778881073},{"id":"https://openalex.org/C122041747","wikidata":"https://www.wikidata.org/wiki/Q838611","display_name":"Ball (mathematics)","level":2,"score":0.5322378277778625},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.5161551237106323},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.48750540614128113},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4374629855155945},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.43620920181274414},{"id":"https://openalex.org/C52622490","wikidata":"https://www.wikidata.org/wiki/Q1026626","display_name":"Feature extraction","level":2,"score":0.41482752561569214},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.3757858872413635},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.35313838720321655},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3510003685951233},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/bigdata47090.2019.9005994","is_oa":false,"landing_page_url":"https://doi.org/10.1109/bigdata47090.2019.9005994","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE International Conference on Big Data (Big Data)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W2055753581","https://openalex.org/W2063192183","https://openalex.org/W2089892886","https://openalex.org/W2742366121","https://openalex.org/W2912518248","https://openalex.org/W2922295854","https://openalex.org/W2923896653","https://openalex.org/W2970581089","https://openalex.org/W2980576863","https://openalex.org/W2980615429","https://openalex.org/W2981126057","https://openalex.org/W6767444964"],"related_works":["https://openalex.org/W1600697036","https://openalex.org/W1601337804","https://openalex.org/W2035858348","https://openalex.org/W2155106162","https://openalex.org/W2010047220","https://openalex.org/W2004235806","https://openalex.org/W2152083270","https://openalex.org/W2552595315","https://openalex.org/W4231598561","https://openalex.org/W4380075502"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3,25,29,72,127,140],"methodology":[4,101],"for":[5],"real-time":[6,17],"data":[7,18],"extraction":[8],"and":[9,52,116,118],"verification.":[10],"In":[11],"particular,":[12],"considering":[13,38],"the":[14,56,59,77,82,85,95,119,124,131,135],"lacking":[15],"of":[16,31,50,58,84,109,130,134],"in":[19,42,48,91,126,139],"sport":[20],"analytics":[21],"context,":[22],"we":[23],"propose":[24],"method":[26],"to":[27,44,55,81,93,105,150],"generate":[28],"data-set":[30],"player":[32,46],"positions":[33],"from":[34],"soccer":[35,68,97],"game":[36],"videos,":[37],"deep":[39],"learning":[40],"techniques,":[41],"order":[43,92],"extract":[45,106],"position,":[47],"terms":[49],"x-axis":[51],"y-axis,":[53],"related":[54],"accuracy":[57],"detection.":[60],"The":[61,87],"experiment":[62],"is":[63,89],"performed":[64],"on":[65,76],"several":[66],"local":[67],"games,":[69],"captured":[70],"using":[71],"stationary":[73],"camera":[74,88],"situated":[75],"tribune":[78],"area":[79,120],"close":[80],"center":[83],"field.":[86,98],"positioned":[90],"cover":[94],"entire":[96],"Clearly,":[99],"this":[100],"can":[102,147],"allow":[103],"us":[104],"other":[107],"types":[108],"information,":[110],"such":[111],"as":[112],"distance":[113],"between":[114],"players":[115,125],"ball,":[117],"covered":[121],"by":[122],"all":[123],"specific":[128],"situation":[129],"game.":[132],"All":[133],"informations":[136],"are":[137],"stored":[138],"CSV":[141],"(comma":[142],"separated":[143],"value)":[144],"file":[145],"that":[146],"be":[148],"used":[149],"verify":[151],"behavioural":[152],"properties":[153],"exploiting":[154],"formal":[155],"methods.":[156]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-03-28T08:17:26.163206","created_date":"2025-10-10T00:00:00"}