Explore projects
-
-
Updated
-
Updated
-
Updated
-
DAUGE Virgile / Kalman-and-Bayesian-Filters-in-Python
Creative Commons Attribution 4.0 InternationalKalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filters, and more. All exercises include solutions.
Updated -
Artifact for the Smart Home case study using THEMIS submitted to RV'18: Bringing Runtime Verification Home - A Case Study on the Hierarchical Monitoring of Smart Homes
Updated -
PIETRIGA Emmanuel / lodatlas-lodsummaries
GNU General Public License v3.0 or laterUpdated -
A C program for solving the heat propagation equation in 2D. Serves also as a toy project for playing with gitlab, gitlab-ci, Jenkins, SonarQube, etc.
Updated -
A C program for solving the heat propagation equation in 2D. Serves also as a toy project for playing with gitlab, gitlab-ci, Jenkins, SonarQube, etc.
Updated -
A C program for solving the heat propagation equation in 2D. Serves also as a toy project for playing with gitlab, gitlab-ci, Jenkins, SonarQube, etc.
Updated -
A C program for solving the heat propagation equation in 2D. Serves also as a toy project for playing with gitlab, gitlab-ci, Jenkins, SonarQube, etc.
Updated -
Updated
-
Online tutorial for the paper: "Can we monitor all multithreaded programs?"
Updated -
A C program for solving the heat propagation equation in 2D. Serves also as a toy project for playing with gitlab, gitlab-ci, Jenkins, SonarQube, etc.
Updated -
Porting the continuous integration documentation to gitlab pages.
Updated