Armand Puccetti

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 4

Top Topics

Technological Innovation

Requirements Specification

Industrial Applications

Top Venues

Microprocess. Microsystems

Haifa Verification Conference

Publications

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
Verified Value Chains, Innovation and Competition. CSR (2023)
Armand Puccetti, Gaël de Chalendar, Pierre-Yves Gibello
Combining formal and machine learning techniques for the generation of JML specifications. FTfJP@ECOOP (2021)
Armand Puccetti
The European H2020 project VESSEDIA (Verification Engineering of Safety and SEcurity critical Dynamic Industrial Applications). DSD (2019)
Mahmoud Hussein, Réda Nouacer, Ansgar Radermacher, Armand Puccetti, Christophe Gaston, Nicolas Rapin
An end-to-end framework for safe software development. Microprocess. Microsystems 62 (2018)
Balázs Kiss, Nikolai Kosmatov, Dillon Pariente, Armand Puccetti
Combining Static and Dynamic Analyses for Vulnerability Detection: Illustration on Heartbleed. Haifa Verification Conference (2015)
Armand Puccetti
Static Analysis of the XEN Kernel using Frama-C. J. Univers. Comput. Sci. 16 (4) (2010)
Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti
Experience report: OCaml for an industrial-strength static analysis framework. ICFP (2009)