( en | de | ru )

 

Disambiguation of "Lange, Julien"

Author of the publication

copydeleteadd this publication to your clipboard
Automated Verification of Go Programs via Bounded Model Checking.

, and . ASE, page 1016-1027. IEEE, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Julien Lange

Julien Bonnamour

Julien Köhrle

Julien Ndinga

Julien Béthune

 

Other publications of authors with the same name

A Sound Algorithm for Asynchronous Session Subtyping., , , , and . CONCUR, volume 140 of LIPIcs, page 38:1-38:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)kmclib: Automated Inference and Verification of Session Types., , and . CoRR, (2021)Checking Data-Race Freedom of GPU Kernels, Compositionally., , , and . CAV (1), volume 12759 of Lecture Notes in Computer Science, page 403-426. Springer, (2021)Kmclib: Automated Inference and Verification of Session Types from OCaml Programs., , and . TACAS (1), volume 13243 of Lecture Notes in Computer Science, page 379-386. Springer, (2022)Bounded verification of message-passing concurrency in Go using Promela and Spin., and . PLACES@ETAPS, volume 314 of EPTCS, page 34-45. (2020)Verifying Asynchronous Interactions via Communicating Session Automata., and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 97-117. Springer, (2019)A model of actors and grey failures., , , and . Log. Methods Comput. Sci., (2023)An Empirical Study of Messaging Passing Concurrency in Go Projects., and . SANER, page 377-387. IEEE, (2019)Provable GPU Data-Races in Static Race Detection., , and . PLACES@ETAPS, volume 356 of EPTCS, page 36-45. (2022)A Sound Algorithm for Asynchronous Session Subtyping and its Implementation., , , , and . Log. Methods Comput. Sci., (2021)