mkhaled87
A computer engineer who tries to make safety-critical systems safer!
ParallallMunich, Germany
Pinned Repositories
cudd-ready
A static-library version of the famous CUDD (Colorado University Decision Diagram) library.
DormantBitcoinHunter
A Python script to generate random bitcoin private keys, extract their bitcoin addresses and compare against a list of addresses which have large amount of bitcoins (i.e., the Dormant List). It is a hunt for treasure ! If it finds a match, it will send an email.
ethminer_fpga
A fork of Ethereum miner with OpenCL-based FPGA mining support (currently Intel FPGAs).
etoro-api
A python api for eToro automatically generated via the provided OpenAPI specifications.
jemdoc-ready
A ready-to-use Jemdoc-based website for research groups and similar organizations. It also contains a dynamic news/RSS-feed system which requires ASP.Net.
pFaces-AMYTISS
A tool for parallel automated controller synthesis for large-scale stochastic systems.
pFaces-OmegaThreads
OmegaThreads constructs automatically correct-bu-construction controllers for dynamical systems to satisfy Omega-regular specifications given as discrete parity automata (DPA) or linear temporal logic (LTL) formulae. It constructs a symbolic model of the system and combine it with the specification into a parity game. Winning the parity game results into a closed-loop controller that enforces the specification on the system. The controller is generated as a Mealy machine. A Python interface and a 2d simulator are provided.
pFaces-PIRK
A tool for parallel computation of interval over-approximations to reachable sets of nonlinear control systems, powered by the pFaces acceleration ecosystem; more briefly, a Parallel Interval Reachability Kernel.
scots-ready
A version of SCOTS with the CUDD library included and configured as a static-link library. Simply go to the root directory and run 'make' to build the CUDD library.
pFaces
An MPI/OpenCL-based Acceleration Ecosystem for HPC and Cloud-computing platforms.
mkhaled87's Repositories
mkhaled87/etoro-api
A python api for eToro automatically generated via the provided OpenAPI specifications.
mkhaled87/ethminer_fpga
A fork of Ethereum miner with OpenCL-based FPGA mining support (currently Intel FPGAs).
mkhaled87/DormantBitcoinHunter
A Python script to generate random bitcoin private keys, extract their bitcoin addresses and compare against a list of addresses which have large amount of bitcoins (i.e., the Dormant List). It is a hunt for treasure ! If it finds a match, it will send an email.
mkhaled87/jemdoc-ready
A ready-to-use Jemdoc-based website for research groups and similar organizations. It also contains a dynamic news/RSS-feed system which requires ASP.Net.
mkhaled87/pFaces-OmegaThreads
OmegaThreads constructs automatically correct-bu-construction controllers for dynamical systems to satisfy Omega-regular specifications given as discrete parity automata (DPA) or linear temporal logic (LTL) formulae. It constructs a symbolic model of the system and combine it with the specification into a parity game. Winning the parity game results into a closed-loop controller that enforces the specification on the system. The controller is generated as a Mealy machine. A Python interface and a 2d simulator are provided.
mkhaled87/pFaces-PIRK
A tool for parallel computation of interval over-approximations to reachable sets of nonlinear control systems, powered by the pFaces acceleration ecosystem; more briefly, a Parallel Interval Reachability Kernel.
mkhaled87/pFaces-AMYTISS
A tool for parallel automated controller synthesis for large-scale stochastic systems.
mkhaled87/scots-ready
A version of SCOTS with the CUDD library included and configured as a static-link library. Simply go to the root directory and run 'make' to build the CUDD library.
mkhaled87/SENSE
SENSE (Symbolic controlEr Networked SystEms) is a C++ toolbox for constructing symbolic abstractions as well as synthesizing symbolic controllers for networked control systems. The tool has MATLAB and OMNet++ interfaces for closed loop simulation.
mkhaled87/clypse_fpga
A fork of the ApoCLypse Bitcoin Miner with support for OpenCL-ready FPGA accelerators.
mkhaled87/ARCH20-FAUST
A repo for the codes used to generate the results from the tool FAUST as reported in the ARCH20 report.
mkhaled87/autonomous_car_verification
mkhaled87/BDD2Implement
A C++ tool to generate hardware/software codes of BDD-based symbolic controllers.
mkhaled87/CSCI5854_lab
Lab materials for class CSCI 5854 (Foundations of Autonomous Systems), University of Colorado Boulder, USA.
mkhaled87/deepracer_av
A ROS-package to autonomously drive the AWS DeepRacer [under development].
mkhaled87/pFaces-iXplore
iXplore is an input-based state-space exploration engine. It finds input traces that satisfy/falsify a given requirement.
mkhaled87/cudd-ready
A static-library version of the famous CUDD (Colorado University Decision Diagram) library.
mkhaled87/Borri_NCS
mplementation of NCS abstraction construction as presented in: A. Borri, G. Pola, M. Benedetto, "A Symbolic Approach to the Design of Nonlinear Networked Control Systems" :: https://arxiv.org/abs/1203.1069
mkhaled87/deepracer-model
An ODE model of the DeepRacer
mkhaled87/DynObjLoader
A cross-platform static-link library for dynamic loading of pre-built C++ objects. You can use this to develop loadable plugins into your project. The plugins should be built for the same OS and then loaded using this library.
mkhaled87/hyconsys-talk-latex
A Latex template for presentations customized for the HyConSys lab.
mkhaled87/pegasus_spyware
decompiled pegasus_spyware
mkhaled87/SymDetect
Implementation of non-deterministic finite automata (NFA)-based detectors for finite labelled transition systems (FLTS) as appeared in a paper
mkhaled87/SymReach