Nadia Menad

According to our database, Nadia Menad authored at least 5 papers between 2013 and 2026.

Collaborative distances:

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

2026

An AI-Enhanced Empathy Map Technique: A Comparative Approach to Automated Semantic Context Extraction.

Nadia Menad, Mustapha Si Tayeb, Roumaissa Farah, Imene Ait Mohamed

Proceedings of the 28th International Conference on Enterprise Information Systems, 2026

2016

Towards a Transformation Approach of Timed UML MARTE Specifications for Observer-Based Formal Verification.

Nadia Menad, Philippe Dhaussy, Zoé Drey, Rachida Mekki

Comput. Informatics, 2016

2013

A Transformation Approach for Multiform Time Requirements.

Nadia Menad, Philippe Dhaussy

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

MDA Approach for Distributed and Real-Time embedded Systems Analysis and Verification - Overview and First Proposal.

Nadia Menad, Philippe Dhaussy, Belhadri Messabih

Proceedings of the ICSOFT 2013, 2013

Real-Time and Embedded Systems Challenges - Key Requirements and Issues.

Nadia Menad, Philippe Dhaussy

Proceedings of the ICSOFT 2013, 2013