{"id":"https://openalex.org/W2143051235","doi":"https://doi.org/10.1109/hldvt.2011.6114162","title":"Causality analysis of synchronous programs with refined clocks","display_name":"Causality analysis of synchronous programs with refined clocks","publication_year":2011,"publication_date":"2011-11-01","ids":{"openalex":"https://openalex.org/W2143051235","doi":"https://doi.org/10.1109/hldvt.2011.6114162","mag":"2143051235"},"language":"en","primary_location":{"id":"doi:10.1109/hldvt.2011.6114162","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2011.6114162","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 IEEE International High Level Design Validation and Test Workshop","raw_type":"proceedings-article"},"type":"article","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/A5018831374","display_name":"Mike Gem\u00fcnde","orcid":null},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Mike Gemunde","raw_affiliation_strings":["Department of Computer Science, University of Kaiserslautern, Germany","Department of Computer Science, University of Kaiserslautern"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]},{"raw_affiliation_string":"Department of Computer Science, University of Kaiserslautern","institution_ids":["https://openalex.org/I153267046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053832606","display_name":"Jens Brandt","orcid":"https://orcid.org/0000-0003-1193-5496"},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jens Brandt","raw_affiliation_strings":["Department of Computer Science, University of Kaiserslautern, Germany","Department of Computer Science, University of Kaiserslautern"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]},{"raw_affiliation_string":"Department of Computer Science, University of Kaiserslautern","institution_ids":["https://openalex.org/I153267046"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081184867","display_name":"Klaus Schneider","orcid":"https://orcid.org/0000-0002-1305-7132"},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Klaus Schneider","raw_affiliation_strings":["Department of Computer Science, University of Kaiserslautern, Germany","Department of Computer Science, University of Kaiserslautern"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]},{"raw_affiliation_string":"Department of Computer Science, University of Kaiserslautern","institution_ids":["https://openalex.org/I153267046"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5018831374"],"corresponding_institution_ids":["https://openalex.org/I153267046"],"apc_list":null,"apc_paid":null,"fwci":0.5037,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.68426076,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"274","issue":null,"first_page":"25","last_page":"32"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":1.0,"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":1.0,"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.9997000098228455,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9994999766349792,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8330215811729431},{"id":"https://openalex.org/keywords/causality","display_name":"Causality (physics)","score":0.7867763042449951},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7042781114578247},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7012231945991516},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6933764219284058},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6050429344177246},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.5687040090560913},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.5303946733474731},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5244079828262329},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5166630744934082},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.46645253896713257},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.4405860900878906},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3874295949935913}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8330215811729431},{"id":"https://openalex.org/C64357122","wikidata":"https://www.wikidata.org/wiki/Q1149766","display_name":"Causality (physics)","level":2,"score":0.7867763042449951},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7042781114578247},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7012231945991516},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6933764219284058},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6050429344177246},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5687040090560913},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5303946733474731},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5244079828262329},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5166630744934082},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.46645253896713257},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.4405860900878906},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3874295949935913},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/hldvt.2011.6114162","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2011.6114162","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 IEEE International High Level Design Validation and Test Workshop","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4699999988079071,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W12949374","https://openalex.org/W1492854628","https://openalex.org/W1586502670","https://openalex.org/W1817199704","https://openalex.org/W1875492031","https://openalex.org/W1890748120","https://openalex.org/W2028360651","https://openalex.org/W2031381504","https://openalex.org/W2052364670","https://openalex.org/W2068308783","https://openalex.org/W2087819344","https://openalex.org/W2114781590","https://openalex.org/W2118551933","https://openalex.org/W2125415493","https://openalex.org/W2127335869","https://openalex.org/W2129395888","https://openalex.org/W2140732668","https://openalex.org/W2152866817","https://openalex.org/W2159542925","https://openalex.org/W4206455946","https://openalex.org/W4235222319","https://openalex.org/W4245125480","https://openalex.org/W4246404081","https://openalex.org/W6635289408","https://openalex.org/W6638292653","https://openalex.org/W6677612158"],"related_works":["https://openalex.org/W1495872178","https://openalex.org/W1522712643","https://openalex.org/W2102135785","https://openalex.org/W2136070637","https://openalex.org/W2089212807","https://openalex.org/W2783071694","https://openalex.org/W1976268573","https://openalex.org/W278680301","https://openalex.org/W2144996318","https://openalex.org/W2130642229"],"abstract_inverted_index":{"Synchronous":[0],"languages":[1,68],"are":[2,38],"based":[3],"on":[4],"the":[5,12,78,89,102],"synchronous":[6,67],"abstraction":[7],"of":[8,14,20,25,33,36,41],"time,":[9],"which":[10,95],"divides":[11],"execution":[13],"programs":[15],"into":[16,91],"an":[17],"infinite":[18],"sequence":[19],"macro":[21],"steps":[22,43],"that":[23,59,114],"consist":[24],"finitely":[26],"many":[27],"micro":[28,42],"steps.":[29],"A":[30],"well-studied":[31],"problem":[32],"this":[34,73,82,85],"model":[35,108],"computation":[37],"cyclic":[39],"dependencies":[40],"whose":[44],"constructiveness":[45],"has":[46],"to":[47,65,100,120],"be":[48,63,98,116],"checked":[49],"by":[50,69,118],"a":[51,92,107],"causality":[52,79,123],"analysis":[53,80],"during":[54],"compilation.":[55],"Recently,":[56],"we":[57,75,87],"showed":[58],"temporal":[60],"refinement":[61],"can":[62,96,115],"introduced":[64],"imperative":[66],"refined":[70],"clocks.":[71],"In":[72],"paper,":[74],"formally":[76],"define":[77],"for":[81],"extension.":[83],"To":[84],"end,":[86],"translate":[88],"program":[90],"transition":[93],"system,":[94],"then":[97],"used":[99,117],"verify":[101],"correct":[103],"causal":[104],"behavior":[105],"with":[106],"checker.":[109],"We":[110],"also":[111],"list":[112],"optimizations":[113],"compilers":[119],"conservatively":[121],"approximate":[122],"checking.":[124]},"counts_by_year":[{"year":2013,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}