Valentin Perrelle

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 6

Top Topics

Provably Correct

Description Language

Quantum Computation

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

University of Grenoble, France (PHD)

Education History

University of Grenoble, France

PHD

Publications

Dongho Lee, Valentin Perrelle, Benoît Valiron, Zhaowei Xu
Concrete Categorical Model of a Quantum Circuit Description Language with Measurement. FSTTCS (2021)
Patrick Baudin, François Bobot, David Bühler, Loïc Correnson, Florent Kirchner, Nikolai Kosmatov, André Maroneze, Valentin Perrelle, Virgile Prevosto, Julien Signoles, Nicky Williams
The dogged pursuit of bug-free C programs: the Frama-C software analysis platform. Commun. ACM 64 (8) (2021)
Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoît Valiron
An Automated Deductive Verification Framework for Circuit-building Quantum Programs. ESOP (2021)
Dongho Lee, Valentin Perrelle, Benoît Valiron, Zhaowei Xu
Concrete Categorical Model of a Quantum Circuit Description Language with Measurement. CoRR (2021)
Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoît Valiron
Toward certified quantum programming. CoRR (2020)
André Maroneze, Valentin Perrelle, Florent Kirchner
Advances in Usability of Formal Methods for Code Verification with Frama-C. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 77 (2019)
Valentin Perrelle, Nicolas Halbwachs
An Analysis of Permutations in Arrays. VMCAI (2010)