Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Pascale Le Gall

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Virgile Prevosto

> Home > Persons > Pascale Le Gall

Publications

2024
[i14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-08385
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-08385
Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall:
An Efficient VCGen-based Modular Verification of Relational Properties. CoRR abs/2401.08385 (2024)
2022
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BlatterKPG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BlatterKPG22
Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall:
Certified Verification of Relational Properties. IFM 2022: 86-105
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BlatterKPG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BlatterKPG22
Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall:
An Efficient VCGen-Based Modular Verification of Relational Properties. ISoLA (1) 2022: 498-516
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2202-10349
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-10349
Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall:
Certified Verification of Relational Properties. CoRR abs/2202.10349 (2022)
2021
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/RoblesKPRG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/RoblesKPRG21
Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall:
Methodology for Specification and Verification of High-Level Requirements with MetAcsl. FormaliSE@ICSE 2021: 54-67
2019
[c55]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/RoblesKPRG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/RoblesKPRG19
Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall:
MetAcsl: Specification and Verification of High-Level Properties. TACAS (1) 2019: 358-364
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/RoblesKPRG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/RoblesKPRG19
Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall:
Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties. TAP@FM 2019: 167-185
2018
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/BlatterKGPP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/BlatterKGPP18
Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, Guillaume Petiot:
Static and Dynamic Verification of Relational Properties on Self-composed C Code. TAP@STAF 2018: 44-62
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1801-06876
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1801-06876
Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto:
Self-composition to Prove Relational Properties in Annotated C Program. CoRR abs/1801.06876 (2018)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1811-10509
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-10509
Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall:
MetAcsl: Specification and Verification of High-Level Properties. CoRR abs/1811.10509 (2018)
2017
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BlatterKGP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BlatterKGP17
Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto:
RPP: Automatic Proof of Relational Properties by Self-composition. TACAS (1) 2017: 391-397
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/BoudhibaGGP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/BoudhibaGGP17
Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto:
Symbolic Execution of Transition Systems with Function Summaries. TAP@STAF 2017: 41-58
2016
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BlatterKGP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BlatterKGP16
Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto:
Deductive Verification with Relational Properties. CoRR abs/1606.00678 (2016)
2015
[c45]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/pts/BoudhibaGGP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/BoudhibaGGP15
Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto:
Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts. ICTSS 2015: 35-51

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.