{"id":"https://openalex.org/W3005009180","doi":"https://doi.org/10.1007/978-3-030-40223-5_13","title":"On Improving R-TNCES Rebuilding for Reconfigurable Real-Time Systems","display_name":"On Improving R-TNCES Rebuilding for Reconfigurable Real-Time Systems","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3005009180","doi":"https://doi.org/10.1007/978-3-030-40223-5_13","mag":"3005009180"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-40223-5_13","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-40223-5_13","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/A5070882915","display_name":"Mohamed Ramdani","orcid":"https://orcid.org/0000-0002-8723-5827"},"institutions":[{"id":"https://openalex.org/I159948400","display_name":"Jinan University","ror":"https://ror.org/02xe5ns62","country_code":"CN","type":"education","lineage":["https://openalex.org/I159948400"]},{"id":"https://openalex.org/I179097149","display_name":"University of Carthage","ror":"https://ror.org/057x6za15","country_code":"TN","type":"education","lineage":["https://openalex.org/I179097149"]},{"id":"https://openalex.org/I206961696","display_name":"University of Biskra","ror":"https://ror.org/05fr5y859","country_code":"DZ","type":"education","lineage":["https://openalex.org/I206961696"]},{"id":"https://openalex.org/I34949971","display_name":"University of Jinan","ror":"https://ror.org/02mjz6f26","country_code":"CN","type":"education","lineage":["https://openalex.org/I34949971"]},{"id":"https://openalex.org/I42731748","display_name":"National Institute of Applied Science and Technology","ror":"https://ror.org/00qn2rd91","country_code":"TN","type":"facility","lineage":["https://openalex.org/I42731748"]},{"id":"https://openalex.org/I63596082","display_name":"Tunis El Manar University","ror":"https://ror.org/029cgt552","country_code":"TN","type":"education","lineage":["https://openalex.org/I63596082"]}],"countries":["CN","DZ","TN"],"is_corresponding":false,"raw_author_name":"Mohamed Ramdani","raw_affiliation_strings":["LINFI Laboratory, Computer Science Department, Biskra University, Biskra, Algeria","LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, 1080, Tunis, Tunisia","School of Electrical and Information Engineering, Jinan University, Guangzho, China","University of Tunis El Manar, Tunis, Tunisia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LINFI Laboratory, Computer Science Department, Biskra University, Biskra, Algeria","institution_ids":["https://openalex.org/I206961696"]},{"raw_affiliation_string":"LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, 1080, Tunis, Tunisia","institution_ids":["https://openalex.org/I42731748","https://openalex.org/I179097149"]},{"raw_affiliation_string":"School of Electrical and Information Engineering, Jinan University, Guangzho, China","institution_ids":["https://openalex.org/I34949971","https://openalex.org/I159948400"]},{"raw_affiliation_string":"University of Tunis El Manar, Tunis, Tunisia","institution_ids":["https://openalex.org/I63596082"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052087453","display_name":"La\u00efd Kahloul","orcid":"https://orcid.org/0000-0002-9739-7715"},"institutions":[{"id":"https://openalex.org/I206961696","display_name":"University of Biskra","ror":"https://ror.org/05fr5y859","country_code":"DZ","type":"education","lineage":["https://openalex.org/I206961696"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Laid Kahloul","raw_affiliation_strings":["LINFI Laboratory, Computer Science Department, Biskra University, Biskra, Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LINFI Laboratory, Computer Science Department, Biskra University, Biskra, Algeria","institution_ids":["https://openalex.org/I206961696"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102803559","display_name":"Mohamed Khalgui","orcid":"https://orcid.org/0000-0001-6311-3588"},"institutions":[{"id":"https://openalex.org/I159948400","display_name":"Jinan University","ror":"https://ror.org/02xe5ns62","country_code":"CN","type":"education","lineage":["https://openalex.org/I159948400"]},{"id":"https://openalex.org/I34949971","display_name":"University of Jinan","ror":"https://ror.org/02mjz6f26","country_code":"CN","type":"education","lineage":["https://openalex.org/I34949971"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mohamed Khalgui","raw_affiliation_strings":["School of Electrical and Information Engineering, Jinan University, Guangzho, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electrical and Information Engineering, Jinan University, Guangzho, China","institution_ids":["https://openalex.org/I34949971","https://openalex.org/I159948400"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081266998","display_name":"Yousra Hafidi","orcid":"https://orcid.org/0000-0002-3543-6731"},"institutions":[{"id":"https://openalex.org/I159948400","display_name":"Jinan University","ror":"https://ror.org/02xe5ns62","country_code":"CN","type":"education","lineage":["https://openalex.org/I159948400"]},{"id":"https://openalex.org/I179097149","display_name":"University of Carthage","ror":"https://ror.org/057x6za15","country_code":"TN","type":"education","lineage":["https://openalex.org/I179097149"]},{"id":"https://openalex.org/I206961696","display_name":"University of Biskra","ror":"https://ror.org/05fr5y859","country_code":"DZ","type":"education","lineage":["https://openalex.org/I206961696"]},{"id":"https://openalex.org/I34949971","display_name":"University of Jinan","ror":"https://ror.org/02mjz6f26","country_code":"CN","type":"education","lineage":["https://openalex.org/I34949971"]},{"id":"https://openalex.org/I42731748","display_name":"National Institute of Applied Science and Technology","ror":"https://ror.org/00qn2rd91","country_code":"TN","type":"facility","lineage":["https://openalex.org/I42731748"]},{"id":"https://openalex.org/I63596082","display_name":"Tunis El Manar University","ror":"https://ror.org/029cgt552","country_code":"TN","type":"education","lineage":["https://openalex.org/I63596082"]}],"countries":["CN","DZ","TN"],"is_corresponding":false,"raw_author_name":"Yousra Hafidi","raw_affiliation_strings":["LINFI Laboratory, Computer Science Department, Biskra University, Biskra, Algeria","LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, 1080, Tunis, Tunisia","School of Electrical and Information Engineering, Jinan University, Guangzho, China","University of Tunis El Manar, Tunis, Tunisia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LINFI Laboratory, Computer Science Department, Biskra University, Biskra, Algeria","institution_ids":["https://openalex.org/I206961696"]},{"raw_affiliation_string":"LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, 1080, Tunis, Tunisia","institution_ids":["https://openalex.org/I42731748","https://openalex.org/I179097149"]},{"raw_affiliation_string":"School of Electrical and Information Engineering, Jinan University, Guangzho, China","institution_ids":["https://openalex.org/I34949971","https://openalex.org/I159948400"]},{"raw_affiliation_string":"University of Tunis El Manar, Tunis, Tunisia","institution_ids":["https://openalex.org/I63596082"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.04869252,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"267","last_page":"285"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"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"}},"topics":[{"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"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9991999864578247,"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/computation-tree-logic","display_name":"Computation tree logic","score":0.9222862720489502},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6870050430297852},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6657363772392273},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5980793237686157},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.58757084608078},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5857691168785095},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.573918879032135},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4728831648826599},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.4485524594783783},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4400140345096588},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3832895755767822},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.382495254278183},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17464205622673035}],"concepts":[{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.9222862720489502},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6870050430297852},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6657363772392273},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5980793237686157},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.58757084608078},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5857691168785095},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.573918879032135},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4728831648826599},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.4485524594783783},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4400140345096588},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3832895755767822},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.382495254278183},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17464205622673035},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-030-40223-5_13","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-40223-5_13","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1962072139","https://openalex.org/W1977971680","https://openalex.org/W2021983132","https://openalex.org/W2033475929","https://openalex.org/W2076665553","https://openalex.org/W2097105602","https://openalex.org/W2100054110","https://openalex.org/W2103393525","https://openalex.org/W2109476103","https://openalex.org/W2135146523","https://openalex.org/W2337842998","https://openalex.org/W2762665826","https://openalex.org/W2772871464","https://openalex.org/W2782662800","https://openalex.org/W2785340533","https://openalex.org/W2889090079","https://openalex.org/W2947334970","https://openalex.org/W3104018748"],"related_works":["https://openalex.org/W1551070491","https://openalex.org/W2103740034","https://openalex.org/W2095002986","https://openalex.org/W2753745283","https://openalex.org/W14017695","https://openalex.org/W2234073770","https://openalex.org/W2063465696","https://openalex.org/W2203774400","https://openalex.org/W2471765219","https://openalex.org/W2350953867"],"abstract_inverted_index":null,"counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}