{"id":"https://openalex.org/W2171661652","doi":"https://doi.org/10.1155/asp/2006/32408","title":"A Fully Automated Environment for Verification of Virtual Prototypes","display_name":"A Fully Automated Environment for Verification of Virtual Prototypes","publication_year":2006,"publication_date":"2006-05-18","ids":{"openalex":"https://openalex.org/W2171661652","doi":"https://doi.org/10.1155/asp/2006/32408","mag":"2171661652"},"language":"en","primary_location":{"id":"doi:10.1155/asp/2006/32408","is_oa":true,"landing_page_url":"https://doi.org/10.1155/asp/2006/32408","pdf_url":"https://asp-eurasipjournals.springeropen.com/counter/pdf/10.1155/ASP/2006/32408","source":{"id":"https://openalex.org/S35920007","display_name":"EURASIP Journal on Advances in Signal Processing","issn_l":"1687-6172","issn":["1687-6172","1687-6180"],"is_oa":true,"is_in_doaj":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EURASIP Journal on Advances in Signal Processing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://asp-eurasipjournals.springeropen.com/counter/pdf/10.1155/ASP/2006/32408","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5051629127","display_name":"Pavle Belanovi\u0107","orcid":null},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"P Belanovi\u0107","raw_affiliation_strings":["Institute of Communications and Radio Frequency Engineering, Vienna University of Technology, Vienna, 1040, Austria"],"affiliations":[{"raw_affiliation_string":"Institute of Communications and Radio Frequency Engineering, Vienna University of Technology, Vienna, 1040, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038601252","display_name":"B. Knerr","orcid":null},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"B Knerr","raw_affiliation_strings":["Institute of Communications and Radio Frequency Engineering, Vienna University of Technology, Vienna, 1040, Austria"],"affiliations":[{"raw_affiliation_string":"Institute of Communications and Radio Frequency Engineering, Vienna University of Technology, Vienna, 1040, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032901794","display_name":"Martin H\u00f6lzer","orcid":"https://orcid.org/0000-0001-7090-8717"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"M Holzer","raw_affiliation_strings":["Institute of Communications and Radio Frequency Engineering, Vienna University of Technology, Vienna, 1040, Austria"],"affiliations":[{"raw_affiliation_string":"Institute of Communications and Radio Frequency Engineering, Vienna University of Technology, Vienna, 1040, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009083554","display_name":"Markus Rupp","orcid":"https://orcid.org/0000-0001-9003-7779"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"M Rupp","raw_affiliation_strings":["Institute of Communications and Radio Frequency Engineering, Vienna University of Technology, Vienna, 1040, Austria"],"affiliations":[{"raw_affiliation_string":"Institute of Communications and Radio Frequency Engineering, Vienna University of Technology, Vienna, 1040, Austria","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5051629127"],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":{"value":1140,"currency":"GBP","value_usd":1398},"apc_paid":{"value":1140,"currency":"GBP","value_usd":1398},"fwci":0.8514,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.75266958,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2006","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9993000030517578,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9993000030517578,"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/T11159","display_name":"Manufacturing Process and Optimization","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing 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/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.9951000213623047,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8161957263946533},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.7248560190200806},{"id":"https://openalex.org/keywords/coding","display_name":"Coding (social sciences)","score":0.5661405920982361},{"id":"https://openalex.org/keywords/virtual-machine","display_name":"Virtual machine","score":0.5311951041221619},{"id":"https://openalex.org/keywords/time-to-market","display_name":"Time to market","score":0.5065804719924927},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5021789073944092},{"id":"https://openalex.org/keywords/wireless","display_name":"Wireless","score":0.4679742157459259},{"id":"https://openalex.org/keywords/virtual-prototyping","display_name":"Virtual prototyping","score":0.4206697940826416},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.39020511507987976},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.34345656633377075},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.32365041971206665},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.32063785195350647},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.2586444020271301},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1517622172832489}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8161957263946533},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.7248560190200806},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.5661405920982361},{"id":"https://openalex.org/C25344961","wikidata":"https://www.wikidata.org/wiki/Q192726","display_name":"Virtual machine","level":2,"score":0.5311951041221619},{"id":"https://openalex.org/C2779229675","wikidata":"https://www.wikidata.org/wiki/Q445235","display_name":"Time to market","level":2,"score":0.5065804719924927},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5021789073944092},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.4679742157459259},{"id":"https://openalex.org/C2780991453","wikidata":"https://www.wikidata.org/wiki/Q3408177","display_name":"Virtual prototyping","level":2,"score":0.4206697940826416},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.39020511507987976},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.34345656633377075},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.32365041971206665},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.32063785195350647},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.2586444020271301},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1517622172832489},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1155/asp/2006/32408","is_oa":true,"landing_page_url":"https://doi.org/10.1155/asp/2006/32408","pdf_url":"https://asp-eurasipjournals.springeropen.com/counter/pdf/10.1155/ASP/2006/32408","source":{"id":"https://openalex.org/S35920007","display_name":"EURASIP Journal on Advances in Signal Processing","issn_l":"1687-6172","issn":["1687-6172","1687-6180"],"is_oa":true,"is_in_doaj":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EURASIP Journal on Advances in Signal Processing","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.91.2651","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.2651","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://publik.tuwien.ac.at/files/pub-et_11034.pdf","raw_type":"text"},{"id":"pmh:oai:doaj.org/article:1b5f38c816464448a33ebe0130c12382","is_oa":true,"landing_page_url":"https://doaj.org/article/1b5f38c816464448a33ebe0130c12382","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"EURASIP Journal on Advances in Signal Processing, Vol 2006, Iss 1, p 032408 (2006)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1155/asp/2006/32408","is_oa":true,"landing_page_url":"https://doi.org/10.1155/asp/2006/32408","pdf_url":"https://asp-eurasipjournals.springeropen.com/counter/pdf/10.1155/ASP/2006/32408","source":{"id":"https://openalex.org/S35920007","display_name":"EURASIP Journal on Advances in Signal Processing","issn_l":"1687-6172","issn":["1687-6172","1687-6180"],"is_oa":true,"is_in_doaj":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EURASIP Journal on Advances in Signal Processing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2171661652.pdf","grobid_xml":"https://content.openalex.org/works/W2171661652.grobid-xml"},"referenced_works_count":18,"referenced_works":["https://openalex.org/W1503570386","https://openalex.org/W1593893945","https://openalex.org/W1595000105","https://openalex.org/W2001897739","https://openalex.org/W2064949444","https://openalex.org/W2098093226","https://openalex.org/W2121152778","https://openalex.org/W2128335669","https://openalex.org/W2130430551","https://openalex.org/W2131782464","https://openalex.org/W2134345746","https://openalex.org/W2138612658","https://openalex.org/W2148740615","https://openalex.org/W2156750105","https://openalex.org/W2160548778","https://openalex.org/W2262818840","https://openalex.org/W2589126904","https://openalex.org/W3203992401"],"related_works":["https://openalex.org/W2000444236","https://openalex.org/W2384475851","https://openalex.org/W2410366623","https://openalex.org/W2146154997","https://openalex.org/W2014924715","https://openalex.org/W2046995649","https://openalex.org/W2048076841","https://openalex.org/W4388937736","https://openalex.org/W2548143628","https://openalex.org/W2188305109"],"abstract_inverted_index":{"The":[0,75],"extremely":[1],"dynamic":[2],"and":[3,38,60,64],"competitive":[4],"nature":[5],"of":[6,27,50],"the":[7,28,34,68,72,87],"wireless":[8],"communication":[9],"systems":[10],"market":[11,17],"demands":[12],"ever":[13],"shorter":[14],"times":[15],"to":[16,32,71,82],"for":[18,48],"new":[19],"products.":[20],"Virtual":[21],"prototyping":[22],"has":[23],"emerged":[24],"as":[25,90,92],"one":[26],"most":[29],"promising":[30],"techniques":[31],"offer":[33],"required":[35],"time":[36],"savings":[37],"resulting":[39],"increases":[40],"in":[41,86],"design":[42,63,88],"efficiency.":[43],"A":[44],"fully":[45],"automated":[46,78],"environment":[47,76],"development":[49],"virtual":[51,73],"prototypes":[52],"is":[53],"presented":[54],"here,":[55],"offering":[56],"maximal":[57],"efficiency":[58],"gains,":[59],"supporting":[61],"both":[62],"verification":[65,79],"flows,":[66],"from":[67],"algorithmic":[69],"model":[70],"prototype.":[74],"employs":[77],"pattern":[80],"refinement":[81],"achieve":[83],"increased":[84,93],"reuse":[85],"process,":[89],"well":[91],"quality":[94],"by":[95],"reducing":[96],"human":[97],"coding":[98],"errors.":[99]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}