{"id":"https://openalex.org/W1980644431","doi":"https://doi.org/10.1109/hldvt.2006.319971","title":"DeepTrans - Extending the Model-based Approach to Functional Verification of Address Translation Mechanisms","display_name":"DeepTrans - Extending the Model-based Approach to Functional Verification of Address Translation Mechanisms","publication_year":2006,"publication_date":"2006-11-01","ids":{"openalex":"https://openalex.org/W1980644431","doi":"https://doi.org/10.1109/hldvt.2006.319971","mag":"1980644431"},"language":"en","primary_location":{"id":"doi:10.1109/hldvt.2006.319971","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2006.319971","pdf_url":null,"source":{"id":"https://openalex.org/S4210185766","display_name":"Proceedings","issn_l":"1552-6674","issn":["1552-6674","2471-7827"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2006 IEEE International High Level Design Validation and Test Workshop","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/A5014058894","display_name":"Allon Adir","orcid":"https://orcid.org/0000-0001-8128-6706"},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Allon Adir","raw_affiliation_strings":["IBM Research Lab in Haifa Haifa University Campus Mount Carmel, Haifa, Israel","IBM Research Laboratory, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Research Lab in Haifa Haifa University Campus Mount Carmel, Haifa, Israel","institution_ids":[]},{"raw_affiliation_string":"IBM Research Laboratory, Israel","institution_ids":["https://openalex.org/I4210167297"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063261657","display_name":"Laurent S\u00e9bastien Fournier","orcid":"https://orcid.org/0000-0002-4661-5233"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Laurent Fournier","raw_affiliation_strings":["IBM Research Lab in Haifa Haifa University Campus Mount Carmel, Haifa, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Research Lab in Haifa Haifa University Campus Mount Carmel, Haifa, Israel","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087402916","display_name":"Yoav Katz","orcid":null},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Yoav Katz","raw_affiliation_strings":["IBM Research Lab in Haifa Haifa University Campus Mount Carmel, Haifa, Israel","IBM Research Laboratory, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Research Lab in Haifa Haifa University Campus Mount Carmel, Haifa, Israel","institution_ids":[]},{"raw_affiliation_string":"IBM Research Laboratory, Israel","institution_ids":["https://openalex.org/I4210167297"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077780621","display_name":"Anatoly Koyfman","orcid":null},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Anatoly Koyfman","raw_affiliation_strings":["IBM Research Lab in Haifa Haifa University Campus Mount Carmel, Haifa, Israel","IBM Research Laboratory, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Research Lab in Haifa Haifa University Campus Mount Carmel, Haifa, Israel","institution_ids":[]},{"raw_affiliation_string":"IBM Research Laboratory, Israel","institution_ids":["https://openalex.org/I4210167297"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.1037851,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"13","issue":null,"first_page":"102","last_page":"110"},"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.9995999932289124,"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.9995999932289124,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9994999766349792,"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/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.8126274347305298},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.6089493036270142},{"id":"https://openalex.org/keywords/ibm","display_name":"IBM","score":0.5797756910324097},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.5189411640167236},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.47499528527259827},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.46443280577659607},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.45765578746795654},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.45041510462760925},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3281967043876648},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.098072350025177}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8126274347305298},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.6089493036270142},{"id":"https://openalex.org/C70388272","wikidata":"https://www.wikidata.org/wiki/Q5968558","display_name":"IBM","level":2,"score":0.5797756910324097},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.5189411640167236},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.47499528527259827},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.46443280577659607},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.45765578746795654},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.45041510462760925},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3281967043876648},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.098072350025177},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C105580179","wikidata":"https://www.wikidata.org/wiki/Q188928","display_name":"Messenger RNA","level":3,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/hldvt.2006.319971","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2006.319971","pdf_url":null,"source":{"id":"https://openalex.org/S4210185766","display_name":"Proceedings","issn_l":"1552-6674","issn":["1552-6674","2471-7827"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2006 IEEE International High Level Design Validation and Test Workshop","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W153230822","https://openalex.org/W1502559739","https://openalex.org/W1551864592","https://openalex.org/W1566072248","https://openalex.org/W2032755892","https://openalex.org/W2042835116","https://openalex.org/W2102606870","https://openalex.org/W2129938370","https://openalex.org/W2146256091","https://openalex.org/W2739649174","https://openalex.org/W3009058554","https://openalex.org/W4243214410","https://openalex.org/W6606242250","https://openalex.org/W6630742994","https://openalex.org/W6632994944","https://openalex.org/W6658522515"],"related_works":["https://openalex.org/W3126131865","https://openalex.org/W4253186488","https://openalex.org/W2044344400","https://openalex.org/W1996938127","https://openalex.org/W2083611981","https://openalex.org/W2072507639","https://openalex.org/W4231814374","https://openalex.org/W2155964760","https://openalex.org/W2043380045","https://openalex.org/W2099557065"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3,44,58,88],"new":[4],"test":[5,49,111],"case":[6],"generation":[7],"technology,":[8],"specifically":[9],"targeted":[10],"at":[11],"verifying":[12],"systems":[13],"that":[14,46,62,92],"include":[15],"address":[16,52,68,82],"translation":[17,53,69,73,83],"mechanisms.":[18],"The":[19,81],"ever-growing":[20],"demand":[21],"for":[22,39,65],"performance":[23],"makes":[24],"these":[25],"mechanisms":[26],"more":[27],"complex,":[28],"thereby":[29],"increasing":[30,36],"the":[31,37,67,97,101],"risk":[32],"of":[33],"bugs":[34],"and":[35,75],"need":[38],"such":[40],"technology.":[41],"DeepTrans":[42,103],"is":[43,85,93,104],"package":[45],"extends":[47],"existing":[48],"generators":[50,112],"with":[51,96],"testing":[54],"capabilities.":[55],"It":[56],"uses":[57],"declarative":[59],"modeling":[60],"language":[61],"includes":[63],"constructs":[64],"describing":[66],"process,":[70],"commonly":[71],"used":[72,106],"resources,":[74],"architecture":[76],"rules":[77],"related":[78],"to":[79,87],"translation.":[80],"model":[84],"converted":[86],"constraint":[89],"satisfaction":[90],"problem":[91,98],"solved":[94],"simultaneously":[95],"formulated":[99],"by":[100,107],"generator.":[102],"currently":[105],"two":[108],"different":[109],"IBM":[110]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}