( en | de | ru )

 

Disambiguierung von "Henrio, Ludovic"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors.

, , und . VORTEX@ECOOP/ISSTA, Volume 302 von EPTCS, Seite 32-46. (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ludovic Henrio

Ludovic Magerand

Ludovic Hofer

Ludovic Devaux

Ludovic Durand

 

Weitere Publikationen von Autoren mit dem selben Namen

Mechanical Support for Efficient Dissemination on the CAN Overlay Network, und . 8ème Conférence Francaise sur les Systèmes d'Exploitation (CFSE'11), Chapitre francais de l'ACM-SIGOPS, GDR ARP, (Mai 2011)On Reachability in Parameterized Phaser Programs., , , , und . TACAS (1), Volume 11427 von Lecture Notes in Computer Science, Seite 299-315. Springer, (2019)Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq., , , , und . Proc. ACM Program. Lang., 7 (POPL): 1770-1800 (Januar 2023)Transparent First-class Futures and Distributed Components., , und . FACS, Volume 260 von Electronic Notes in Theoretical Computer Science, Seite 155-171. Elsevier, (2008)Unifying Architectural and Behavioural Specifications of Distributed Components., , , und . FACS, Volume 260 von Electronic Notes in Theoretical Computer Science, Seite 25-45. Elsevier, (2008)Leveraging access mode declarations in a model for memory consistency in heterogeneous systems., , und . J. Log. Algebraic Methods Program., (2020)Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq., , , , und . CoRR, (2022)Promise Plus: Flexible Synchronization for Parallel Computations on Arrays., , und . FSEN, Volume 12818 von Lecture Notes in Computer Science, Seite 190-196. Springer, (2021)S4BXI: the MPI-ready Portals 4 Simulator., , , und . MASCOTS, Seite 1-8. IEEE, (2021)Active Objects with Deterministic Behaviour., , und . IFM, Volume 12546 von Lecture Notes in Computer Science, Seite 181-198. Springer, (2020)