Follow
May Haydar
May Haydar
Fahad Bin Sultan Univesity, University of Montreal
Verified email at fbsu.edu.sa
Title
Cited by
Cited by
Year
Formal verification of web applications modeled by communicating automata
M Haydar, A Petrenko, H Sahraoui
Formal Techniques for Networked and Distributed Systems–FORTE 2004: 24th …, 2004
822004
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
212005
Formal framework for automated analysis and verification of web-based applications
M Haydar
Proceedings. 19th International Conference on Automated Software Engineering …, 2004
212004
Specification patterns for formal web verification
M Haydar, H Sahraoui, A Petrenko
2008 Eighth International Conference on Web Engineering, 240-246, 2008
172008
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
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
72005
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
Technical Report [CRIM 07/10-17], 2007
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
The system can't perform the operation now. Try again later.
Articles 1–20