Pinned Repositories
bd1718
cp_1718
etcs_model
Formal modeling and verification of the European Rail Traffic Management System. Project carried out under my master's Formal Methods specialization profile.
go-file-search
Search files in directory containing string
jsousa127.github.io
lamassu-machine
Software that controls the Lamassu Cryptomat
lamassu-server
Part of the Lamassu Cryptomat platform
matrix_mul
sd1718
Matchmaking system of a game, so that it is possible to organize the various players in teams and start the game. Games could happen simultaneously.
so_1718
Sistema para processamento de notebooks, que misturam fragmentos de código, resultados da execução, e documentação.
jsousa127's Repositories
jsousa127/cp_1718
jsousa127/sd1718
Matchmaking system of a game, so that it is possible to organize the various players in teams and start the game. Games could happen simultaneously.
jsousa127/so_1718
Sistema para processamento de notebooks, que misturam fragmentos de código, resultados da execução, e documentação.
jsousa127/bd1718
jsousa127/etcs_model
Formal modeling and verification of the European Rail Traffic Management System. Project carried out under my master's Formal Methods specialization profile.
jsousa127/go-file-search
Search files in directory containing string
jsousa127/jsousa127.github.io
jsousa127/lamassu-machine
Software that controls the Lamassu Cryptomat
jsousa127/lamassu-server
Part of the Lamassu Cryptomat platform
jsousa127/matrix_mul
jsousa127/parallel_bucket_sort
jsousa127/spln_assignments
Pratical assignments for SPLN class
jsousa127/pastry_model
Formal modeling and verification of the Pastry protocol, a decentralized distributed system that provides the functionality of a hash table.