Publication Information

{'id': 'https://openalex.org/W2028181803', 'doi': 'https://doi.org/10.1109/tc.2006.182', 'title': "Guest Editor's Introduction to the Special Section on Simulation-Based Design Validation", 'display_name': "Guest Editor's Introduction to the Special Section on Simulation-Based Design Validation", 'publication_year': 2006, 'publication_date': '2006-01-01', 'ids': {'openalex': 'https://openalex.org/W2028181803', 'doi': 'https://doi.org/10.1109/tc.2006.182', 'mag': '2028181803'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1109/tc.2006.182', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S157670870', 'display_name': 'IEEE Transactions on Computers', 'issn_l': '0018-9340', 'issn': ['0018-9340', '1557-9956', '2326-3814'], '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': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'article', 'type_crossref': 'journal-article', 'indexed_in': ['crossref'], 'open_access': {'is_oa': False, 'oa_status': 'closed', 'oa_url': None, 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5037855756', 'display_name': 'Ian G. Harris', 'orcid': 'https://orcid.org/0000-0003-3244-6528'}, 'institutions': [{'id': 'https://openalex.org/I36253440', 'display_name': 'IEEE Computer Society', 'ror': 'https://ror.org/05nxk6n24', 'country_code': 'US', 'type': 'nonprofit', 'lineage': ['https://openalex.org/I36253440']}], 'countries': ['US'], 'is_corresponding': True, 'raw_author_name': 'I.G. Harris', 'raw_affiliation_strings': ['IEEE Computer Society#TAB#'], 'affiliations': [{'raw_affiliation_string': 'IEEE Computer Society#TAB#', 'institution_ids': ['https://openalex.org/I36253440']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 1, 'corresponding_author_ids': ['https://openalex.org/A5037855756'], 'corresponding_institution_ids': ['https://openalex.org/I36253440'], 'apc_list': None, 'apc_paid': None, 'fwci': 0.0, 'has_fulltext': True, 'fulltext_origin': 'ngrams', 'cited_by_count': 1, 'citation_normalized_percentile': {'value': 0.0, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 61, 'max': 68}, 'biblio': {'volume': '55', 'issue': '11', 'first_page': '1313', 'last_page': '1314'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T11450', 'display_name': 'Model-Driven Software Engineering Techniques', 'score': 0.9959, '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/T11450', 'display_name': 'Model-Driven Software Engineering Techniques', 'score': 0.9959, '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/T10743', 'display_name': 'Software Testing and Debugging Techniques', 'score': 0.9958, '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/T12810', 'display_name': 'Real-time simulation and control systems', 'score': 0.9954, 'subfield': {'id': 'https://openalex.org/subfields/2207', 'display_name': 'Control and Systems 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/section', 'display_name': 'Section (typography)', 'score': 0.54120356}, {'id': 'https://openalex.org/keywords/special-section', 'display_name': 'Special section', 'score': 0.5209324}], 'concepts': [{'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.60348237}, {'id': 'https://openalex.org/C2780129039', 'wikidata': 'https://www.wikidata.org/wiki/Q1931107', 'display_name': 'Section (typography)', 'level': 2, 'score': 0.54120356}, {'id': 'https://openalex.org/C2993458768', 'wikidata': 'https://www.wikidata.org/wiki/Q3477549', 'display_name': 'Special section', 'level': 2, 'score': 0.5209324}, {'id': 'https://openalex.org/C127413603', 'wikidata': 'https://www.wikidata.org/wiki/Q11023', 'display_name': 'Engineering', 'level': 0, 'score': 0.16509062}, {'id': 'https://openalex.org/C61696701', 'wikidata': 'https://www.wikidata.org/wiki/Q770766', 'display_name': 'Engineering physics', 'level': 1, 'score': 0.11404425}, {'id': 'https://openalex.org/C111919701', 'wikidata': 'https://www.wikidata.org/wiki/Q9135', 'display_name': 'Operating system', 'level': 1, 'score': 0.10177308}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.1109/tc.2006.182', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S157670870', 'display_name': 'IEEE Transactions on Computers', 'issn_l': '0018-9340', 'issn': ['0018-9340', '1557-9956', '2326-3814'], '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': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}], 'best_oa_location': None, 'sustainable_development_goals': [], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 0, 'referenced_works': [], 'related_works': ['https://openalex.org/W4283319909', 'https://openalex.org/W2753292167', 'https://openalex.org/W2530854909', 'https://openalex.org/W2377866000', 'https://openalex.org/W2325131614', 'https://openalex.org/W2175077174', 'https://openalex.org/W2070887440', 'https://openalex.org/W2012209226', 'https://openalex.org/W1990478924', 'https://openalex.org/W1981344130'], 'abstract_inverted_index': {'THE': [0], 'IEEE': [1, 756], 'High': [2], 'Level': [3], 'Design': [4, 436, 618], 'Validation': [5, 619], 'and': [6, 23, 62, 110, 134, 184, 237, 283, 294, 311, 356, 375, 442, 467, 548, 593, 632, 694, 700], 'Test': [7, 226], '(HLDVT)': [8], 'Workshop': [9], 'was': [10], 'originally': [11], 'established': [12], 'to': [13, 98, 115, 196, 208, 250, 298, 327, 337, 363, 449, 460, 465, 473, 479, 503, 525, 560, 639, 651, 667, 703, 709, 738, 748], 'act': [14], 'as': [15], 'a': [16, 91, 99, 158, 189, 214, 241, 264, 300, 365, 392, 399, 445, 514, 587, 621, 636, 715, 741, 749], 'focal': [17], 'point': [18], 'for': [19, 84, 125, 162, 198, 228, 263, 430, 434, 534], 'research': [20], 'in': [21, 38, 55, 69, 121, 144, 280, 288, 458, 602, 620], 'verification': [22, 61, 65, 493, 509, 608], 'simulation.': [24, 87], 'This': [25, 147, 734], 'special': [26, 57, 71, 604], 'section': [27, 72, 605], 'on': [28, 34, 74, 175, 395, 497], 'simulation-based': [29, 63, 637, 699], 'design': [30, 103, 400, 527, 615], 'validation': [31, 679], 'is': [32, 90, 96, 119, 194, 206, 261, 312, 319, 387, 447, 523, 674, 745], 'based': [33], 'the': [35, 39, 53, 78, 140, 150, 153, 165, 221, 252, 255, 268, 305, 309, 328, 332, 339, 368, 372, 376, 409, 413, 417, 421, 425, 451, 475, 481, 498, 505, 508, 552, 562, 570, 584, 594, 600, 603, 607, 641, 663, 668, 678, 724, 754], 'best': [36], 'papers': [37, 54, 68, 601], 'Proceedings': [40], 'of': [41, 47, 80, 102, 152, 200, 254, 308, 342, 371, 379, 384, 411, 416, 453, 500, 507, 516, 554, 564, 572, 577, 589, 596, 599, 609, 614, 644, 654, 683, 713, 726, 753], 'HLDVT': [42, 48], '2005.': [43], 'The': [44, 285, 316, 382, 491, 529, 581, 648, 711], 'focus': [45, 73], 'areas': [46], 'are': [49, 278, 471, 567], 'well': [50], 'represented': [51], 'by': [52, 128, 181, 231, 345, 405, 419, 439, 537, 569, 625, 687], 'this': [56, 70, 289], 'section,': [58], 'including': [59, 106], 'formal': [60, 701], 'functional': [64, 75, 242, 317, 492], 'research.': [66], 'Several': [67], 'test': [76, 82, 108, 190, 210, 243, 259, 380], 'generation,': [77], 'process': [79, 270, 374, 494], 'generating': [81], 'sequences': [83], 'use': [85, 499, 553], 'during': [86, 314, 521], 'Boolean': [88, 215], 'satisfiability': [89], 'fundamental': [92], 'solving': [93, 117], 'technique': [94, 156, 245, 286, 446], 'which': [95, 138, 193, 219, 246, 277, 303, 558, 566, 676, 730], 'applied': [97], 'wide': [100], 'range': [101], 'automation': [104], 'problems,': [105], 'automatic': [107], 'generation': [109, 191, 244, 260], 'model': [111], 'checking.': [112], 'An': [113], 'extension': [114], 'SAT': [116], 'theory': [118, 362], 'presented': [120, 143, 287, 448, 472, 675], '“B-Cubing:': [122], 'New': [123, 169], 'Possibilities': [124], 'Efficient': [126, 435], 'SAT-Solving”': [127], 'Domagoj': [129], 'Babi': [130], 'c,': [131], 'Jesse': [132], 'Bingham,': [133], 'Alan': [135], 'J.': [136], 'Hu,': [137], 'generalizes': [139], 'supercubing': [141], 'framework': [142], 'earlier': [145], 'work.': [146], 'paper': [148, 290, 333, 426, 530, 582, 735], 'proves': [149], 'correctness': [151, 706], 'proposed': [154], 'B-cubing': [155], 'using': [157], 'new': [159], 'construct': [160], 'created': [161], 'that': [163, 740], 'purpose,': [164], 'obligation-certification': [166], 'tree.': [167], '“A': [168], 'Simulation-Based': [170], 'Property': [171], 'Checking': [172], 'Algorithm': [173, 429], 'Based': [174], 'Partitioned': [176], 'Alternative': [177], 'Search': [178], 'Space': [179], 'Traversal”': [180], 'Qingwei': [182], 'Wu': [183], 'Michael': [185], 'S.': [186], 'Hsiao': [187], 'describes': [188, 635], 'tool': [192], 'used': [195, 207, 313], 'search': [197, 222, 256, 373, 396], 'violations': [199], 'safety': [201], 'properties.': [202], 'A': [203, 670], 'genetic': [204], 'algorithm': [205], 'generate': [209, 299], 'sequences,': [211], 'together': [212], 'with': [213, 486, 707], 'constraint': [216], 'propagation': [217], 'engine': [218], 'reduces': [220], 'space.': [223], '“SimulationBased': [224], 'Functional': [225], 'Generation': [227], 'Embedded': [229, 623], 'Processors”': [230], 'Charles': [232], 'H.-P.': [233], 'Wen,': [234], 'Li-C.': [235], 'Wang,': [236], 'Kwang-Ting': [238], 'Cheng': [239], 'presents': [240, 697, 736], 'uses': [247, 295], 'simulation': [248], 'results': [249], 'reduce': [251, 450], 'complexity': [253], 'process.': [257, 510, 680], 'When': [258], 'performed': [262], 'component': [265, 310], 'under': [266], 'test,': [267], 'justification': [269, 329], 'must': [271], 'involve': [272], 'many': [273], 'additional': [274], 'surrounding': [275, 292], 'components': [276, 293], 'involved': [279], 'fault': [281], 'activation': [282], 'propagation.': [284], 'simulates': [291], 'machine': [296, 489], 'learning': [297, 361], '“functional': [301], 'mapping”': [302], 'represents': [304], 'inverse': [306], 'function': [307], 'justification.': [315], 'mapping': [318], 'approximate,': [320], 'but': [321, 611], 'it': [322, 390, 462], 'enables': [323], 'an': [324, 454, 645, 719], 'efficient': [325], 'solution': [326], 'problem.': [330], 'In': [331, 424], '“Harnessing': [334], 'Machine': [335], 'Learning': [336], 'Improve': [338], 'Success': [340], 'Rate': [341], 'Stimuli': [343], 'Generation”': [344], 'Shai': [346], 'Fine,': [347], 'Ari': [348], 'Freund,': [349], 'Itai': [350], 'Jaeger,': [351], 'Yishay': [352], 'Mansour,': [353], 'Yehuda': [354], 'Naveh,': [355], 'Avi': [357, 546], 'Ziv,': [358, 547], 'researchers': [359], 'apply': [360], 'establish': [364], 'relationship': [366, 585], 'between': [367, 586], 'start': [369, 385], 'state': [370, 386, 485, 488], 'success': [377], 'rate': [378], 'generation.': [381], 'choice': [383], 'important': [388], 'because': [389], 'has': [391, 402, 722], 'strong': [393], 'impact': [394], 'complexity.': [397], 'Once': [398], 'error': [401, 418, 422, 456, 483], 'been': [403], 'revealed': [404], 'simulation,': [406], 'there': [407], 'remains': [408], 'task': [410], 'identifying': [412], 'source': [414], 'cause': [415], 'examining': [420], 'trace.': [423], '“An': [427], 'Optimum': [428], 'Compacting': [431], 'Error': [432, 437], 'Traces': [433], 'Debugging”': [438], 'Chian-Chih': [440], 'Yen': [441], 'Jing-Yang': [443], 'Jou,': [444], 'length': [452], 'existing': [455], 'trace': [457], 'order': [459], 'make': [461], 'more': [463, 575], 'easy': [464], 'understand': [466], 'examine.': [468], 'Two': [469, 598], 'heuristics': [470], 'modify': [474], 'detecting': [476, 484], 'input': [477], 'sequence': [478], 'reach': [480], 'same': [482], 'fewer': [487], 'transitions.': [490], 'often': [495], 'depends': [496], 'coverage': [501, 517, 556, 579, 591], 'metrics': [502, 512, 557], 'evaluate': [504], 'completeness': [506], 'Coverage': [511], 'define': [513], 'set': [515], 'events': [518, 565], 'whose': [519], 'occurrence': [520, 563], 'testing': [522], 'required': [524], 'reveal': [526], 'errors.': [528], '“Advanced': [531], 'Analysis': [532], 'Techniques': [533], 'Cross-Product': [535], 'Coverage”': [536], 'Hezi': [538], 'Azatchi,': [539], 'Laurent': [540], 'Fournier,': [541], 'Eitan': [542], 'Marcus,': [543], 'Shmuel': [544], 'Ur,': [545], 'Keren': [549], 'Zohar': [550], 'evaluates': [551], 'crossproduct': [555, 590], 'combine': [559], 'monitor': [561], 'defined': [568], 'cross-product': [571], 'two': [573], 'or': [574], 'sets': [576], 'independent': [578], 'events.': [580], 'explores': [583], 'variety': [588], 'techniques': [592, 702, 737], 'quality': [595], 'verification.': [597], 'address': [606], 'essential': [610], 'nontraditional': [612], 'aspects': [613], 'correctness.': [616], '“Multilevel': [617], 'Secure': [622], 'System”': [624], 'Parick': [626], 'Schaumont,': [627], 'David': [628, 692], 'Hwang,': [629], 'Shenglin': [630], 'Yang,': [631], 'Ingrid': [633], 'Verbauwhede': [634], 'methodology': [638], 'validate': [640, 704], 'security': [642], 'properties': [643], 'embedded': [646], 'system.': [647, 755], 'approach': [649], 'seeks': [650], 'identify': [652], 'leaks': [653], 'critical': [655], 'information': [656], 'at': [657], 'all': [658], 'multiple': [659], 'abstraction': [660], 'levels,': [661], 'from': [662], 'software': [664], 'algorithms': [665], 'down': [666], 'microarchitecture.': [669], 'cycle-accurate': [671], 'cosimulation': [672], 'platform': [673], 'supports': [677], '“Validating': [681], 'Families': [682], 'Latency': [684], 'Insensitive': [685], 'Protocols”': [686], 'Syed': [688], 'Suhaib,': [689], 'Deepak': [690], 'Mathaikutty,': [691], 'Berner,': [693], 'Sandeep': [695], 'Shukla': [696], 'both': [698], 'system': [705, 744], 'respect': [708], 'latency.': [710], 'difficulty': [712], 'transmitting': [714], 'low-skew': [716], 'clock': [717], 'over': [718], 'entire': [720], 'chip': [721], 'motivated': [723], 'development': [725], 'latency': [727, 742], 'insensitive': [728, 743], 'protocols': [729], 'enable': [731], 'asynchronous': [732], 'communication.': [733], 'verify': [739], '“latency': [746], 'equivalent”': [747], 'completely': [750], 'synchronous': [751], 'version': [752], 'TRANSACTIONS': [757], 'ON': [758], 'COMPUTERS,': [759], 'VOL.': [760], '55,': [761], 'NO.': [762], '11,': [763], 'NOVEMBER': [764], '2006': [765], '1313': [766]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2028181803', 'counts_by_year': [], 'updated_date': '2024-12-13T17:25:23.429370', 'created_date': '2016-06-24'}