{"id":"https://openalex.org/W2020115676","doi":"https://doi.org/10.1007/s10009-011-0204-z","title":"Selection of formal verification heuristics for parallel execution","display_name":"Selection of formal verification heuristics for parallel execution","publication_year":2011,"publication_date":"2011-06-03","ids":{"openalex":"https://openalex.org/W2020115676","doi":"https://doi.org/10.1007/s10009-011-0204-z","mag":"2020115676"},"language":"en","primary_location":{"id":"doi:10.1007/s10009-011-0204-z","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10009-011-0204-z","pdf_url":null,"source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"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":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://enpuir.npu.edu.ua/handle/123456789/21696","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5054083293","display_name":"Georgia Penido Safe","orcid":null},"institutions":[{"id":"https://openalex.org/I110200422","display_name":"Universidade Federal de Minas Gerais","ror":"https://ror.org/0176yjw32","country_code":"BR","type":"education","lineage":["https://openalex.org/I110200422"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Georgia Penido Safe","raw_affiliation_strings":["Computer Science Department, Universidade Federal de Minas Gerais, Belo Horizonte, MG, Brazil","Jasper Design Automation, Mountain View, CA, USA","Computer Science Department, Universidade Federal de Minas Gerais, Belo Horizonte, Brazil","Jasper Design Automation, Mountain View, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Universidade Federal de Minas Gerais, Belo Horizonte, MG, Brazil","institution_ids":["https://openalex.org/I110200422"]},{"raw_affiliation_string":"Jasper Design Automation, Mountain View, CA, USA","institution_ids":[]},{"raw_affiliation_string":"Computer Science Department, Universidade Federal de Minas Gerais, Belo Horizonte, Brazil","institution_ids":["https://openalex.org/I110200422"]},{"raw_affiliation_string":"Jasper Design Automation, Mountain View, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108433607","display_name":"Claudionor N. Coelho","orcid":null},"institutions":[{"id":"https://openalex.org/I110200422","display_name":"Universidade Federal de Minas Gerais","ror":"https://ror.org/0176yjw32","country_code":"BR","type":"education","lineage":["https://openalex.org/I110200422"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Claudionor Coelho","raw_affiliation_strings":["Computer Science Department, Universidade Federal de Minas Gerais, Belo Horizonte, MG, Brazil","Jasper Design Automation, Mountain View, CA, USA","Computer Science Department, Universidade Federal de Minas Gerais, Belo Horizonte, Brazil","Jasper Design Automation, Mountain View, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Universidade Federal de Minas Gerais, Belo Horizonte, MG, Brazil","institution_ids":["https://openalex.org/I110200422"]},{"raw_affiliation_string":"Jasper Design Automation, Mountain View, CA, USA","institution_ids":[]},{"raw_affiliation_string":"Computer Science Department, Universidade Federal de Minas Gerais, Belo Horizonte, Brazil","institution_ids":["https://openalex.org/I110200422"]},{"raw_affiliation_string":"Jasper Design Automation, Mountain View, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015631367","display_name":"Luiz F. M. Vieira","orcid":"https://orcid.org/0000-0002-9050-3001"},"institutions":[{"id":"https://openalex.org/I110200422","display_name":"Universidade Federal de Minas Gerais","ror":"https://ror.org/0176yjw32","country_code":"BR","type":"education","lineage":["https://openalex.org/I110200422"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Luiz Filipe M. Vieira","raw_affiliation_strings":["Computer Science Department, Universidade Federal de Minas Gerais, Belo Horizonte, MG, Brazil","Computer Science Department, Universidade Federal de Minas Gerais, Belo Horizonte, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Universidade Federal de Minas Gerais, Belo Horizonte, MG, Brazil","institution_ids":["https://openalex.org/I110200422"]},{"raw_affiliation_string":"Computer Science Department, Universidade Federal de Minas Gerais, Belo Horizonte, Brazil","institution_ids":["https://openalex.org/I110200422"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079297369","display_name":"Celina G. Val","orcid":null},"institutions":[{"id":"https://openalex.org/I110200422","display_name":"Universidade Federal de Minas Gerais","ror":"https://ror.org/0176yjw32","country_code":"BR","type":"education","lineage":["https://openalex.org/I110200422"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Celina Gomes Do Val","raw_affiliation_strings":["Computer Science Department, Universidade Federal de Minas Gerais, Belo Horizonte, MG, Brazil","Jasper Design Automation, Mountain View, CA, USA","Computer Science Department, Universidade Federal de Minas Gerais, Belo Horizonte, Brazil","Jasper Design Automation, Mountain View, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Universidade Federal de Minas Gerais, Belo Horizonte, MG, Brazil","institution_ids":["https://openalex.org/I110200422"]},{"raw_affiliation_string":"Jasper Design Automation, Mountain View, CA, USA","institution_ids":[]},{"raw_affiliation_string":"Computer Science Department, Universidade Federal de Minas Gerais, Belo Horizonte, Brazil","institution_ids":["https://openalex.org/I110200422"]},{"raw_affiliation_string":"Jasper Design Automation, Mountain View, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068177643","display_name":"Jos\u00e9 Augusto M. Nacif","orcid":"https://orcid.org/0000-0003-0703-5620"},"institutions":[{"id":"https://openalex.org/I146165071","display_name":"Universidade Federal de Vi\u00e7osa","ror":"https://ror.org/0409dgb37","country_code":"BR","type":"education","lineage":["https://openalex.org/I146165071"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Jose Augusto Nacif","raw_affiliation_strings":["Universidade Federal de Vi\u00e7osa, Florestal, MG, Brazil","Universidade Federal de Vi\u00e7osa, Florestal, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidade Federal de Vi\u00e7osa, Florestal, MG, Brazil","institution_ids":["https://openalex.org/I146165071"]},{"raw_affiliation_string":"Universidade Federal de Vi\u00e7osa, Florestal, Brazil","institution_ids":["https://openalex.org/I146165071"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5112223799","display_name":"A.O. Fernandes","orcid":null},"institutions":[{"id":"https://openalex.org/I110200422","display_name":"Universidade Federal de Minas Gerais","ror":"https://ror.org/0176yjw32","country_code":"BR","type":"education","lineage":["https://openalex.org/I110200422"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Antonio Otavio Fernandes","raw_affiliation_strings":["Computer Science Department, Universidade Federal de Minas Gerais, Belo Horizonte, MG, Brazil","Computer Science Department, Universidade Federal de Minas Gerais, Belo Horizonte, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Universidade Federal de Minas Gerais, Belo Horizonte, MG, Brazil","institution_ids":["https://openalex.org/I110200422"]},{"raw_affiliation_string":"Computer Science Department, Universidade Federal de Minas Gerais, Belo Horizonte, Brazil","institution_ids":["https://openalex.org/I110200422"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5015631367"],"corresponding_institution_ids":["https://openalex.org/I110200422"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.11205223,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"14","issue":"1","first_page":"95","last_page":"108"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9991000294685364,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9991000294685364,"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/T10142","display_name":"Formal Methods in Verification","score":0.9987999796867371,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9987999796867371,"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.8628226518630981},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.7474793195724487},{"id":"https://openalex.org/keywords/bottleneck","display_name":"Bottleneck","score":0.6625661849975586},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.6116257309913635},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.537583589553833},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.47485876083374023},{"id":"https://openalex.org/keywords/estimator","display_name":"Estimator","score":0.47123655676841736},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4234219491481781},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.4197993874549866},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.37537458539009094},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.24269559979438782},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2235538363456726},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12371006608009338},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.12097418308258057}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8628226518630981},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.7474793195724487},{"id":"https://openalex.org/C2780513914","wikidata":"https://www.wikidata.org/wiki/Q18210350","display_name":"Bottleneck","level":2,"score":0.6625661849975586},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.6116257309913635},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.537583589553833},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.47485876083374023},{"id":"https://openalex.org/C185429906","wikidata":"https://www.wikidata.org/wiki/Q1130160","display_name":"Estimator","level":2,"score":0.47123655676841736},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4234219491481781},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.4197993874549866},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.37537458539009094},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.24269559979438782},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2235538363456726},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12371006608009338},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.12097418308258057},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/s10009-011-0204-z","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10009-011-0204-z","pdf_url":null,"source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"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":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},{"id":"pmh:oai:localhost:123456789/21696","is_oa":true,"landing_page_url":"http://doi.org/10.1007/s10009-011-0204-z","pdf_url":"http://enpuir.npu.edu.ua/handle/123456789/21696","source":{"id":"https://openalex.org/S4377196525","display_name":"Repository of Samara University (Samara National Research University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I3124489027","host_organization_name":"Samara National Research University","host_organization_lineage":["https://openalex.org/I3124489027"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"reponame:Reposit\u00f3rio Institucional da UFV","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:americanae.aecid.es:1613399","is_oa":false,"landing_page_url":"http://americanae.aecid.es/americanae/es/registros/registro.do?tipoRegistro=MTD&idBib=1613399","pdf_url":null,"source":{"id":"https://openalex.org/S4306400786","display_name":"Americanae (AECID Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"reponame:Reposit\u00f3rio Institucional da UFV","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:americanae.aecid.es:1880324","is_oa":false,"landing_page_url":"http://americanae.aecid.es/americanae/es/registros/registro.do?tipoRegistro=MTD&idBib=1880324","pdf_url":null,"source":{"id":"https://openalex.org/S4306400786","display_name":"Americanae (AECID Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"reponame:LOCUS Reposit\u00f3rio Institucional da UFV","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:locus.ufv.br:123456789/21696","is_oa":false,"landing_page_url":"http://www.locus.ufv.br/handle/123456789/21696","pdf_url":null,"source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"instacron:UFV","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:localhost:123456789/21696","is_oa":true,"landing_page_url":"http://doi.org/10.1007/s10009-011-0204-z","pdf_url":"http://enpuir.npu.edu.ua/handle/123456789/21696","source":{"id":"https://openalex.org/S4377196525","display_name":"Repository of Samara University (Samara National Research University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I3124489027","host_organization_name":"Samara National Research University","host_organization_lineage":["https://openalex.org/I3124489027"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"reponame:Reposit\u00f3rio Institucional da UFV","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"display_name":"Decent work and economic growth","score":0.47999998927116394,"id":"https://metadata.un.org/sdg/8"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2020115676.pdf","grobid_xml":"https://content.openalex.org/works/W2020115676.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W51027800","https://openalex.org/W262970172","https://openalex.org/W621300437","https://openalex.org/W1480376833","https://openalex.org/W1511155470","https://openalex.org/W1518705996","https://openalex.org/W1519854356","https://openalex.org/W1749917042","https://openalex.org/W1836483134","https://openalex.org/W1977294468","https://openalex.org/W2005573219","https://openalex.org/W2044560939","https://openalex.org/W2085317472","https://openalex.org/W2086056248","https://openalex.org/W2096307462","https://openalex.org/W2142704389","https://openalex.org/W2143934828","https://openalex.org/W2151398141","https://openalex.org/W2159401492","https://openalex.org/W3142192680","https://openalex.org/W4244880115","https://openalex.org/W4295196781"],"related_works":["https://openalex.org/W75359960","https://openalex.org/W2105593427","https://openalex.org/W3120172095","https://openalex.org/W2118572231","https://openalex.org/W2106507440","https://openalex.org/W2108860137","https://openalex.org/W3209085687","https://openalex.org/W1928822090","https://openalex.org/W2153955347","https://openalex.org/W2533078207"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2016-06-24T00:00:00"}