Explore projects
-
matera2 / perfxrl
OtherUpdated -
Updated
-
VeriDevOps Public / Earlytool
Apache License 2.0A tool implementation of the approach presented in https://arxiv.org/abs/2201.11628
Updated -
-
stc / experiments / ogan
MIT LicenseRequirement falsification for cyber-physical systems using generative models and the OGAN algorithm. This is an entry in the falsification track of the ARCH-COMP 2023 competition on verifying continuous and hybrid systems.
Updated -
Johan Lilius / MobileNet
Apache License 2.0A Clearer and Simpler MobileNet Implementation in TensorFlow
Updated -
Updated
-
-
Updated
-
Updated
-
Johan Lilius / CornerNet
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Scans regularly the speed of your network and plots a curve over a specified time
Updated -
-
Updated
-
Updated
-
stc / Dynamic TCP
MIT LicenseUpdated -
-
OpenCV custom installation script for Vagrant container. Relevant to SAIoT course
Updated -
Updated
-
Infuze test generator and fault localizer tool implemented using metamorphic testing and spectrum based fault localization techniques.
Updated