Allan Blanchard

Orcid: 0000-0001-7922-4880

According to our database1, Allan Blanchard authored at least 13 papers between 2015 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
MedSecurance Project: Advanced Security-for-Safety Assurance for Medical Device IoT (IoMT).
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.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Towards Full Proof Automation in Frama-C Using Auto-active Verification.
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

2018
MMFilter : A CHR-Based Solver for Generation of Executions under Weak Memory Models.
Comput. Lang. Syst. Struct., 2018

Ghosts for Lists: From Axiomatic to Executable Specifications.
Proceedings of the Tests and Proofs - 12th International Conference, 2018

Tutorial: Secure Your Things: Secure Development of IoT Software with Frama-C.
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.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

A Lesson on Verification of IoT Software with Frama-C.
Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018

2017
From Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation.
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).
PhD thesis, 2016

Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs.
Proceedings of the 16th IEEE International Working Conference on Source Code Analysis and Manipulation, 2016

A CHR-Based Solver for Weak Memory Behaviors.
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.
Proceedings of the Formal Methods for Industrial Critical Systems, 2015


  Loading...