Fateh Boutekkouk

38 papers B 1C 1Journal 24Unranked 12

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	C Software Formal Verification. WiPiEC Journal Fateh Boutekkouk
2022	J	`jnl`	A literature review on security-aware design space exploration approaches for embedded systems. Int. J. Secur. Networks Fateh Boutekkouk
2022	J	`jnl`	Embedded Systems Design Space Exploration Under Security Constraints. Int. J. Technol. Diffusion Fateh Boutekkouk
2022	J	`jnl`	Requirements Metamodeling for Self-Adaptive Embedded Systems. Int. J. Softw. Innov. Zina Mecibah, Fateh Boutekkouk
2022	J	`jnl`	UML/event-B-based modelling and verification of the car cruise control system. Int. J. Comput. Aided Eng. Technol. Hemza Merouani, Fateh Boutekkouk, Imad Merouani
2021	J	`jnl`	AI-Based Methods to Resolve Real-Time Scheduling for Embedded Systems: A Review. Int. J. Cogn. Informatics Nat. Intell. Fateh Boutekkouk
2021	J	`jnl`	Application of a Fuzzy MCDM Method to Select the Best Operating System for an Efficient Security-Aware Design of Embedded Systems. Int. J. Appl. Evol. Comput. Fateh Boutekkouk
2021	J	`jnl`	Architecture Description Languages Taxonomies Review: A Special Focus on Self-Adaptive Distributed Embedded Systems. Int. J. Technol. Diffusion Fateh Boutekkouk
2021	J	`jnl`	Color Image Processing Under Uncertainty. Int. J. Technol. Diffusion Fateh Boutekkouk, Narimane Sahel
2021	J	`jnl`	Digital Color Image Processing Using Intuitionistic Fuzzy Hypergraphs. Int. J. Comput. Vis. Image Process. Fateh Boutekkouk
2021	J	`jnl`	Intellectual Properties Integration: The Past, the Present, and the Future. Int. J. Technol. Diffusion Rima Boumaza, Fateh Boutekkouk
2021	J	`jnl`	Optimization Trends for Wireless Network On-Chip: A Survey. Int. J. Wirel. Networks Broadband Technol. Saliha Lakhdari, Fateh Boutekkouk
2021	J	`jnl`	Real-Time Embedded Systems Scheduling Optimization: A Review on Bio-Inspired Approaches. Int. J. Appl. Evol. Comput. Fateh Boutekkouk
2020	J	`jnl`	A New Intelligent Biologically-Inspired Model for Fault Tolerance in Distributed Embedded Systems. Int. J. Embed. Real Time Commun. Syst. Ridha Mehalaine, Fateh Boutekkouk
2020	J	`jnl`	Adaptive embedded systems: a systematic review. Int. J. Auton. Adapt. Commun. Syst. Fateh Boutekkouk
2020	—	`conf`	Energy Consumption Reduction in Real Time Multiprocessor Embedded Systems with Uncertain Data. CSOC (2) Ridha Mehalaine, Fateh Boutekkouk
2020	—	`conf`	Formal Specification of On-Chip Communications State Of The Art. ICIST Amina Zerdani, Fateh Boutekkouk, Lakhdar Derdouri
2020	J	`jnl`	Reliable Weighted Globally Congestion Aware Routing for Network on Chip. Int. J. Embed. Real Time Commun. Syst. Habib Chawki Touati, Fateh Boutekkouk
2020	J	`jnl`	Reliable routing schemes in 3D network on chip. Int. J. Embed. Syst. Habib Chawki Touati, Fateh Boutekkouk
2019	J	`jnl`	Embedded systems codesign under artificial intelligence perspective: a review. Int. J. Ad Hoc Ubiquitous Comput. Fateh Boutekkouk
2019	J	`jnl`	Real Time Scheduling Optimization. J. Inf. Technol. Res. Fateh Boutekkouk
2018	C	`conf`	A Security Proposal for IoT integrated with SDN and Cloud. WINCOM Ramissa Djouani, Karim Djouani, Fateh Boutekkouk, Roumissa Sahbi
2018	—	`conf`	FACARS: A novel fully adaptive congestion aware routing scheme for network on chip. MECO Habib Chawki Touati, Fateh Boutekkouk
2018	J	`jnl`	Formal Specification and Verification of Communication in Network-On-Chip: An Overview. Int. J. Recent Contributions Eng. Sci. IT Fateh Boutekkouk
2018	—	`conf`	Towards Requirements Engineering Process for Self-adaptive Embedded Systems. CSOS (1) Zina Mecibah, Fateh Boutekkouk
2016	—	`conf`	Fuzzy Energy Aware Real Time Scheduling Targeting Mono-processor Embedded Architectures. CSOC (1) Ridha Mehalaine, Fateh Boutekkouk
2016	—	`conf`	Quantum Evolutionary Cellular Automata Mapping Optimization Technique Targeting Regular Network on Chip. CSOC (3) Djalila Belkebir, Fateh Boutekkouk
2016	—	`conf`	Real Time Tasks Scheduling Optimization Using Quantum Inspired Genetic Algorithms. CSOC (1) Fateh Boutekkouk, Soumia Oubadi
2016	J	`jnl`	Two-steps into energy consumption optimisation due to the mapping of multimedia application to network on chip architecture. Int. J. Intell. Syst. Technol. Appl. Djalila Belkebir, Fateh Boutekkouk
2015	—	`conf`	A Cellular Automaton Based Approach for Real Time Embedded Systems Scheduling Problem Resolution. CSOC (1) Fateh Boutekkouk
2015	—	`conf`	A Hybrid Approach to Extend the Life Time of Heterogeneous Wireless Sensor Networks. EUSPN/ICTH Fateh Boutekkouk, Fatima Taibi, Khawla Meziani
2011	—	`conf`	Automatic Interface Generation between Incompatible Intellectual Properties (IPs) from UML Models. ACC (2) Fateh Boutekkouk, Zakaria Tolba, Mustapha Okab
2010	—	`conf`	Rewriting Logic Based Performance Estimation of Embedded Systems. ASMTA Fateh Boutekkouk
2010	J	`jnl`	Using UML as a Front-end for StreamIt Programs Verification and Generation. J. Multim. Fateh Boutekkouk, Mohamed Benmohammed
2009	B	`conf`	UML Modeling and Formal Verification of Control/Data Driven Embedded Systems. ICECCS Fateh Boutekkouk, Mohamed Benmohammed
2009	J	`jnl`	UML for Modelling and Performance Estimation of Embedded Systems. J. Object Technol. Fateh Boutekkouk, Mohamed Benmohammed, Sébastien Bilavarn, Michel Auguin
2009	J	`jnl`	UML2.0 Profiles for Embedded Systems and Systems On a Chip (SOCs). J. Object Technol. Fateh Boutekkouk, Mohamed Benmohammed, Sébastien Bilavarn, Michel Auguin
2008	—	`conf`	UML profile for estimating application Worst Case Execution Time on System-on-Chip. SoC Fateh Boutekkouk, Sébastien Bilavarn, Michel Auguin, Mohammed Benmohammed