Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sultan Abdulaziz
CrashSafe: A Formal Model for Proving Crash-Safety of Android Applications
Human-centric Computing and Information Sciences
Computer Science
Related publications
A Practical Formal Model for Safety Analysis in Capability-Based Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Population and Initial Validation of a Formal Model for Construction Safety Risk Management
Journal of Construction Engineering and Management - ASCE
Building
Industrial Relations
Management
Civil
Structural Engineering
Strategy
Construction
Proving Safety Properties of Software
Proving Safety Properties of Rewrite Theories
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proving the Safety of SQL Queries
Formal Reasoning About Systems Biology Using Theorem Proving
PLoS ONE
Multidisciplinary
Ransomware Detection System for Android Applications
Electronics (Switzerland)
Control
Electronic Engineering
Signal Processing
Computer Networks
Systems Engineering
Hardware
Communications
Electrical
Architecture
An Novel Approach of CNN - Machine Learning Model Integrated With Android for Women’s Safety (SAS)
International Journal for Research in Applied Science and Engineering Technology
TCM: Test Case Mutation to Improve Crash Detection in Android
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
