R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems Article Swipe
Mohamed Ramdani
,
Laïd Kahloul
,
Mohamed Khalgui
,
Yousra Hafidi
·
YOU?
·
· 2019
· Open Access
·
· DOI: https://doi.org/10.5220/0007736801590168
YOU?
·
· 2019
· Open Access
·
· DOI: https://doi.org/10.5220/0007736801590168
Related Topics
Concepts
Metadata
- Type
- article
- Language
- en
- Landing Page
- https://doi.org/10.5220/0007736801590168
- OA Status
- gold
- Cited By
- 4
- Related Works
- 10
- OpenAlex ID
- https://openalex.org/W2947334970
All OpenAlex metadata
Raw OpenAlex JSON
- OpenAlex ID
-
https://openalex.org/W2947334970Canonical identifier for this work in OpenAlex
- DOI
-
https://doi.org/10.5220/0007736801590168Digital Object Identifier
- Title
-
R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable SystemsWork title
- Type
-
articleOpenAlex work type
- Language
-
enPrimary language
- Publication year
-
2019Year of publication
- Publication date
-
2019-01-01Full publication date if available
- Authors
-
Mohamed Ramdani, Laïd Kahloul, Mohamed Khalgui, Yousra HafidiList of authors in order
- Landing page
-
https://doi.org/10.5220/0007736801590168Publisher landing page
- Open access
-
YesWhether a free full text is available
- OA status
-
goldOpen access status per OpenAlex
- OA URL
-
https://doi.org/10.5220/0007736801590168Direct OA link when available
- Concepts
-
CTL*, Computer science, Biology, In vitro, Cytotoxic T cell, BiochemistryTop concepts (fields/topics) attached by OpenAlex
- Cited by
-
4Total citation count in OpenAlex
- Citations by year (recent)
-
2020: 3, 2019: 1Per-year citation counts (last 5 years)
- Related works (count)
-
10Other works algorithmically related by OpenAlex
Full payload
| id | https://openalex.org/W2947334970 |
|---|---|
| doi | https://doi.org/10.5220/0007736801590168 |
| ids.doi | https://doi.org/10.5220/0007736801590168 |
| ids.mag | 2947334970 |
| ids.openalex | https://openalex.org/W2947334970 |
| fwci | 1.03778028 |
| type | article |
| title | R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems |
| biblio.issue | |
| biblio.volume | |
| biblio.last_page | 168 |
| biblio.first_page | 159 |
| topics[0].id | https://openalex.org/T10904 |
| topics[0].field.id | https://openalex.org/fields/17 |
| topics[0].field.display_name | Computer Science |
| topics[0].score | 0.989799976348877 |
| topics[0].domain.id | https://openalex.org/domains/3 |
| topics[0].domain.display_name | Physical Sciences |
| topics[0].subfield.id | https://openalex.org/subfields/1708 |
| topics[0].subfield.display_name | Hardware and Architecture |
| topics[0].display_name | Embedded Systems Design Techniques |
| topics[1].id | https://openalex.org/T11450 |
| topics[1].field.id | https://openalex.org/fields/17 |
| topics[1].field.display_name | Computer Science |
| topics[1].score | 0.9702000021934509 |
| topics[1].domain.id | https://openalex.org/domains/3 |
| topics[1].domain.display_name | Physical Sciences |
| topics[1].subfield.id | https://openalex.org/subfields/1712 |
| topics[1].subfield.display_name | Software |
| topics[1].display_name | Model-Driven Software Engineering Techniques |
| topics[2].id | https://openalex.org/T10142 |
| topics[2].field.id | https://openalex.org/fields/17 |
| topics[2].field.display_name | Computer Science |
| topics[2].score | 0.967199981212616 |
| topics[2].domain.id | https://openalex.org/domains/3 |
| topics[2].domain.display_name | Physical Sciences |
| topics[2].subfield.id | https://openalex.org/subfields/1703 |
| topics[2].subfield.display_name | Computational Theory and Mathematics |
| topics[2].display_name | Formal Methods in Verification |
| is_xpac | False |
| apc_list | |
| apc_paid | |
| concepts[0].id | https://openalex.org/C147969180 |
| concepts[0].level | 4 |
| concepts[0].score | 0.7045910358428955 |
| concepts[0].wikidata | https://www.wikidata.org/wiki/Q5014579 |
| concepts[0].display_name | CTL* |
| concepts[1].id | https://openalex.org/C41008148 |
| concepts[1].level | 0 |
| concepts[1].score | 0.6449843049049377 |
| concepts[1].wikidata | https://www.wikidata.org/wiki/Q21198 |
| concepts[1].display_name | Computer science |
| concepts[2].id | https://openalex.org/C86803240 |
| concepts[2].level | 0 |
| concepts[2].score | 0.06849890947341919 |
| concepts[2].wikidata | https://www.wikidata.org/wiki/Q420 |
| concepts[2].display_name | Biology |
| concepts[3].id | https://openalex.org/C202751555 |
| concepts[3].level | 2 |
| concepts[3].score | 0.0 |
| concepts[3].wikidata | https://www.wikidata.org/wiki/Q221681 |
| concepts[3].display_name | In vitro |
| concepts[4].id | https://openalex.org/C154317977 |
| concepts[4].level | 3 |
| concepts[4].score | 0.0 |
| concepts[4].wikidata | https://www.wikidata.org/wiki/Q376266 |
| concepts[4].display_name | Cytotoxic T cell |
| concepts[5].id | https://openalex.org/C55493867 |
| concepts[5].level | 1 |
| concepts[5].score | 0.0 |
| concepts[5].wikidata | https://www.wikidata.org/wiki/Q7094 |
| concepts[5].display_name | Biochemistry |
| keywords[0].id | https://openalex.org/keywords/ctl* |
| keywords[0].score | 0.7045910358428955 |
| keywords[0].display_name | CTL* |
| keywords[1].id | https://openalex.org/keywords/computer-science |
| keywords[1].score | 0.6449843049049377 |
| keywords[1].display_name | Computer science |
| keywords[2].id | https://openalex.org/keywords/biology |
| keywords[2].score | 0.06849890947341919 |
| keywords[2].display_name | Biology |
| language | en |
| locations[0].id | doi:10.5220/0007736801590168 |
| locations[0].is_oa | True |
| locations[0].source | |
| locations[0].license | cc-by-nc-nd |
| locations[0].pdf_url | |
| locations[0].version | publishedVersion |
| locations[0].raw_type | proceedings-article |
| locations[0].license_id | https://openalex.org/licenses/cc-by-nc-nd |
| locations[0].is_accepted | True |
| locations[0].is_published | True |
| locations[0].raw_source_name | Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering |
| locations[0].landing_page_url | https://doi.org/10.5220/0007736801590168 |
| indexed_in | crossref |
| authorships[0].author.id | https://openalex.org/A5070882915 |
| authorships[0].author.orcid | https://orcid.org/0000-0002-8723-5827 |
| authorships[0].author.display_name | Mohamed Ramdani |
| authorships[0].countries | TN |
| authorships[0].affiliations[0].institution_ids | https://openalex.org/I179097149, https://openalex.org/I42731748, https://openalex.org/I63596082 |
| authorships[0].affiliations[0].raw_affiliation_string | LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, Tunis 1080, Tunisia, LINFI Laboratory, Computer Science Department, Biskra University, Algeria, School of Electrical and Information Engineering, Jinan University, China, University of Tunis El Manar, Tunis and Tunisia, --- Select a Country --- |
| authorships[0].institutions[0].id | https://openalex.org/I42731748 |
| authorships[0].institutions[0].ror | https://ror.org/00qn2rd91 |
| authorships[0].institutions[0].type | facility |
| authorships[0].institutions[0].lineage | https://openalex.org/I42731748 |
| authorships[0].institutions[0].country_code | TN |
| authorships[0].institutions[0].display_name | National Institute of Applied Science and Technology |
| authorships[0].institutions[1].id | https://openalex.org/I63596082 |
| authorships[0].institutions[1].ror | https://ror.org/029cgt552 |
| authorships[0].institutions[1].type | education |
| authorships[0].institutions[1].lineage | https://openalex.org/I63596082 |
| authorships[0].institutions[1].country_code | TN |
| authorships[0].institutions[1].display_name | Tunis El Manar University |
| authorships[0].institutions[2].id | https://openalex.org/I179097149 |
| authorships[0].institutions[2].ror | https://ror.org/057x6za15 |
| authorships[0].institutions[2].type | education |
| authorships[0].institutions[2].lineage | https://openalex.org/I179097149 |
| authorships[0].institutions[2].country_code | TN |
| authorships[0].institutions[2].display_name | University of Carthage |
| authorships[0].author_position | first |
| authorships[0].raw_author_name | Mohamed Ramdani |
| authorships[0].is_corresponding | False |
| authorships[0].raw_affiliation_strings | LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, Tunis 1080, Tunisia, LINFI Laboratory, Computer Science Department, Biskra University, Algeria, School of Electrical and Information Engineering, Jinan University, China, University of Tunis El Manar, Tunis and Tunisia, --- Select a Country --- |
| authorships[1].author.id | https://openalex.org/A5052087453 |
| authorships[1].author.orcid | https://orcid.org/0000-0002-9739-7715 |
| authorships[1].author.display_name | Laïd Kahloul |
| authorships[1].countries | DZ |
| authorships[1].affiliations[0].institution_ids | https://openalex.org/I206961696 |
| authorships[1].affiliations[0].raw_affiliation_string | LINFI Laboratory, Computer Science Department, Biskra University and Algeria, --- Select a Country --- |
| authorships[1].institutions[0].id | https://openalex.org/I206961696 |
| authorships[1].institutions[0].ror | https://ror.org/05fr5y859 |
| authorships[1].institutions[0].type | education |
| authorships[1].institutions[0].lineage | https://openalex.org/I206961696 |
| authorships[1].institutions[0].country_code | DZ |
| authorships[1].institutions[0].display_name | University of Biskra |
| authorships[1].author_position | middle |
| authorships[1].raw_author_name | Laid Kahloul |
| authorships[1].is_corresponding | False |
| authorships[1].raw_affiliation_strings | LINFI Laboratory, Computer Science Department, Biskra University and Algeria, --- Select a Country --- |
| authorships[2].author.id | https://openalex.org/A5102803559 |
| authorships[2].author.orcid | https://orcid.org/0000-0001-6311-3588 |
| authorships[2].author.display_name | Mohamed Khalgui |
| authorships[2].countries | TN |
| authorships[2].affiliations[0].institution_ids | https://openalex.org/I179097149, https://openalex.org/I42731748 |
| authorships[2].affiliations[0].raw_affiliation_string | LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, Tunis 1080, Tunisia, School of Electrical and Information Engineering, Jinan University and China, --- Select a Country --- |
| authorships[2].institutions[0].id | https://openalex.org/I42731748 |
| authorships[2].institutions[0].ror | https://ror.org/00qn2rd91 |
| authorships[2].institutions[0].type | facility |
| authorships[2].institutions[0].lineage | https://openalex.org/I42731748 |
| authorships[2].institutions[0].country_code | TN |
| authorships[2].institutions[0].display_name | National Institute of Applied Science and Technology |
| authorships[2].institutions[1].id | https://openalex.org/I179097149 |
| authorships[2].institutions[1].ror | https://ror.org/057x6za15 |
| authorships[2].institutions[1].type | education |
| authorships[2].institutions[1].lineage | https://openalex.org/I179097149 |
| authorships[2].institutions[1].country_code | TN |
| authorships[2].institutions[1].display_name | University of Carthage |
| authorships[2].author_position | middle |
| authorships[2].raw_author_name | Mohamed Khalgui |
| authorships[2].is_corresponding | False |
| authorships[2].raw_affiliation_strings | LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, Tunis 1080, Tunisia, School of Electrical and Information Engineering, Jinan University and China, --- Select a Country --- |
| authorships[3].author.id | https://openalex.org/A5081266998 |
| authorships[3].author.orcid | https://orcid.org/0000-0002-3543-6731 |
| authorships[3].author.display_name | Yousra Hafidi |
| authorships[3].countries | TN |
| authorships[3].affiliations[0].institution_ids | https://openalex.org/I179097149, https://openalex.org/I42731748, https://openalex.org/I63596082 |
| authorships[3].affiliations[0].raw_affiliation_string | LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, Tunis 1080, Tunisia, LINFI Laboratory, Computer Science Department, Biskra University, Algeria, School of Electrical and Information Engineering, Jinan University, China, University of Tunis El Manar, Tunis and Tunisia, --- Select a Country --- |
| authorships[3].institutions[0].id | https://openalex.org/I42731748 |
| authorships[3].institutions[0].ror | https://ror.org/00qn2rd91 |
| authorships[3].institutions[0].type | facility |
| authorships[3].institutions[0].lineage | https://openalex.org/I42731748 |
| authorships[3].institutions[0].country_code | TN |
| authorships[3].institutions[0].display_name | National Institute of Applied Science and Technology |
| authorships[3].institutions[1].id | https://openalex.org/I63596082 |
| authorships[3].institutions[1].ror | https://ror.org/029cgt552 |
| authorships[3].institutions[1].type | education |
| authorships[3].institutions[1].lineage | https://openalex.org/I63596082 |
| authorships[3].institutions[1].country_code | TN |
| authorships[3].institutions[1].display_name | Tunis El Manar University |
| authorships[3].institutions[2].id | https://openalex.org/I179097149 |
| authorships[3].institutions[2].ror | https://ror.org/057x6za15 |
| authorships[3].institutions[2].type | education |
| authorships[3].institutions[2].lineage | https://openalex.org/I179097149 |
| authorships[3].institutions[2].country_code | TN |
| authorships[3].institutions[2].display_name | University of Carthage |
| authorships[3].author_position | last |
| authorships[3].raw_author_name | Yousra Hafidi |
| authorships[3].is_corresponding | False |
| authorships[3].raw_affiliation_strings | LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, Tunis 1080, Tunisia, LINFI Laboratory, Computer Science Department, Biskra University, Algeria, School of Electrical and Information Engineering, Jinan University, China, University of Tunis El Manar, Tunis and Tunisia, --- Select a Country --- |
| has_content.pdf | False |
| has_content.grobid_xml | False |
| is_paratext | False |
| open_access.is_oa | True |
| open_access.oa_url | https://doi.org/10.5220/0007736801590168 |
| open_access.oa_status | gold |
| open_access.any_repository_has_fulltext | False |
| created_date | 2025-10-10T00:00:00 |
| display_name | R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems |
| has_fulltext | False |
| is_retracted | False |
| updated_date | 2025-11-06T03:46:38.306776 |
| primary_topic.id | https://openalex.org/T10904 |
| primary_topic.field.id | https://openalex.org/fields/17 |
| primary_topic.field.display_name | Computer Science |
| primary_topic.score | 0.989799976348877 |
| primary_topic.domain.id | https://openalex.org/domains/3 |
| primary_topic.domain.display_name | Physical Sciences |
| primary_topic.subfield.id | https://openalex.org/subfields/1708 |
| primary_topic.subfield.display_name | Hardware and Architecture |
| primary_topic.display_name | Embedded Systems Design Techniques |
| related_works | https://openalex.org/W2748952813, https://openalex.org/W1549922507, https://openalex.org/W1605884721, https://openalex.org/W2102262438, https://openalex.org/W2027917976, https://openalex.org/W2032919665, https://openalex.org/W2414401084, https://openalex.org/W1985728487, https://openalex.org/W1864390991, https://openalex.org/W4239554058 |
| cited_by_count | 4 |
| counts_by_year[0].year | 2020 |
| counts_by_year[0].cited_by_count | 3 |
| counts_by_year[1].year | 2019 |
| counts_by_year[1].cited_by_count | 1 |
| locations_count | 1 |
| best_oa_location.id | doi:10.5220/0007736801590168 |
| best_oa_location.is_oa | True |
| best_oa_location.source | |
| best_oa_location.license | cc-by-nc-nd |
| best_oa_location.pdf_url | |
| best_oa_location.version | publishedVersion |
| best_oa_location.raw_type | proceedings-article |
| best_oa_location.license_id | https://openalex.org/licenses/cc-by-nc-nd |
| best_oa_location.is_accepted | True |
| best_oa_location.is_published | True |
| best_oa_location.raw_source_name | Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering |
| best_oa_location.landing_page_url | https://doi.org/10.5220/0007736801590168 |
| primary_location.id | doi:10.5220/0007736801590168 |
| primary_location.is_oa | True |
| primary_location.source | |
| primary_location.license | cc-by-nc-nd |
| primary_location.pdf_url | |
| primary_location.version | publishedVersion |
| primary_location.raw_type | proceedings-article |
| primary_location.license_id | https://openalex.org/licenses/cc-by-nc-nd |
| primary_location.is_accepted | True |
| primary_location.is_published | True |
| primary_location.raw_source_name | Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering |
| primary_location.landing_page_url | https://doi.org/10.5220/0007736801590168 |
| publication_date | 2019-01-01 |
| publication_year | 2019 |
| referenced_works_count | 0 |
| abstract_inverted_index | |
| cited_by_percentile_year.max | 97 |
| cited_by_percentile_year.min | 90 |
| countries_distinct_count | 2 |
| institutions_distinct_count | 4 |
| sustainable_development_goals[0].id | https://metadata.un.org/sdg/11 |
| sustainable_development_goals[0].score | 0.4399999976158142 |
| sustainable_development_goals[0].display_name | Sustainable cities and communities |
| citation_normalized_percentile.value | 0.73254163 |
| citation_normalized_percentile.is_in_top_1_percent | False |
| citation_normalized_percentile.is_in_top_10_percent | False |