Best paper de DCABES 2016 attribué à Camille Coti

Résumé : Partial order reduction (POR) and net unfoldings are two alternative methods to tackle state-space explosion caused by concurrency. In this paper, we propose the combination of both approaches in an effort to combine their strengths. We first define, for an abstract execution model, unfolding semantics parameterized Read more

Best paper de FMICS-AVoCS attribué à Étienne André

Étienne André a reçu le best paper award à FMICS-AVoCS 2017 (International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems) pour son article A unified formalism for monoprocessor schedulability analysis under uncertainty.

Best paper de CONCUR 2015 attribué à César Rodiguez

César Rodiguez a reçu le best paper à CONCUR 2015 pour son article Unfolding-based Order reduction, avec Marcelo Sousa, Suboth Sharma et Daniel Kroening. Résumé : Partial order reduction (POR) and net unfoldings are two alternative methods to tackle state-space explosion caused by concurrency. In this paper, we Read more

Best paper de DCABES 2016 attribué à Camille Coti

Camille Coti a reçu le best paper à DCABES 2016 pour son article Scalable, Robust, Fault-Tolerant Parallel QR Factorization. Résumé : In this paper, we are presenting QR factorization algorithms that can tolerate process crashes and soft errors (bit flips). Our algorithms take advantage of structural properties of Read more

« Les 30 ans du LIPN »

Le 8 novembre 2016 Matin : accueil à 11h00 en salle A 201 du LIPN 11h00 : Ouverture de la journée par Laure Petrucci (petit historique) 11h10 : Visite du laboratoire avec présentations para-scientifques : Thomas Fernique (A111) : « Des puzzles qui calculent » Haïfa Zargayouna (B207) : Read more