Laya Madani

According to our database, Laya Madani authored at least 10 papers between 2005 and 2012.

Collaborative distances:

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

2012

Teaching Classical Mechanics using Smartphones

Joël Chevrier, Laya Madani, Simon Ledenmat, Ahmad Bsiesy

CoRR, 2012

2011

Automatically testing interactive multimodal systems using task trees and fusion models.

Laya Madani, Ioannis Parissis

Proceedings of the 6th International Workshop on Automation of Software Test, 2011

2010

Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller.

Laya Madani, Virginia Papailiopoulou, Ioannis Parissis

Proceedings of the Third International Conference on Software Testing, 2010

2009

Automatically testing interactive applications using extended task trees.

Laya Madani, Ioannis Parissis

J. Log. Algebraic Methods Program., 2009

2008

Automated Test of Interactive Applications Using Task Trees.

Laya Madani, Ioannis Parissis

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators.

Virginia Papailiopoulou, Laya Madani, Lydie du Bousquet, Ioannis Parissis

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

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

PhD thesis, 2007

Formal Testing of Multimodal Interactive Systems.

Jullien Bouchet, Laya Madani, Laurence Nigay, Catherine Oriat, Ioannis Parissis

Proceedings of the Engineering Interactive Systems - EIS 2007 Joint Working Conferences, 2007

2005

Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach.

Laya Madani, Catherine Oriat, Ioannis Parissis, Jullien Bouchet, Laurence Nigay

Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005

Testing the CARE Properties of Multimodal Applications by Means of a Synchronous Approach.

Laya Madani, Laurence Nigay, Ioannis Parissis

Proceedings of the IASTED International Conference on Software Engineering, 2005