Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by M. Haydar
Formal Framework for Automated Analysis and Verification of Web-Based Applications
Related publications
Automated Framework for Formal Operator Task Analysis
Automated Logic-Based Technique for Formal Verification of Security Protocols
Journal of Advances in Computer Networks
A Metaprogramming Framework for Formal Verification
Proceedings of the ACM on Programming Languages
A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation
IEEE Transactions on Software Engineering
Software
Orchestration Framework for Automated Ajax-Based Web Application Testing
FLAME: A Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing
Software and Systems Modeling
Modeling
Software
Simulation
A Web-Based Framework for Lightweight Context-Aware Mobile Applications
International Journal of Database Theory and Application
Computer Science
Formal Analysis and Verification of Airborne Software Based on DO-333
Electronics (Switzerland)
Control
Electronic Engineering
Signal Processing
Computer Networks
Systems Engineering
Hardware
Communications
Electrical
Architecture
The Framework for Web-Based Automated Online Question Paper Generator Through JEE
International Journal of Engineering and Technology(UAE)
Architecture
Hardware
Engineering
Chemical Engineering
Biotechnology
Environmental Engineering
Computer Science
