Valentin Perrelle

According to our database, Valentin Perrelle authored at least 7 papers between 2010 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

The dogged pursuit of bug-free C programs: the Frama-C software analysis platform.

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

Commun. ACM, 2021

Concrete Categorical Model of a Quantum Circuit Description Language with Measurement.

Dongho Lee, Valentin Perrelle, Benoît Valiron, Zhaowei Xu

Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021

An Automated Deductive Verification Framework for Circuit-building Quantum Programs.

Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoît Valiron

Proceedings of the Programming Languages and Systems, 2021

2020

Toward certified quantum programming.

Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoît Valiron

CoRR, 2020

2019

Advances in Usability of Formal Methods for Code Verification with Frama-C.

André Maroneze, Valentin Perrelle, Florent Kirchner

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

2013

Analyse statique de programmes manipulant des tableaux.

Valentin Perrelle

PhD thesis, 2013

2010

An Analysis of Permutations in Arrays.

Valentin Perrelle, Nicolas Halbwachs

Proceedings of the Verification, 2010