Explore projects
-
WIDE / Similitude experiments - public
Apache License 2.0Public repository hosting the simulator for the Similitude paper, imported from github on 2018-06-11: https://github.com/plroman/similitude_experiments
Updated -
GAUTRAIS Clement / some_thesis_code
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Artifact repository for the TOSEM article pertaining to the monitoring of decentralized specifications.
Updated -
Updated
-
Updated
-
PIETRIGA Emmanuel / lodatlas-lodsummaries
GNU General Public License v3.0 or laterUpdated -
PIETRIGA Emmanuel / lodatlas-summarygenerator
GNU General Public License v3.0 or laterUpdated -
Repository for the experimental scilab frontend and IDE based on xtext
Updated -
Online tutorial for the paper: "Can we monitor all multithreaded programs?"
Updated -
Updated
-
PIETRIGA Emmanuel / Baia
BSD 3-Clause "New" or "Revised" LicenseBefore-and-after Satellite Image Animation
Updated -
Updated
-
PIETRIGA Emmanuel / lodatlas-commons
GNU General Public License v3.0 or laterUpdated -
PIETRIGA Emmanuel / lodatlas-datamanager
GNU General Public License v3.0 or laterUpdated -
CHEPIN simulation's code
Updated -
PIETRIGA Emmanuel / lodatlas-server
GNU General Public License v3.0 or laterUpdated -
Updated
-