Laboratoire Méthodes Formelles (LMF)

Présentation du laboratoire

L'IPSIT (Ingénierie et Plateformes au Service de l'Innovation Thérapeutique) est une Unité Mixte de Service (UMS) qui regroupe 11 plateformes technologiques. L'IPSIT joue un rôle moteur dans le développement des projets scientifiques des unités associées des sites de Châtenay-Malabry, Clamart et Le Plessis Robinson dont l'objectif commun est d'identifier de nouvelles cibles thérapeutiques et d'améliorer les connaissances en sciences du médicament. L'IPSIT est également au service des laboratoires de recherche publics et privés, de l'Ile de France Sud

Les 20 dernières publications

Titre Auteurs Date de publication Source
Towards a qualitative theory of the interruption of eating behavior change Philippe Dague 21/03/2024 Journal of Theoretical Biology
Cerise: Program verification on a capability machine in the presence of untrusted code Armael Gueneau 12/02/2024 Journal of the ACM
From Local to Global Optimality in Concurrent Parity Games Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux 01/02/2024 Leibniz International Proceedings in Informatics, LIPIcs
Quantum Circuit Completeness: Extensions and Simplifications Alexandre Clément, Renaud Vilmart 01/02/2024 Leibniz International Proceedings in Informatics, LIPIcs
A Many-Sorted Epistemic Logic for Chromatic Hypergraphs Roman Kniazev 01/02/2024 Leibniz International Proceedings in Informatics, LIPIcs
A Floating-Point Numbers Theory for Event-B Idir Ait-Sadoune 01/01/2024 Lecture Notes in Computer Science
Resilience and Home-Space for WSTS Alain Finkel, Mathieu Hilaire 01/01/2024 Lecture Notes in Computer Science
Timed Alignments with Mixed Moves Thomas Chatain 01/01/2024 Lecture Notes in Business Information Processing
On the Piecewise Complexity of Words and Periodic Words Philippe Schnoebelen, J. Veron, I. Vialard 01/01/2024 Lecture Notes in Computer Science
A few characterizations of topological spaces with no infinite discrete subspace Jean Goubault-Larrecq 01/01/2024 Topology and its Applications
Enabling Floating-Point Arithmetic in the Coq Proof Assistant Guillaume Melquiond 01/12/2023 Journal of Automated Reasoning
43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science Patricia Bouyer 01/12/2023 Leibniz International Proceedings in Informatics, LIPIcs
Counter Machines with Infrequent Reversals Alain Finkel 01/12/2023 Leibniz International Proceedings in Informatics, LIPIcs
Safe learning-based model predictive control using the compatible models approach Laurent Fribourg 01/11/2023 European Journal of Control
PALS: Distributed Gradient Clocking on Chip Matthias Függer 01/11/2023 IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Extensional proofs in a propositional logic modulo isomorphisms Gilles Dowek 25/10/2023 Theoretical Computer Science
A Domain-theoretic Approach to Statistical Programming Languages Jean Goubault-Larrecq, Clément Théron 12/10/2023 Journal of the ACM
Gauge-invariance in cellular automata Pablo Arrighi 01/09/2023 Natural Computing
Cellular automata and Kan extensions Luidnel Maignan 01/09/2023 Natural Computing
About Decisiveness of Dynamic Probabilistic Models Alain Finkel, S. Haddad, Lina Ye 01/09/2023 Leibniz International Proceedings in Informatics, LIPIcs

Nombre de publications du laboratoire par domaine scientifique (2016-2021)

Chaque publication du laboratoire peut être rangée dans une ou plusieurs disciplines scientifiques : la figure ci-dessus présente le nombre de publications du laboratoire pour chaque discipline de la classification ASJC (Elsevier)