Armand Puccetti

Orcid: 0000-0001-7879-219X

According to our database1, Armand Puccetti authored at least 8 papers between 1991 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Verified Value Chains, Innovation and Competition.
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.
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).
Proceedings of the 22nd Euromicro Conference on Digital System Design, 2019

2018
An end-to-end framework for safe software development.
Microprocess. Microsystems, 2018

2015
Combining Static and Dynamic Analyses for Vulnerability Detection: Illustration on Heartbleed.
Proceedings of the Hardware and Software: Verification and Testing, 2015

2010
Static Analysis of the XEN Kernel using Frama-C.
J. Univers. Comput. Sci., 2010

2009
Experience report: OCaml for an industrial-strength static analysis framework.
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

1991
The Integrated Software Development and Verification System ATES.
Proceedings of the VDM '91, 1991


  Loading...