{"id":"https://openalex.org/W2947381293","doi":"https://doi.org/10.5220/0007736603940401","title":"On Improved Verification of Reconfigurable Real-Time Systems","display_name":"On Improved Verification of Reconfigurable Real-Time Systems","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2947381293","doi":"https://doi.org/10.5220/0007736603940401","mag":"2947381293"},"language":"en","primary_location":{"id":"doi:10.5220/0007736603940401","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0007736603940401","pdf_url":null,"source":null,"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":"Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.5220/0007736603940401","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5081266998","display_name":"Yousra Hafidi","orcid":"https://orcid.org/0000-0002-3543-6731"},"institutions":[{"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/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":["TN"],"is_corresponding":false,"raw_author_name":"Yousra Hafidi","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, China, LINFI Laboratory, Computer Science Department, Biskra University, Algeria, University of Tunis El Manar, Tunis and Tunisia, --- Select a Country ---"],"raw_orcid":null,"affiliations":[{"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, China, LINFI Laboratory, Computer Science Department, Biskra University, Algeria, University of Tunis El Manar, Tunis and Tunisia, --- Select a Country ---","institution_ids":["https://openalex.org/I42731748","https://openalex.org/I179097149","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 and Algeria, --- Select a Country ---"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LINFI Laboratory, Computer Science Department, Biskra University and Algeria, --- Select a Country ---","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/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/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"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Mohamed Khalgui","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 ---"],"raw_orcid":null,"affiliations":[{"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 ---","institution_ids":["https://openalex.org/I42731748","https://openalex.org/I179097149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070882915","display_name":"Mohamed Ramdani","orcid":"https://orcid.org/0000-0002-8723-5827"},"institutions":[{"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/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":["TN"],"is_corresponding":false,"raw_author_name":"Mohamed Ramdani","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, China, LINFI Laboratory, Computer Science Department, Biskra University, Algeria, University of Tunis El Manar, Tunis and Tunisia, --- Select a Country ---"],"raw_orcid":null,"affiliations":[{"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, China, LINFI Laboratory, Computer Science Department, Biskra University, Algeria, University of Tunis El Manar, Tunis and Tunisia, --- Select a Country ---","institution_ids":["https://openalex.org/I42731748","https://openalex.org/I179097149","https://openalex.org/I63596082"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7404,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.68143834,"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":"394","last_page":"401"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9986000061035156,"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.9986000061035156,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.996999979019165,"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/T12810","display_name":"Real-time simulation and control systems","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.6867907047271729}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6867907047271729}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5220/0007736603940401","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0007736603940401","pdf_url":null,"source":null,"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":"Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.5220/0007736603940401","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0007736603940401","pdf_url":null,"source":null,"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":"Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Affordable and clean energy","score":0.4399999976158142,"id":"https://metadata.un.org/sdg/7"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":null,"counts_by_year":[{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}