{"id":"https://openalex.org/W2181354330","doi":"https://doi.org/10.1007/978-3-642-30729-4_7","title":"Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports","display_name":"Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports","publication_year":2012,"publication_date":"2012-01-01","ids":{"openalex":"https://openalex.org/W2181354330","doi":"https://doi.org/10.1007/978-3-642-30729-4_7","mag":"2181354330"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-30729-4_7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-30729-4_7","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5052859509","display_name":"Tim Blackmore","orcid":null},"institutions":[{"id":"https://openalex.org/I4210105601","display_name":"Infineon Technologies (United Kingdom)","ror":"https://ror.org/017ptvx95","country_code":"GB","type":"company","lineage":["https://openalex.org/I137594350","https://openalex.org/I4210105601"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Tim Blackmore","raw_affiliation_strings":["Infineon Technologies, Infineon House, Great Western Court, Hunts Ground Road, Bristol, BS34 8HP, UK"],"affiliations":[{"raw_affiliation_string":"Infineon Technologies, Infineon House, Great Western Court, Hunts Ground Road, Bristol, BS34 8HP, UK","institution_ids":["https://openalex.org/I4210105601"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036897835","display_name":"David Halliwell","orcid":null},"institutions":[{"id":"https://openalex.org/I4210105601","display_name":"Infineon Technologies (United Kingdom)","ror":"https://ror.org/017ptvx95","country_code":"GB","type":"company","lineage":["https://openalex.org/I137594350","https://openalex.org/I4210105601"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"David Halliwell","raw_affiliation_strings":["Infineon Technologies, Infineon House, Great Western Court, Hunts Ground Road, Bristol, BS34 8HP, UK"],"affiliations":[{"raw_affiliation_string":"Infineon Technologies, Infineon House, Great Western Court, Hunts Ground Road, Bristol, BS34 8HP, UK","institution_ids":["https://openalex.org/I4210105601"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113444411","display_name":"Philip Barker","orcid":null},"institutions":[{"id":"https://openalex.org/I4210105601","display_name":"Infineon Technologies (United Kingdom)","ror":"https://ror.org/017ptvx95","country_code":"GB","type":"company","lineage":["https://openalex.org/I137594350","https://openalex.org/I4210105601"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Philip Barker","raw_affiliation_strings":["Infineon Technologies, Infineon House, Great Western Court, Hunts Ground Road, Bristol, BS34 8HP, UK"],"affiliations":[{"raw_affiliation_string":"Infineon Technologies, Infineon House, Great Western Court, Hunts Ground Road, Bristol, BS34 8HP, UK","institution_ids":["https://openalex.org/I4210105601"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033095054","display_name":"Kerstin Eder","orcid":"https://orcid.org/0000-0001-9746-1409"},"institutions":[{"id":"https://openalex.org/I36234482","display_name":"University of Bristol","ror":"https://ror.org/0524sp257","country_code":"GB","type":"education","lineage":["https://openalex.org/I36234482"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Kerstin Eder","raw_affiliation_strings":["Department of Computer Science, University of Bristol, Bristol, BS8 1UB, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Bristol, Bristol, BS8 1UB, UK","institution_ids":["https://openalex.org/I36234482"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058029549","display_name":"Naresh Ramaram","orcid":null},"institutions":[{"id":"https://openalex.org/I36234482","display_name":"University of Bristol","ror":"https://ror.org/0524sp257","country_code":"GB","type":"education","lineage":["https://openalex.org/I36234482"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Naresh Ramaram","raw_affiliation_strings":["Department of Computer Science, University of Bristol, Bristol, BS8 1UB, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Bristol, Bristol, BS8 1UB, UK","institution_ids":["https://openalex.org/I36234482"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5052859509"],"corresponding_institution_ids":["https://openalex.org/I4210105601"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.7733,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.71439569,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"84","last_page":"98"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9997000098228455,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994000196456909,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8962444067001343},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.6562687158584595},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.6482034921646118},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.634402871131897},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.6221035718917847},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5870914459228516},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.568958044052124},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.4904157817363739},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.4432111382484436},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.44195878505706787},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.34181809425354004},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.21180614829063416},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1472836434841156}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8962444067001343},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.6562687158584595},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.6482034921646118},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.634402871131897},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.6221035718917847},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5870914459228516},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.568958044052124},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.4904157817363739},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.4432111382484436},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.44195878505706787},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.34181809425354004},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.21180614829063416},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1472836434841156},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-642-30729-4_7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-30729-4_7","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:research-information.bris.ac.uk:openaire_cris_publications/382bdca0-63d0-49d5-9b0b-e6596990f648","is_oa":false,"landing_page_url":"https://research-information.bris.ac.uk/en/publications/382bdca0-63d0-49d5-9b0b-e6596990f648","pdf_url":null,"source":{"id":"https://openalex.org/S4306400895","display_name":"Bristol Research (University of Bristol)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I36234482","host_organization_name":"University of Bristol","host_organization_lineage":["https://openalex.org/I36234482"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Blackmore, T, Halliwell, D, Barker, P, Eder, K & Ramaram, N 2012, Analysing and closing simulation coverage by automatic generation and verification of formal properties from coverage reports. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 7321 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7321 LNCS, pp. 84-98. https://doi.org/10.1007/978-3-642-30729-4_7","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:research-information.bris.ac.uk:publications/382bdca0-63d0-49d5-9b0b-e6596990f648","is_oa":false,"landing_page_url":"https://hdl.handle.net/1983/382bdca0-63d0-49d5-9b0b-e6596990f648","pdf_url":null,"source":{"id":"https://openalex.org/S7407055359","display_name":"Explore Bristol Research","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":"Blackmore, T, Halliwell, D, Barker, P, Eder, K & Ramaram, N 2012, Analysing and closing simulation coverage by automatic generation and verification of formal properties from coverage reports. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 7321 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7321 LNCS, pp. 84-98. https://doi.org/10.1007/978-3-642-30729-4_7","raw_type":"contributionToPeriodical"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W1481749898","https://openalex.org/W1538643901","https://openalex.org/W1600068019","https://openalex.org/W1716350518","https://openalex.org/W1831376992","https://openalex.org/W2476089118","https://openalex.org/W2913459036"],"related_works":["https://openalex.org/W2006962382","https://openalex.org/W4312733571","https://openalex.org/W2149716943","https://openalex.org/W4315606162","https://openalex.org/W161255303","https://openalex.org/W1544097700","https://openalex.org/W2340807904","https://openalex.org/W1488573418","https://openalex.org/W1547517160","https://openalex.org/W2037121848"],"abstract_inverted_index":null,"counts_by_year":[{"year":2014,"cited_by_count":2}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}