{"id":"https://openalex.org/W3004976493","doi":"https://doi.org/10.1007/978-3-030-40223-5_12","title":"New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs Formalism","display_name":"New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs Formalism","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3004976493","doi":"https://doi.org/10.1007/978-3-030-40223-5_12","mag":"3004976493"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-40223-5_12","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-40223-5_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/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/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, Guangzhou, China","University of Tunis El Manar, Tunis, Tunisia"],"raw_orcid":"https://orcid.org/0000-0002-3543-6731","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, Guangzhou, China","institution_ids":["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/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":["CN","TN"],"is_corresponding":false,"raw_author_name":"Mohamed Khalgui","raw_affiliation_strings":["LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, 1080, Tunis, Tunisia","School of Electrical and Information Engineering, Jinan University, Guangzhou, China"],"raw_orcid":"https://orcid.org/0000-0001-6311-3588","affiliations":[{"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, Guangzhou, China","institution_ids":["https://openalex.org/I159948400"]}]},{"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/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/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, Guangzhou, 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, Guangzhou, China","institution_ids":["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":1.2057,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.77102616,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"246","last_page":"266"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998999834060669,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994000196456909,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing 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.7905550003051758},{"id":"https://openalex.org/keywords/reconfigurability","display_name":"Reconfigurability","score":0.7368844151496887},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.6124746799468994},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5896157622337341},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5464524030685425},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.5380982756614685},{"id":"https://openalex.org/keywords/modularity","display_name":"Modularity (biology)","score":0.5035080313682556},{"id":"https://openalex.org/keywords/complex-system","display_name":"Complex system","score":0.44188302755355835},{"id":"https://openalex.org/keywords/aerospace","display_name":"Aerospace","score":0.4347064197063446},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4339812397956848},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3844442069530487},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3293542265892029},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3281540274620056},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3225787281990051},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15251371264457703},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10012593865394592},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09082713723182678}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7905550003051758},{"id":"https://openalex.org/C2780149590","wikidata":"https://www.wikidata.org/wiki/Q7302742","display_name":"Reconfigurability","level":2,"score":0.7368844151496887},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.6124746799468994},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5896157622337341},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5464524030685425},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.5380982756614685},{"id":"https://openalex.org/C2779478453","wikidata":"https://www.wikidata.org/wiki/Q6889748","display_name":"Modularity (biology)","level":2,"score":0.5035080313682556},{"id":"https://openalex.org/C47822265","wikidata":"https://www.wikidata.org/wiki/Q854457","display_name":"Complex system","level":2,"score":0.44188302755355835},{"id":"https://openalex.org/C167740415","wikidata":"https://www.wikidata.org/wiki/Q2876213","display_name":"Aerospace","level":2,"score":0.4347064197063446},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4339812397956848},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3844442069530487},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3293542265892029},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3281540274620056},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3225787281990051},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15251371264457703},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10012593865394592},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09082713723182678},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-030-40223-5_12","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-40223-5_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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W3866497","https://openalex.org/W1498432697","https://openalex.org/W1547450940","https://openalex.org/W1642772123","https://openalex.org/W1894254590","https://openalex.org/W1996109622","https://openalex.org/W2030265754","https://openalex.org/W2076665553","https://openalex.org/W2098222787","https://openalex.org/W2100054110","https://openalex.org/W2147740041","https://openalex.org/W2164067033","https://openalex.org/W2184144178","https://openalex.org/W2273989711","https://openalex.org/W2284540796","https://openalex.org/W2296753638","https://openalex.org/W2311728956","https://openalex.org/W2500782055","https://openalex.org/W2513688475","https://openalex.org/W2551134403","https://openalex.org/W2569664737","https://openalex.org/W2587367034","https://openalex.org/W2615984677","https://openalex.org/W2732057009","https://openalex.org/W2741349742","https://openalex.org/W2762665826","https://openalex.org/W2782662800","https://openalex.org/W2785340533","https://openalex.org/W2885442501","https://openalex.org/W2889090079","https://openalex.org/W2912640545","https://openalex.org/W2947334970","https://openalex.org/W2947381293","https://openalex.org/W2950061798","https://openalex.org/W4249959811"],"related_works":["https://openalex.org/W1544665014","https://openalex.org/W2748364266","https://openalex.org/W4243861219","https://openalex.org/W2556374054","https://openalex.org/W2069545207","https://openalex.org/W2092579166","https://openalex.org/W2969723039","https://openalex.org/W2909142942","https://openalex.org/W1981703794","https://openalex.org/W2037080690"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}