{"id":"https://openalex.org/W1909135950","doi":"https://doi.org/10.1109/vlsi-soc.2015.7314424","title":"A time-window based approach for dynamic assertions mining on control signals","display_name":"A time-window based approach for dynamic assertions mining on control signals","publication_year":2015,"publication_date":"2015-10-01","ids":{"openalex":"https://openalex.org/W1909135950","doi":"https://doi.org/10.1109/vlsi-soc.2015.7314424","mag":"1909135950"},"language":"en","primary_location":{"id":"doi:10.1109/vlsi-soc.2015.7314424","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vlsi-soc.2015.7314424","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5005931685","display_name":"Alessandro Danese","orcid":null},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alessandro Danese","raw_affiliation_strings":["Department of Computer Science, University of Verona, Italy","Department of Computer Science, Univ. of Verona, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, Univ. of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083793240","display_name":"Francesca Filini","orcid":null},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Francesca Filini","raw_affiliation_strings":["Department of Computer Science, University of Verona, Italy","Department of Computer Science, Univ. of Verona, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, Univ. of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025088388","display_name":"Graziano Pravadelli","orcid":"https://orcid.org/0000-0002-7833-1673"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Graziano Pravadelli","raw_affiliation_strings":["Department of Computer Science, University of Verona, Italy","Department of Computer Science, Univ. of Verona, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, Univ. of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I119439378"],"apc_list":null,"apc_paid":null,"fwci":1.3322,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.76940441,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"246","last_page":"251"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.998199999332428,"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.998199999332428,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9919999837875366,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9879000186920166,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.687588632106781},{"id":"https://openalex.org/keywords/window","display_name":"Window (computing)","score":0.6378559470176697},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.45572298765182495},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.34136611223220825},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.20465201139450073},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09500014781951904}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.687588632106781},{"id":"https://openalex.org/C2778751112","wikidata":"https://www.wikidata.org/wiki/Q835016","display_name":"Window (computing)","level":2,"score":0.6378559470176697},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.45572298765182495},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.34136611223220825},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.20465201139450073},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09500014781951904}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/vlsi-soc.2015.7314424","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vlsi-soc.2015.7314424","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.5099999904632568,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1487199072","https://openalex.org/W1607873999","https://openalex.org/W1979345835","https://openalex.org/W1981151256","https://openalex.org/W2109951594","https://openalex.org/W2138869010","https://openalex.org/W2149706766","https://openalex.org/W2295399529","https://openalex.org/W4236137412","https://openalex.org/W4236927765","https://openalex.org/W4241531852","https://openalex.org/W4249914973","https://openalex.org/W6636285791"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2109115373","https://openalex.org/W2390901981","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857"],"abstract_inverted_index":{"Different":[0],"mining":[1,101],"approaches":[2,63],"have":[3],"been":[4],"proposed":[5],"in":[6,15,31,51],"the":[7,32,45,52,75,109,128],"past":[8],"for":[9,79,100],"automatic":[10],"generation":[11],"of":[12,23,44,54,68,124,130],"assertions.":[13,25],"However,":[14],"most":[16],"cases,":[17],"existing":[18],"tools":[19],"generate":[20,64],"a":[21,27,35,40,65,71,88,121],"set":[22,33,123],"over-constrained":[24],"As":[26],"consequence,":[28],"each":[29],"assertion":[30],"is":[34],"long":[36],"formula":[37],"that":[38,91,106,116],"describes":[39],"very":[41],"specific":[42],"behaviour":[43],"design":[46],"under":[47],"verification":[48],"(DUV).":[49],"Thus,":[50],"effort":[53],"covering":[55],"as":[56,60],"much":[57],"DUV":[58,97,131],"behaviours":[59],"possible,":[61],"these":[62],"huge":[66],"amount":[67],"assertions":[69,105,125],"with":[70],"negative":[72],"impact":[73],"on":[74,96],"total":[76],"time":[77],"required":[78],"their":[80],"verification.":[81],"To":[82],"overcome":[83],"this":[84],"drawback,":[85],"we":[86],"introduce":[87],"dynamic":[89],"approach":[90,118],"incrementally":[92],"analyses":[93],"control":[94],"signals":[95],"execution":[98],"traces":[99],"more":[102],"expressive":[103],"temporal":[104],"better":[107],"capture":[108],"I/O":[110],"communication":[111],"protocol.":[112],"Experimental":[113],"results":[114],"show":[115],"our":[117],"allows":[119],"generating":[120],"compact":[122],"without":[126],"penalizing":[127],"coverage":[129],"behaviours.":[132]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}