Armand Puccetti

Orcid: 0000-0001-7879-219X

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

Verified Value Chains, Innovation and Competition.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

Armand Puccetti

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

2018

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

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2018

2015

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

[BibT_eX]

[DOI]

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

2010

Static Analysis of the XEN Kernel using Frama-C.

[BibT_eX]

[DOI]

Armand Puccetti

J. Univers. Comput. Sci., 2010

2009

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

[BibT_eX]

[DOI]

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

1991

The Integrated Software Development and Verification System ATES.

[BibT_eX]

[DOI]

Armand Puccetti

Proceedings of the VDM '91, 1991

Armand Puccetti

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...