A Bi-Criteria Scheduling Heuristic for Distributed Embedded Systems under Reliability and Real-Time Constraints. - Ismail Assayad; Alain Girault; Hamoudi Kalla (DSN, 2004)

Modelling, Analysis and Parallel Implementation of an On-line Video Encoder. - Ismail Assayad; Philippe Gerner; Sergio Yovine; Valérie Bertin (DFMA, 2005)

Jahuel: A Formal Framework for Software Synthesis. - Ismail Assayad; Valérie Bertin; F.-X. Defaut; Philippe Gerner; O. Quévreux; Sergio Yovine (ICFEM, 2005)

Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations. - Ismail Assayad; Sergio Yovine (IICS, 2005)

System-Platform Simulation Model Applied to Performance Analysis of Multiprocessor Video Encoding. - Ismail Assayad; Sergio Yovine (IES, 2006)

P-Ware: A precise and scalable component-based simulation tool for embedded multiprocessor industrial applications. - Ismail Assayad; Sergio Yovine (DSD, 2007)

Modelling and Exploration Environment for Application Specific Multiprocessor Systems. - Ismail Assayad; Sergio Yovine (HASE, 2007)

Performance analysis of embedded multiprocessor industrial applications: methodology and tools. - Ismail Assayad; Sergio Yovine (ICECS, 2007)

Joint SW/HW Modelling and Design Exploration Using P-Ware. - Ismail Assayad (COMPSAC, 2008)

Ordonnancement de tâches hiérarchiques interdépendantes sous des exigences temporelles et objectif d'efficacité. - Ismail Assayad (ARIMA J., 2009)

A platform-based design framework for joint SW/HW multiprocessor systems design. - Ismail Assayad (J. Syst. Archit., 2009)

A scheduler synthesis methodology for joint SW/HW design exploration of SoC. - Ismail Assayad; Sergio Yovine (Des. Autom. Embed. Syst., 2010)

Tradeoff Exploration between Reliability, Power Consumption, and Execution Time. - Ismail Assayad; Alain Girault; Hamoudi Kalla (SAFECOMP, 2011)

Tradeoff exploration between reliability, power consumption, and execution time for embedded systems - The TSH tricriteria scheduling heuristic. - Ismail Assayad; Alain Girault; Hamoudi Kalla (Int. J. Softw. Tools Technol. Transf., 2013)

Modeling and simulation of multiprocessor systems MPSoC by SystemC/TLM2. - Abdelhakim Alali; Ismail Assayad; Mohamed Sadik (CoRR, 2014)

Multilevel MPSoC Performance Evaluation, ISS Model with Timing and Priority Management. - Abdelhakim Alali; Ismail Assayad; Mohamed Sadik (UNet, 2015)

The "Behavior, interaction and priority" framework applied to SystemC-based embedded systems. - Ismail Assayad; Lamia Eljadiri; Abdelouahed Zakari; Tarik Nahhal (AICCSA, 2016)

Adaptive Mapping for Multiple Applications on Parallel Architectures. - Ismail Assayad; Alain Girault (UNet, 2017)

Verification of SystemC Components Using the Method of Deduction. - Elbouanani Soumia; Ismail Assayad; Mohamed Sadik (UNet, 2017)

Systematic verification of embedded components with re-usable properties. - Ismail Assayad; Lamia Eljadiri; Abdelouahed Zakari (WINCOM, 2017)

A platform for systematic verification of embedded components in IP-XACT, SystemC and Promela. - Lamia Eljadiri; Ismail Assayad (ICSDE, 2018)

Generic Verification of Safety Properties For SystemC Programs Using Incomplete Interactions. - Lamia Eljadiri; Ismail Assayad; Abdelouahed Zakari (ICSDE, 2018)

DHPV: a distributed algorithm for large-scale graph partitioning. - Wilfried Yves Hamilton Adoni; Tarik Nahhal; Moez Krichen; Abdeltif El byed; Ismail Assayad (J. Big Data, 2020)

Survey on improving the performance of MapReduce in Hadoop. - Nour-Eddine Bakni; Ismail Assayad (NISS (ACM), 2021)

Data-based automatic Covid-19 rumors detection in social networks. - Bolaji Bamiro; Ismail Assayad (NISS (ACM), 2021)