( en | de | ru )

 

Disambiguierung von "Loulergue, Frédéric"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
From Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation.

, , und . VPT@ETAPS, Volume 253 von EPTCS, Seite 109-123. (2017)

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.

Frédéric Robin

Frédéric Ruckert

Frédéric Roux

Frédéric Leroux

Frédéric Ziebarth

 

Weitere Publikationen von Autoren mit dem selben Namen

A Calculus of Functional BSP Programs with Explicit Substitutions.. PARCO, Volume 13 von Advances in Parallel Computing, Seite 127-134. Elsevier, (2003)A Rewriting Semantics for an Event-Oriented Functional Parallel Language.. PARCO, Volume 13 von Advances in Parallel Computing, Seite 79-86. Elsevier, (2003)Preface to the special issue on Formal Approaches to Parallel and Distributed Systems 2018.. J. Log. Algebraic Methods Program., (2020)Experience Report: Teaching Code Analysis and Verification Using Frama-C., und . AppFM@FM, Volume 349 von EPTCS, Seite 69-75. (2021)A Cloud Brokerage Solution: Formal Methods Meet Security in Cloud Federations., , und . HPCS, Seite 691-699. IEEE, (2018)A First Step in the Translation of Alloy to Coq., und . ICFEM, Volume 11852 von Lecture Notes in Computer Science, Seite 455-469. Springer, (2019)A calculus of functional BSP programs with projection.. IPDPS, IEEE, (2006)Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs., , , und . SCAM, Seite 67-72. IEEE Computer Society, (2016)Logic against ghosts: comparison of two proof approaches for a list module., , und . SAC, Seite 2186-2195. ACM, (2019)Handling Data-skew Effects in Join Operations Using MapReduce., , und . ICCS, Volume 29 von Procedia Computer Science, Seite 145-158. Elsevier, (2014)