Explore projects
-
PARTIES / tools / adt2amas
GNU General Public License v3.0 onlyADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios
Updated -
PMC-SOG / mc-sog
GNU General Public License v3.0 onlyUpdated -
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees
Updated -
Sami Evangelista / helena
GNU General Public License v3.0 onlyUpdated -
Camille Coti / Profiling for StarPU
GNU Lesser General Public License v2.1 onlyUpdated -
Thomas Rubiano / CompcertMWP
GNU General Public License v2.0 or laterUpdated -
PMC-SOG / Buddy
OtherUpdated -
Updated
-
Optimizing Petri nets transition coverage using linear programming and symbolic observation graphs (Petri Nets 2026)
Updated -
Camille Coti / LocalOrio
MIT LicenseUpdated -
PMC-SOG / Thread-SOG
GNU General Public License v3.0 onlyUpdated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
-
Updated
-
Updated