Timed Wp-method: testing real-time systems
En-Nouaary, A., Dssouli, R., Khendek, F.
Published in IEEE transactions on software engineering (01.11.2002)
Published in IEEE transactions on software engineering (01.11.2002)
Get full text
Journal Article
Automatic configuration generation for service high availability with load balancing
Kanso, A., Khendek, F., Toeroe, M., Hamou-Lhadj, A.
Published in Concurrency and computation (01.02.2013)
Published in Concurrency and computation (01.02.2013)
Get full text
Journal Article
Creating value added services in Internet telephony: an overview and a case study on a high-level service creation environment
Glitho, R.H., Khendek, F., De Marco, A.
Published in IEEE transactions on systems, man and cybernetics. Part C, Applications and reviews (01.11.2003)
Published in IEEE transactions on systems, man and cybernetics. Part C, Applications and reviews (01.11.2003)
Get full text
Journal Article
A UML-Based Domain Specific Modeling Language for the Availability Management Framework
Salehi, P, Hamoud-Lhadj, A, Colombo, P, Khendek, F, Toeroe, M
Published in 2010 IEEE 12th International Symposium on High Assurance Systems Engineering (01.11.2010)
Published in 2010 IEEE 12th International Symposium on High Assurance Systems Engineering (01.11.2010)
Get full text
Conference Proceeding
Test selection based on finite state models
Fujiwara, S., v. Bochmann, G., Khendek, F., Amalou, M., Ghedamsi, A.
Published in IEEE transactions on software engineering (01.06.1991)
Published in IEEE transactions on software engineering (01.06.1991)
Get full text
Journal Article
Test cases selection from SDL specifications
Bourhfir, C., Aboulhamid, E., Khendek, F., Dssouli, R.
Published in Computer networks (Amsterdam, Netherlands : 1999) (01.05.2001)
Published in Computer networks (Amsterdam, Netherlands : 1999) (01.05.2001)
Get full text
Journal Article
Ranking service units for providing and protecting highly available services with load balancing
Kanso, A, Khendek, F, Hamou-Lhadj, A, Toeroe, M
Published in 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) (01.05.2010)
Published in 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) (01.05.2010)
Get full text
Conference Proceeding
Integrating Legacy Applications for High Availability: A Case Study
Kanso, A., Khendek, F., Mishra, A., Toeroe, M.
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Get full text
Conference Proceeding
From MSC and UML to SDL
Bourduas, S., Khendek, F., Vincent, D.
Published in Proceedings - International Computer Software & Applications Conference (2002)
Published in Proceedings - International Computer Software & Applications Conference (2002)
Get full text
Conference Proceeding
Journal Article
Timed test cases generation based on state characterization technique
En-Nouaary, A., Dssouli, R., Khendek, F., Elqortobi, A.
Published in Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279) (1998)
Published in Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279) (1998)
Get full text
Conference Proceeding
Testing embedded real-time systems
En-Nouaary, A., Khendek, F., Dssouli, R.
Published in Proceedings Seventh International Conference on Real-Time Computing Systems and Applications (2000)
Published in Proceedings Seventh International Conference on Real-Time Computing Systems and Applications (2000)
Get full text
Conference Proceeding
SPIN vs. VIS: a case study on the formal verification of the ATMR protocol
Peng, H., Tahar, S., Khendek, F.
Published in ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods (2000)
Published in ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods (2000)
Get full text
Conference Proceeding
A formal approach for software maintenance
Waqar, U., Khendek, F., Vincent, D.
Published in International Conference on Software Maintenance, 2002. Proceedings (2002)
Published in International Conference on Software Maintenance, 2002. Proceedings (2002)
Get full text
Conference Proceeding
From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System
Get full text
Book Chapter
Conference Proceeding
Implementing OMA RESTful location services in wireless sensor environments
Islam, M. A., Belqasmi, F., Glitho, R., Khendek, F.
Published in 2012 IEEE Symposium on Computers and Communications (ISCC) (01.07.2012)
Published in 2012 IEEE Symposium on Computers and Communications (ISCC) (01.07.2012)
Get full text
Conference Proceeding
Time consistency of MSC-2000 specifications
Zheng, Tong, Khendek, Ferhat
Published in Computer networks (Amsterdam, Netherlands : 1999) (21.06.2003)
Published in Computer networks (Amsterdam, Netherlands : 1999) (21.06.2003)
Get full text
Journal Article
A reuse case perspective on documenting frameworks
Butler, G., Grogono, P., Khendek, F.
Published in Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240) (1998)
Published in Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240) (1998)
Get full text
Conference Proceeding