Explore projects

View adt2amas project

PARTIES / tools / adt2amas
GNU General Public License v3.0 only

ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios

2

Updated Nov 07, 2023

2 0 0 9

Updated Nov 07, 2023
View Minimal Scheduling project

PARTIES / publications / Minimal Scheduling

Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees

1

Updated May 02, 2022

1 0 0 0

Updated May 02, 2022
View helena project

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

1

Updated Oct 13, 2025

1 0 0 0

Updated Oct 13, 2025
View mc-sog project

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

1

Updated May 01, 2023

1 0 0 0

Updated May 01, 2023
View CompcertMWP project

Thomas Rubiano / CompcertMWP
GNU General Public License v2.0 or later

0

Updated Nov 24, 2021

0 0 0 1

Updated Nov 24, 2021
View Buddy project

PMC-SOG / Buddy
Other

0

Updated Jan 14, 2023

0 0 0 0

Updated Jan 14, 2023
View first-approach project

Yasmine Chouikha / first-approach

0

Updated Jan 24, 2023

0 0 0 0

Updated Jan 24, 2023
View LocalOrio project

Camille Coti / LocalOrio
MIT License

0

Updated Apr 04, 2020

0 0 0 0

Updated Apr 04, 2020
View TensorJoseph project

Camille Coti / TensorJoseph

0

Updated Apr 23, 2020

0 0

Updated Apr 23, 2020
View Thread-SOG project

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

0

Updated Nov 28, 2019

0 0 0 0

Updated Nov 28, 2019
View AlgoDuTexte project

Julien David / AlgoDuTexte

0

Updated Sep 23, 2025

0 0 0 0

Updated Sep 23, 2025
View lipn-search project

Julien David / lipn-search

0

Updated Apr 13, 2021

0 0 4 0

Updated Apr 13, 2021
View Tool Symbolic Observation Graph-Based Generation of Test Paths project

Yasmine Chouikha / Tool Symbolic Observation Graph-Based Generation of Test Paths

0

Updated Nov 23, 2022

0 0 1 0

Updated Nov 23, 2022
View pompet project

Sami Evangelista / pompet
GNU General Public License v3.0 or later

Partial Order Model checker for PETri nets

0

Updated Oct 13, 2025

0 0 0 0

Updated Oct 13, 2025
View SDA project

Julien David / SDA

0

Updated Oct 18, 2023

0 2 0 0

Updated Oct 18, 2023
View PFE project

Hadhami OUNI / PFE

0

Updated Nov 28, 2024

0 0 0 0

Updated Nov 28, 2024
View BuDDy project

GoSup / BuDDy

This is a copy of the BuDDy library.

0

Updated Dec 09, 2021

0 0 0 0

Updated Dec 09, 2021
View ICECCS19 project

imitator / papers / ICECCS19

ICECCS19 paper experiments files

0

Updated Oct 09, 2020

0 0 0 0

Updated Oct 09, 2020
View SDA project

Mehdi Naima / SDA

0

Updated Nov 08, 2020

0 0 0 0

Updated Nov 08, 2020
View SDA project

Jawher Jerray / SDA

0

Updated Nov 08, 2020

0 0 0 0

Updated Nov 08, 2020