Search - ENS de Lyon - École normale supérieure de Lyon Access content directly

Filter your results

8 Results
Structure: Internal structure identifier : 1088564
Image document

Duploid situations in concurrent games

Pierre Clairambault , Guillaume Munch-Maccagnoni
12th Workshop on Games for Logic and Programming Languages (GaLoP XII), Juha Kontinen, Marina Lenisa, Apr 2017, Uppsala, Sweden
Conference papers hal-01991555v1
Image document

Deciding contextual equivalence of ν-calculus with effectful contexts (full version)

Daniel Hirschkoff , Guilhem Jaber , Enguerrand Prebet
2023
Preprints, Working Papers, ... hal-03955303v1
Image document

Hyperparameter selection for Discrete Mumford-Shah

Charles-Gérard Lucas , Barbara Pascal , Nelly Pustelnik , Patrice Abry
Signal, Image and Video Processing, 2022
Journal articles hal-03356059v2

Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey

Hélène Coullon , Ludovic Henrio , Frédéric Loulergue , Simon Robillard
ACM Computing Surveys, 2023, ⟨10.1145/3595376⟩
Journal articles hal-04067909v1
Image document

Credibility Intervals for the Reproduction Number of the Covid-19 Pandemic Using Proximal Langevin Samplers

Patrice Abry , Gersende Fort , Barbara Pascal , Nelly Pustelnik
2022
Preprints, Working Papers, ... hal-03902144v1
Image document

Etat de l’art sur la co-simulation robotique et réseau des systèmes multi-robots

Théotime Balaguer , Olivier Simonin , Isabelle Guérin Lassous , Isabelle Fantoni
31èmes Journées Francophones des Systèmes Multi-Agents (JFSM 2023), Jul 2023, Strasbourg, France
Conference papers hal-04105508v1
Image document

Compared performance of Covid19 reproduction number estimators based on realistic synthetic data

Juliana Du , Barbara Pascal , Patrice Abry
2023
Preprints, Working Papers, ... hal-04032614v2
Image document

End-to-End Statistical Model Checking for Parametric ODE Models

David Julien , Guillaume Cantin , Benoît Delahaye
QEST: International Conference on Quantitative Evaluation of Systems, Sep 2022, Warsaw, Poland. pp.85-106, ⟨10.1007/978-3-031-16336-4_5⟩
Conference papers hal-03824899v1