|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9726 occurrences of 4203 keywords
|
|
|
Results
Found 28136 publication records. Showing 28136 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Xavier Pennec, Jean-Philippe Thirion |
A Framework for Uncertainty and Validation of 3-D Registration Methods Based on Points and Frames. |
Int. J. Comput. Vis. |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Vali Lalioti |
Animation for Validation of Business System Specifications. |
HICSS (2) |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Patrick Barney, Carlos Ferregut, Luis E. Perez, Norman F. Hunter, Thomas L. Paez |
Statistical Validation Of System Models. |
HICSS (5) |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Felice Balarin, Alberto L. Sangiovanni-Vincentelli |
Schedule Validation for Embedded Reactive Real-Time Systems. |
DAC |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Aarti Gupta, Sharad Malik, Pranav Ashar |
Toward Formalizing a Validation Methodology Using Simulation Coverage. |
DAC |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Lars Kai Hansen, Jan Larsen |
Linear unlearning for cross-validation. |
Adv. Comput. Math. |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Dolors Costal, Ernest Teniente, Toni Urpí, Carles Farré |
Handling Conceptual Model Validation by Planning. |
CAiSE |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Hendrik Decker, Ernest Teniente, Toni Urpí |
How to Tackle Schema Validation by View Updating. |
EDBT |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Jon Atle Gulla, Geir Willumsen |
Using Explanations to Improve the Validation of Executable Models |
CAiSE |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Julio César Sampaio do Prado Leite, Peter Freeman |
Requirements Validation Through Viewpoint Resolution. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
viewpoint resolution, analogy heuristics, syntactically oriented analysis of views, software engineering, systems analysis, software requirements |
14 | John T. Nosek, Ruth B. Schwartz |
User Validation of Information System Requirements: Some Empirical Results. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
information system requirements, HIPO, system flowcharts, Warnier-Orr diagrams, user understanding, systems analysis, systems analysis, user requirements, data-flow diagram, DFD |
14 | Ricardo Caferra |
Proof by Matrix Reduction as Plan + Validation. |
CADE |
1982 |
DBLP DOI BibTeX RDF |
|
14 | William E. Howden |
Applicability of Software Validation Techniques to Scientific Programs. |
ACM Trans. Program. Lang. Syst. |
1980 |
DBLP DOI BibTeX RDF |
|
14 | Patrick M. Hoyt |
The Navy Fortran validation system. |
AFIPS National Computer Conference |
1977 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Giammo |
Validation of a computer performance model of the exponential queuing network family. |
SIGMETRICS |
1976 |
DBLP DOI BibTeX RDF |
|
13 | Jinyang Yu, Sami Hamdan, Leonard Sasse, Abigail Morrison, Kaustubh R. Patil |
Empirical Comparison Between Cross-Validation and Mutation-Validation in Model Selection. |
IDA (2) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Jorge Sánchez-Zapero, Enrique Martínez-Sánchez, Fernando Camacho, Zhuosen Wang, Dominique Carrer, Crystal Schaaf, Francisco Javier García-Haro, Jaime E. Nickeson, Michael H. Cosh |
Surface ALbedo VALidation (SALVAL) Platform: Towards CEOS LPV Validation Stage 4 - Application to Three Global Albedo Climate Data Records. |
Remote. Sens. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Boyang Jiang, Xiaohuan Dong, Mingjun Deng, Fangqi Wan, Taoyang Wang, Xin Li 0103, Guo Zhang 0001, Qian Cheng, Shuying Lv |
Geolocation Accuracy Validation of High-Resolution SAR Satellite Images Based on the Xianning Validation Field. |
Remote. Sens. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Jinyang Yu, Sami Hamdan, Leonard Sasse, Abigail Morrison, Kaustubh R. Patil |
Empirical Comparison between Cross-Validation and Mutation-Validation in Model Selection. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Alexey Youssef, Michael Pencina, Anshul Thakur, Tingting Zhu 0001, David A. Clifton, Nigam H. Shah |
All models are local: time to replace external validation with recurrent local validation. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Szilvia Szeghalmy, Attila Fazekas |
A Comparative Study of the Use of Stratified Cross-Validation and Distribution-Balanced Stratified Cross-Validation in Imbalanced Learning. |
Sensors |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Milad Poursoltan |
Methodological and operational framework for the validation and improvement of Cyber-Physical and Human Systems based on modelling and simulation. (Cadre méthodologique et opérationnel pour l'apprentissage, la validation et l'amélioration des Systèmes Cyber-Physiques et Humains basé sur la modélisation et la simulation). |
|
2023 |
RDF |
|
13 | Florent Leoty |
Vers le couplage sémantique de planifications de tâches et de trajectoires pour la validation de tâches complexes sous fortes contraintes spatiales. (Towards the semantic coupling of task and motion planning for the validation of complex tasks under strong spatial constraints). |
|
2023 |
RDF |
|
13 | Sten Vercammen, Markus Borg, Serge Demeyer |
Validation of Mutation Testing in the Safety Critical Industry through a Pilot Study. |
ICSTW |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Theresa Ullmann, Christian Hennig, Anne-Laure Boulesteix |
Validation of cluster analysis results on validation data: A systematic framework. |
WIREs Data Mining Knowl. Discov. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Hyeon Jeon, Michaël Aupetit 0001, DongHwa Shin, Aeri Cho, Seokhyeon Park, Jinwook Seo |
Sanity Check for External Clustering Validation Benchmarks using Internal Validation Measures. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Filippo Neri |
Coevolution and learning symbolic concepts: statistical validation: Empirical statistical validation of co-evolutive machine learning systems. |
ICMLT |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Gabriele Bai, Christophe Lerebourg, Luke A. Brown, Harry Morris, Jadu Dash, Marco Clerici, Nadine Gobron |
GBOV (Ground-Based Observation for Validation): A Copernicus Service for Validation of Land Products. |
IGARSS |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Daniel Mantilla-García |
Validation process, clinical impact and potential uses of a software for virtual simulation for the endovascular treatment of intracranial aneurysms. (Processus de validation, impact clinique et utilisations potentielles d'un logiciel de simulation virtuelle pour le traitement endovasculaire des anévrismes intracrâniens). |
|
2022 |
RDF |
|
13 | Roman Bresson |
Neural learning and validation of hierarchical multi-criteria decision aiding models with interacting criteria. (Apprentissage neuronal et validation de modèles hiérarchiques d'aide à la décision multicritère présentant de l'interaction entre les critères). |
|
2022 |
RDF |
|
13 | Souad Marir |
Modélisation Formelle des Systèmes Fog: vers l'Analyse et la Validation de leur Comportement. (Formal Modeling of Fog Systems: Towards the Analysis and Validation of their Behaviour). |
|
2022 |
RDF |
|
13 | Basile Clément |
Translation Validation of Tensor Compilers. (Validation de Traduction pour Compilateurs de Tenseurs). |
|
2022 |
RDF |
|
13 | Théo Jeanneau |
Etude et validation d'une approche cinétique couplée pour la modélisation du transfert multimodal et multi-échelle de chaleur en milieu hétérogène. (Study and validation of a coupled kinetic approach for the modelling of multimodal and multi-scale heat transfer in heterogeneous media). |
|
2022 |
RDF |
|
13 | Marieke Huisman, Cristina Seceleanu |
Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary). |
ISoLA (1) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Giancarlo Valente, Agustin Lage-Castellanos, Lars Hausfeld, Federico De Martino, Elia Formisano |
Cross-validation and permutations in MVPA: Validity of permutation strategies and power of cross-validation schemes. |
NeuroImage |
2021 |
DBLP DOI BibTeX RDF |
|
13 | David Ferreira Quaresma, Thiago Emmanuel Pereira, Daniel Fireman |
Validation of a simulation model for FaaS performance benchmarking using predictive validation. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Florent Cabric, Emmanuel Dubois 0001, Marcos Serrano |
Extension de KLM au Pointage du Regard et Validation Gestuelle dans HoloLens: Extending KLM to Model Spatial Search, Gaze Pointing and Mid-Air Validation for Hololens. |
IHM |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Arthur Remaud |
Utilisation d'outils de TAL pour la compréhension des spécifications de validation de données (Use of NLP tools for automatic comprehension of data validation specifications). |
TALN-RECITAL |
2021 |
DBLP BibTeX RDF |
|
13 | Vernie C. Convicto, Jan Risty L. Marzon, Andelson L. Berondo, Angelina M. Bacala |
PRIMO Monte Carlo validation of Elekta Synergy Platform linac at Davao Doctors Hospital for a 10 MV photon beam: PRIMO Monte Carlo validation of Elekta Synergy Platform linac at Davao Doctors Hospital for a 10 MV photon beam. |
BECB |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Lu Zhao 0004 |
Road Traffic Models for Validation of Autonomous Vehicle Functionalities. (Modèles de trafic routier pour la validation de fonctionnalités de véhicule autonome). |
|
2021 |
RDF |
|
13 | Julien Girard-Satabin |
Verification and validation of Machine Learning techniques. (Vérification et validation de techniques d'apprentissage machine). |
|
2021 |
RDF |
|
13 | Minh Tri Le |
Nouvelles approches d'analyse et de Validation d'un reseau Electrique Intelligent Basees sur des methodes Holistiques de Co-simulation. (New Approaches for Analysis and Validation of a Smart Grid based on Holistic Co-simulation Methods). |
|
2021 |
RDF |
|
13 | Guillaume Lucas 0002 |
Réduction du mal du simulateur lors de la simulation longue durée pour la validation de véhicules autonomes. (Reduction of simulator sickness during long duration simulation for validation of autonomous vehicles). |
|
2021 |
RDF |
|
13 | Jean-Philippe Gros |
Contributions à la validation des systèmes à composants adaptatifs par génération de tests. (Contributions to the validation of adaptive component systems by test generation). |
|
2021 |
RDF |
|
13 | Björn Heling |
Einsatz und Validierung virtueller Absicherungsmethoden für abweichungsbehaftete Mechanismen im Kontext des Robust Design (Use and validation of virtual validation methods for deviation-afflicted mechanisms in the context of robust design) (PDF / PS) |
|
2021 |
RDF |
|
13 | Joel Öhrling, Dragos Truscan, Sébastien Lafond |
Enabling Fast Exploration and Validation of Thermal Dissipation Requirements for Heterogeneous SoCs. |
ICST Workshops |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Herminio García-González, José Emilio Labra Gayo |
XMLSchema2ShEx: Converting XML validation to RDF validation. |
Semantic Web |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Boye Zhou, Christopher Watson, Benoit Legrésy, Matt A. King, Jack Beardsley, Alistair Deane |
GNSS/INS-Equipped Buoys for Altimetry Validation: Lessons Learnt and New Directions from the Bass Strait Validation Facility. |
Remote. Sens. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Simon J. Hook, Kerry Cawse-Nicholson, Julia A. Barsi, Robert G. Radocinski, Glynn C. Hulley, William R. Johnson, Gerardo Rivera, Brian L. Markham |
In-Flight Validation of the ECOSTRESS, Landsats 7 and 8 Thermal Infrared Spectral Channels Using the Lake Tahoe CA/NV and Salton Sea CA Automated Validation Sites. |
IEEE Trans. Geosci. Remote. Sens. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Jennifer C. Goldsack, Andrea R. Coravos, Jessie P. Bakker, Brinnae Bent, Ariel V. Dowling, Cheryl J. Fitzer-Attas, Alan Godfrey, Job G. Godino, Ninad Gujar, Elena Izmailova, Christine Manta, Barry Peterson, Benjamin Vandendriessche, William A. Wood, Will Ke Wang, Jessilyn Dunn |
Verification, analytical validation, and clinical validation (V3): the foundation of determining fit-for-purpose for Biometric Monitoring Technologies (BioMeTs). |
npj Digit. Medicine |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Emily Caveness, Paul Suganthan G. C., Zhuo Peng, Neoklis Polyzotis, Sudip Roy 0002, Martin Zinkevich |
TensorFlow Data Validation: Data Analysis and Validation in Continuous ML Pipelines. |
SIGMOD Conference |
2020 |
DBLP DOI BibTeX RDF |
|
13 | José Antonio Yañez-Figueroa, María Soledad Ramírez-Montoya, Francisco José García-Peñalvo |
Validation of the K-Social-C questionnaire for measuring the Social Construction of Knowledge from Open Innovation in Social Innovation Laboratories: Instrument Validation. |
TEEM |
2020 |
DBLP DOI BibTeX RDF |
|
13 | João Vicente Meyer, Lucas Machado da Palma, Jean Everson Martina |
Document Validation using Blockchain: A validation scheme for natural persons documents. |
SBRC Companion |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Thanh-Dat Nguyen 0001 |
Aide à la validation temporelle et au dimensionnement de systèmes temps réels dans une démarche dirigée par modèles. (Help With Temporal Validation and Sizing of Real-Time Systems in a Model Driven Engineering Approach). |
|
2020 |
RDF |
|
13 | Maxime Michaud |
Développement et validation d'une méthode de relaxométrie T2* bi-exponentielle en IRM cérébrale. (Development and validation of a bi-exponential T2* relaxometry method in cerebral MRI). |
|
2020 |
RDF |
|
13 | Jérémy Coulaud |
Sécurisation des traitements radiothérapeutiques du cancer: validation physique des plans théoriques de radiothérapie par des fantômes dosimétriques anthropomorphes. (Radiotherapy treatments securing: physical validation of treatment planning system by anthropomorphic dosimetric phantoms). |
|
2020 |
RDF |
|
13 | Farah Haidar |
Validation platform for vehicle secure and highly trusted communications in the context of the cooperative ITS systems. (Plateforme de validation des communications véhicules sécurisées et de haut niveau de confiance pour les systèmes coopératifs ITS). |
|
2020 |
RDF |
|
13 | Maxence Ferrari |
Study of a Biosonar Based on the Modeling of a Complete Chain of Emission-Propagation-Reception with Validation on Sperm Whales. (Etude de sonar bio-inspiré basée sur la modélisation d'une chaîne complète d'émission-propagation-réception - Validation sur le cachalot). |
|
2020 |
RDF |
|
13 | Marc Nabhan |
Models and algorithms for the exploration of the space of scenarios: toward the validation of the autonomous vehicle. (Modèles et algorithmes pour l'exploration de l'espace des scénarios: vers la validation du véhicule autonome). |
|
2020 |
RDF |
|
13 | Camille Krewcun |
Simulation numérique de déploiement de stent coronaire en vue d'un traitement personnalisé - validation sur fantôme acquis en imagerie microdensitométrique. (Numerical simulation of coronary stent deployment aiming at patient-specific treatment - validation on coronary phantoms using micro-computed tomography). |
|
2020 |
RDF |
|
13 | Alan Courteau |
Contribution au développement d'un système TEP/IRM simultané pour le petit animal : validation physique et expérimentale. (Contributions to the physical and experimental validation of a simultaneous PET/MRI system dedicated to small animal imaging). |
|
2020 |
RDF |
|
13 | Stefano Polizzi |
Emergence of log-normal distributions in avalanche processes, validation of 1D stochastic and random network models, with an application to the characterization of cancer cells plasticity. (Émergence de distributions log-normales dans des processus d'avalanche, validation de modèles stochastiques 1D et sur réseaux aléatoires, avec une application à la caractérisation de la plasticité des cellules cancéreuses). |
|
2020 |
RDF |
|
13 | Marieke Huisman, Cristina Seceleanu |
Verification and Validation of Concurrent and Distributed Systems (Track Summary). |
ISoLA (1) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Dirk Beyer 0001, Karlheinz Friedberger |
Violation Witnesses and Result Validation for Multi-Threaded Programs - Implementation and Evaluation with CPAchecker. |
ISoLA (1) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Bernd-Holger Schlingloff |
Specification, Synthesis and Validation of Strategies for Collaborative Embedded Systems. |
ISoLA (3) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Joze Tavcar, Joze Duhovnik, Imre Horváth |
From Validation of Medical Devices towards Validation of Adaptive Cyber-Physical Systems. |
J. Integr. Des. Process. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Thomas Polacsek |
Vérification, validation, certification : approches formelles et informelles pour établir la correction des artefacts et des logiciels. (Verification, validation, certification: formal and informal approaches to establish the correction of artefacts and software). |
|
2019 |
RDF |
|
13 | Albert Albers, Jonas Reinemann, Joshua Fahl, Tobias Hirschter |
Augmented Reality for Product Validation: Supporting the Configuration of AR-Based Validation Environments. |
HCI (10) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Gabriele Bai, Nadine Gobron, Jadu Dash, Luke A. Brown, Courtney Meier, Christophe Lerebourg, Erwin Ronco, Nicolas Lamquin, Véronique Bruniquel, Marco Clerici |
GBOV (Ground-Based Observation for Validation): A Copernicus Service for Validation of Vegetation Land Products. |
IGARSS |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Nisrine Jafri |
Formal fault injection vulnerability detection in binaries : a software process and hardware validation. (Détection formelle de vulnérabilité créée par injection de faute au niveau binaire : un processus logiciel et une validation matérielle). |
|
2019 |
RDF |
|
13 | Ronan Baduel |
An integrated model-based early validation approach for railway systems. (Une approche intégrée de validation des systèmes ferroviaires basée sur les modèles). |
|
2019 |
RDF |
|
13 | Pierre-Antoine Cinquin |
Conception, intégration et validation de systèmes numériques d'enseignement accessibles aux personnes en situation de handicap cognitif. (Design, integration and validation of digital education systems accessible to people with cognitive disabilities). |
|
2019 |
RDF |
|
13 | Pauline Kergus |
Data-driven model reference control in the frequency-domain From model reference selection to controller validation. (Contrôle direct dans le domaine fréquentiel: Du choix du modèle de référence à la validation du contrôleur). |
|
2019 |
RDF |
|
13 | Rajat Bindlish, Michael H. Cosh, Thomas J. Jackson, Toshio Koike, Hideyuki Fujii, Steven Tsz K. Chan, Jun Asanuma, Aaron Berg, David D. Bosch, Todd Caldwell, Chandra D. Holifield Collins, Heather McNairn, José Martínez-Fernández, John H. Prueger, Tracy L. Rowlandson, Mark S. Seyfried, Patrick J. Starks, Marc Thibeault, Rogier van der Velde, Jeffrey P. Walker, Evan J. Coopersmith |
GCOM-W AMSR2 Soil Moisture Product Validation Using Core Validation Sites. |
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Clément Roos |
Advanced control laws design and validation - A set of methods and tools to bridge the gap between theory and practice. (Synthèse et validation de lois de commande avancées - Un ensemble de méthodes et d'outils pour faire le lien entre théorie et pratique). |
|
2018 |
RDF |
|
13 | Ahmed Hammad |
Contributions à la modélisation et à la validation des systèmes complexes. (Contributions to the modeling and validation of complex systems). |
|
2018 |
RDF |
|
13 | Abdulrhman Aljouie, Nihir Patel, Usman Roshan |
Cross-validation and cross-study validation of kidney cancer with machine learning and whole exome sequences from the National Cancer Institute. |
CIBCB |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Mohammed J. Abdulaal, Alexander J. Casson, Patrick Gaydecki |
Performance of Nested vs. Non-Nested SVM Cross-Validation Methods in Visual BCI: Validation Study. |
EUSIPCO |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Fadi Obeid |
Validation formelle d'implantation de patrons de sécurité. (Formal Validation of Security Patterns Implementation). |
|
2018 |
RDF |
|
13 | Mohamed Niang |
Vérification formelle et simulation pour la validation des systèmes de contrôle commande des EALE. (Formal verification and simulation for the validation of PSEEL's control systems (Power Supply Equipment of the Electric Lines)). |
|
2018 |
RDF |
|
13 | Ibrahim Merzoug |
Validation formelle des systèmes numériques critiques : génération de l'espace d'états de réseaux de Petri exécutés en synchrone. (Formal validation of critical digital systems : generation of state space of Petri nets executed in synchronous). |
|
2018 |
RDF |
|
13 | Raphael Cohen |
Formal Verification and Validation of Convex Optimization Algorithms For model Predictive Control. (Vérification formelle et validation des algorithmes d'optimisation convexe appliqués à la commande prédictive). |
|
2018 |
RDF |
|
13 | Angéline Nemeth |
Développement et validation de stratégies de quantification lipidique par imagerie et spectroscopie proton à 3T: Application à l'étude de la surnutrition. (Development and validation of lipid quantification strategies using proton magnetic resonance imaging and spectroscopy at 3T: Application to an overfeeding study). |
|
2018 |
RDF |
|
13 | Lara Jobeili |
Évolution de modèles tridimensionnels de peau reconstruite pour approfondir la connaissance des mécanismes du vieillissement cutané et validation de l'efficacité « anti-âge » du sélénium. (Evolution of skin equivalent models to improve the knowledge of skin aging mechanisms and validation of selenium efficiency as anti-aging). |
|
2018 |
RDF |
|
13 | Gaëlle Fiard |
Apprentissage des biopsies prostatiques par la simulation: vers la validation du simulateur Biopsym. (Simulation-based teaching of prostate biopsies: towards validation of the Biopsym simulator). |
|
2018 |
RDF |
|
13 | Razika Lounas |
Validation des spécifications formelles de la mise à jour dynamique des applications Java Card. (Validation of formal specifications for dynamic updates in Java Card applications). |
|
2018 |
RDF |
|
13 | Kim G. Larsen, Florian Lorber, Brian Nielsen |
20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond. |
ISoLA (4) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Hardi Hungar |
Scenario-Based Validation of Automated Driving Systems. |
ISoLA (3) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Cristina Seceleanu |
ISoLA 2018 - Verification and Validation of Distributed Systems: Track Introduction. |
ISoLA (3) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Ainhoa Yera, Olatz Arbelaitz, José Luis Jodrá, Ibai Gurrutxaga, Jesús M. Pérez, Javier Muguerza |
Analysis of several decision fusion strategies for clustering validation. Strategy definition, experiments and validation. |
Pattern Recognit. Lett. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Didier G. Leibovici, Jamie Williams, Julian F. Rosser, Crona Hodges, Colin Chapman, Christopher I. Higgins, Mike J. Jackson |
Earth Observation for Citizen Science Validation, or Citizen Science for Earth Observation Validation? The Role of Quality Assurance of Volunteered Observations. |
Data |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Craig Anderson 0002, Julia Figa-Saldana, John Julian William Wilson, Francesca Ticconi |
Validation and Cross-Validation Methods for ASCAT. |
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Andrea Baraldi 0001, Michael Laurence Humber, Dirk Tiede, Stefan Lang 0001 |
Stage 4 validation of the Satellite Image Automatic Mapper lightweight computer program for Earth observation Level 2 product generation, Part 2 Validation. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
13 | Calypso Barnes |
Verification and Validation of Wireless Sensor Network Protocol Properties through the System's Emulation. (Vérification et Validation de Propriétés de Protocoles pour Réseaux de Capteurs sans Fil grâce au Couplage de la Simulation et de l'Emulation du Système). |
|
2017 |
RDF |
|
13 | Yanjun Sun |
Strengthening fonctional validation of critical system by using Model Checking : Application to Instrumentation and Control systems in nuclear power plants. (Consolidation de validation fonctionnelle de systèmes critiques à l'aide de model checking. Application au contrôle commande de centrales nucléaires). |
|
2017 |
RDF |
|
13 | Jean-François Weber |
Guider et contrôler les reconfigurations de systèmes à composants: Reconfigurations dynamiques: modélisation formelle et validation automatique. (Guide and control component systems-based system reconfigurations: Dynamic reconfigurations: formal modelling and automatic validation). |
|
2017 |
RDF |
|
13 | Binod Kumar 0001, Kanad Basu, Masahiro Fujita, Virendra Singh |
RTL level trace signal selection and coverage estimation during post-silicon validation. |
HLDVT |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Michele Lora |
Validation of HMI applications for industrial smart display. |
HLDVT |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Pankaj Moharikar, Jayakrishna Guddeti |
Automated test generation for post silicon microcontroller validation. |
HLDVT |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Ravindra Patankar, Sandeep Dulluri |
Automated validation of structured large databases: an illustration of material code bulk validation. |
Int. J. Big Data Intell. |
2016 |
DBLP DOI BibTeX RDF |
|
|
|