{"id":"https://openalex.org/W2045121660","doi":"https://doi.org/10.1007/s10836-012-5316-1","title":"Time-Constraint-Aware Optimization of Assertions in Embedded Software","display_name":"Time-Constraint-Aware Optimization of Assertions in Embedded Software","publication_year":2012,"publication_date":"2012-07-18","ids":{"openalex":"https://openalex.org/W2045121660","doi":"https://doi.org/10.1007/s10836-012-5316-1","mag":"2045121660"},"language":"en","primary_location":{"id":"doi:10.1007/s10836-012-5316-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10836-012-5316-1","pdf_url":null,"source":{"id":"https://openalex.org/S200807567","display_name":"Journal of Electronic Testing","issn_l":"0923-8174","issn":["0923-8174","1573-0727"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Electronic Testing","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/A5022303478","display_name":"Viacheslav Izosimov","orcid":null},"institutions":[{"id":"https://openalex.org/I4210164927","display_name":"Semcon (Sweden)","ror":"https://ror.org/05hvdj453","country_code":"SE","type":"company","lineage":["https://openalex.org/I4210164927"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Viacheslav Izosimov","raw_affiliation_strings":["Embedded Intelligent Solutions (EIS) by Semcon AB, Link\u00f6ping, Sweden","Embedded Intelligent Solutions (EIS) by Semcon AB, Link\u00f6ping, Sweden#TAB#"],"affiliations":[{"raw_affiliation_string":"Embedded Intelligent Solutions (EIS) by Semcon AB, Link\u00f6ping, Sweden","institution_ids":["https://openalex.org/I4210164927"]},{"raw_affiliation_string":"Embedded Intelligent Solutions (EIS) by Semcon AB, Link\u00f6ping, Sweden#TAB#","institution_ids":["https://openalex.org/I4210164927"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079644832","display_name":"Giuseppe Di Guglielmo","orcid":"https://orcid.org/0000-0002-5749-1432"},"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":"Giuseppe Di Guglielmo","raw_affiliation_strings":["Dept. of Computer Science, University of Verona, Verona, Italy","Department of Computer Science \u2013 University of Verona, Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, University of Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science \u2013 University of Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069672683","display_name":"Michele Lora","orcid":"https://orcid.org/0000-0002-6224-4313"},"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":"Michele Lora","raw_affiliation_strings":["Dept. of Computer Science, University of Verona, Verona, Italy","Department of Computer Science \u2013 University of Verona, Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, University of Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science \u2013 University of Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","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":["Dept. of Computer Science, University of Verona, Verona, Italy","Department of Computer Science \u2013 University of Verona, Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, University of Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science \u2013 University of Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040302302","display_name":"Franco Fummi","orcid":"https://orcid.org/0000-0002-4404-5791"},"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":"Franco Fummi","raw_affiliation_strings":["Dept. of Computer Science, University of Verona, Verona, Italy","Department of Computer Science \u2013 University of Verona, Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, University of Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science \u2013 University of Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003372884","display_name":"Zebo Peng","orcid":"https://orcid.org/0000-0002-5137-565X"},"institutions":[{"id":"https://openalex.org/I102134673","display_name":"Link\u00f6ping University","ror":"https://ror.org/05ynxx418","country_code":"SE","type":"education","lineage":["https://openalex.org/I102134673"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Zebo Peng","raw_affiliation_strings":["Dept. of Computer and Information Science, Linkoping University, Link\u00f6ping, Sweden","Department of Computer and Information Science, Link\u00f6ping University, LINK\u00d6PING, Sweden"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer and Information Science, Linkoping University, Link\u00f6ping, Sweden","institution_ids":["https://openalex.org/I102134673"]},{"raw_affiliation_string":"Department of Computer and Information Science, Link\u00f6ping University, LINK\u00d6PING, Sweden","institution_ids":["https://openalex.org/I102134673"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027837299","display_name":"Masahiro Fujita","orcid":"https://orcid.org/0000-0002-6516-4175"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]},{"id":"https://openalex.org/I4210086780","display_name":"Japan Science and Technology Agency","ror":"https://ror.org/00097mb19","country_code":"JP","type":"government","lineage":["https://openalex.org/I4210086780"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Masahiro Fujita","raw_affiliation_strings":["VDEC, University of Tokyo, CREST \u2013 Japan Science and Technology Agency, Tokyo, Japan","VDEC, University of Tokyo, CREST --- Japan Science and Technology Agency, Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"VDEC, University of Tokyo, CREST \u2013 Japan Science and Technology Agency, Tokyo, Japan","institution_ids":["https://openalex.org/I4210086780","https://openalex.org/I74801974"]},{"raw_affiliation_string":"VDEC, University of Tokyo, CREST --- Japan Science and Technology Agency, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5022303478"],"corresponding_institution_ids":["https://openalex.org/I4210164927"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.11495302,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"28","issue":"4","first_page":"469","last_page":"486"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9997000098228455,"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/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6550402045249939},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6215956211090088},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5811280608177185},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4920057952404022},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3332291841506958},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1930895447731018}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6550402045249939},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6215956211090088},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5811280608177185},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4920057952404022},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3332291841506958},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1930895447731018},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10836-012-5316-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10836-012-5316-1","pdf_url":null,"source":{"id":"https://openalex.org/S200807567","display_name":"Journal of Electronic Testing","issn_l":"0923-8174","issn":["0923-8174","1573-0727"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Electronic Testing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":63,"referenced_works":["https://openalex.org/W115789941","https://openalex.org/W141121412","https://openalex.org/W611078108","https://openalex.org/W1542000150","https://openalex.org/W1548951997","https://openalex.org/W1565946377","https://openalex.org/W1600162194","https://openalex.org/W1821730155","https://openalex.org/W1864485850","https://openalex.org/W1967835393","https://openalex.org/W1976924039","https://openalex.org/W1978549697","https://openalex.org/W1985614102","https://openalex.org/W2011379307","https://openalex.org/W2026029858","https://openalex.org/W2034593585","https://openalex.org/W2055429353","https://openalex.org/W2075430742","https://openalex.org/W2076167568","https://openalex.org/W2076285066","https://openalex.org/W2083613288","https://openalex.org/W2099569658","https://openalex.org/W2100505193","https://openalex.org/W2102480715","https://openalex.org/W2108557605","https://openalex.org/W2113290134","https://openalex.org/W2114580895","https://openalex.org/W2115177837","https://openalex.org/W2116097016","https://openalex.org/W2120158555","https://openalex.org/W2124438715","https://openalex.org/W2124618076","https://openalex.org/W2126132133","https://openalex.org/W2127697761","https://openalex.org/W2129750565","https://openalex.org/W2130189691","https://openalex.org/W2131305885","https://openalex.org/W2131529479","https://openalex.org/W2142689011","https://openalex.org/W2144996771","https://openalex.org/W2145867204","https://openalex.org/W2145930995","https://openalex.org/W2147284239","https://openalex.org/W2147674979","https://openalex.org/W2147732182","https://openalex.org/W2148147784","https://openalex.org/W2148327955","https://openalex.org/W2148352627","https://openalex.org/W2150155141","https://openalex.org/W2150234016","https://openalex.org/W2151845324","https://openalex.org/W2152833323","https://openalex.org/W2153409103","https://openalex.org/W2153554709","https://openalex.org/W2161549238","https://openalex.org/W2169596872","https://openalex.org/W2172063078","https://openalex.org/W2544656046","https://openalex.org/W2622072046","https://openalex.org/W3149410719","https://openalex.org/W4234365927","https://openalex.org/W4246188269","https://openalex.org/W4248445118"],"related_works":["https://openalex.org/W2748952813","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","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":null,"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}