May Haydar
May Haydar
Fahad Bin Sultan Univesity, University of Montreal
Email confirmado em fbsu.edu.sa
Título
Citado por
Citado por
Ano
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
782004
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
162005
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
152013
Propositional scopes in linear temporal logic
M Haydar, S Boroday, A Petrenko, H Sahraoui
5th Int. Conference on Novelles Technologies de la Repartition, 2005
82005
Adding propositional scopes to linear temporal logic
M Haydar, S Boroday, A Petrenko, H Sahraoui
Technical Report [CRIM 05/05-06], 2005
72005
Propositional Scopes in Linear Temporal Logic. 5th Int
M Haydar, S Boroday, P Petrenko, H Sahraoui
Conference on Novelles Technologies de la Repartition, 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
WeSPaS: A specification pattern system for web verification
M Haydar, H Sahraoui
52007
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
A Formal Framework for Run-Time Verification of Web Applications
A approach supported by Scope-Extended, LT Logic, M Haydar
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
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20