alidoostnia
PhD in Software Engineering from University of Tehran, Assistant Professor of Computer Science and Engineering at Shahid Beheshti University.
Shahid Beheshti UniversityIran
Pinned Repositories
android-ota
android-OTA-Lineage-Version
This is a fork from Lineage OS OTA branch with some custom entries.
android_packages_apps_Trebuchet
AOSP-Logger
Logger for AOSP
AOSP-OTA-Client
Final version of customizing the Lineage Updater app for AOSP OTA purposes.
AOSP-OTA-Server-Side
aosp13-updater
The Lineage Updater version 20 AOSP version 13
C-Examples
C and C++ usable examples
pif
Probabilistic analysis of self-stabilizing systems: A case study on a mutual exclusion algorithm
Self-adaptive-pattern-matching
A Random Walk-Based Pattern-Matching Simulator for Verification of Incomplete Markov Models in Self-Adaptive Systems
alidoostnia's Repositories
alidoostnia/AOSP-Logger
Logger for AOSP
alidoostnia/android-OTA-Lineage-Version
This is a fork from Lineage OS OTA branch with some custom entries.
alidoostnia/AOSP-OTA-Client
Final version of customizing the Lineage Updater app for AOSP OTA purposes.
alidoostnia/AOSP-OTA-Server-Side
alidoostnia/android-ota
alidoostnia/android_packages_apps_Trebuchet
alidoostnia/aosp13-updater
The Lineage Updater version 20 AOSP version 13
alidoostnia/C-Examples
C and C++ usable examples
alidoostnia/FSLOTA-Project-for-AOSP
alidoostnia/LineageOTAServer
A simple OTA REST Server for LineageOS OTA Updater System Application
alidoostnia/pif
Probabilistic analysis of self-stabilizing systems: A case study on a mutual exclusion algorithm
alidoostnia/Random-Walk-Simulator
Random-walk Anonymous Pattern Simulator (RAPS)
alidoostnia/Runtime-Approximation-Framework-for-Self-Adaptive-Systems
An Exemplar of Runtime Approximation Framework for Self-Adaptive Systems in Safety-Critical Applications.
alidoostnia/Self-adaptive-pattern-matching
A Random Walk-Based Pattern-Matching Simulator for Verification of Incomplete Markov Models in Self-Adaptive Systems
alidoostnia/Launcher-13
No clever tagline needed.
alidoostnia/Mass-Monitoring-Data
Random Walk on Mass Monitoring Data
alidoostnia/my-sbu-webpages
alidoostnia/numba
NumPy aware dynamic Python compiler using LLVM
alidoostnia/Rivermax
Extended and advanced applications to the Rivermax SDK (Networking SDK for Media and Data Streaming).
alidoostnia/StreamingAndroidLogger
Logger
alidoostnia/updater-lineage-server
LineageOS Updater