Ismail Assayad

According to our database, Ismail Assayad authored at least 25 papers between 2004 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Data-based automatic Covid-19 rumors detection in social networks.

Bolaji Bamiro, Ismail Assayad

Proceedings of the NISS2021: The 4th International Conference on Networking, Information Systems & Security, KENITRA, Morocco, April 1, 2021

Survey on improving the performance of MapReduce in Hadoop.

Nour-Eddine Bakni, Ismail Assayad

Proceedings of the NISS2021: The 4th International Conference on Networking, Information Systems & Security, KENITRA, Morocco, April 1, 2021

2020

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

2018

Generic Verification of Safety Properties For SystemC Programs Using Incomplete Interactions.

Lamia Eljadiri, Ismail Assayad, Abdelouahed Zakari

Proceedings of the 2nd International Conference on Smart Digital Environment, 2018

A platform for systematic verification of embedded components in IP-XACT, SystemC and Promela.

Lamia Eljadiri, Ismail Assayad

Proceedings of the 2nd International Conference on Smart Digital Environment, 2018

2017

Systematic verification of embedded components with re-usable properties.

Ismail Assayad, Lamia Eljadiri, Abdelouahed Zakari

Proceedings of the International Conference on Wireless Networks and Mobile Communications, 2017

Verification of SystemC Components Using the Method of Deduction.

Elbouanani Soumia, Ismail Assayad, Mohamed Sadik

Proceedings of the Ubiquitous Networking - Third International Symposium, 2017

Adaptive Mapping for Multiple Applications on Parallel Architectures.

Ismail Assayad, Alain Girault

Proceedings of the Ubiquitous Networking - Third International Symposium, 2017

2016

The "Behavior, interaction and priority" framework applied to SystemC-based embedded systems.

Ismail Assayad, Lamia Eljadiri, Abdelouahed Zakari, Tarik Nahhal

Proceedings of the 13th IEEE/ACS International Conference of Computer Systems and Applications, 2016

2015

Multilevel MPSoC Performance Evaluation, ISS Model with Timing and Priority Management.

Abdelhakim Alali, Ismail Assayad, Mohamed Sadik

Proceedings of the Advances in Ubiquitous Networking, 2015

2014

Modeling and simulation of multiprocessor systems MPSoC by SystemC/TLM2.

Abdelhakim Alali, Ismail Assayad, Mohamed Sadik

CoRR, 2014

2013

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

2011

Tradeoff Exploration between Reliability, Power Consumption, and Execution Time.

Ismail Assayad, Alain Girault, Hamoudi Kalla

Proceedings of the Computer Safety, Reliability, and Security, 2011

2010

A scheduler synthesis methodology for joint SW/HW design exploration of SoC.

Ismail Assayad, Sergio Yovine

Des. Autom. Embed. Syst., 2010

2009

A platform-based design framework for joint SW/HW multiprocessor systems design.

Ismail Assayad

J. Syst. Archit., 2009

Ordonnancement de tâches hiérarchiques interdépendantes sous des exigences temporelles et objectif d'efficacité.

Ismail Assayad

ARIMA J., 2009

2008

Joint SW/HW Modelling and Design Exploration Using P-Ware.

Ismail Assayad

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

Performance analysis of embedded multiprocessor industrial applications: methodology and tools.

Ismail Assayad, Sergio Yovine

Proceedings of the 14th IEEE International Conference on Electronics, 2007

Modelling and Exploration Environment for Application Specific Multiprocessor Systems.

Ismail Assayad, Sergio Yovine

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

P-Ware: A precise and scalable component-based simulation tool for embedded multiprocessor industrial applications.

Ismail Assayad, Sergio Yovine

Proceedings of the Tenth Euromicro Conference on Digital System Design: Architectures, 2007

2006

System-Platform Simulation Model Applied to Performance Analysis of Multiprocessor Video Encoding.

Ismail Assayad, Sergio Yovine

Proceedings of the International Symposium on Industrial Embedded Systems, 2006

2005

Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations.

Ismail Assayad, Sergio Yovine

Proceedings of the Innovative Internet Community Systems, 5th International Workshop, 2005

Jahuel: A Formal Framework for Software Synthesis.

Ismail Assayad, Valérie Bertin, F.-X. Defaut, Philippe Gerner, O. Quévreux, Sergio Yovine

Proceedings of the Formal Methods and Software Engineering, 2005

Modelling, Analysis and Parallel Implementation of an On-line Video Encoder.

Ismail Assayad, Philippe Gerner, Sergio Yovine, Valérie Bertin

Proceedings of the 1st International Conference on Distributed Frameworks for Multimedia Applications (DFMA 2005), 2005

2004

A Bi-Criteria Scheduling Heuristic for Distributed Embedded Systems under Reliability and Real-Time Constraints.

Ismail Assayad, Alain Girault, Hamoudi Kalla

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004