Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Julien Signoles
@article{DBLP:journals/fac/LyKLS24,
author = {Dara Ly and
Nikolai Kosmatov and
Fr{\'{e}}d{\'{e}}ric Loulergue and
Julien Signoles},
title = {Sound Runtime Assertion Checking for Memory Properties via Program
Transformation},
journal = {Formal Aspects Comput.},
volume = {36},
number = {1},
pages = {4:1--4:46},
year = {2024},
url = {https://doi.org/10.1145/3605951},
doi = {10.1145/3605951},
timestamp = {Tue, 16 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LyKLS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BenjaminS23,
author = {Thibaut Benjamin and
Julien Signoles},
editor = {Jiman Hong and
Maart Lanperne and
Juw Won Park and
Tom{\'{a}}s Cern{\'{y}} and
Hossain Shahriar},
title = {Formalizing an Efficient Runtime Assertion Checker for an Arithmetic
Language with Functions and Predicates},
booktitle = {Proceedings of the 38th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2023, Tallinn, Estonia, March 27-31, 2023},
pages = {1673--1680},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3555776.3577617},
doi = {10.1145/3555776.3577617},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/BenjaminS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/ClouetAAS23,
author = {Myriam Clouet and
Thibaud Antignac and
Mathilde Arnaud and
Julien Signoles},
editor = {Virgile Prevosto and
Cristina Seceleanu},
title = {Context Specification Language for Formally Verifying Consent Properties
on Models and Code},
booktitle = {Tests and Proofs - 17th International Conference, {TAP} 2023, Leicester,
UK, July 18-19, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14066},
pages = {68--93},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38828-6\_5},
doi = {10.1007/978-3-031-38828-6\_5},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/ClouetAAS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BenajminS23,
author = {Thibaut Benajmin and
Julien Signoles},
editor = {Virgile Prevosto and
Cristina Seceleanu},
title = {Abstract Interpretation of Recursive Logic Definitions for Efficient
Runtime Assertion Checking},
booktitle = {Tests and Proofs - 17th International Conference, {TAP} 2023, Leicester,
UK, July 18-19, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14066},
pages = {168--186},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38828-6\_10},
doi = {10.1007/978-3-031-38828-6\_10},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/BenajminS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/ClouetAAPS22,
author = {Myriam Clouet and
Thibaud Antignac and
Mathilde Arnaud and
Gabriel Pedroza and
Julien Signoles},
title = {A New Generic Representation for Modeling Privacy},
booktitle = {{IEEE} European Symposium on Security and Privacy, EuroS{\&}P
2022 - Workshops, Genoa, Italy, June 6-10, 2022},
pages = {203--211},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/EuroSPW55150.2022.00027},
doi = {10.1109/EUROSPW55150.2022.00027},
timestamp = {Mon, 04 Jul 2022 17:06:18 +0200},
biburl = {https://dblp.org/rec/conf/eurosp/ClouetAAPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BaudinBBCKKMPPS21,
author = {Patrick Baudin and
Fran{\c{c}}ois Bobot and
David B{\"{u}}hler and
Lo{\"{\i}}c Correnson and
Florent Kirchner and
Nikolai Kosmatov and
Andr{\'{e}} Maroneze and
Valentin Perrelle and
Virgile Prevosto and
Julien Signoles and
Nicky Williams},
title = {The dogged pursuit of bug-free {C} programs: the Frama-C software
analysis platform},
journal = {Commun. {ACM}},
volume = {64},
number = {8},
pages = {56--68},
year = {2021},
url = {https://doi.org/10.1145/3470569},
doi = {10.1145/3470569},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/BaudinBBCKKMPPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Signoles21,
author = {Julien Signoles},
editor = {Wolfgang Ahrendt and
Davide Ancona and
Adrian Francalanza},
title = {The e-ACSL perspective on runtime assertion checking},
booktitle = {{VORTEX} 2021: Proceedings of the 5th {ACM} International Workshop
on Verification and mOnitoring at Runtime EXecution, Virtual Event,
Denmark, 12 July 2021},
pages = {8--12},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464974.3468451},
doi = {10.1145/3464974.3468451},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Signoles21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/VedrineJKS21,
author = {Franck V{\'{e}}drine and
Maxime Jacquemin and
Nikolai Kosmatov and
Julien Signoles},
editor = {Fritz Henglein and
Sharon Shoham and
Yakir Vizel},
title = {Runtime Abstract Interpretation for Numerical Accuracy and Robustness},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 22nd International
Conference, {VMCAI} 2021, Copenhagen, Denmark, January 17-19, 2021,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12597},
pages = {243--266},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-67067-2\_12},
doi = {10.1007/978-3-030-67067-2\_12},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/VedrineJKS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/KosmatovMS20,
author = {Nikolai Kosmatov and
Fonenantsoa Maurica and
Julien Signoles},
editor = {Jyotirmoy Deshmukh and
Dejan Nickovic},
title = {Efficient Runtime Assertion Checking for Properties over Mathematical
Numbers},
booktitle = {Runtime Verification - 20th International Conference, {RV} 2020, Los
Angeles, CA, USA, October 6-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12399},
pages = {310--322},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60508-7\_17},
doi = {10.1007/978-3-030-60508-7\_17},
timestamp = {Tue, 20 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/KosmatovMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/LyKLS20,
author = {Dara Ly and
Nikolai Kosmatov and
Fr{\'{e}}d{\'{e}}ric Loulergue and
Julien Signoles},
editor = {Wolfgang Ahrendt and
Heike Wehrheim},
title = {Verified Runtime Assertion Checking for Memory Properties},
booktitle = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
Norway, June 22-23, 2020, Proceedings [postponed]},
series = {Lecture Notes in Computer Science},
volume = {12165},
pages = {100--121},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50995-8\_6},
doi = {10.1007/978-3-030-50995-8\_6},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/LyKLS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/SanchezSABBCFFK19,
author = {C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Wolfgang Ahrendt and
Ezio Bartocci and
Domenico Bianculli and
Christian Colombo and
Yli{\`{e}}s Falcone and
Adrian Francalanza and
Srdan Krstic and
Jo{\~{a}}o M. Louren{\c{c}}o and
Dejan Nickovic and
Gordon J. Pace and
Jos{\'{e}} Rufino and
Julien Signoles and
Dmitriy Traytel and
Alexander Weiss},
title = {A survey of challenges for runtime verification from advanced application
domains (beyond software)},
journal = {Formal Methods Syst. Des.},
volume = {54},
number = {3},
pages = {279--335},
year = {2019},
url = {https://doi.org/10.1007/s10703-019-00337-w},
doi = {10.1007/S10703-019-00337-W},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/SanchezSABBCFFK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/SanchezSABBCFFK19a,
author = {C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Wolfgang Ahrendt and
Ezio Bartocci and
Domenico Bianculli and
Christian Colombo and
Yli{\`{e}}s Falcone and
Adrian Francalanza and
Srdan Krstic and
Jo{\~{a}}o M. Louren{\c{c}}o and
Dejan Nickovic and
Gordon J. Pace and
Jos{\'{e}} Rufino and
Julien Signoles and
Dmitriy Traytel and
Alexander Weiss},
title = {Correction to: {A} survey of challenges for runtime verification from
advanced application domains (beyond software)},
journal = {Formal Methods Syst. Des.},
volume = {55},
number = {1},
pages = {72},
year = {2019},
url = {https://doi.org/10.1007/s10703-019-00343-y},
doi = {10.1007/S10703-019-00343-Y},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/SanchezSABBCFFK19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BartocciFBCDHJK19,
author = {Ezio Bartocci and
Yli{\`{e}}s Falcone and
Borzoo Bonakdarpour and
Christian Colombo and
Normann Decker and
Klaus Havelund and
Yogi Joshi and
Felix Klaedtke and
Reed Milewicz and
Giles Reger and
Grigore Rosu and
Julien Signoles and
Daniel Thoma and
Eugen Zalinescu and
Yi Zhang},
title = {First international Competition on Runtime Verification: rules, benchmarks,
tools, and final results of {CRV} 2014},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {21},
number = {1},
pages = {31--70},
year = {2019},
url = {https://doi.org/10.1007/s10009-017-0454-5},
doi = {10.1007/S10009-017-0454-5},
timestamp = {Sat, 12 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BartocciFBCDHJK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-10930,
author = {Maxime Jacquemin and
Fonenantsoa Maurica and
Nikolai Kosmatov and
Julien Signoles and
Franck V{\'{e}}drine},
title = {Abstract Compilation for Verification of Numerical Accuracy Properties},
journal = {CoRR},
volume = {abs/1911.10930},
year = {2019},
url = {http://arxiv.org/abs/1911.10930},
eprinttype = {arXiv},
eprint = {1911.10930},
timestamp = {Tue, 03 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-10930.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Signoles18,
author = {Julien Signoles},
title = {From Static Analysis to Runtime Verification with Frama-C and {E-ACSL}},
year = {2018},
url = {https://tel.archives-ouvertes.fr/tel-04469397},
timestamp = {Wed, 28 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/hal/Signoles18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MauricaCS18,
author = {Fonenantsoa Maurica and
David R. Cok and
Julien Signoles},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Runtime Assertion Checking and Static Verification: Collaborative
Partners},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11245},
pages = {75--91},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03421-4\_6},
doi = {10.1007/978-3-030-03421-4\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/MauricaCS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/LeCSW18,
author = {Viet Hoang Le and
Lo{\"{\i}}c Correnson and
Julien Signoles and
Virginie Wiels},
editor = {Catherine Dubois and
Burkhart Wolff},
title = {Verification Coverage for Combining Test and Proof},
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 = {120--138},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92994-1\_7},
doi = {10.1007/978-3-319-92994-1\_7},
timestamp = {Tue, 23 Jun 2020 17:47:29 +0200},
biburl = {https://dblp.org/rec/conf/tap/LeCSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/VorobyovKS18,
author = {Kostyantyn Vorobyov and
Nikolai Kosmatov and
Julien Signoles},
editor = {Catherine Dubois and
Burkhart Wolff},
title = {Detection of Security Vulnerabilities in {C} Code Using Runtime Verification:
An Experience Report},
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 = {139--156},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92994-1\_8},
doi = {10.1007/978-3-319-92994-1\_8},
timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/VorobyovKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-06740,
author = {C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Wolfgang Ahrendt and
Ezio Bartocci and
Domenico Bianculli and
Christian Colombo and
Yli{\`{e}}s Falcone and
Adrian Francalanza and
Srdan Krstic and
Jo{\~{a}}o M. Louren{\c{c}}o and
Dejan Nickovic and
Gordon J. Pace and
Jos{\'{e}} Rufino and
Julien Signoles and
Dmitriy Traytel and
Alexander Weiss},
title = {A Survey of Challenges for Runtime Verification from Advanced Application
Domains (Beyond Software)},
journal = {CoRR},
volume = {abs/1811.06740},
year = {2018},
url = {http://arxiv.org/abs/1811.06740},
eprinttype = {arXiv},
eprint = {1811.06740},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-06740.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/VorobyovSK17,
author = {Kostyantyn Vorobyov and
Julien Signoles and
Nikolai Kosmatov},
editor = {Christoph M. Kirsch and
Ben L. Titzer},
title = {Shadow state encoding for efficient monitoring of block-level properties},
booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} International Symposium on
Memory Management, {ISMM} 2017, Barcelona, Spain, June 18, 2017},
pages = {47--58},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092255.3092269},
doi = {10.1145/3092255.3092269},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/VorobyovSK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AlbertiS17,
author = {Michele Alberti and
Julien Signoles},
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {Context Generation from Formal Specifications for {C} Analysis Tools},
booktitle = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
pages = {93--111},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94460-9\_6},
doi = {10.1007/978-3-319-94460-9\_6},
timestamp = {Wed, 25 Sep 2019 18:04:28 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/AlbertiS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AssafNSTT17,
author = {Mounir Assaf and
David A. Naumann and
Julien Signoles and
Eric Totel and
Fr{\'{e}}d{\'{e}}ric Tronel},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {Hypercollecting semantics and its application to static analysis of
information flow},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {874--887},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009889},
doi = {10.1145/3009837.3009889},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/AssafNSTT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/Signoles17,
author = {Julien Signoles},
editor = {Giles Reger and
Klaus Havelund},
title = {Online Runtime Verification Competitions: How To Possibly Deal With
Their Issues (position paper)},
booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability,
Benchmarks, Evaluation, and Standardisation for Runtime Verification
Tools, September 15, 2017, Seattle, WA, {USA}},
series = {Kalpa Publications in Computing},
volume = {3},
pages = {157--163},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/44mk},
doi = {10.29007/44MK},
timestamp = {Sun, 15 Aug 2021 10:46:48 +0200},
biburl = {https://dblp.org/rec/conf/rv/Signoles17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/SignolesKV17,
author = {Julien Signoles and
Nikolai Kosmatov and
Kostyantyn Vorobyov},
editor = {Giles Reger and
Klaus Havelund},
title = {E-ACSL, a Runtime Verification Tool for Safety and Security of {C}
Programs (tool paper)},
booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability,
Benchmarks, Evaluation, and Standardisation for Runtime Verification
Tools, September 15, 2017, Seattle, WA, {USA}},
series = {Kalpa Publications in Computing},
volume = {3},
pages = {164--173},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/fpdh},
doi = {10.29007/FPDH},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/SignolesKV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/VorobyovKSJ17,
author = {Kostyantyn Vorobyov and
Nikolai Kosmatov and
Julien Signoles and
Arvid Jakobsson},
editor = {Shuvendu K. Lahiri and
Giles Reger},
title = {Runtime Detection of Temporal Memory Errors},
booktitle = {Runtime Verification - 17th International Conference, {RV} 2017, Seattle,
WA, USA, September 13-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10548},
pages = {294--311},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67531-2\_18},
doi = {10.1007/978-3-319-67531-2\_18},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/VorobyovKSJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BaranyS17,
author = {Gerg{\"{o}} Barany and
Julien Signoles},
editor = {Sebastian Gabmeyer and
Einar Broch Johnsen},
title = {Hybrid Information Flow Analysis for Real-World {C} Code},
booktitle = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
Germany, July 19-20, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10375},
pages = {23--40},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61467-0\_2},
doi = {10.1007/978-3-319-61467-0\_2},
timestamp = {Tue, 23 Jun 2020 17:47:28 +0200},
biburl = {https://dblp.org/rec/conf/tap/BaranyS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-04497,
author = {Michele Alberti and
Julien Signoles},
title = {Context Generation from Formal Specifications for {C} Analysis Tools},
journal = {CoRR},
volume = {abs/1709.04497},
year = {2017},
url = {http://arxiv.org/abs/1709.04497},
eprinttype = {arXiv},
eprint = {1709.04497},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-04497.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JakobssonKS16,
author = {Arvid Jakobsson and
Nikolai Kosmatov and
Julien Signoles},
title = {Fast as a shadow, expressive as a tree: Optimized memory monitoring
for {C}},
journal = {Sci. Comput. Program.},
volume = {132},
pages = {226--246},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.09.003},
doi = {10.1016/J.SCICO.2016.09.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/JakobssonKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KosmatovMMS16,
author = {Nikolai Kosmatov and
Claude March{\'{e}} and
Yannick Moy and
Julien Signoles},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Static versus Dynamic Verification in Why3, Frama-C and {SPARK} 2014},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {461--478},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_32},
doi = {10.1007/978-3-319-47166-2\_32},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/KosmatovMMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/KosmatovS16,
author = {Nikolai Kosmatov and
Julien Signoles},
editor = {Yli{\`{e}}s Falcone and
C{\'{e}}sar S{\'{a}}nchez},
title = {Frama-C, {A} Collaborative Framework for {C} Code Verification: Tutorial
Synopsis},
booktitle = {Runtime Verification - 16th International Conference, {RV} 2016, Madrid,
Spain, September 23-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10012},
pages = {92--115},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46982-9\_7},
doi = {10.1007/978-3-319-46982-9\_7},
timestamp = {Wed, 28 Dec 2022 16:42:42 +0100},
biburl = {https://dblp.org/rec/conf/rv/KosmatovS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AssafNSTT16,
author = {Mounir Assaf and
David A. Naumann and
Julien Signoles and
Eric Totel and
Fr{\'{e}}d{\'{e}}ric Tronel},
title = {Hypercollecting Semantics and its Application to Static Analysis of
Information Flow},
journal = {CoRR},
volume = {abs/1608.01654},
year = {2016},
url = {http://arxiv.org/abs/1608.01654},
eprinttype = {arXiv},
eprint = {1608.01654},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AssafNSTT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/KirchnerKPSY15,
author = {Florent Kirchner and
Nikolai Kosmatov and
Virgile Prevosto and
Julien Signoles and
Boris Yakobowski},
title = {Frama-C: {A} software analysis perspective},
journal = {Formal Aspects Comput.},
volume = {27},
number = {3},
pages = {573--609},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0326-7},
doi = {10.1007/S00165-014-0326-7},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/KirchnerKPSY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/FavaSLST15,
author = {Daniel Fava and
Julien Signoles and
Matthieu Lemerre and
Martin Sch{\"{a}}f and
Ashish Tiwari},
editor = {Martin Davis and
Ansgar Fehnker and
Annabelle McIver and
Andrei Voronkov},
title = {Gamifying Program Analysis},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9450},
pages = {591--605},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48899-7\_41},
doi = {10.1007/978-3-662-48899-7\_41},
timestamp = {Mon, 03 Jan 2022 22:31:30 +0100},
biburl = {https://dblp.org/rec/conf/lpar/FavaSLST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/JakobssonKS15,
author = {Arvid Jakobsson and
Nikolai Kosmatov and
Julien Signoles},
editor = {Roger L. Wainwright and
Juan Manuel Corchado and
Alessio Bechini and
Jiman Hong},
title = {Fast as a shadow, expressive as a tree: hybrid memory monitoring for
{C}},
booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
Salamanca, Spain, April 13-17, 2015},
pages = {1765--1772},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2695664.2695815},
doi = {10.1145/2695664.2695815},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/JakobssonKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Signoles15,
author = {Julien Signoles},
editor = {Catherine Dubois and
Paolo Masci and
Dominique M{\'{e}}ry},
title = {Software Architecture of Code Analysis Frameworks Matters: The Frama-C
Example},
booktitle = {Proceedings Second International Workshop on Formal Integrated Development
Environment, {F-IDE} 2015, Oslo, Norway, June 22, 2015},
series = {{EPTCS}},
volume = {187},
pages = {86--96},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.187.7},
doi = {10.4204/EPTCS.187.7},
timestamp = {Tue, 01 Jun 2021 08:33:36 +0200},
biburl = {https://dblp.org/rec/journals/corr/Signoles15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/Signoles14,
author = {Julien Signoles},
editor = {Christine Tasson and
David Baelde},
title = {Comment un chameau peut-il {\'{e}}crire un journal ?},
booktitle = {25. Journ{\'{e}}es francophones des langages applicatifs, Fr{\'{e}}jus,
France, January 8-11, 2014},
pages = {131--148},
year = {2014},
timestamp = {Fri, 28 Nov 2014 14:16:32 +0100},
biburl = {https://dblp.org/rec/conf/jfla/Signoles14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/PetiotBJKS14,
author = {Guillaume Petiot and
Bernard Botella and
Jacques Julliand and
Nikolai Kosmatov and
Julien Signoles},
title = {Instrumentation of Annotated {C} Programs for Test Generation},
booktitle = {14th {IEEE} International Working Conference on Source Code Analysis
and Manipulation, {SCAM} 2014, Victoria, BC, Canada, September 28-29,
2014},
pages = {105--114},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SCAM.2014.19},
doi = {10.1109/SCAM.2014.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/PetiotBJKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/KosmatovS14,
author = {Nikolai Kosmatov and
Julien Signoles},
editor = {Martina Seidl and
Nikolai Tillmann},
title = {Runtime Assertion Checking and Its Combinations with Static and Dynamic
Analyses - Tutorial Synopsis},
booktitle = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York,
UK, July 24-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8570},
pages = {165--168},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09099-3\_13},
doi = {10.1007/978-3-319-09099-3\_13},
timestamp = {Tue, 23 Jun 2020 17:47:28 +0200},
biburl = {https://dblp.org/rec/conf/tap/KosmatovS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/KosmatovPS13,
author = {Nikolai Kosmatov and
Guillaume Petiot and
Julien Signoles},
editor = {Axel Legay and
Saddek Bensalem},
title = {An Optimized Memory Monitoring for Runtime Assertion Checking of {C}
Programs},
booktitle = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
France, September 24-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8174},
pages = {167--182},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40787-1\_10},
doi = {10.1007/978-3-642-40787-1\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/KosmatovPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/KosmatovS13,
author = {Nikolai Kosmatov and
Julien Signoles},
editor = {Axel Legay and
Saddek Bensalem},
title = {A Lesson on Runtime Assertion Checking with Frama-C},
booktitle = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
France, September 24-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8174},
pages = {386--399},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40787-1\_29},
doi = {10.1007/978-3-642-40787-1\_29},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/KosmatovS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/DelahayeKS13,
author = {Micka{\"{e}}l Delahaye and
Nikolai Kosmatov and
Julien Signoles},
editor = {Sung Y. Shin and
Jos{\'{e}} Carlos Maldonado},
title = {Common specification language for static and dynamic analysis of {C}
programs},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,
{SAC} '13, Coimbra, Portugal, March 18-22, 2013},
pages = {1230--1235},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2480362.2480593},
doi = {10.1145/2480362.2480593},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/DelahayeKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sec/AssafSTT13,
author = {Mounir Assaf and
Julien Signoles and
Fr{\'{e}}d{\'{e}}ric Tronel and
Eric Totel},
editor = {Lech J. Janczewski and
Henry B. Wolfe and
Sujeet Shenoi},
title = {Program Transformation for Non-interference Verification on Programs
with Pointers},
booktitle = {Security and Privacy Protection in Information Processing Systems
- 28th {IFIP} {TC} 11 International Conference, {SEC} 2013, Auckland,
New Zealand, July 8-10, 2013. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {405},
pages = {231--244},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39218-4\_18},
doi = {10.1007/978-3-642-39218-4\_18},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sec/AssafSTT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/KosmatovPS13,
author = {Nikolai Kosmatov and
Virgile Prevosto and
Julien Signoles},
editor = {Margus Veanes and
Luca Vigan{\`{o}}},
title = {A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper},
booktitle = {Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest,
Hungary, June 16-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7942},
pages = {168--177},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38916-0\_10},
doi = {10.1007/978-3-642-38916-0\_10},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/KosmatovPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/CorrensonS12,
author = {Lo{\"{\i}}c Correnson and
Julien Signoles},
editor = {Mari{\"{e}}lle Stoelinga and
Ralf Pinger},
title = {Combining Analyses for {C} Program Verification},
booktitle = {Formal Methods for Industrial Critical Systems - 17th International
Workshop, {FMICS} 2012, Paris, France, August 27-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7437},
pages = {108--130},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32469-7\_8},
doi = {10.1007/978-3-642-32469-7\_8},
timestamp = {Fri, 09 Apr 2021 18:51:27 +0200},
biburl = {https://dblp.org/rec/conf/fmics/CorrensonS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CuoqKKPSY12,
author = {Pascal Cuoq and
Florent Kirchner and
Nikolai Kosmatov and
Virgile Prevosto and
Julien Signoles and
Boris Yakobowski},
editor = {George Eleftherakis and
Mike Hinchey and
Mike Holcombe},
title = {Frama-C - {A} Software Analysis Perspective},
booktitle = {Software Engineering and Formal Methods - 10th International Conference,
{SEFM} 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7504},
pages = {233--247},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33826-7\_16},
doi = {10.1007/978-3-642-33826-7\_16},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/CuoqKKPSY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siu/Signoles09,
author = {Julien Signoles},
title = {Foncteurs imp{\'{e}}ratifs et compos{\'{e}}s: la notion
de projets dans Frama-C},
journal = {Stud. Inform. Univ.},
volume = {7},
number = {2},
pages = {20--51},
year = {2009},
url = {http://studia.complexica.net/index.php?option=com\_content\&\#38;view=article\&\#38;id=127},
timestamp = {Fri, 23 Sep 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siu/Signoles09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/CuoqSBBCCMPP09,
author = {Pascal Cuoq and
Julien Signoles and
Patrick Baudin and
Richard Bonichon and
G{\'{e}}raud Canet and
Lo{\"{\i}}c Correnson and
Benjamin Monate and
Virgile Prevosto and
Armand Puccetti},
editor = {Graham Hutton and
Andrew P. Tolmach},
title = {Experience report: OCaml for an industrial-strength static analysis
framework},
booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
31 - September 2, 2009},
pages = {281--286},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596550.1596591},
doi = {10.1145/1596550.1596591},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/CuoqSBBCCMPP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/Signoles09,
author = {Julien Signoles},
editor = {Alan Schmitt},
title = {Foncteurs imp{\'{e}}ratifs et compos{\'{e}}s: la notion
de projets dans Frama-C},
booktitle = {{JFLA} 2009, Vingti{\`{e}}mes Journ{\'{e}}es Francophones des
Langages Applicatifs, Saint Quentin sur Is{\`{e}}re, France, January
31 - February 3, 2009. Proceedings},
series = {Studia Informatica Universalis},
volume = {7.2},
pages = {245--280},
year = {2009},
timestamp = {Sat, 19 Sep 2009 22:08:04 +0200},
biburl = {https://dblp.org/rec/conf/jfla/Signoles09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trust/MonateS08,
author = {Benjamin Monate and
Julien Signoles},
editor = {Peter Lipp and
Ahmad{-}Reza Sadeghi and
Klaus{-}Michael Koch},
title = {Slicing for Security of Code},
booktitle = {Trusted Computing - Challenges and Applications, First International
Conference on Trusted Computing and Trust in Information Technologies,
Trust 2008, Villach, Austria, March 11-12, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4968},
pages = {133--142},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68979-9\_10},
doi = {10.1007/978-3-540-68979-9\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/trust/MonateS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/ConchonFS07,
author = {Sylvain Conchon and
Jean{-}Christophe Filli{\^{a}}tre and
Julien Signoles},
editor = {Marco T. Moraz{\'{a}}n},
title = {Designing a Generic Graph Library Using {ML} Functors},
booktitle = {Proceedings of the Eighth Symposium on Trends in Functional Programming,
{TFP} 2007, New York City, New York, USA, April 2-4. 2007},
series = {Trends in Functional Programming},
volume = {8},
pages = {124--140},
publisher = {Intellect},
year = {2007},
timestamp = {Mon, 03 Jun 2013 08:02:44 +0200},
biburl = {https://dblp.org/rec/conf/sfp/ConchonFS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/Signoles03,
author = {Julien Signoles},
editor = {Jean{-}Christophe Filli{\^{a}}tre},
title = {Calcul statique des applications de modules param{\'{e}}tr{\'{e}}s},
booktitle = {Journ{\'{e}}es francophones des langages applicatifs (JFLA'03),
Chamrousse, France, Janvier 2003},
series = {Collection Didactique},
pages = {21--36},
publisher = {{INRIA}},
year = {2003},
timestamp = {Wed, 08 Feb 2006 14:52:54 +0100},
biburl = {https://dblp.org/rec/conf/jfla/Signoles03.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-21 17:35 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:
