Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ayesha Yasmeen
Automated Framework for Formal Operator Task Analysis
Related publications
Formal Framework for Automated Analysis and Verification of Web-Based Applications
FLAME: A Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing
Software and Systems Modeling
Modeling
Software
Simulation
Formal Methods for Automated Program Improvement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Correction: An Automated, Adaptive Framework for Optimizing Preprocessing Pipelines in Task-Based Functional MRI
PLoS ONE
Multidisciplinary
A Metaprogramming Framework for Formal Verification
Proceedings of the ACM on Programming Languages
Probabilistic Framework for Automated Analysis of Exposure to Road Collisions
Transportation Research Record
Civil
Mechanical Engineering
Structural Engineering
A Framework for Regularization via Operator Approximation
SIAM Journal of Scientific Computing
Computational Mathematics
Applied Mathematics
Towards a Formal Framework for Computational Trust
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal Framework for Specifying Concurrent Systems
International Journal of Computer Applications
