E-LIB Suche - Ergebnisse für: Giet, Josselin - Sprache DE

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

1

A Product of Shape and Sequence Abstractions:

, In: Static Analysis; Lecture Notes in Computer Science,

Giet, Josselin ; Ridoux, Félix ; Rival, Xavier - p. 310-342 , 2023

Link: https://doi.org/10.1007/..

2

OFence: Pairing Barriers to Find Concurrency Bugs in the Li..:

, In: Proceedings of the Eighteenth European Conference on Computer Systems,

Lepers, Baptiste ; Giet, Josselin ; Zwaenepoel, Willy. - p. 33-45 , 2023

Link: https://dl.acm.org/doi/1..

3

Towards Zero Alarms in Sound Static Analysis of Finite Stat..:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security,

Giet, Josselin ; Mauborgne, Laurent ; Kästner, Daniel. - p. 3-18 , 2019

Link: https://doi.org/10.1007/..

4

OFence: Pairing Barriers to Find Concurrency Bugs in the Li..:

Lepers, Baptiste ; Giet, Josselin ; Lawall, Julia.
info:eu-repo/semantics/altIdentifier/doi/10.1145/3552326.3567504. , 2023

Link: https://inria.hal.scienc..

5

A Product of Shape and Sequence Abstractions:

Giet, Josselin ; Ridoux, Félix ; Rival, Xavier
ISBN: 978-3-031-44244-5. , 2023

Link: https://hal.science/hal-..

6

Artifact for "A Product of Shape and Sequence Abstractions":

Giet, Josselin ; Ridoux, Félix ; Rival, Xavier
info:eu-repo/grantAgreement/ANR//ANR-18-CE25-0010/. , 2023

Link: https://zenodo.org/recor..

7

A Product of Shape and Sequence Abstractions:

Giet, Josselin ; Ridoux, Félix ; Rival, Xavier
ISBN: 978-3-031-44244-5. , 2023

Link: https://hal.science/hal-..

8

MOLOSS, un solveur pour la satisfiabilité en logique modale:

Delmas, Rémi ; Garion, Christophe ; Giet, Josselin
https://oatao.univ-toulouse.fr/20094/1/Delmas_20094.pdf. , 2018

Link: https://oatao.univ-toulo..

1-8