Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

164 résultats
keyword_s : Validation
Page :
triés par
Image document

Composition and Formal Validation in Reactive Adaptive Middleware

 Annie Ressouche , Jean-Yves Tigli , Carillo Oscar
[Research Report] RR-7541, INRIA. 2011, pp.27
Rapport inria-00565860v2
Image document

Un validateur d'ontologies par rapport à des profils OWL implémenté dans le langage STTL

 Raphaël Gazzotti , Olivier Corby , Catherine Faron Zucker
PFIA 2017 - Atelier OWL Reasoning in Practice, Plate-Forme Intelligence Artificielle , Jul 2017, Caen, France. pp.11
Communication dans un congrès hal-01559088v1
Image document

Simulating fibre assemblies: from Hollywood illusions to physical predictions

 Florence Bertails-Descoubes
HFSS 2023 – International Conference on Highly Flexible Slender Structures, Sep 2023, Rijeka, Croatia. pp.1-3
Communication dans un congrès hal-04265998v1
Image document

Simulation-based Optimization and Sensibility Analysis of MPI Applications: Variability Matters

 Tom Cornebize , Arnaud Legrand
Journal of Parallel and Distributed Computing, 2022, ⟨10.1016/j.jpdc.2022.04.002⟩
Article dans une revue hal-03141988v2
Image document

Formalization of Requirements for Correct Systems

 Imen Sayar , Jeanine Souquières
Formal Requirements 2020, Sophie Ebersold (University of Toulouse, France); Regine Laleau (University of Paris-Est Creteil, France); Manuel Mazzara (Innopolis University, Russia), Aug 2020, Zurich, Switzerland
Communication dans un congrès hal-02963472v1
Image document

Developing Specifications by using Operators: a Process to guarantee correctness by construction

 Dieu Donné Okalas Ossami , Jeanine Souquières , Jean-Pierre Jacquot
2006
Pré-publication, Document de travail hal-00104266v1

EAST-ADL - An Architecture Description Language - Validation and Verification Aspects

 Vincent Debruyne , Françoise Simonot-Lion , Yvon Trinquet
IFIP Workshop on Architecture Description Languages 2004 - WADL'04, 2004, Toulouse/France, pp.53-62
Communication dans un congrès inria-00100020v1

Validation of In-Vehicle Real-Time Applications

 Nicolas Navet , Ye-Qiong Song
Computers in Industry, 2001, 46 (2), pp.107-122
Article dans une revue inria-00100930v1

Modeling an Aircraft Landing System in Event-B

 Dominique Méry , Neeraj Kumar Singh
ABZ 2014 Case Study Track, Jun 2014, Toulouse, France. pp.154-159
Communication dans un congrès hal-00985010v1

Développement de fonctions définies récursivement en B : Application du B événementiel

 Dominique Cansell , Dominique Méry
[Interne] A02-R-347 || cansell02b, 2002, 25 p
Rapport inria-00101076v1

Approches formelles pour le développement de logiciels

 Jacques Julliand , Jeanine Souquières
Lavoisier (Hermes), pp.142, 2006
Ouvrages hal-00184422v1
Image document

A Systematic Review on the Practice of Evaluating Visualization

 Tobias Isenberg , Petra Isenberg , Jian Chen , Michael Sedlmair , Torsten Möller
IEEE Transactions on Visualization and Computer Graphics, 2013, 19 (12), pp.2818-2827. ⟨10.1109/TVCG.2013.126⟩
Article dans une revue hal-00846775v1

Performance Evaluation of a multiple Networked in-vehicle Embedded Architecture

 Paolo Castelpietra , Ye-Qiong Song , Françoise Simonot-Lion , O. Cayrol
3rd IEEE International Workshop on Factory Communication Systems, 2000, Porto/Portugal, 8 p
Communication dans un congrès inria-00099138v1

L4.3 : Identification et mise en oeuvre des outils de simulation et vérification

 Abdelmadjid Bouabdallah , Mohamed Salah Bouassida , Isabelle Chrisment , Pierre de Saqui-Sannes , Sara del Socorro Mota Gonzalez , et al.
[Contrat] 2006, pp.28
Rapport inria-00113243v1
Image document

A Lightweight Toolchain to Validate, Visualize, Analyze, and Deploy ETSI NFV Topologies

 Philippe Merle , Adja Ndeye Sylla , Meryem Ouzzif , Frédéric Klamm , Karine Guillouard
NetSoft 2019 - The 5th IEEE International Conference on Network Softwarization, Jun 2019, Paris, France. ⟨10.1109/NETSOFT.2019.8806632⟩
Communication dans un congrès hal-02124164v1
Image document

Stepwise Validation of Formal Specifications

 Atif Mashkoor , Jean-Pierre Jacquot
The eighteenth Asia-Pacific Software Engineering Conference (APSEC 2011), Dec 2011, Ho Chi Minh City, Vietnam
Communication dans un congrès inria-00392939v2
Image document

Quelques contributions à l'imagerie médicale multimodale et interventionnelle

 Erwan Kerrien
Imagerie médicale. Université de Lorraine, 2018
HDR tel-01754699v1
Image document

Space Software Validation using Abstract Interpretation

 Olivier Bouissou , Eric Conquet , Patrick Cousot , Radhia Cousot , Jérôme Feret , et al.
The International Space System Engineering Conference : Data Systems in Aerospace - DASIA 2009, EUROSPACE, May 2009, Istambul, Turkey. pp.1-7
Communication dans un congrès inria-00528590v1

Toward Validated Composition in Component-Based Adaptive Middleware

 Annie Ressouche , Jean-Yves Tigli , Oscar Carrillo
SC 2011- 10th International Conference Software Composition, Mario Sudhot, Jun 2011, Zurich, Switzerland. pp.165-180, ⟨10.1007/978-3-642-22045-6_12⟩
Communication dans un congrès istex inria-00605915v1
Image document

La validation dans les premières étapes du processus de développement

 Imen Sayar , Jeanine Souquières
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2017, 22 (4), pp.11-41. ⟨10.3166/ISI.22.4.11-41⟩
Article dans une revue hal-02963463v1
Image document

Du cahier des charges à sa spécification

 Imen Sayar , Jeanine Souquières
AFADL : Approches Formelles dans l'assistance au Développement de Logiciels, Jun 2017, Montpellier, France
Communication dans un congrès hal-02963455v1

EAST-ADL - An Architecture Description Language - Validation and Verification Aspects

 Vincent Debruyne , Françoise Simonot-Lion , Yvon Trinquet
P. Dissaux and M. Filali and P. Michel and F. Vernadat. Architecture Description Language, Kluwer Academic Publishers, 15 p, 2004
Chapitre d'ouvrage inria-00100019v1

Verification and Validation techniques used by EAST partners

 Alice Halter , Gerardo Satriano , Françoise Simonot-Lion , Jens Hermann , Mikael Nolin
[Contract] A03-R-339 || halter03a, 2003, 61 p
Rapport inria-00099652v1

Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings

 Uwe Glässer , Jose Creissac Campos , Dominique Méry , Philippe Palanque
Lecture Notes in Computer Science, 14010, Springer Nature Switzerland, 2023, 978-3-031-33162-6. ⟨10.1007/978-3-031-33163-3⟩
Proceedings/Recueil des communications hal-04183902v1
Image document

Reliability and Safety of Critical Device Software Systems

 Neeraj Kumar Singh
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2011. English. ⟨NNT : 2011NAN10129⟩
Thèse tel-01746287v1

Microscopic modeling of support system for in-vehicle embedded systems

 Matthieu Courrier , Françoise Simonot-Lion , Ye-Qiong Song
Franz J. Rammig (Ed). Distributed and parallel embedded systems, Kluwer Academic Publishers, pp.139-148, 1999, IFIP
Chapitre d'ouvrage inria-00098839v1

AIL_Transport, un langage pour la description d'architectures électroniques embarquées dans l'automobile

 Françoise Simonot-Lion
Conférence Ingénierie Automobile 2003, 2003, Massy-Palaiseau/France, 35 p
Communication dans un congrès inria-00099653v1

Report about the user experience with ISAEUS

 Marie-Christine Haton
[Contract] A00-R-242 || haton00a, 2000, 75 p
Rapport inria-00099131v1
Image document

Assessing the Feasibility of Estimating Axon Diameter using Diffusion Models and Machine Learning

 Rutger H.J. Fick , Neda Sepasian , Marco Pizzolato , Andrada Ianus , Rachid Deriche
IEEE International Symposium on Biomedical Imaging (ISBI), Apr 2017, Melbourne, Australia
Communication dans un congrès hal-01451664v1

Version francophone du TASTE (Test for Ability to Study and Evaluation)

 Andre-Marie Masson , Martine Cadot , A.M. Peirera , E. Depreeuw , M. Ansseau
L'Encéphale, 2001, 27, pp.527-538
Article dans une revue inria-00100676v1
Page :