Search results for "validation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Geguang Pu, Jianqi Shi, Zheng Wang 0005, Lu Jin, Jing Liu 0012, Jifeng He 0001	The Validation and Verification of WSCDL.	APSEC	2007	DBLP DOI BibTeX RDF	WSCDL, Verification, Validation
19	Amy L. Olex, David J. John, Elizabeth M. Hiltbold, Jacquelyn S. Fetrow	Additional limitations of the clustering validation method figure of merit.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF	FOM, cluster validation method, clustering, similarity measure, cluster analysis, K-means, gene expression, distance metric, Euclidean distance, correlation coefficient, figure of merit, Pearson's correlation coefficient
19	Shinji Kikuchi, Satoshi Tsuchiya, Motomitsu Adachi, Tsuneo Katsuyama	Policy Verification and Validation Framework Based on Model Checking Approach.	ICAC	2007	DBLP DOI BibTeX RDF	policy verification and validation, on-demand data center, model checking, resource management, autonomic system, policy-based management
19	Hao Wu, Jonathan L. Shapiro	Parameter cross-validation and early-stopping in univariate marginal distribution algorithm.	GECCO	2007	DBLP DOI BibTeX RDF	early-stopping, univariate marginal distribution algorithm (UMDA), cross-validation, overfitting
19	Friedrich Steimann, Heribert Vollmer	Exploiting practical limitations of UML diagrams for model validation and execution.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF	Validation of models, Modelling, UML, Modelling language
19	Susanne Graf, Øystein Haugen, Ileana Ober, Bran Selic	Preface of "Specification and Validation of Real Time and Embedded systems in UML".	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Modeling, UML, Real time, Semantics, Formal verification, Software development, Validation
19	Daniel Garcia, Catalina M. Lladó, Connie U. Smith, Ramón Puigjaner	Performance Model Interchange Format: Semantic Validation.	ICSEA	2006	DBLP DOI BibTeX RDF	Semantic validation, XML, Performance Models, SPE, Queueing Network Models, Tool interoperability, Interchange Format
19	Linda Schmalbeck, Jonathan Stuart-Moore, Monte Evans	Adapting peer verification, validation and accreditation processes for digital libraries.	JCDL	2006	DBLP DOI BibTeX RDF	VV&A, content review, standards, validation, computational science, accreditation, educator resources
19	Margaret Gaitatzes Kostoulas, Morris Matsa, Noah Mendelsohn, Eric Perkins, Abraham Heifets, Martha Mercaldi	XML screamer: an integrated approach to high performance XML parsing, validation and deserialization.	WWW	2006	DBLP DOI BibTeX RDF	JAX-RPC, schema compilation, XML, performance, validation, parsing, XML schema, SAX
19	Devinder Thapa, Chang Mok Park, Suraj Dangol, Gi-Nam Wang	III-Phase Verification and Validation of IEC Standard Programmable Logic Controller.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF	Verification & Validation (V&V), Virtual Commissioning, Flexible Manufacturing System (FMS), Model Checking, PLC
19	Yamine Aït Ameur, Idir Aït-Sadoune, Jean-Marc Mota, Mickaël Baron	Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve.	IHM	2006	DBLP DOI BibTeX RDF	CARE properties, multi-modal HCI, proof based technique, verification/validation
19	Margaret A. Wojcicki, Paul A. Strooper	A state-of-practice questionnaire on verification and validation for concurrent programs.	PADTAD	2006	DBLP DOI BibTeX RDF	validation technologies, verification, concurrency, survey
19	Amitava Majumdar 0002, Wei-Yu Chen, Jun Guo	Hold time validation on silicon and the relevance of hazards in timing analysis.	DAC	2006	DBLP DOI BibTeX RDF	hold time validation, ATPG, timing analysis, delay test
19	Mikael Gustafsson, Michael Hornquist, Anna Lombardi	Constructing and Analyzing a Large-Scale Gene-to-Gene Regulatory Network-Lasso-Constrained Inference and Biological Validation.	IEEE ACM Trans. Comput. Biol. Bioinform.	2005	DBLP DOI BibTeX RDF	outdegree, validation, time series analysis, Biology and genetics, gene network, Lasso, network problems, network inference, yeast
19	Arnab Roy 0001, Subrat Kumar Panda, Rajeev Kumar 0004, P. P. Chakrabarti 0001	A framework for systematic validation and debugging of pipeline simulators.	ACM Trans. Design Autom. Electr. Syst.	2005	DBLP DOI BibTeX RDF	Simulation-based verification, dataflow equivalence, pipeline validation, design space exploration, instruction scheduling, pipelined architectures
19	David A. Joiner, Steven I. Gordon, Scott A. Lathrop, Marilyn McClelland, D. E. Stevenson	Applying verification, validation, and accreditation processes to digital libraries.	JCDL	2005	DBLP DOI BibTeX RDF	verification, digital library, validation, peer review, accreditation
19	Lester O. Lobo, James D. Arthur	Local and global analysis: complementary activities for increasing the effectiveness of requirements verification and validation.	ACM Southeast Regional Conference (2)	2005	DBLP DOI BibTeX RDF	verification, validation, requirements, analysis
19	Wei-Tek Tsai, Xinxin Liu, Yinong Chen, Raymond A. Paul	Simulation Verification and Validation by Dynamic Policy Enforcement.	Annual Simulation Symposium	2005	DBLP DOI BibTeX RDF	Automated Policy Specification and Enforcement, Simulation, Verification and Validation
19	Mark Sherriff	Utilizing verification and validation certificates to estimate software defect density.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	validation and verification management, reliability estimation, software reliability engineering
19	Andres Rojas, Philip Branch, Grenville J. Armitage	Experimental validation of the random waypoint mobility model through a real world mobility trace for large geographical areas.	MSWiM	2005	DBLP DOI BibTeX RDF	validation, mobility model
19	Theresa Cooke, Florian Steinke, Christian Wallraven, Heinrich H. Bülthoff	A similarity-based approach to perceptual feature validation.	APGV	2005	DBLP DOI BibTeX RDF	haptic, validation, perception, texture, similarity, shape, features, vision, multidimensional scaling, touch
19	Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente	Directed explicit-state model checking in the validation of communication protocols.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Model checking, Directed search, Protocol validation
19	Fulvio Corno, Ernesto Sánchez 0001, Matteo Sonza Reorda, Giovanni Squillero	Code Generation for Functional Validation of Pipelined Microprocessors.	J. Electron. Test.	2004	DBLP DOI BibTeX RDF	pipelined micro processors, evolutionary algorithms, functional validation, automatic test program generation
19	Zheng-Yu Niu, Dong-Hong Ji, Chew Lim Tan	Document clustering based on cluster validation.	CIKM	2004	DBLP DOI BibTeX RDF	cluster number estimation, feature selection, document clustering, cluster validation
19	Qiang Zhu 0005, Ryosuke Oishi, Takashi Hasegawa, Tsuneo Nakata	System-on-chip validation using UML and CWL.	CODES+ISSS	2004	DBLP DOI BibTeX RDF	specification modeling, UML, validation and verification, verification process
19	Hojung Cha, Rhan Ha, Jane W.-S. Liu	Experimental Analysis of Timing Validation Methods for Distributed Real-Time Systems.	J. Supercomput.	2003	DBLP DOI BibTeX RDF	nonmigratable jobs, performance evaluation, validation, schedulability analysis, distributed real-time system
19	Tomas Berling, Thomas Thelin	An Industrial Case Study of the Verification and Validation Activities.	IEEE METRICS	2003	DBLP DOI BibTeX RDF	fault detection technique, software process metrics, software testing, case study, software process improvement, incremental development, software validation
19	Chang-Shing Perng, David Thoenen, Genady Grabarnik, Sheng Ma, Joseph L. Hellerstein	Data-driven validation, completion and construction of event relationship networks.	KDD	2003	DBLP DOI BibTeX RDF	ERN Construction, ERN Validation, action oriented-analysis, event management methodology, event relationship networks, proactive management, root cause analysis
19	T. Suman Kumar Reddy, Hrushikesha Mohanty, R. K. Ghosh, Sanjay Madria	Two Distributed Algorithms for E-ticket Validation protocols for Mobile Clients.	CEC	2003	DBLP DOI BibTeX RDF	E-Ticket, Validation, Distributed Computing Environment, Mobile Computing Environment
19	Bengt Öhman	Discrete Sensor Validation with Multilevel Flow Models.	IEEE Intell. Syst.	2002	DBLP DOI BibTeX RDF	multilevel flow models, sensor validation, real-time, diagnosis, operator support systems
19	Marvin V. Zelkowitz, Ioana Rus	The Role of Independent Verification and Validation in Maintaining a Safety Critical Evolutionary Software in a Complex Environment: The NASA Space Shuttle Program.	ICSM	2001	DBLP DOI BibTeX RDF	Evolutionary software, Life and mission critical software, Process characterization, Space Shuttle program, Software independent verification and validation, Software safety and reliability, Metrics, Maintenance
19	Cédric Besse, Ana R. Cavalli, Ferhat Khendek	Partial Validation of a Design Specification with Respect to Requirements.	APAQS	2001	DBLP DOI BibTeX RDF	MSC views, MSC traces, Specification, Validation, Requirement, SDL, MSC
19	Hussain Al-Asaad, John P. Hayes	Logic Design Validation via Simulation and Automatic Test Pattern Generation.	J. Electron. Test.	2000	DBLP DOI BibTeX RDF	test generation, logic design, fault simulation, error modeling, design validation
19	Tapas Kanungo, Robert M. Haralick, Henry S. Baird, Werner Stuetzle, David Madigan	A Statistical, Nonparametric Methodology for Document Degradation Model Validation.	IEEE Trans. Pattern Anal. Mach. Intell.	2000	DBLP DOI BibTeX RDF	nonparametric statistical tests, permutation tests, document degradation models, OCR, simulation models, Model validation
19	Vincenzo Gervasi, Bashar Nuseibeh	Lightweight Validation of Natural Language Requirements: A Case Study.	ICRE	2000	DBLP DOI BibTeX RDF	Natural language requirements, requirements validation, lightweight formal methods
19	Narayanan Krishnamurthy, Andrew K. Martin, Magdy S. Abadir, Jacob A. Abraham	Validation of PowerPC(tm) Custom Memories using Symbolic Simulation.	VTS	2000	DBLP DOI BibTeX RDF	Simulation, Validation, Memories, Assertions, Symbolic
19	Wei-Tek Tsai, Ramakrishna V. Vishnuvajjala, Du Zhang	Verification and Validation of Knowledge-Based Systems.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	reliability, verification, testing, knowledge-based systems, validation, dependability, Expert systems
19	Katherine Curtis, Oliver Draper	Multimedia Content Management - Provision of Validation and Personalization Services.	ICMCS, Vol. 2	1999	DBLP DOI BibTeX RDF	Validation, Personalisation, Content Management
19	Giovanna Di Marzo Serugendo, Nicolas Guelfi, Alexander B. Romanovsky, Avelino F. Zorzo	Formal Development and Validation of Java Dependable Distributed Systems.	ICECCS	1999	DBLP DOI BibTeX RDF	Structuring Complex Concurrent Systems, CO_OPN/2, Formal Development Stepwise Refinement, Design for Validation, CA Actions
19	Peter Haumer, Klaus Pohl, Klaus Weidenhaupt 0002	Requirements Elicitation and Validation with Real World Scenes.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	scenario-based requirements engineering, process-integrated environments, software development, scenario, requirements elicitation, goal modeling, Requirements management, requirements traceability, requirements validation, rich media
19	Susana Stoica	A lifecycle approach to design validation is it necessary? Is it feasible?	ITC	1998	DBLP DOI BibTeX RDF	Lifecycle test, system approach to design and test, Robust Test Methodology (RTM), Design Validation (DV), software /hardware test methods, requirements specifications test, QA-type testing, Test Plan (TP) boilerplate, test optimization considering full lifecycle DV, black box testing, white box testing
19	Jiming Liu 0001, Michel C. Desmarais	A Method of Learning Implication Networks from Empirical Data: Algorithm and Monte-Carlo Simulation-Based Validation.	IEEE Trans. Knowl. Data Eng.	1997	DBLP DOI BibTeX RDF	Belief-network induction, implication networks, implication-network induction, knowledge engineering, Monte-Carlo simulation, learning algorithms, probabilistic reasoning, empirical validation, evidential reasoning
19	Chie Dou	Formal Specification of Communication Protocols Based on a Timed-SDL: Validation and Performance Prospects.	EUROMICRO	1996	DBLP DOI BibTeX RDF	Timed-SDL, performance prospects, CCITT Z.100, probabilistic specifications, performance evaluations, real time systems, formal specification, formal specification, validation, communication protocols, SDL, temporal properties, telecommunication systems, formal notation
19	Anthony Boswell	Specification and Validation of a Security Policy Model.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Security, modeling, formal specification, validation, Z, security policy model
19	Giacomo Bucci, Enrico Vicario	Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Time-critical systems, model partitioning, incremental state space enumeration, state space projection, compositional validation, time Petri Nets, finite state models
19	Minoru Asogawa, Yukiko Fujiwara, Akihiko Konagaya	A combination of a functional motif model and a structural motif model for a database validation.	HICSS (5)	1995	DBLP DOI BibTeX RDF	functional motif model, structural motif model, database validation, leucine zipper motif, twisted alpha helix sequences, DNA binding site, alpha helix region, Swiss Protein database, helical structures, PDB database, neural network, hidden Markov models, HMM, hidden Markov model, database management systems, neural nets, DNA, genetics, biology computing, subsequence
19	Kirsten Mark Hansen	Validation of a Railway Interlocking Model.	FME	1994	DBLP DOI BibTeX RDF	Application of formal methods, simulation, model validation, railway interlocking
19	Uma G. Gupta	Validation and verification of knowledge-based systems: A survey.	Appl. Intell.	1993	DBLP DOI BibTeX RDF	evaluation, verification, testing, knowledge-based systems, Validation
19	D. A. Thomas, Bernard Pagurek, Raymond J. A. Buhr	Validation Algorithms for Pointer Values in DBTG DataBases.	ACM Trans. Database Syst.	1977	DBLP DOI BibTeX RDF	database utilities, validation, database integrity, type checking
19	Justin Emile Gottschlich, Manish Vachharajani, Jeremy G. Siek	An efficient software transactional memory using commit-time invalidation.	CGO	2010	DBLP DOI BibTeX RDF	commit-time invalidation, software transactional memory
19	Antti Lehmussola, Pekka Ruusuvuori, Jyrki Selinummi, Heikki Huttunen, Olli Yli-Harja	Computational Framework for Simulating Fluorescence Microscope Images With Cell Populations.	IEEE Trans. Medical Imaging	2007	DBLP DOI BibTeX RDF
19	Dumitru Brinza, Alexander Zelikovsky	Discrete Methods for Association Search and Status Prediction in Genotype Case-Control Studies.	BIBE	2007	DBLP DOI BibTeX RDF
19	Cornelia Caragea, Jivko Sinapov, Vasant G. Honavar, Drena Dobbs	Assessing the Performance of Macromolecular Sequence Classifiers.	BIBE	2007	DBLP DOI BibTeX RDF
19	Jong-Hoon Oh, Hitoshi Isahara	Extracting English-Korean Transliteration Pairs from Web Corpora.	ICCPOL	2006	DBLP DOI BibTeX RDF
19	Krishnan Murugan, Sivasankar, Balaji Coimbatore GaneshSankar, Sethu Shanmugavel	Implementation and Performance Study of Route Caching Mechanisms in DSR and HER Routing Algorithms for MANET.	ISPA	2005	DBLP DOI BibTeX RDF
19	Jeff Offutt, Ye Wu, Xiaochen Du, Hong Huang	Bypass Testing of Web Applications.	ISSRE	2004	DBLP DOI BibTeX RDF
19	Rob Gerth	Model Checking if Your Life Depends on It a View from Intel's Trenches.	SPIN	2001	DBLP DOI BibTeX RDF
19	Ron Kohavi	The Power of Decision Tables.	ECML	1995	DBLP DOI BibTeX RDF
18	Subhasish Mitra	Robust System Design.	VLSI Design	2010	DBLP DOI BibTeX RDF	Robust systems, IFRA, BISER, Built-In Soft Error Resilience, Circuit Failure Prediction, On-line Self-Test, Reliability, Validation, aging, soft errors, post-silicon validation
18	Juan Carlos Martínez Santos, Yunsi Fei, Zhijie Jerry Shi	PIFT: efficient dynamic information flow tracking using secure page allocation.	WESS	2009	DBLP DOI BibTeX RDF	control flow validation, security attacks, program validation
18	Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi, Davide Rogai	Comparing Fault-Proneness Estimation Models.	ICECCS	2005	DBLP DOI BibTeX RDF	fault-proneness estimation, fault-proneness prediction, maintenance, cross validation, empirical validation
18	Mario Piattini, Coral Calero, Marcela Genero	Table Oriented Metrics for Relational Databases.	Softw. Qual. J.	2001	DBLP DOI BibTeX RDF	databases, metrics, quality, empirical validation, GQM, formal validation
18	Ping Luo 0001, Hui Xiong 0001, Guoxing Zhan, Junjie Wu 0002, Zhongzhi Shi	Information-Theoretic Distance Measures for Clustering Validation: Generalization and Normalization.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
18	Roope Kaivola, Rajnish Ghughal, Naren Narasimhan, Amber Telfer, Jesse Whittemore, Sudhindra Pandav, Anna Slobodová, Christopher Taylor, Vladimir A. Frolov, Erik Reeber, Armaghan Naik	Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation.	CAV	2009	DBLP DOI BibTeX RDF
18	Antonio Muñoz 0001, Antonio Maña, Daniel Serrano	AVISPA in the Validation of Ambient Intelligence Scenarios.	ARES	2009	DBLP DOI BibTeX RDF
18	Stefan Prennschütz-Schützenau, Nirmal Mukhi, Satoshi Hada, Naoto Sato, Fumiko Satoh, Naohiko Uramoto	Static vs. Dynamic Validation of BSP Conformance.	ICWS	2009	DBLP DOI BibTeX RDF
18	Iksoon Hwang, Mounir Lallali, Ana R. Cavalli, Dominique Verchère	Modeling, Validation, and Verification of PCEP Using the IF Language.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
18	Michael Von Riegen, Norbert Ritter	Reliable Monitoring for Runtime Validation of Choreographies.	ICIW	2009	DBLP DOI BibTeX RDF
18	Lars Michael Kristensen, Kurt Jensen	Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets.	Trans. Petri Nets Other Model. Concurr.	2008	DBLP DOI BibTeX RDF
18	Miron Abramovici	In-System Silicon Validation and Debug.	IEEE Des. Test Comput.	2008	DBLP DOI BibTeX RDF
18	Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicolescu, Hanifa Boucheneb	Semantics for Model-Based Validation of Continuous/Discrete Systems.	DATE	2008	DBLP DOI BibTeX RDF
18	Kaiyu Chen, Sharad Malik, Priyadarsan Patra	Runtime validation of memory ordering using constraint graph checking.	HPCA	2008	DBLP DOI BibTeX RDF
18	Tong-Lee Lim, Anantharaman Lakshminarayanan, Vira Saksen	A Practical and Efficient Tree-List Structure for Public-Key Certificate Validation.	ACNS	2008	DBLP DOI BibTeX RDF
18	Wei Zhang 0020, Robert A. van Engelen	High-Performance XML Parsing and Validation with Permutation Phrase Grammar Parsers.	ICWS	2008	DBLP DOI BibTeX RDF
18	Yuejian Wu, Sandy Thomson, Han Sun, Chandra Bontu, Eric Hall	Built-in functional tests for fast validation of a 40Gbps coherent optical receiver SoC ASIC.	SoCC	2008	DBLP DOI BibTeX RDF
18	Kaiyu Chen, Sharad Malik, Priyadarsan Patra	Runtime Validation of Transactional Memory Systems.	ISQED	2008	DBLP DOI BibTeX RDF
18	Philipp Peti, Armin Timmerberg, Thomas Pfeffer, Simon Muller, Christoph Rätz	A quantitative study on automatic validation of the diagnostic services of Electronic Control Units.	ETFA	2008	DBLP DOI BibTeX RDF
18	Michela Farenzena, Adrien Bartoli, Youcef Mezouar	Efficient Camera Smoothing in Sequential Structure-from-Motion Using Approximate Cross-Validation.	ECCV (3)	2008	DBLP DOI BibTeX RDF
18	Jan Sudeikat, Wolfgang Renz	A Systemic Approach to the Validation of Self-Organizing Dynamics within MAS.	AOSE	2008	DBLP DOI BibTeX RDF
18	Jeff Offutt, Qingxiang Wang, Joann J. Ordille	An Industrial Case Study of Bypass Testing on Web Applications.	ICST	2008	DBLP DOI BibTeX RDF	Software testing, web applications, industry case study
18	Todd J. Foster, Dennis L. Lastor, Padmaraj Singh	First Silicon Functional Validation and Debug of Multicore Microprocessors.	IEEE Trans. Very Large Scale Integr. Syst.	2007	DBLP DOI BibTeX RDF
18	Tai-Ying Jiang, Chien-Nan Jimmy Liu, Jing-Yang Jou	Observability Analysis on HDL Descriptions for Effective Functional Validation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
18	Ricardo Jorge Machado 0001, Kristian Bisgaard Lassen, Sérgio Oliveira, Marco Couto 0002, Patrícia Pinto	Requirements Validation: Execution of UML Models with CPN Tools.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF
18	Wayne R. Blanding, Peter K. Willett, Yaakov Bar-Shalom	Offline and Real-Time Methods for ML-PDA Track Validation.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
18	Yuichi Nakamura 0003, Fumiko Satoh, Hyen-Vui Chung	Syntactic Validation of Web Services Security Policies.	ICSOC	2007	DBLP DOI BibTeX RDF
18	Evgeny Gladilin, Karl Rohr, Roland Eils	On Validation of Non-physical Techniques for Elastic Image Registration.	Bildverarbeitung für die Medizin	2007	DBLP DOI BibTeX RDF
18	Rodrigo Santamaría, Luis Quintales, Roberto Therón	Methods to Bicluster Validation and Comparison in Microarray Data.	IDEAL	2007	DBLP DOI BibTeX RDF
18	Robert G. Sargent	A tutorial on verification and validation of simulation models (1984).	WSC	2007	DBLP BibTeX RDF
18	Juan Luis Jiménez Laredo, Pedro Ángel Castillo Valdivieso, Ben Paechter, Antonio Miguel Mora, Eva Alfaro-Cid, Anna Esparcia-Alcázar, Juan Julián Merelo Guervós	Empirical Validation of a Gossiping Communication Mechanism for Parallel EAs.	EvoWorkshops	2007	DBLP DOI BibTeX RDF
18	Anselmo Peñas, Álvaro Rodrigo, Felisa Verdejo	Overview of the Answer Validation Exercise 2007.	CLEF	2007	DBLP DOI BibTeX RDF
18	Yi Liu 0023, Taghi M. Khoshgoftaar, Jenq-Foung Yao	Building a Novel GP-Based Software Quality Classifier Using Multiple Validation Datasets.	IRI	2007	DBLP DOI BibTeX RDF
18	H. Liu, Leo Selavo, John A. Stankovic	SeeDTV: deployment-time validation for wireless sensor networks.	EmNets	2007	DBLP DOI BibTeX RDF
18	Stefan Duffner, Christophe Garcia	An Online Backpropagation Algorithm with Validation Error-Based Adaptive Learning Rate.	ICANN (1)	2007	DBLP DOI BibTeX RDF
18	Loganathan Lingappan, Vijay Gangaram, Niraj K. Jha	Fast Enhancement of Validation Test Sets to Improve Stuck-at Fault Coverage for RTL circuits.	VLSI Design	2007	DBLP DOI BibTeX RDF
18	Lovleen Bhatia, Jayesh Gaur, Praveen Tiwari, Raj S. Mitra, Sunil H. Matange	Leveraging Semi-Formal and Sequential Equivalence Techniques for Multimedia SOC Performance Validation.	DAC	2007	DBLP DOI BibTeX RDF
18	Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee	Goal and scenario validation: a fluent combination.	Requir. Eng.	2006	DBLP DOI BibTeX RDF
18	Nathan Crilly, P. John Clarkson, Alan F. Blackwell	Using Research Diagrams for Member Validation in Qualitative Research.	Diagrams	2006	DBLP DOI BibTeX RDF
18	Béatrice Bouchou, Ahmed Cheriat, Mirian Halfeld Ferrari Alves, Agata Savary	XML Document Correction: Incremental Approach Activated by Schema Validation.	IDEAS	2006	DBLP DOI BibTeX RDF
18	Erwin Schoitsch, Egbert Althammer, Henrik Eriksson, Jonny Vinter, László Gönczy, András Pataricza, György Csertán	Validation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench.	SAFECOMP	2006	DBLP DOI BibTeX RDF
18	Alexander Kamkin	The UniTESK Approach to Specification-Based Validation of Hardware Designs.	ISoLA	2006	DBLP DOI BibTeX RDF