Search results for "validation"

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