Fingerprint
Dive into the research topics where Julien Signoles is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Formal Verification of PKCS#1 Signature Parser Using Frama-C
Hána, M., Kosmatov, N., Prevosto, V. & Signoles, J., 1 Jan 2026, Integrated Formal Methods - 20th International Conference, iFM 2025, Proceedings. Damiani, F. & Farrell, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 336-358 23 p. (Lecture Notes in Computer Science; vol. 16194 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis
Razafintsialonina, M., Bühler, D., Miné, A., Perrelle, V. & Signoles, J., 25 Jun 2025, 39th European Conference on Object-Oriented Programming, ECOOP 2025. Aldrich, J. & Silva, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 28. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 333).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification
Gauthier, L., Prevosto, V. & Signoles, J., 6 Jun 2024, Proceedings - 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering, FormaliSE 2024. Association for Computing Machinery, Inc, p. 100-110 11 p. (Proceedings - 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering, FormaliSE 2024).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Sound Runtime Assertion Checking for Memory Properties via Program Transformation
Ly, D., Kosmatov, N., Loulergue, F. & Signoles, J., 20 Mar 2024, In: Formal Aspects of Computing. 36, 1, 4.Research output: Contribution to journal › Article › peer-review
Open Access -
Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking
Benajmin, T. & Signoles, J., 1 Jan 2023, Tests and Proofs - 17th International Conference, TAP 2023, Proceedings. Prevosto, V. & Seceleanu, C. (eds.). Springer Science and Business Media Deutschland GmbH, p. 168-186 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14066 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Context Specification Language for Formally Verifying Consent Properties on Models and Code
Clouet, M., Antignac, T., Arnaud, M. & Signoles, J., 1 Jan 2023, Tests and Proofs - 17th International Conference, TAP 2023, Proceedings. Prevosto, V. & Seceleanu, C. (eds.). Springer Science and Business Media Deutschland GmbH, p. 68-93 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14066 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates
Benjamin, T. & Signoles, J., 27 Mar 2023, Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023. Association for Computing Machinery, p. 1673-1680 8 p. (Proceedings of the ACM Symposium on Applied Computing).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
A New Generic Representation for Modeling Privacy
Clouet, M., Antignac, T., Arnaud, M., Pedroza, G. & Signoles, J., 1 Jan 2022, Proceedings - 7th IEEE European Symposium on Security and Privacy Workshops, Euro S and PW 2022. Institute of Electrical and Electronics Engineers Inc., p. 203-211 9 p. (Proceedings - 7th IEEE European Symposium on Security and Privacy Workshops, Euro S and PW 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Runtime Abstract Interpretation for Numerical Accuracy and Robustness
Védrine, F., Jacquemin, M., Kosmatov, N. & Signoles, J., 1 Jan 2021, Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Proceedings. Henglein, F., Shoham, S. & Vizel, Y. (eds.). Springer Science and Business Media Deutschland GmbH, p. 243-266 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12597 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
The dogged pursuit of bug-free C programs: The Frama-C Software Analysis Platform
Baudin, P., Bobot, F., Bühler, D., Correnson, L., Kirchner, F., Kosmatov, N., Maroneze, A., Perrelle, V., Prevosto, V., Signoles, J. & Williams, N., 1 Aug 2021, In: Communications of the ACM. 64, 8, p. 56-67 12 p.Research output: Contribution to journal › Review article › peer-review
Open Access