E-LIB Suche - Ergebnisse für: Leriche, Sébastien

1

A Survey of Papers from Formal Methods for Interactive Syst..:

, In: Lecture Notes in Computer Science; Formal Methods. FM 2019 International Workshops,

Béger, Pascal ; Leriche, Sebastien ; Prun, Daniel - p. 443-464 , 2020

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

2

Towards Handling Latency in Interactive Software:

, In: Software Technologies: Applications and Foundations; Lecture Notes in Computer Science,

Leriche, Sébastien ; Conversy, Stéphane ; Picard, Celia.. - p. 233-239 , 2018

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

3

Djnn/Smala : A Conceptual Framework and a Language for I..:

Magnaudet, Mathieu ; Chatty, Stéphane ; Conversy, Stéphane...
Proceedings of the ACM on Human-Computer Interaction. 2 (2018) EICS - p. 1-27 , 2018

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

4

Djnn/Smala: A Conceptual Framework and a Language for Inter..:

Magnaudet, Mathieu ; Chatty, Stéphane ; Conversy, Stéphane...
Proceedings of the ACM on Human-Computer Interaction. 2 (2018) EICS - p. 1-27 , 2018

Link: https://doi.org/10.1145/..

5

Automatic deployment of distributed software systems: Defin..:

Arcangeli, Jean-Paul ; Boujbel, Raja ; Leriche, Sébastien
Journal of Systems and Software. 103 (2015) - p. 198-218 , 2015

Link: https://doi.org/10.1016/..

6

Proceedings of the 1st ACM Workshop on Middleware for Conte..:

Hughes, Danny ; Taconet, Chantal ; Leriche, Sébastien , 2014

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

7

OSIF : a framework to instrument, validate, and analyze ..:

, In: Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques,

Ribault, Judicaël ; Dalle, Olivier ; Conan, Denis. - p. 1-9 , 2010

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

8

Exploring a touch-based flight control panel for pilots usi..:

Letondal, Catherine ; Vinot, Jean-Luc ; Pauchet, Sylvain.
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.trpro.2019.12.041. , 2020

Link: https://hal-enac.archive..

9

Exploring a touch-based flight control panel for pilots usi..:

Letondal, Catherine ; Vinot, Jean-Luc ; Pauchet, Sylvain.
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.trpro.2019.12.041. , 2020

Link: https://hal-enac.archive..

10

Vers la vérification de SMALA, un langage réactif interacti:

Nalpon, Nicolas ; Picard, Célia ; Allignol, Cyril.
hal-02916890. , 2020

Link: https://hal-enac.archive..

11

Vers la vérification de SMALA, un langage réactif interacti:

Nalpon, Nicolas ; Picard, Célia ; Allignol, Cyril.
hal-02916890. , 2020

Link: https://hal-enac.archive..

12

Contribution à la formalisation des propriétés graphiques d..:

Béger, Pascal ; Becquet, Valentin ; Leriche, Sébastien.
hal-02165690. , 2019

Link: https://hal-enac.archive..

13

Contribution à la formalisation des propriétés graphiques d..:

Béger, Pascal ; Becquet, Valentin ; Leriche, Sébastien.
hal-02165690. , 2019

Link: https://enac.hal.science..

14

A Survey of Papers from Formal Methods for Interactive Syst..:

Béger, Pascal ; Leriche, Sébastien ; Prun, Daniel
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-54994-7_33. , 2019

Link: https://enac.hal.science..

15

A Survey of Papers from Formal Methods for Interactive Syst..:

Béger, Pascal ; Leriche, Sébastien ; Prun, Daniel
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-54994-7_33. , 2019

Link: https://hal-enac.archive..