Armand Puccetti

According to our database, Armand Puccetti authored at least 7 papers between 2009 and 2023.

Collaborative distances:

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

2023

Verified Value Chains, Innovation and Competition.

Arnd Weber, Sylvain Guilley, René Rathfelder, Marc Stöttinger, Christoph Lüth, Maja Malenko, Torsten Grawunder, Steffen Reith, Armand Puccetti, Jean-Pierre Seifert, Norbert Herfurth, Hagen Sankowski, Gernot Heiser

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2023

2021

Combining formal and machine learning techniques for the generation of JML specifications.

Armand Puccetti, Gaël de Chalendar, Pierre-Yves Gibello

Proceedings of the FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021

2019

The European H2020 project VESSEDIA (Verification Engineering of Safety and SEcurity critical Dynamic Industrial Applications).

Armand Puccetti

Proceedings of the 22nd Euromicro Conference on Digital System Design, 2019

2018

An end-to-end framework for safe software development.

Mahmoud Hussein, Réda Nouacer, Ansgar Radermacher, Armand Puccetti, Christophe Gaston, Nicolas Rapin

Microprocess. Microsystems, 2018

2015

Combining Static and Dynamic Analyses for Vulnerability Detection: Illustration on Heartbleed.

Balázs Kiss, Nikolai Kosmatov, Dillon Pariente, Armand Puccetti

Proceedings of the Hardware and Software: Verification and Testing, 2015

2010

Static Analysis of the XEN Kernel using Frama-C.

Armand Puccetti

J. Univers. Comput. Sci., 2010

2009

Experience report: OCaml for an industrial-strength static analysis framework.

Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009