francescopont

Ph.D. student @ TU Wien

@corpora-lab @probing-lab Wien, Austria

Pinned Repositories

Akka
Language:Java0 0 00
API-project-2016-2017
Language:C0 1 00
Chord
The Chord protocol
Language:Java1 0 00
Computer-ethics-2019
Computer ethics paper
0 1 00
Concepts_of_Program_Design
Concepts of program design projects
Language:Haskell0 1 00
DataMining
Language:R0 1 01
MiniCheck
Description of the Model Checking Project for the course Advanced Functional Programming, ECTS 3.0, 2024 S 1
Language:TeX1 1 00
PatternRecognition
Pattern Recognition project, UU 2019/2020
Language:Jupyter Notebook2 2 01
POMC
A model checker for POTL, a temporal logic for expressing context-free properties.
Language:Haskell3 2 11
HyperPAYNT
Synthesizing controllers for Probabilistic HyperProperties on MDPs.
Language:C++0 2 00

francescopont's Repositories

francescopont/PatternRecognition
Pattern Recognition project, UU 2019/2020
Language:Jupyter Notebook2 2 01
francescopont/Chord
The Chord protocol
Language:Java1 0 00
francescopont/MiniCheck
Description of the Model Checking Project for the course Advanced Functional Programming, ECTS 3.0, 2024 S 1
Language:TeX1 1 00
francescopont/Akka
Language:Java0 0 00
francescopont/API-project-2016-2017
Language:C0 1 00
francescopont/Computer-ethics-2019
Computer ethics paper
0 1 00
francescopont/Concepts_of_Program_Design
Concepts of program design projects
Language:Haskell0 1 00
francescopont/DataMining
Language:R0 1 01
francescopont/hyper-synthesis
Synthesis of controllers from probabilistic hyperproperties on MDPs
Language:templ0 2 10
francescopont/Reti-Logiche-project-17-18
Language:C0 1 00
francescopont/francescopont.github.io
My personal website
Language:HTML0 0
francescopont/HyperProb
Tool to verify Probabilistic Hyperproperties on Markov Decision Processes
Language:Python0 0
francescopont/storm
A Modern Probabilistic Model Checker
Language:C++0 0
francescopont/stormpy
Python Bindings for the Probabilistic Model Checker Storm
Language:C++0 0