{"id":"https://openalex.org/W1997013119","doi":"https://doi.org/10.1016/s1571-0661(05)80447-5","title":"A Decidable Clock Language for Synchronous Specifications","display_name":"A Decidable Clock Language for Synchronous Specifications","publication_year":2002,"publication_date":"2002-07-01","ids":{"openalex":"https://openalex.org/W1997013119","doi":"https://doi.org/10.1016/s1571-0661(05)80447-5","mag":"1997013119"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80447-5","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80447-5","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(05)80447-5","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5067270597","display_name":"Mirabelle Nebut","orcid":null},"institutions":[{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Mirabelle Nebut","raw_affiliation_strings":["IRISA - Campus universitaire de Beaulieu - 35042 Rennes C\u00e9dex - FRANCE"],"affiliations":[{"raw_affiliation_string":"IRISA - Campus universitaire de Beaulieu - 35042 Rennes C\u00e9dex - FRANCE","institution_ids":["https://openalex.org/I2802519937"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045320227","display_name":"Sophie Pinchinat","orcid":"https://orcid.org/0000-0002-0901-8480"},"institutions":[{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Sophie Pinchinat","raw_affiliation_strings":["IRISA - Campus universitaire de Beaulieu - 35042 Rennes C\u00e9dex - FRANCE"],"affiliations":[{"raw_affiliation_string":"IRISA - Campus universitaire de Beaulieu - 35042 Rennes C\u00e9dex - FRANCE","institution_ids":["https://openalex.org/I2802519937"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5045320227","https://openalex.org/A5067270597"],"corresponding_institution_ids":["https://openalex.org/I2802519937"],"apc_list":null,"apc_paid":null,"fwci":0.3388,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.54360408,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"65","issue":"5","first_page":"125","last_page":"139"},"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.9995999932289124,"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.9988999962806702,"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.7379685044288635},{"id":"https://openalex.org/keywords/download","display_name":"Download","score":0.7210527658462524},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.7209977507591248},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.6174326539039612},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.5608627200126648},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5251847505569458},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.49979639053344727},{"id":"https://openalex.org/keywords/signal","display_name":"SIGNAL (programming language)","score":0.49895501136779785},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4787042438983917},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.4590972065925598},{"id":"https://openalex.org/keywords/image","display_name":"Image (mathematics)","score":0.4375561475753784},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.431681752204895},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.43146488070487976},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.35004526376724243},{"id":"https://openalex.org/keywords/computer-vision","display_name":"Computer vision","score":0.14707815647125244},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10222160816192627}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7379685044288635},{"id":"https://openalex.org/C2780154274","wikidata":"https://www.wikidata.org/wiki/Q7126717","display_name":"Download","level":2,"score":0.7210527658462524},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7209977507591248},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.6174326539039612},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.5608627200126648},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5251847505569458},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.49979639053344727},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.49895501136779785},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4787042438983917},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.4590972065925598},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.4375561475753784},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.431681752204895},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.43146488070487976},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.35004526376724243},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.14707815647125244},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10222160816192627},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80447-5","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80447-5","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(05)80447-5","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80447-5","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.7900000214576721,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1533781519","https://openalex.org/W1535550067","https://openalex.org/W1591643794","https://openalex.org/W1605081346","https://openalex.org/W1809672455","https://openalex.org/W1875492031","https://openalex.org/W2035115145","https://openalex.org/W2100500718","https://openalex.org/W2125415493","https://openalex.org/W4206455946","https://openalex.org/W4231005662","https://openalex.org/W6632086401","https://openalex.org/W6635138435","https://openalex.org/W6638441381","https://openalex.org/W7038059068"],"related_works":["https://openalex.org/W2183842793","https://openalex.org/W2485259751","https://openalex.org/W2331020993","https://openalex.org/W2972379433","https://openalex.org/W4287615848","https://openalex.org/W4383764068","https://openalex.org/W4291722174","https://openalex.org/W1481826604","https://openalex.org/W2226303319","https://openalex.org/W2996306923"],"abstract_inverted_index":{"Presence":[0],"and":[1,80],"absence":[2,101],"of":[3,17,34,59,86,99],"signals":[4],"inside":[5],"a":[6,23,70,107],"reaction":[7],"are":[8,15],"inherent":[9],"to":[10,29,83,96],"the":[11,31,56,84,97],"synchronous":[12],"paradigm.":[13],"Clocks":[14],"sets":[16],"instants":[18],"(indicating":[19],"for":[20,73],"example":[21],"when":[22],"signal":[24],"is":[25,102],"present)":[26],"mainly":[27],"used":[28],"describe":[30,55],"control":[32],"part":[33,58],"data-flow":[35],"specifications.":[36],"The":[37],"language":[38],"C":[39,74],"Download":[40,42,75,77],":":[41,76],"full-size":[43,78],"image":[44,79],"we":[45],"define":[46],"here":[47],"expresses":[48],"relations":[49,53],"between":[50],"clocks.":[51],"Such":[52],"can":[54],"combinational":[57],"specifications,":[60],"as":[61,63],"well":[62],"particular":[64],"instantaneous":[65],"safety":[66],"properties.":[67],"We":[68],"give":[69],"decision":[71],"procedure":[72],"apply":[81],"it":[82],"model-checking":[85],"Signal":[87],"programs":[88],"abstracted":[89],"from":[90],"their":[91],"state":[92],"handling":[93],"part.":[94],"Thanks":[95],"use":[98],"clocks,":[100],"not":[103],"explicitly":[104],"encoded":[105],"by":[106],"special":[108],"value.":[109]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}