From the 1 of 5.5k papers with an AI index.
- Centre National de la Recherche ScientifiqueFR1.7k papers
- Centre Inria de SaclayFR364 papers
- École PolytechniqueFR306 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR300 papers
- École Normale Supérieure - PSLFR292 papers
- Sorbonne UniversitéFR291 papers
- École Normale Supérieure de LyonFR233 papers
- Centre Inria de l'Université Grenoble AlpesFR216 papers
- Université Paris-SaclayFR208 papers
- Université Grenoble AlpesFR204 papers
- Lyon 1 UniversitéFR191 papers
- Centre Inria d'Université Côte d'AzurFR183 papers
4 papers · 2 filters
Truly On-The-Fly LTL Model Checking
Moritz Hammer, Alexander Knapp, Stephan Merz
We propose a novel algorithm for automata-based LTL model checking that interleaves the construction of the generalized Büchi automaton for the negation of the formula and the empt…
Logical Relations for Monadic Types
Jean Goubault-Larrecq, Slawomir Lasota, David Nowak
Logical relations and their generalizations are a fundamental tool in proving properties of lambda-calculi, e.g., yielding sound principles for observational equivalence. We propos…
Reasoning about transfinite sequences
Stéphane Demri, David Nowak
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequenc…
EPspectra: A Formal Toolkit for Developing DSP Software Applications
Hahnsang Kim, Theirry Turletti, Amar Bouali
The software approach to developing Digital Signal Processing (DSP) applications brings some great features such as flexibility, re-usability of resources and easy upgrading of app…