Explore projects

G

Nour Souid / General Framework Opacity Supervision

0

Updated Oct 25, 2021

0 0 0 0

Updated Oct 25, 2021
G

Davide Buscaldi / geolocalisation

0

Updated Sep 08, 2020

0 0 0 0

Updated Sep 08, 2020
G

Stefano Guerrini / GitLab CI Configs

gitlab-ci.yml configuration files

0

Updated May 02, 2023

0 0 0 0

Updated May 02, 2023
G

GoSup / GoSup

General Opacity Supervision tool

1

Updated Nov 25, 2022

1 0 0 9

Updated Nov 25, 2022
G

AREZKI HAFID / GTM_LIPN

0

Updated Sep 23, 2020

0 1 1 0

Updated Sep 23, 2020
G

Florent FOREST / GTM_LIPN

0

Updated Sep 23, 2020

0 0 0 0

Updated Sep 23, 2020
H

Sami Evangelista / helena
GNU General Public License v3.0 only

1

Updated May 03, 2023

1 1 0 0

Updated May 03, 2023
H

Jaime Arias / helena
GNU General Public License v3.0 only

0

Updated Jul 02, 2021

0 0 0 0

Updated Jul 02, 2021
H

PMC-SOG / experiments / hybrid

Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation

0

Updated Feb 02, 2023

0 0 0 1

Updated Feb 02, 2023
H

PMC-SOG / Hybrid-SOG
GNU General Public License v3.0 only

0

Updated Sep 23, 2020

0 0 0 0

Updated Sep 23, 2020
I

imitator / papers / ICECCS19

ICECCS19 paper experiments files

0

Updated Oct 12, 2020

0 0 0 0

Updated Oct 12, 2020
I

Nour Souid / IoT_Opacity

0

Updated Mar 31, 2023

0 0 0 0

Updated Mar 31, 2023
K

Jorge Garcia flores / kilroy-corpus

0

Updated Sep 23, 2020

0 0 0 0

Updated Sep 23, 2020
L

Julien David / lipn-search

0

Updated Mar 09, 2021

0 0 4 0

Updated Mar 09, 2021
L

PARTIES / publications / live trees
GNU General Public License v3.0 or later

0

Updated May 17, 2022

0 0 0 0

Updated May 17, 2022
L

Camille Coti / LocalOrio
MIT License

0

Updated Sep 23, 2020

0 0 0 0

Updated Sep 23, 2020
M

Nour Souid / M-GoSup

Modular General Framework for Opacity Supervision using the Symbolic Observation Graph

0

Updated Sep 24, 2022

0 0 29 29

Updated Sep 24, 2022
M

Bouchaïb Lemaire / m1102

Introduction à l'algorithmique et aux bases de la programmation

0

Updated Sep 26, 2020

0 0 0 0

Updated Sep 26, 2020
M

Bouchaïb Lemaire / M3105

Supports pour le module M3105

0

Updated Dec 02, 2021

0 0 0 0

Updated Dec 02, 2021
M

Bouchaïb Lemaire / m3106

0

Updated Dec 07, 2021

0 0 0 0

Updated Dec 07, 2021