Access content directly
Documentation
EN
French (FR)
English (EN)
Sign in
Collection
LRI-VALS
Search
Loading...
Advanced Search
Information de documents
Titles
Titles
Subtitle
Work title
hal_serie_t
Default search field (multi-criteria) + PDF full text
Abstract
Full text of PDF document
Keywords
Document type
Document subtype
All document identifiers
HAL submission identifier
Language of document (text)
Country (Text)
City
hal_inPress_bool
Add
Author
Author (multi-criteria)
Author (multi-criteria)
Author: Full name
Author: Last name
Author: First name
Author: middle name
Author: funding institution
Author: IdHal (string)
Author: function
Author: personID (integer)
Author: funding institution identifier
Author: Structure identifier
Thesis director
Publisher
Scientific editor
Series editor
Add
Structure
Structure (multi-criteria)
Structure (multi-criteria)
Structure: Acronym
Structure: Name
Structure: Code
Structure: Country
Structure: Type
Structure: Referential status
Structure: Internal structure identifier
Structure/research team: Country
Structure/department: Country
Structure/laboratory: Country
Structure/group of departments: State
Structure/institution: Country
Structure/group of institutions: Country
Add
Autres
Default search field (multi-criteria)
Default search field (multi-criteria)
Journals (multi-criteria)
Journal: Publisher
Journal: Abbreviated title
Journal: Title
Journal: Internal identifier
Journal: beginning publication date
Journal: online ISSN
Journal: ISSN
Journal: Publisher
Journal: SHERPA/RoMEO color
Journal: referential status
Conference (multi-criteria)
Conference: Title
Conference: Organiser
Conference: beginning date (Year)
Conference: end date (Year)
Invited communication (yes/no)
ANR project (multi-criteria)
ANR project: Acronym
hal_anrProjectAcronymProgram_t
ANR project: Code decision (reference)
ANR project: Name
ANR project: Internal identifier
ANR project: Referential Status
European project (multi-criteria)
European project: Acronym
European project: Call identifier
European project: Reference
European project: Name
European project: end date
European project: Funding
European project: beginning date
European project: Referential status
European project: Internal identifier
Publication date: year
Release date: year
hal_publicationDateY_i
Writing date: year
Date modified: year
Submission Date: year
Online Publication date: year
HAL Collection (multi-criteria)
HAL Collection: category
HAL Collection: Code
HAL Collection: Name
HAL Collection: Internal identifier
Contributor/author Internal identifier
Contributor/author Full name
Domains
Primary domain
Root domain
Sub-domain level 1
Sub-domain level 2
Sub-domain level 3
Status of document
Document version
Submission type
Document type
ISBN
Number - reference
Identifier: DOI
Classification
Audience
Vulgarization
Peer reviewing - text (yes or no)
Conference proceedings
Internal reference
Funding
Collaborations
Add
Lancer la recherche
Search using SolR syntax
Search using SolR syntax
Run the search
Vers la recherche avancée
Upload
Homepage
Browse
Browse by author
Browse by period
Browse by doctype
×
×
×
Loading...
×
Laboratoire de Recherche en Informatique
Verification of Algorithms, Languages and Systems
Last submissions
Antoine Rousseau, Aurélie Darnaud, Brice Goglin, Céline Acharian, Christine Leininger, et al.. Médiation Scientifique : une facette de nos métiers de la recherche. [Interne] Inria. 2013, pp.34.
⟨hal-00804915⟩
Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski. How to be Sure a Faulty System Does not Always Appear Healthy?.
12th International Conference on Verification and Evaluation of Computer and Communication Systems
, Sep 2018, Grenoble, France.
⟨hal-01818314⟩
Lina Ye, Philippe Dague, Lulu He. Manifestability Verification of Discrete Event Systems.
DX 2019 - 30th International Workshop on Principles of Diagnosis
, Nov 2019, Klagenfurt, Austria. pp.1-9.
⟨hal-02425146⟩
Philippe Dague, Lulu He, Lina Ye. How to be sure a faulty system does not always appear healthy?: Fault manifestability analysis for discrete event and timed systems.
Innovations in Systems and Software Engineering
, In press,
⟨10.1007/s11334-019-00357-z⟩
.
⟨hal-02425142⟩
Jean-Christophe Filliâtre. Design of a proof assistant: Coq version 7. [Research Report] Université Paris-Sud. 2000.
⟨hal-02890416⟩
Albin Coquereau. [ErgoFast] Amélioration de performances du solveur SMT Alt-Ergo grâce à l’intégration d’un solveur SAT efficace. Informatique et langage [cs.CL]. Université Paris-Saclay, 2019. Français.
⟨NNT : 2019SACLY007⟩
.
⟨tel-02504894⟩
Mattias Roux. Extensions de l’algorithme d’atteignabilité arrière dans le cadre de la vérification de modèles modulo théories. Logique en informatique [cs.LO]. Université Paris Saclay (COmUE), 2019. Français.
⟨NNT : 2019SACLS582⟩
.
⟨tel-02496033⟩
Raphaël Rieu-Helft. A Why3 proof of GMP algorithms.
Journal of Formalized Reasoning
, 2019,
⟨10.6092/issn.1972-5787/9730⟩
.
⟨hal-02477578⟩
Florian Faissole. Formalisations d’analyses d’erreurs en analyse numérique et en arithmétique à virgule flottante. Logique en informatique [cs.LO]. Université Paris Saclay (COmUE), 2019. Français.
⟨NNT : 2019SACLS594⟩
.
⟨tel-02470728⟩
Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto. A Generalized Program Verification Workflow Based on Loop Elimination and SA Form.
FormaliSE 2019 - 7th International Conference on Formal Methods in Software Engineering
, May 2019, Montreal, Canada.
⟨hal-02431769⟩
Number of Fulltext
226
Number of Notices
101
Document type ratio
Evolution of the submissions
Recherche dans la collection
