yanntm
Maitre de Conférences, Sorbonne Université, LIP6, CNRS PhD, HDR
LIP6, Sorbonne Université, CNRSParis
Pinned Repositories
ITSTools
A multi-formalism, multi-solution model-checker centered on the language GAL
libDDD
Library for Data Decision Diagrams and Set Decision Diagrams
libITS
Core Guarded Action Language and Instantiable Transition System semantics using libDDD.
AutoParallelJava
A Project to automatically refactor Java enhanced for loops to streams.
ITS-Tools-MCC
Wrapper for ITS-Tools used in the Model-Checking contest
MCC-analysis
A repository hosting scripts to analyze the results of the MCC
PetriSpot
An small and efficient C++ tool to analyze Petri nets.
PetriVizu
A small tool to look at Petri nets in a web page.
Puck3
Development of Puck 3 DSL.
YoBot
A bot to compete in Starcraft 2 AI tournaments
yanntm's Repositories
yanntm/YoBot
A bot to compete in Starcraft 2 AI tournaments
yanntm/PetriSpot
An small and efficient C++ tool to analyze Petri nets.
yanntm/JITTAC
yanntm/pnmcc-models-2020
Models, Formulas, Oracles from Model Checking Competition 2020
yanntm/pnmcc-models-2021
Models, Formulas, Oracles from Model Checking Competition 2021
yanntm/Abat
Action Based Attack Trees
yanntm/AutoParallelJava
A Project to automatically refactor Java enhanced for loops to streams.
yanntm/CPNTools
yanntm/its-lola
Crossover Petri net verifier using its-tools structural reductions in front of Lola model-checker.
yanntm/metrics2-gh
yanntm/pnmcc-models-2019
Models from the Model Checking Contest 2019 edition
yanntm/PSCR-TME4
yanntm/ITS-Tools-pnmcc
Benchmark and tests using the mcc@PN models
yanntm/BasicShapes
Exercise material in Java
yanntm/cpp-sc2
Proud fork of Blizzard/s2client-api
yanntm/DataAnalysis
yanntm/extractLola-2019
A project that extracts a working archive of Lola from 2019 MCC release.
yanntm/formula-manual
source code of the formula manual for the MCC
yanntm/ITS-Exercise
An exercise to explain DD encodings to students
yanntm/ITS-Tools-Dependencies
A repository to build ITS-tools third party dependencies not available in packaged form.
yanntm/Java-A-Star
A basic implementation of A-star search algorithm
yanntm/Mist-MCC
Adapters to run Mist in the Model-checking Constest
yanntm/Optimize-Java-8-Streams-Refactoring
Refactorings for optimizing Java 8 stream client code for greater parallelism and efficiency.
yanntm/pnmcc-models-2017
This project hosts up to date and separate files for each of the models of the mcc@ICATPN 2017
yanntm/s2client-api
StarCraft II Client - C++ library supported on Windows, Linux and Mac designed for building scripted bots and research using the SC2API.
yanntm/SOURCES
Main repository of the GreatSPN framework
yanntm/spot
yanntm/TestDeployActionWin
yanntm/testDocs
Testing a new "Doc" style for Jekyll
yanntm/testGithbuActions