Suivre
May Haydar
May Haydar
Fahad Bin Sultan Univesity, University of Montreal
Adresse e-mail validée de fbsu.edu.sa
Titre
Citée par
Citée par
Année
Formal verification of web applications modeled by communicating automata
M Haydar, A Petrenko, H Sahraoui
International Conference on Formal Techniques for Networked and Distributed …, 2004
792004
Formal framework for automated analysis and verification of web-based applications
M Haydar
Proceedings. 19th International Conference on Automated Software Engineering …, 2004
202004
Specification patterns for formal web verification
M Haydar, H Sahraoui, A Petrenko
2008 Eighth International Conference on Web Engineering, 240-246, 2008
172008
Properties and scopes in web model checking
M Haydar, S Boroday, A Petrenko, H Sahraoui
Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005
172005
A formal approach for run-time verification of web applications using scope-extended LTL
M Haydar, A Petrenko, S Boroday, H Sahraoui
Information and Software Technology 55 (12), 2191-2208, 2013
142013
Propositional scopes in linear temporal logic
M Haydar, S Boroday, A Petrenko, H Sahraoui
Proceedings of the 5th International Conference on Novelles Technologies de …, 2005
82005
Adding propositional scopes to linear temporal logic
M Haydar, S Boroday, A Petrenko, H Sahraoui
Technical Report [CRIM 05/05-06], 2005
62005
A rigorous approach for constructing self-evolving real-time reactive systems
VS Alagar, R Achuthan, M Haydar, D Muthiayen, O Ormandjieva, ...
Information and Software Technology 45 (11), 743-761, 2003
62003
Propositional Scopes in Linear Temporal Logic. 5th Int
M Haydar, S Boroday, P Petrenko, H Sahraoui
Conference on Novelles Technologies de la Repartition, 2005
52005
WeSPaS: A specification pattern system for web verification
M Haydar, H Sahraoui
42007
A formal framework for run-time verification of Web applications: an approach supported by ccope-extended linear temporal logic
M Haydar
32008
Parameterized events for designing real-time reactive systems
M Haydar
Concordia University, 2001
32001
Anomaly Detection and Quality Evaluation of Web Applications
M Haydar, G Malak, H Sahraoui, A Petrenko, S Boroday
Handbook of Research on Web Information Systems Quality, 86-103, 2008
22008
Discrete Event Models for Web Service Processes
Y Yan, M Haydar
Business Enterprise, Process, and Technology Management: Models and …, 2012
12012
Towards a Formal Framework for Hybrid Analysis of Composite Web Services
M Haydar, H Hallal
Proceedings of the International Conference on Software Engineering Research …, 2014
2014
WeSPaS—Web specification pattern system
M Haydar, A Petrenko, H Sahraoui
2010 International Conference on Machine and Web Intelligence, 61-68, 2010
2010
Rapport technique WeSPaS: A Specification Pattern System for Web Verification
M Haydar, H Sahraoui
2007
Rapport technique Adding Propositional Scopes to Linear Temporal Logic
M Haydar, S Boroday, A Petrenko, H Sahraoui
2005
20TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2005
M Haydar, S Boroday, A Petrenko, H Sahraoui
2005
Supported by Scope-Extended Linear Temporal Logic. Université de Montréal, Département d’informatique et de recherches opérationnelles, 2007. 187 p. Thèse de doctorat en …
M Haydar
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20