BlogList
2025
- The Spectral Space of an Iterated Distributed Protocol novembre 10, 2025
- Parameterized Verification of Distributed Systems novembre 09, 2025
- A pain-free formalisation of the Leibniz construction novembre 03, 2025
- Elements of Higher-Dimensional Automata Theory octobre 23, 2025
- On Dependent Variables in Reactive Synthesis juin 06, 2025
- KEYNOTE : The Role of Logic in Advancing Machine Learning: Three Case Studies avril 28, 2025
- Regular Grammars for Sets of Graphs of Tree-Width 2 mars 26, 2025
- Guiding a monkey in an infinite tree, adding new strategies for proof automation to the Tamarin prover mars 04, 2025
- KEYNOTE: Alpha-Beta Pruning Explored, Extended and Verified janvier 25, 2025
- KEYNOTE : Formal Methods for Modern Payment Protocols janvier 17, 2025
2024
2023
- Logics for Strategic Reasoning: Recent Developments and Application to Mechanism Design novembre 29, 2023
- Markov Decision Processes with Sure Parity and Multiple Reachability Objectives novembre 14, 2023
- Phase Semantics for Linear Logic with Least and Greatest Fixed Points novembre 10, 2023
- Analysis of Parameterized Systems novembre 10, 2023
- Phase Semantics for Linear Logic with Least and Greatest Fixed Points novembre 10, 2023
- The Church Synthesis Problem Over Continuous Time octobre 12, 2023
- Partially commuting pushdowns and rational trace relations août 30, 2023
- Some challenges in quantum computing for linear algebra algorithms and data structures août 30, 2023
- Building a Provenance-Aware Database Management System juin 10, 2023
- Formal Proofs for Trajectory Computation in the Plane with Straight Obstacles juin 10, 2023
- Keynote: Verification of Stateful Security Protocols in Isabelle/HOL mai 02, 2023
- Minimal Generating Sets for Semiflows avril 26, 2023
- Co-verification for robotics: from simulation to verification avril 18, 2023
- On the edit distance between transducers avril 17, 2023
- String constraints with subword ordering: complexity of satisfiability avril 01, 2023
- The Future of Model-based Testing mars 01, 2023
- Strategy Complexity of Zero-Sum Games on Graphs février 01, 2023
- A Gentle Introduction to Matching Logic and its Applications février 01, 2023
- The Frobenius Anatomy of Distributed Quantum Protocols janvier 04, 2023
2022
- An Abstraction of the Unit Interval with Denominators décembre 23, 2022
- Keynote: The Skolem Landscape décembre 13, 2022
- Consistent Circuits for Indefinite Causal Order novembre 28, 2022
- Programming with (Discrete and Continuous) Ordinary Differential Equations novembre 10, 2022
- Formal Security Proofs in a Post-Quantum World novembre 09, 2022
- Machine Learning and Autoformalisation novembre 01, 2022
- Verification and Synthesis of Complete Test Generation Algorithms for Finite State Machines octobre 04, 2022
- Algorithm for Consistent Query Answering under Primary Key Constraints mai 10, 2022
- Reaching Consensus in Hostile Environments avril 14, 2022
- Correct Blockchain-based Business Processes avril 04, 2022
- Connected multi-agent path finding mars 29, 2022
- Weakly unambiguous Parikh automata and their link to holonomic series mars 28, 2022
- Rational Defeasible Belief Change mars 22, 2022
- Semantics for Variational Quantum Programming mars 15, 2022
- Proving cryptographic protocols: the complex relationship between symbolic and computation models mars 08, 2022
- On the strategy synthesis problem in MDPs: probabilistic CTL and rolling windows. février 15, 2022
- WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms janvier 25, 2022
- Active learning for sound negotiations janvier 18, 2022
- Formal methods at Thales Research & Technology janvier 11, 2022
- E-voting protocols - how to analyse the security of these (real-world) systems? janvier 04, 2022
2021
- Formalizing Spreads and Packings of the Smallest Projective Space PG(3,2) using the Coq Proof Assistant décembre 27, 2021
- Hazel: a Separation Logic for effect handlers décembre 27, 2021
- Avoiding deadlocks in lock-sharing systems décembre 27, 2021
- The relational semantics, and beyond décembre 27, 2021
- Formal Verification of Finite Systems: Contributions and Adoption to security properties décembre 27, 2021
- Electronic voting: design, attacks and proofs décembre 03, 2021
- Structures from Quantum Relations novembre 28, 2021
- Sleeping is Superefficient: MIS in Exponentially Better Awake Complexity novembre 28, 2021
- Characterising one-player positionality for infinite duration games on graphs novembre 22, 2021
- Routed quantum circuits novembre 16, 2021
- Formalizing mathematics in Lean octobre 09, 2021
- Verified Software Components octobre 08, 2021
- Reasoning over leaks of information for Access Control of Databases octobre 08, 2021
- Quantum simulation and causality octobre 02, 2021
- Towards Security-Oriented Program analysis juin 16, 2021
- Distributed Causal Memory: Modular Specification and Verification in Higher-Order Distributed Separation Logic avril 20, 2021
- Controlling a random population avril 04, 2021
- Towards synthetic psychology: from phenomenology to cybernetics avril 04, 2021
- Semantics for Variational Quantum Programming mars 15, 2021
