Explore projects
-
Updated
-
This project contains the iot-analyzer used to compare different IoT technologies in the paper : [Comparison of the Device Lifetime in Wireless Networks for the Internet of Things]
Updated -
Updated
-
The experiment of this project has been moved into the osim-lutin project inside the verimag/reproducible-research/ group
Updated -
Updated
-
Updated
-
Updated
-
Reproduce the experimental results of an article currently under submission
"Assessing Software Abstractions inWCET Analysis of Reactive Programs"
Updated -
-
Updated
-
Updated
-
Clone of Apron (used to control which version of Apron we use with PAGAI).
Updated -
Archived 0Updated
-
Updated
-
Updated
-
-
Archived 0Updated
-
Path Analysis for the Generation of Numeric Invariants. Project hosted at VERIMAG for the development of static analysis techniques.
Updated -