{"id":"https://openalex.org/W2529333808","doi":"https://doi.org/10.1007/978-3-319-47677-3_2","title":"Divergence Detection for CCSL Specification via Clock Causality Chain","display_name":"Divergence Detection for CCSL Specification via Clock Causality Chain","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2529333808","doi":"https://doi.org/10.1007/978-3-319-47677-3_2","mag":"2529333808"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-47677-3_2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-47677-3_2","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/A5100804993","display_name":"Qingguo Xu","orcid":"https://orcid.org/0009-0005-0457-206X"},"institutions":[{"id":"https://openalex.org/I4210105460","display_name":"Shanghai Institute of Measurement and Testing Technology","ror":"https://ror.org/00zcefp03","country_code":"CN","type":"nonprofit","lineage":["https://openalex.org/I4210105460"]},{"id":"https://openalex.org/I141962983","display_name":"Shanghai University of Engineering Science","ror":"https://ror.org/0557b9y08","country_code":"CN","type":"education","lineage":["https://openalex.org/I141962983"]},{"id":"https://openalex.org/I113940042","display_name":"Shanghai University","ror":"https://ror.org/006teas31","country_code":"CN","type":"education","lineage":["https://openalex.org/I113940042"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Qingguo Xu","raw_affiliation_strings":["School of Computer Engineering and Science, Shanghai University, No. 99, Shangda Road, Shanghai, 200444, China","Shanghai Key Laboratory of Computer Software Testing and Evaluating, Shanghai, 201114, China","School of Computer Engineering and Science [Shanghai] (Shanghai 200072 - China)"],"affiliations":[{"raw_affiliation_string":"School of Computer Engineering and Science, Shanghai University, No. 99, Shangda Road, Shanghai, 200444, China","institution_ids":["https://openalex.org/I113940042"]},{"raw_affiliation_string":"Shanghai Key Laboratory of Computer Software Testing and Evaluating, Shanghai, 201114, China","institution_ids":["https://openalex.org/I4210105460"]},{"raw_affiliation_string":"School of Computer Engineering and Science [Shanghai] (Shanghai 200072 - China)","institution_ids":["https://openalex.org/I141962983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103266406","display_name":"Rosaria Simone","orcid":"https://orcid.org/0000-0002-6844-6418"},"institutions":[{"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"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Robert de Simone","raw_affiliation_strings":["Inria Sophia Antipolis M\u00e9diterran\u00e9e AOSTE, University of Nice Sophia Antipolis, I3S, 06902, Sophia Antipolis Cedex, France","AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints (France)"],"affiliations":[{"raw_affiliation_string":"Inria Sophia Antipolis M\u00e9diterran\u00e9e AOSTE, University of Nice Sophia Antipolis, I3S, 06902, Sophia Antipolis Cedex, France","institution_ids":["https://openalex.org/I4210106545"]},{"raw_affiliation_string":"AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints (France)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022201782","display_name":"Julien Deantoni","orcid":"https://orcid.org/0000-0001-6962-7846"},"institutions":[{"id":"https://openalex.org/I4210117840","display_name":"Institut de Biologie Valrose","ror":"https://ror.org/03bnma344","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I154526488","https://openalex.org/I201841394","https://openalex.org/I4210096427","https://openalex.org/I4210117840"]},{"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/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/I4210106479","display_name":"Laboratoire d'Informatique, Signaux et Syst\u00e8mes de Sophia Antipolis","ror":"https://ror.org/01215r597","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I201841394","https://openalex.org/I4210106479","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Julien DeAntoni","raw_affiliation_strings":["Inria Sophia Antipolis M\u00e9diterran\u00e9e AOSTE, University of Nice Sophia Antipolis, I3S, 06902, Sophia Antipolis Cedex, France","COMUE UCA - COMUE Universit\u00e9 C\u00f4te d'Azur (2015-2019) (Parc Valrose, 28, avenue Valrose 06108 Nice Cedex 2  - France)","AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints (France)","I3S - Laboratoire d'Informatique, Signaux, et Syst\u00e8mes de Sophia Antipolis (2000, route des Lucioles - Les Algorithmes - b\u00e2t. Euclide B 06900 Sophia Antipolis - France)"],"affiliations":[{"raw_affiliation_string":"Inria Sophia Antipolis M\u00e9diterran\u00e9e AOSTE, University of Nice Sophia Antipolis, I3S, 06902, Sophia Antipolis Cedex, France","institution_ids":["https://openalex.org/I4210106545"]},{"raw_affiliation_string":"COMUE UCA - COMUE Universit\u00e9 C\u00f4te d'Azur (2015-2019) (Parc Valrose, 28, avenue Valrose 06108 Nice Cedex 2  - France)","institution_ids":["https://openalex.org/I4210117840","https://openalex.org/I201841394"]},{"raw_affiliation_string":"AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints (France)","institution_ids":[]},{"raw_affiliation_string":"I3S - Laboratoire d'Informatique, Signaux, et Syst\u00e8mes de Sophia Antipolis (2000, route des Lucioles - Les Algorithmes - b\u00e2t. Euclide B 06900 Sophia Antipolis - France)","institution_ids":["https://openalex.org/I4210106479"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100804993"],"corresponding_institution_ids":["https://openalex.org/I113940042","https://openalex.org/I141962983","https://openalex.org/I4210105460"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.804,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.84851301,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"18","last_page":"37"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"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/divergence","display_name":"Divergence (linguistics)","score":0.6103836297988892},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5351809859275818},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.517315149307251},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4429016709327698},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.4363164007663727},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4326714873313904},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40130579471588135},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36723506450653076},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.24648553133010864}],"concepts":[{"id":"https://openalex.org/C207390915","wikidata":"https://www.wikidata.org/wiki/Q1230525","display_name":"Divergence (linguistics)","level":2,"score":0.6103836297988892},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5351809859275818},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.517315149307251},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4429016709327698},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.4363164007663727},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4326714873313904},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40130579471588135},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36723506450653076},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.24648553133010864},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","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":2,"locations":[{"id":"doi:10.1007/978-3-319-47677-3_2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-47677-3_2","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:HAL:hal-01372694v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-01372694","pdf_url":null,"source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","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":"http://www.springer.com/us/book/9783319476766#otherversion=9783319476766","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7900000214576721,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W88044012","https://openalex.org/W105975728","https://openalex.org/W1534850143","https://openalex.org/W1590675544","https://openalex.org/W1989692116","https://openalex.org/W2053137492","https://openalex.org/W2127335869","https://openalex.org/W2145533676","https://openalex.org/W2207342287","https://openalex.org/W2271800372","https://openalex.org/W4232784769","https://openalex.org/W4242692807"],"related_works":["https://openalex.org/W3208095355","https://openalex.org/W2177370417","https://openalex.org/W2052507016","https://openalex.org/W2180461068","https://openalex.org/W2051816080","https://openalex.org/W4310813911","https://openalex.org/W2156730189","https://openalex.org/W2358962854","https://openalex.org/W2807251790","https://openalex.org/W2952771957"],"abstract_inverted_index":null,"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}