Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Allan Blanchard
@inproceedings{DBLP:conf/tacas/CorrensonBDK24,
author = {Lo{\"{\i}}c Correnson and
Allan Blanchard and
Adel Djoudi and
Nikolai Kosmatov},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Automate where Automation Fails: Proof Strategies for Frama-C/WP},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {331--339},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_18},
doi = {10.1007/978-3-031-57246-3\_18},
timestamp = {Sun, 14 Apr 2024 18:32:16 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CorrensonBDK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mie/GallosDMBMEMKDL23,
author = {Parisis Gallos and
Rance DeLong and
Nicholas Matragkas and
Allan Blanchard and
Chokri Mraidha and
Gregory Epiphaniou and
Carsten Maple and
Konstantinos Katzis and
Jaime Delgado and
Silvia Llorente and
Pedro Mal{\'{o}} and
Andreas Menychtas and
Christos Panagopoulos and
Ilias Maglogiannis and
Petros Papachristou and
Mariana Soares and
Paula Breia and
Ana Cristina Vidal and
Martin Ratz and
Ross Williamson and
Eduard Erwee and
Lukasz Stasiak and
Orfeu Flores and
Carla Clemente and
John Mantas and
Patrick Weber and
Theodoros N. Arvanitis and
Scott Hansen},
editor = {Maria H{\"{a}}gglund and
Madeleine Blusi and
Stefano Bonacina and
Lina Nilsson and
Inge Cort Madsen and
Sylvia Pelayo and
Anne Moen and
Arriel Benis and
Lars Lindsk{\"{o}}ld and
Parisis Gallos},
title = {MedSecurance Project: Advanced Security-for-Safety Assurance for Medical
Device IoT (IoMT)},
booktitle = {Caring is Sharing - Exploiting the Value in Data for Health and Innovation
- Proceedings of {MIE} 2023, Gothenburg, Sweden, 22 - 25 May 2023},
series = {Studies in Health Technology and Informatics},
volume = {302},
pages = {337--341},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/SHTI230130},
doi = {10.3233/SHTI230130},
timestamp = {Wed, 12 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mie/GallosDMBMEMKDL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BlanchardLK19,
author = {Allan Blanchard and
Fr{\'{e}}d{\'{e}}ric Loulergue and
Nikolai Kosmatov},
editor = {Julia M. Badger and
Kristin Yvonne Rozier},
title = {Towards Full Proof Automation in Frama-C Using Auto-active Verification},
booktitle = {{NASA} Formal Methods - 11th International Symposium, {NFM} 2019,
Houston, TX, USA, May 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11460},
pages = {88--105},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20652-9\_6},
doi = {10.1007/978-3-030-20652-9\_6},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BlanchardLK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BlanchardKL19,
author = {Allan Blanchard and
Nikolai Kosmatov and
Fr{\'{e}}d{\'{e}}ric Loulergue},
editor = {Chih{-}Cheng Hung and
George A. Papadopoulos},
title = {Logic against ghosts: comparison of two proof approaches for a list
module},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
pages = {2186--2195},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297280.3297495},
doi = {10.1145/3297280.3297495},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/BlanchardKL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/BlanchardKL18,
author = {Allan Blanchard and
Nikolai Kosmatov and
Fr{\'{e}}d{\'{e}}ric Loulergue},
title = {MMFilter : {A} CHR-Based Solver for Generation of Executions under
Weak Memory Models},
journal = {Comput. Lang. Syst. Struct.},
volume = {53},
pages = {121--142},
year = {2018},
url = {https://doi.org/10.1016/j.cl.2018.03.002},
doi = {10.1016/J.CL.2018.03.002},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/BlanchardKL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieeehpcs/BlanchardKL18,
author = {Allan Blanchard and
Nikolai Kosmatov and
Fr{\'{e}}d{\'{e}}ric Loulergue},
title = {A Lesson on Verification of IoT Software with Frama-C},
booktitle = {2018 International Conference on High Performance Computing {\&}
Simulation, {HPCS} 2018, Orleans, France, July 16-20, 2018},
pages = {21--30},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/HPCS.2018.00018},
doi = {10.1109/HPCS.2018.00018},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ieeehpcs/BlanchardKL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BlanchardKL18,
author = {Allan Blanchard and
Nikolai Kosmatov and
Fr{\'{e}}d{\'{e}}ric Loulergue},
editor = {Aaron Dutle and
C{\'{e}}sar A. Mu{\~{n}}oz and
Anthony Narkawicz},
title = {Ghosts for Lists: {A} Critical Module of Contiki Verified in Frama-C},
booktitle = {{NASA} Formal Methods - 10th International Symposium, {NFM} 2018,
Newport News, VA, USA, April 17-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10811},
pages = {37--53},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-77935-5\_3},
doi = {10.1007/978-3-319-77935-5\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BlanchardKL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secdev/BlanchardKL18,
author = {Allan Blanchard and
Nikolai Kosmatov and
Fr{\'{e}}d{\'{e}}ric Loulergue},
title = {Tutorial: Secure Your Things: Secure Development of IoT Software with
Frama-C},
booktitle = {2018 {IEEE} Cybersecurity Development, SecDev 2018, Cambridge, MA,
USA, September 30 - October 2, 2018},
pages = {126--127},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/SecDev.2018.00026},
doi = {10.1109/SECDEV.2018.00026},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/secdev/BlanchardKL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/LoulergueBK18,
author = {Fr{\'{e}}d{\'{e}}ric Loulergue and
Allan Blanchard and
Nikolai Kosmatov},
editor = {Catherine Dubois and
Burkhart Wolff},
title = {Ghosts for Lists: From Axiomatic to Executable Specifications},
booktitle = {Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse,
France, June 27-29, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10889},
pages = {177--184},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92994-1\_11},
doi = {10.1007/978-3-319-92994-1\_11},
timestamp = {Tue, 23 Jun 2020 17:47:29 +0200},
biburl = {https://dblp.org/rec/conf/tap/LoulergueBK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1708-07226,
author = {Allan Blanchard and
Fr{\'{e}}d{\'{e}}ric Loulergue and
Nikolai Kosmatov},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh and
Maurizio Proietti},
title = {From Concurrent Programs to Simulating Sequential Programs: Correctness
of a Transformation},
booktitle = {Proceedings Fifth International Workshop on Verification and Program
Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017},
series = {{EPTCS}},
volume = {253},
pages = {109--123},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.253.9},
doi = {10.4204/EPTCS.253.9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-07226.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Blanchard16,
author = {Allan Blanchard},
title = {Assisted Concurrent Program Verification by Code and Specification
Transformation. (Aide {\`{a}} la v{\'{e}}rification de programmes
concurrents par transformation de code et de sp{\'{e}}cifications)},
school = {University of Orl{\'{e}}ans, France},
year = {2016},
url = {https://tel.archives-ouvertes.fr/tel-03624110},
timestamp = {Fri, 27 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Blanchard16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BlanchardKL16,
author = {Allan Blanchard and
Nikolai Kosmatov and
Fr{\'{e}}d{\'{e}}ric Loulergue},
editor = {Omer Tripp and
Christoph M. Wintersteiger},
title = {A CHR-Based Solver for Weak Memory Behaviors},
booktitle = {Proceedings of the 7th Workshop on Constraint Solvers in Testing,
Verification, and Analysis co-located with The International Symposium
on Software Testing and Analysis {(ISSTA} 2016), Saarbr{\"{u}}cken,
Germany, July 17th, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1639},
pages = {15--22},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1639/paper-04.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:18 +0100},
biburl = {https://dblp.org/rec/conf/issta/BlanchardKL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/BlanchardKLL16,
author = {Allan Blanchard and
Nikolai Kosmatov and
Matthieu Lemerre and
Fr{\'{e}}d{\'{e}}ric Loulergue},
title = {Conc2Seq: {A} Frama-C Plugin for Verification of Parallel Compositions
of {C} Programs},
booktitle = {16th {IEEE} International Working Conference on Source Code Analysis
and Manipulation, {SCAM} 2016, Raleigh, NC, USA, October 2-3, 2016},
pages = {67--72},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SCAM.2016.18},
doi = {10.1109/SCAM.2016.18},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scam/BlanchardKLL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BlanchardKLL15,
author = {Allan Blanchard and
Nikolai Kosmatov and
Matthieu Lemerre and
Fr{\'{e}}d{\'{e}}ric Loulergue},
editor = {Manuel N{\'{u}}{\~{n}}ez and
Matthias G{\"{u}}demann},
title = {A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging
System with Frama-C},
booktitle = {Formal Methods for Industrial Critical Systems - 20th International
Workshop, {FMICS} 2015, Oslo, Norway, June 22-23, 2015 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9128},
pages = {15--30},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19458-5\_2},
doi = {10.1007/978-3-319-19458-5\_2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/BlanchardKLL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-15 20:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
