Skip to Main content Skip to Navigation


...
hal-00641256v1  Journal articles
Sara AloufEitan AltmanChadi BarakatPhilippe Nain. Optimal estimation of multicast membership
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2003, Signal Processing in Networking, 51 (8), pp.2165-2176. ⟨10.1109/TSP.2003.814461⟩
hal-00764804v1  Conference papers
Ehtesham ZahoorOlivier PerrinClaude Godart. Web services composition verification using satisfiability solving
IEEE 19th International Conference on Web Services, Jun 2012, Honolulu, United States. pp.242-249, ⟨10.1109/ICWS.2012.75⟩
...
hal-02963463v1  Journal articles
Imen SayarJeanine Souquières. La validation dans les premières étapes du processus de développement
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2017, 22 (4), pp.11-41. ⟨10.3166/ISI.22.4.11-41⟩
...
hal-00846775v1  Journal articles
Tobias IsenbergPetra IsenbergJian ChenMichael SedlmairTorsten Möller. A Systematic Review on the Practice of Evaluating Visualization
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2013, 19 (12), pp.2818-2827. ⟨10.1109/TVCG.2013.126⟩
...
hal-00715033v1  Conference papers
Fabian BuettnerMarina EgeaJordi Cabot. On verifying ATL transformations using 'off-the-shelf' SMT solvers
ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems MODELS 2012, Sep 2012, Innsbruck, Austria
...
hal-01559088v1  Conference papers
Raphaël GazzottiOlivier CorbyCatherine Faron Zucker. Un validateur d'ontologies par rapport à des profils OWL implémenté dans le langage STTL
PFIA 2017 - Atelier OWL Reasoning in Practice, Plate-Forme Intelligence Artificielle , Jul 2017, Caen, France. pp.11
...
hal-01240986v2  Conference papers
Kévin RousselYe-Qiong SongOlivier Zendra. Using Cooja for WSN Simulations: Some New Uses and Limits
EWSN 2016 — NextMote workshop, ACM, Feb 2016, Graz, Austria. pp.319‒324
...
hal-01302223v1  Conference papers
Imen SayarJeanine Souquières. La Validation dans le Processus de Développement
34ème Congrès INFORSID, May 2016, Grenoble, France
inria-00615945v1  Conference papers
Stéphane NicolauXavier PennecLuc SolerNicholas Ayache. Evaluation of a New 3D/2D Registration Criterion for Liver Radio-Frequencies Guided by Augmented Reality
International Symposium on Surgery Simulation and Soft Tissue Modeling (IS4TM'03), INRIA Sophia Antipolis, 2003, Juan-les-Pins, France, France. pp.270--283, ⟨10.1007/3-540-45015-7_26⟩
inria-00616082v1  Book sections
Xavier PennecNicholas AyacheJean-Philippe Thirion. Landmark-based registration using features identified through differential geometry
Bankman, I. Handbook of Medical Image Processing and Analysis - New edition, Academic Press, pp.565--578, 2008, 13: 978-0-12-373904-9. ⟨10.1016/B978-012373904-9.50044-1⟩
...
inria-00615106v1  Book sections
Xavier PennecNicholas AyacheJean-Philippe Thirion. Landmark-based registration using features identified through differential geometry
Bankman, I. Handbook of Medical Imaging - Processing and Analysis. I., Academic Press, pp.499--513, 2000
inria-00502673v1  Conference papers
Olivier CommowickRadu StefanescuPierre FillardVincent ArsignyNicholas Ayache et al.  Incorporating statistical measures of anatomical variability in atlas-to-subject registration for conformal brain radiotherapy.
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2005, Oct 2005, Palm Springs, CA, United States. pp.927-34, ⟨10.1007/11566489_114⟩
hal-00985010v1  Conference papers
Dominique MéryNeeraj Kumar Singh. Modeling an Aircraft Landing System in Event-B
ABZ 2014 Case Study Track, Jun 2014, Toulouse, France. pp.154-159
...
hal-01169584v1  Directions of work or proceedings
Xavier BlancLaurence Duchien. Actes des Septièmes journées nationales du GDR Génie de la Programmation et du Logiciel
7eme journées du GDR Génie de la Programmation et du Logiciel, Jun 2015, Bordeaux, France. 2015
...
tel-01750224v2  Theses
Faqing Yang. A Simulation Framework for the Validation of Event-B Specifications
Formal Languages and Automata Theory [cs.FL]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0158⟩
...
tel-00597031v1  Theses
Adolf Samir Abdallah. Conception de SoC à Base d'Horloges Abstraites : Vers l'Exploration d'Architectures en MARTE
Modélisation et simulation. Université des Sciences et Technologie de Lille - Lille I, 2011. Français
...
hal-01236976v1  Conference papers
Ines SarrayAnnie RessoucheDaniel GafféJean-Yves TigliStéphane Lavirotte. Safe Composition in Middleware for the Internet of Things
Middleware for Context-aware Applications for Internet of thing (M4IoT), Dec 2015, Vancouver, Canada. ⟨10.1145/2836127.2836131⟩
hal-02645216v1  Journal articles
Pascal RoyC. TruntzerD. Maucort-BoulchT. JouveNicolas Molinari. Protein mass spectra data analysis for clinical biomarker discovery
Briefings in Bioinformatics, Oxford University Press (OUP), 2011, 12 (2), pp.176-186. ⟨10.1093/bib/bbq019⟩
...
inria-00528590v1  Conference papers
Olivier BouissouEric ConquetPatrick CousotRadhia CousotJérôme Feret et al.  Space Software Validation using Abstract Interpretation
The International Space System Engineering Conference : Data Systems in Aerospace - DASIA 2009, EUROSPACE, May 2009, Istambul, Turkey. pp.1-7
...
hal-00655485v1  Conference papers
Bruno Cuervo ParrinoJulien NarbouxEric ViolardNicolas Magaud. Dealing with arithmetic overflows in the polyhedral model
IMPACT 2012 - 2nd International Workshop on Polyhedral Compilation Techniques, Louis-Noel Pouchet, Jan 2012, Paris, France
...
lirmm-00194273v1  Conference papers
Karen Godary-DejeanDavid AndreuGuillaume Souquet. Sliding Time Interval based MAC Protocol and its Temporal Validation
FET'07: 7th IFAC International Conference on Fieldbuses & Networks in Industrial & Embedded Systems, Nov 2007, Toulouse, France, France. pp.119-126
...
hal-01183129v1  Conference papers
Erwan Bousse. Combining Verification and Validation techniques
Doctoral Symposium of ECMFA, ECOOP and ECSA 2013, Jul 2013, Montpellier, France. pp.10
inria-00615773v1  Conference papers
Jean-Philippe ThirionGérard SubsolDavid S. Dean. Cross Validation of Three Inter-Patients Matching Methods
VBC: Visualization in Biomedical Computing, Sep 1996, Hamburg, Germany. pp.327-336, ⟨10.1007/BFb0046970⟩
lirmm-00374895v1  Journal articles
Olivier CarloniMichel LeclèreMarie-Laure Mugnier. Validation et enrichissement d'annotations : Application à la veille médiatique
Revue des Nouvelles Technologies de l'Information, Hermann, 2008, 855 (E12), pp.105-125
...
tel-00004339v1  Theses
Hubert Garavel. Compilation et vérification de programmes LOTOS
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1989. Français