Allan Blanchard

According to our database, Allan Blanchard authored at least 15 papers between 2015 and 2024.

Collaborative distances:

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

2024

No Smoke Without Fire: Detecting Specification Inconsistencies with Frama-C/WP.

Allan Blanchard, Loïc Correnson, Adel Djoudi, Nikolai Kosmatov

Proceedings of the Tests and Proofs - 18th International Conference, 2024

Automate where Automation Fails: Proof Strategies for Frama-C/WP.

Loïc Correnson, Allan Blanchard, Adel Djoudi, Nikolai Kosmatov

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

MedSecurance Project: Advanced Security-for-Safety Assurance for Medical Device IoT (IoMT).

Parisis Gallos, Rance J. DeLong, Nicholas Matragkas, Allan Blanchard, Chokri Mraidha, Gregory Epiphaniou, Carsten Maple, Konstantinos Katzis, Jaime Delgado, Silvia Llorente, Pedro Maló, Andreas Menychtas, Christos Panagopoulos, Ilias Maglogiannis, Petros Papachristou, Mariana Soares, Paula Breia, Ana Cristina Vidal, Martin Ratz, Ross Williamson, Eduard Erwee, Lukasz Stasiak, Orfeu Flores, Carla Clemente, John Mantas, Patrick Weber, Theodoros N. Arvanitis, Scott Hansen

Proceedings of the Caring is Sharing - Exploiting the Value in Data for Health and Innovation - Proceedings of MIE 2023, Gothenburg, Sweden, 22, 2023

2019

Logic against ghosts: comparison of two proof approaches for a list module.

Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Towards Full Proof Automation in Frama-C Using Auto-active Verification.

Allan Blanchard, Frédéric Loulergue, Nikolai Kosmatov

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

2018

MMFilter : A CHR-Based Solver for Generation of Executions under Weak Memory Models.

Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue

Comput. Lang. Syst. Struct., 2018

Ghosts for Lists: From Axiomatic to Executable Specifications.

Frédéric Loulergue, Allan Blanchard, Nikolai Kosmatov

Proceedings of the Tests and Proofs - 12th International Conference, 2018

Tutorial: Secure Your Things: Secure Development of IoT Software with Frama-C.

Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue

Proceedings of the 2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, 2018

Ghosts for Lists: A Critical Module of Contiki Verified in Frama-C.

Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

A Lesson on Verification of IoT Software with Frama-C.

Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue

Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018

2017

From Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation.

Allan Blanchard, Frédéric Loulergue, Nikolai Kosmatov

Proceedings of the Proceedings Fifth International Workshop on Verification and Program Transformation, 2017

2016

Assisted Concurrent Program Verification by Code and Specification Transformation. (Aide à la vérification de programmes concurrents par transformation de code et de spécifications).

Allan Blanchard

PhD thesis, 2016

Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs.

Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre, Frédéric Loulergue

Proceedings of the 16th IEEE International Working Conference on Source Code Analysis and Manipulation, 2016

A CHR-Based Solver for Weak Memory Behaviors.

Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue

Proceedings of the 7th Workshop on Constraint Solvers in Testing, 2016

2015

A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C.

Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre, Frédéric Loulergue

Proceedings of the Formal Methods for Industrial Critical Systems, 2015