Using MDE and priority time petri nets for the schedulability analysis of embedded systems modeled by UML activity diagrams. - Yessine Hadj Kacem; Adel Mahfoudhi; Amina Magdich; Chokri Mraidha; Walid Karamti (ECBS, 2012)

A MARTE Extension for Global Scheduling Analysis of Multiprocessor Systems. - Amina Magdich; Yessine Hadj Kacem; Adel Mahfoudhi; Mohamed Abid (ISSRE, 2012)

Extending UML/MARTE-GRM for Integrating Tasks Migrations in Class Diagrams. - Amina Magdich; Yessine Hadj Kacem; Adel Mahfoudhi (SERA (selected papers), 2013)

A UML/MARTE-Based Design Pattern for Semi-partitioned Scheduling Analysis. - Amina Magdich; Yessine Hadj Kacem; Adel Mahfoudhi; Mickaël Kerboeuf (WETICE, 2014)

Real-Time Design Patterns: Architectural Designs for Automatic Semi-Partitioned and Global Scheduling. - Amina Magdich; Yessine Hadj Kacem; Adel Mahfoudhi; Mickaël Kerboeuf; Mohamed Abid (BMMDS/EMMSAD, 2015)

From UML/MARTE Models of Multiprocessor Real-time Embedded Systems to Early Schedulability Analysis based on SimSo Tool. - Amina Magdich; Yessine Hadj Kacem; Adel Mahfoudhi; Mohamed Abid (ICSOFT-EA, 2016)

From Dynamic UML/MARTE Models to Early Schedulability Analysis of RTES with Dependent Tasks. - Amina Magdich; Yessine Hadj Kacem; Bouthaina Dammak; Adel Mahfoudhi; Mohamed Abid (ISDA (2), 2018)

A design pattern-based approach for automatic choice of semi-partitioned and global scheduling algorithms. - Amina Magdich; Yessine Hadj Kacem; Mickaël Kerboeuf; Adel Mahfoudhi; Mohamed Abid (Inf. Softw. Technol., 2018)