Languages and Automata
Programming Languages and Compiler Design
Introduction to Functional Algorithmic and Programming
Previous Teaching Activities
Grants / Awards
DecentMon: An OCaml Benchmark for Decentralised LTL Monitoring
TAKOS: a Toolbox for Opacity
RV-BIP: Runtime Verification of BIP systems
Java-PT: Properties and their Testability with Java
Yliès Falcone, Ph.D.
Associate Professor at University of Grenoble I (UJF) – Researcher at LIG
Sorry, the comment form is closed at this time.