{"id":"https://openalex.org/W1036629521","doi":"https://doi.org/10.1007/978-3-319-17581-2_12","title":"Coalgebraic Semantic Model for the Clock Constraint Specification Language","display_name":"Coalgebraic Semantic Model for the Clock Constraint Specification Language","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W1036629521","doi":"https://doi.org/10.1007/978-3-319-17581-2_12","mag":"1036629521"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-17581-2_12","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-17581-2_12","pdf_url":null,"source":{"id":"https://openalex.org/S2764900261","display_name":"Communications in computer and information science","issn_l":"1865-0929","issn":["1865-0929","1865-0937"],"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":"Communications in Computer and Information 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/A5090695840","display_name":"Fr\u00e9d\u00e9ric Mallet","orcid":"https://orcid.org/0000-0002-9088-9821"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210106545","display_name":"Research Centre Inria Sophia Antipolis - M\u00e9diterran\u00e9e","ror":"https://ror.org/01nzkaw91","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283","https://openalex.org/I201841394","https://openalex.org/I4210106545"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]},{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["CN","FR"],"is_corresponding":true,"raw_author_name":"Fr\u00e9d\u00e9ric Mallet","raw_affiliation_strings":["East China Normal University/Software Engineering Institute, Shanghai, People\u2019s Republic of China","INRIA Sophia Antipolis M\u00e9diterran\u00e9e, Sophia Antipolis, France","University Nice Sophia Antipolis, CNRS, I3S, UMR 7271, Sophia Antipolis, France","INRIA Sophia Antipolis M\u00e9diterran\u00e9e","University Nice Sophia Antipolis, CNRS, I3S, UMR 7271","East China Normal University/Software Engineering Institute"],"affiliations":[{"raw_affiliation_string":"East China Normal University/Software Engineering Institute, Shanghai, People\u2019s Republic of China","institution_ids":["https://openalex.org/I66867065"]},{"raw_affiliation_string":"INRIA Sophia Antipolis M\u00e9diterran\u00e9e, Sophia Antipolis, France","institution_ids":["https://openalex.org/I4210106545","https://openalex.org/I1326498283"]},{"raw_affiliation_string":"University Nice Sophia Antipolis, CNRS, I3S, UMR 7271, Sophia Antipolis, France","institution_ids":["https://openalex.org/I201841394","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"INRIA Sophia Antipolis M\u00e9diterran\u00e9e","institution_ids":["https://openalex.org/I4210106545","https://openalex.org/I1326498283"]},{"raw_affiliation_string":"University Nice Sophia Antipolis, CNRS, I3S, UMR 7271","institution_ids":["https://openalex.org/I1294671590"]},{"raw_affiliation_string":"East China Normal University/Software Engineering Institute","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024588382","display_name":"Grygoriy Zholtkevych","orcid":"https://orcid.org/0000-0002-7515-2143"},"institutions":[{"id":"https://openalex.org/I8765205","display_name":"V. N. Karazin Kharkiv National University","ror":"https://ror.org/03ftejk10","country_code":"UA","type":"education","lineage":["https://openalex.org/I8765205"]}],"countries":["UA"],"is_corresponding":false,"raw_author_name":"Grygoriy Zholtkevych","raw_affiliation_strings":["Deparment of Theory and Application in Computerscience, V.N. Karazin Kharkiv National University, Kharkiv, Ukraine","V.N. Karazin Kharkiv Nat. Univ"],"affiliations":[{"raw_affiliation_string":"Deparment of Theory and Application in Computerscience, V.N. Karazin Kharkiv National University, Kharkiv, Ukraine","institution_ids":["https://openalex.org/I8765205"]},{"raw_affiliation_string":"V.N. Karazin Kharkiv Nat. Univ","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5090695840"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I201841394","https://openalex.org/I4210106545","https://openalex.org/I66867065"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.08348968,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"174","last_page":"188"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998999834060669,"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":0.9998999834060669,"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/T10933","display_name":"Real-Time Systems Scheduling","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/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.49069201946258545},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4007757008075714},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3079381585121155},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.294281542301178},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.27763456106185913},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10576385259628296}],"concepts":[{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.49069201946258545},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4007757008075714},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3079381585121155},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.294281542301178},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.27763456106185913},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10576385259628296}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-319-17581-2_12","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-17581-2_12","pdf_url":null,"source":{"id":"https://openalex.org/S2764900261","display_name":"Communications in computer and information science","issn_l":"1865-0929","issn":["1865-0929","1865-0937"],"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":"Communications in Computer and Information Science","raw_type":"book-chapter"},{"id":"pmh:oai:HAL:hal-01257952v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-01257952","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Communications in Computer and Information Science, 476, Springer, pp.174-188, 2015, ⟨10.1007/978-3-319-17581-2_12⟩","raw_type":"Book sections"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W105975728","https://openalex.org/W131810691","https://openalex.org/W171073929","https://openalex.org/W1563348382","https://openalex.org/W1570366700","https://openalex.org/W1590675544","https://openalex.org/W1991052229","https://openalex.org/W2017863278","https://openalex.org/W2046213250","https://openalex.org/W2088189323","https://openalex.org/W2096949660","https://openalex.org/W2118229393","https://openalex.org/W2127335869","https://openalex.org/W2134326845","https://openalex.org/W2167616265","https://openalex.org/W2271800372","https://openalex.org/W2295293974","https://openalex.org/W3137220996","https://openalex.org/W4232784769"],"related_works":["https://openalex.org/W2368454205","https://openalex.org/W2370467235","https://openalex.org/W2989824750","https://openalex.org/W2347925354","https://openalex.org/W2359737466","https://openalex.org/W2800924481","https://openalex.org/W2110671666","https://openalex.org/W2366306114","https://openalex.org/W2377575788","https://openalex.org/W2375248960"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}