espositomarco
Postdoctoral Researcher at Verimag/Université Grenoble-Alpes, France. Main areas of interest: Formal Verification of Critical Systems, Black-Box Optimization
Grenoble, France
Pinned Repositories
ML-Ensemble-Learning
An implementation of Ensemble Learning that uses (Weighted) Majority Voting
reproducible-slide-pres
A reproducible slide presentation about reproducibility
STIP-model-checking
Formal verification through Model Checking of the AP-IP algorithm by Reza Azimi et al. (DOI: 10.1109/ICCPS.2014.6843706)
arabishcorpusbuilder
docker-grav
Official Docker Image for Grav
SFA-falsification
A logic falsification research project.
testgit
Mobike-MOBAPP
Mobike Repository for Mobile App (ANDROID)
CyPhAI-Case-Studies
espositomarco's Repositories
espositomarco/testgit
espositomarco/reproducible-slide-pres
A reproducible slide presentation about reproducibility
espositomarco/docker-grav
Official Docker Image for Grav
espositomarco/arabishcorpusbuilder
espositomarco/SFA-falsification
A logic falsification research project.
espositomarco/ML-Ensemble-Learning
An implementation of Ensemble Learning that uses (Weighted) Majority Voting
espositomarco/STIP-model-checking
Formal verification through Model Checking of the AP-IP algorithm by Reza Azimi et al. (DOI: 10.1109/ICCPS.2014.6843706)