BlogList

Variants of Higher-Dimensional Automata September 24, 2025
Signalling Strategies in Distributed Networks April 21, 2025
Quatre postes d'EC au LMF en 2025 February 04, 2025
Un poste d'enseignant·e-chercheur·e (professeur·e) à l'ENS Paris-Saclay January 31, 2025
Un poste d'enseignant·e-chercheur·e (professeur·e) à la Faculté des Sciences, Université Paris-Saclay January 31, 2025
Un poste d'enseignant·e-chercheur·e (maître·sse de conférences) à la Faculté des Sciences, Université Paris-Saclay January 31, 2025
Un poste d'enseignant·e-chercheur·e (maître·sse de conférences) à Polytech, Université Paris-Saclay January 31, 2025

2024

Extending Isabelle/HOLBee with Support for Refinements December 01, 2024
Generating a User-Manual with and for Isabelle/DOF March 09, 2024

2023

Connecting Isabelle/C with Isabelle/Clean October 17, 2023
Extending Isabelle/HOLBee with Support for Refinements October 17, 2023
Connecting Isabelle/C with Isabelle/Clean October 17, 2023
Modeling Cyber-Physical Systems with HOL-CyberPhi October 17, 2023

2022

Semantics of Boolean Networks December 13, 2022
Safety Analysis of Real-Time Discrete-Event and Hybrid Systems December 13, 2022
Introduction of Timing Aspects into Event-B November 25, 2022
Faithful Nash equilibria in games over graphs November 09, 2022
Graphical Language for Clifford Hermiticians in Quantum Computing October 14, 2022
Various subjects on proof system interoperability January 13, 2022

2021

Synchronization in Stochastic Games December 13, 2021
A HOL-CSP Case-Study : Analysing the Plain-Old-Telephone Protocol December 13, 2021
Génération de simulations d'automobiles autonomes à partir d’un modèle formel December 09, 2021
Génération de simulations automobile à partir d’un modèle formel December 09, 2021
Quantum networks theory November 03, 2021
Quantum Networks Theory November 03, 2021
Deciding the Logic of Subsequences April 27, 2021
Specification and Verification of Properties of Neural Networks April 04, 2021
Observe locally, control globally April 03, 2021
Observe locally, control globally April 03, 2021