| 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 | 82 | 2004 |
| 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 | 22 | 2005 |
| Formal framework for automated analysis and verification of web-based applications M Haydar Proceedings. 19th International Conference on Automated Software Engineering …, 2004 | 21 | 2004 |
| Specification patterns for formal web verification M Haydar, H Sahraoui, A Petrenko 2008 Eighth International Conference on Web Engineering, 240-246, 2008 | 17 | 2008 |
| 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 | 15 | 2013 |
| 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 | 9 | 2005 |
| Adding propositional scopes to linear temporal logic M Haydar, S Boroday, A Petrenko, H Sahraoui Technical Report [CRIM 05/05-06], 2005 | 7 | 2005 |
| 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 | 6 | 2003 |
| Propositional Scopes in Linear Temporal Logic. 5th Int M Haydar, S Boroday, P Petrenko, H Sahraoui Conference on Novelles Technologies de la Repartition, 2005 | 5 | 2005 |
| WeSPaS: A specification pattern system for web verification M Haydar, H Sahraoui Technical Report [CRIM 07/10-17], 2007 | 4 | 2007 |
| A formal framework for run-time verification of Web applications: an approach supported by ccope-extended linear temporal logic M Haydar | 3 | 2008 |
| Parameterized events for designing real-time reactive systems M Haydar Concordia University, 2001 | 3 | 2001 |
| 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 | 2 | 2008 |
| Discrete Event Models for Web Service Processes Y Yan, M Haydar Business Enterprise, Process, and Technology Management: Models and …, 2012 | 1 | 2012 |
| 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 | | |
Houari SahraouiProfessor of Computer Science, Université de Montréaliro.umontreal.ca의 이메일 확인됨