Testing the CARE Properties of Multimodal Applications by Means of a Synchronous Approach. - Laya Madani; Laurence Nigay; Ioannis Parissis (IASTED Conf. on Software Engineering, 2005)

Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach. - Laya Madani; Catherine Oriat; Ioannis Parissis; Jullien Bouchet; Laurence Nigay (ISSRE, 2005)

Formal Testing of Multimodal Interactive Systems. - Jullien Bouchet; Laya Madani; Laurence Nigay; Catherine Oriat; Ioannis Parissis (EHCI/DS-VIS, 2007)

Utilisation de la programmation synchrone pour la spécification et la validation de services interactifs. (Using synchronous programming for specification and validation of interactive services). - Laya Madani (2007)

Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators. - Virginia Papailiopoulou; Laya Madani; Lydie du Bousquet; Ioannis Parissis (FMICS, 2008)

Automated Test of Interactive Applications Using Task Trees. - Laya Madani; Ioannis Parissis (ICST Workshops, 2008)

Automatically testing interactive applications using extended task trees. - Laya Madani; Ioannis Parissis (J. Log. Algebraic Methods Program., 2009)

Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller. - Laya Madani; Virginia Papailiopoulou; Ioannis Parissis (ICST, 2010)

Automatically testing interactive multimodal systems using task trees and fusion models. - Laya Madani; Ioannis Parissis (AST, 2011)

Teaching Classical Mechanics using Smartphones - Joël Chevrier; Laya Madani; Simon Ledenmat; Ahmad Bsiesy (CoRR, 2012)