Search results for "validation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Vladan Jovanovic, Lily Cupic	Teaching agile validation of data models.	SIGITE Conference	2008	DBLP DOI BibTeX RDF	agile validation, data model validation, teaching validation
5	Michael Tonndorf	An Efficient Compiler Validation Method for Ada 9X.	Ada-Europe	1993	DBLP DOI BibTeX RDF	Glossary of Terms and Abbreviations ACVC Ada Compiler Validation Capability, AVF Ada Validation Facility, AJPO Ada Joint Program Office, AVO Ada Validation Organisation, AMO ACVC Maintenance Organisation
5	Jean Arlat, Martine Aguera, Louis Amat, Yves Crouzet, Jean-Charles Fabre, Jean-Claude Laprie, Eliane Martins, David Powell	Fault Injection for Dependability Validation: A Methodology and Some Applications.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	dependability validation, fault-tolerance mechanisms, hardware/software prototype, validation-directed design process, general pin-level fault injection tool, MESSALINE, centralized computerized interlocking system, railway control applications, dependable communication system, ESPRIT Delta-4 Project, distributed system, fault tolerant computing, distributed processing, software tools, program verification, computer communications software, railways, fault-tolerant computing systems, validation methodology
4	Antonio Ruiz-Martínez, Daniel Sánchez-Martínez, C. Inmaculada Marín-López, Manuel Gil Pérez, Antonio F. Gómez-Skarmeta	ACVS: An Advanced Certificate Validation Service in Service-Oriented Architectures.	ICIW	2008	DBLP DOI BibTeX RDF	certificate validation, xkms, long term validation
4	Ekaterina Auer, Wolfram Luther	Numerical Verification Assessment in Computational Biomechanics.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	Numerical verification assessment, validation, uncertainty, result verification
4	Jesus Luna, Manel Medina, Oscar Manso	Using OGRO and CertiVeR to improve OCSP validation for Grids.	The Journal of Supercomputing	2007	DBLP DOI BibTeX RDF	CertiVeR, Grid validation, Grid validation policy, Online Certificate Status Protocol, Open Grid OCSP, Prevalidation
4	Priyadarsan Patra	On the cusp of a validation wall.	IEEE Design & Test of Computers	2007	DBLP DOI BibTeX RDF	validation wall, low DPM, modular validation, logic, virtual platform
4	Peng Zhang, Wai-Shing Luk, Yu Song, Jiarong Tong, Pushan Tang, Xuan Zeng	WCOMP: Waveform Comparison Tool for Mixed-signal Validation Regression in Memory Design.	ASP-DAC	2007	DBLP DOI BibTeX RDF	Flash memory design, WCOMP, waveform comparison tool, full-chip validation, design cost, automated mixed-signal validation regression, functional match, time-to-market
4	Willy Picard	An Algebraic Algorithm for Structural Validation of Social Protocols.	BIS	2007	DBLP DOI BibTeX RDF	algebraic representation of social protocols, semantical validation, structural validation, Collaboration modeling
4	Yamine Aït Ameur, Mickaël Baron	Formal and experimental validation approaches in HCI systems design based on a shared event B model.	STTT	2006	DBLP DOI BibTeX RDF	Interaction properties verification and validation, User task modelling and validation, Event B method, CTT (ConcurTaskTrees) language, Formal methods
4	Chunmei Yang, Baikun Wan, Xiaofeng Gao	Effectivity of Internal Validation Techniques for Gene Clustering.	ISBMDA	2006	DBLP DOI BibTeX RDF	internal validation measure, gene expression data, cluster validation, gene clustering
4	Maria Cecilla Mazzaro, Mario Sznaier, Octavia I. Camps	A Model (In)Validation Approach to Gait Classification.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF	Gait classification, model (in)validation, risk-adjusted (in)validation, activity recognition
4	Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Clark W. Barrett, Yi Fang, Ying Hu	Translation and Run-Time Validation of Loop Transformations.	Formal Methods in System Design	2005	DBLP DOI BibTeX RDF	reordering transformations, run-time validation, speculative optimizations, global optimizations, optimizing compilers, loop transformations, translation validation, verification conditions
4	Ying Hu, Clark W. Barrett, Benjamin Goldberg	Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations.	SEFM	2004	DBLP DOI BibTeX RDF	Compiler validation, speculative loop optimizations, formal methods, translation validation
4	Indradeep Ghosh, Srivaths Ravi	On automatic generation of RTL validation test benches using circuit testing techniques.	ACM Great Lakes Symposium on VLSI	2003	DBLP DOI BibTeX RDF	OCCOM, RTL ATPG, RTL testing, path coverage, small validation, toggle coverage, test, testing, generation, ATPG, fault coverage, code coverage, test sets, design validation, coverage metrics, universal test sets, testbench, branch coverage
4	John C. Grundy, Guoliang Ding	Automatic Validation of Deployed J2EE Components Using Aspects.	ASE	2002	DBLP DOI BibTeX RDF	software component validation, component characterisation, validation agents, automated testing
4	Noppanunt Utamaphethai, R. D. (Shawn) Blanton, John Paul Shen	A Buffer-Oriented Methodology for Microarchitecture Validation.	J. Electronic Testing	2000	DBLP DOI BibTeX RDF	processor validation, superscalar microarchitecture, design validation
4	Ousmane Koné	Experiment with the Validation of WAP Systems. (PDF / PS)	LCN	2000	DBLP DOI BibTeX RDF	WAP systems validation, French project, WAP session layer, WAP transaction service, interoperability test sequences, specification validation, reference tests, WAP products, interoperation, program verification, specification languages, open systems, conformance testing, sequences, SDL, Wireless Application Protocols, industry, access protocols, formal description technique, mobile terminals, Internet services, Internet telephony, mobile telephony
4	Victor C. S. Lee, Kwok-Wa Lam, Sang Hyuk Son	Real-time transaction processing with partial validation at mobile clients.	RTCSA	2000	DBLP DOI BibTeX RDF	real-time transaction processing, partial validation, conflicting mobile transactions, data conflict detection, two-stage validation mechanism, processing resources, communication resources, transaction execution schedules, unnecessary transaction aborts, avoidable delay removal, asymmetric communication, schedule, real-time systems, mobile computing, data integrity, delays, concurrency control, wireless communication, transaction processing, client-server systems, deadlines, access protocols, mobile computing environments, mobile clients, concurrency control protocols
4	Amir Pnueli, Ofer Strichman, Michael Siegel	The Code Validation Tool CVT: Automatic Verification of a Compilation Process.	STTT	1998	DBLP DOI BibTeX RDF	Code validation, BDD, Industrial application, Compiler verification, Translation validation
4	Jan Madsen	Validation and testing of sC++ applications.	ECBS	1997	DBLP DOI BibTeX RDF	sC++, Random Walk validation, concurrent version, testing, validation, program verification, search techniques, testing programs
4	Louis G. Birta, F. Nur Ozmizrak	A Knowlege-Based Approach for the Validation of Simuation Models: The Foundation.	ACM Trans. Model. Comput. Simul.	1996	DBLP DOI BibTeX RDF	behavioral validation, validation knowledge base, constraint satisfaction, experiment design
4	Jan Hlavicka, Stanislav Racek, Pavel Smrha	Functional Validation of Fault-Tolerant Asynchronous Algorithms.	EUROMICRO	1996	DBLP DOI BibTeX RDF	fault-tolerant asynchronous algorithms, distributed asynchronous algorithms, algorithm correctness, process-oriented discrete simulation, fault injector, C-based validation tool, C-Sim, C-coded implementation, distributed election algorithm, formal specification, communication channels, time behavior, functional validation, state observer, failure semantics
4	Guido Rovetta, Patrizia Monteforte, Gerolamo Bianchi, Stefano Rovetta, Rodolfo Zunino	Validation of a Large Medical Database.	CBMS	1995	DBLP DOI BibTeX RDF	large medical database, database validation, clinical problems, experimental evidence, observed data validation, incorrect sampling, sample distribution, data-inherent regularities, unsupervised models, clinical records analysis, osteoporosis, data distribution uniformity, unbiased sampling, neural networks, data integrity, probability, unsupervised learning, neural nets, medical information systems, very large databases, biasing
4	Sastry Nanduri, Spencer Rugaber	Requirements validation via automated natural language parsing.	HICSS	1995	DBLP DOI BibTeX RDF	automated natural language parsing, validation technique, document reviews, candidate objects, object model diagram, automated natural language parser, formal specification, formal verification, natural languages, grammars, object-oriented methods, object oriented analysis, requirements validation, system requirements, requirements document, high level specifications, OOA
4	Michel Diaz, Guy Juanole, Jean-Pierre Courtiat	Observer-A Concept for Formal On-Line Validation of Distributed Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	observer concept, formal online validation, self-checking distributed systems design, erroneous behavior detection, observable output level, continuous checking, formal verified model, quasi-self-checking observers, industrial LAN, broadcast service, virtual ring MAC protocol testing, OSI layering management, open system architecture, run-time validation, Petri net based models, layered distributed architectures, formal verification, distributed processing, local area networks, transport protocols, performance measurements, open systems, access protocols, formal description techniques, transport layer, reference, link layer, online operation
3	Odile Laurent	Using Formal Methods and Testability Concepts in the Avionics Systems Validation and Verification (V&V) Process.	ICST	2010	DBLP DOI BibTeX RDF	Formal methods, testing strategy, validation and verification, automatic test case generation
3	Robert Feldt, Richard Torkar, Ehsan Ahmad, Bilal Raza	Challenges with Software Verification and Validation Activities in the Space Industry.	ICST	2010	DBLP DOI BibTeX RDF	European Cooperation for Space Standardization, case study, verification and validation
3	Steffen Heinzl, Benjamin Schmeling	Using XML schema to improve writing, validation, and structure of WS-policies.	SAC	2010	DBLP DOI BibTeX RDF	WS-SecurityPolicy, domain-specific policy, validation, policy, XML schema, WS-policy
3	Jagannath Keshava, Nagib Hakim, Chinna Prudvi	Post-silicon validation challenges: how EDA and academia can help.	DAC	2010	DBLP DOI BibTeX RDF	design, verification, test, validation, emulation
3	Amir Nahir, Avi Ziv, Rajesh Galivanche, Alan J. Hu, Miron Abramovici, Albert Camilleri, Bob Bentley, Harry Foster, Valeria Bertacco, Shakti Kapoor	Bridging pre-silicon verification and post-silicon validation.	DAC	2010	DBLP DOI BibTeX RDF	post-silicon, pre-silicon, verification, validation
3	Subhasish Mitra, Sanjit A. Seshia, Nicola Nicolici	Post-silicon validation opportunities, challenges and recent advances.	DAC	2010	DBLP DOI BibTeX RDF	post-silicon validation
3	Miroslav Pajic, Zhihao Jiang, Allison Connolly, Sanjay Dixit, Rahul Mangharam	A platform for implantable medical device validation.	IPSN	2010	DBLP DOI BibTeX RDF	real-time systems, validation, cyber-physical systems, medical devices
3	Angelo Chiappini, Alessandro Cimatti, Luca Macchi, Oscar Rebollo, Marco Roveri, Angelo Susi, Stefano Tonetta, Berardino Vittorini	Formalization and validation of a subset of the European Train Control System.	ICSE	2010	DBLP DOI BibTeX RDF	formal methods, methodology, requirements validation
3	Mark Horowitz, Metha Jeeradit, Frances Lau, Sabrina Liao, ByongChan Lim, James Mao	Fortifying analog models with equivalence checking and coverage analysis.	DAC	2010	DBLP DOI BibTeX RDF	analog validation, model-first design, design methodology, fault coverage, equivalence checking, formal validation
3	Ezequiel López-Rubio, Juan Miguel Ortiz-de-Lazcano-Lobato	Automatic Model Selection by Cross-Validation for Probabilistic PCA.	Neural Processing Letters	2009	DBLP DOI BibTeX RDF	Missing value imputation, Simulated annealing, Dimensionality reduction, Cross-validation, Probabilistic principal components analysis (PPCA), Probability density estimation
3	Petr Kroha, Manuela Rink	Text Generation for Requirements Validation.	ICEIS	2009	DBLP DOI BibTeX RDF	Requirements, Requirements specification, Requirements modeling, Requirements validation, Text generation
3	Jean-Baptiste Tristan, Xavier Leroy	Verified validation of lazy code motion.	PLDI	2009	DBLP DOI BibTeX RDF	lazy code motion, the coq proof assistant, redundancy elimination, translation validation, verified compilers
3	Madhu Saravana Sibi Govindan, Stephen W. Keckler, Doug Burger	End-to-end validation of architectural power models.	ISLPED	2009	DBLP DOI BibTeX RDF	architectural power models, measurement, validation
3	Danilo Ravotto, Edgar E. Sánchez, Matteo Sonza Reorda, Giovanni Squillero	Design validation of multithreaded architectures using concurrent threads evolution.	SBCCI	2009	DBLP DOI BibTeX RDF	simulation based techniques, functional validation
3	Ervin Ramollari, Dimitrios Kourtesis, Dimitris Dranidis, Anthony J. H. Simons	Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing.	ESWC	2009	DBLP DOI BibTeX RDF	Service Validation, Semantic Web Services, Web service testing
3	Joseph Tucek, Weiwei Xiong, Yuanyuan Zhou	Efficient online validation with delta execution.	ASPLOS	2009	DBLP DOI BibTeX RDF	delta execution, patch validation, testing
3	Marco Brambilla, Christina Tziviskou	An Online Platform for Semantic Validation of UML Models.	ICWE	2009	DBLP DOI BibTeX RDF	ontology, Semantic Web, UML, component, validation, conceptual modeling, pattern, reasoner, class diagram, WebML
3	Ermeson Carneiro de Andrade, Paulo Romero Martins Maciel, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira, Carlos Araújo	Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints.	SAC	2009	DBLP DOI BibTeX RDF	UML, embedded systems, time petri net, requirement validation
3	Jorge L. Hernandez-Ardieta, Ana Isabel González-Tablas Ferreres, Benjamín Ramos	Formal Validation of OFEPSP+ with AVISPA.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF	AVISPA, security protocol, Fair exchange, SPAN, formal validation
3	Christopher Scaffidi, Brad A. Myers, Mary Shaw	Fast, Accurate Creation of Data Validation Formats by End-User Developers.	IS-EUD	2009	DBLP DOI BibTeX RDF	web macros, web applications, Data validation
3	Xiao Liu, Qiang Xu	Interconnection fabric design for tracing signals in post-silicon validation.	DAC	2009	DBLP DOI BibTeX RDF	trace-based debug, post-silicon validation
3	Luis F. Lago-Fernández, Manuel A. Sánchez-Montañés, Fernando J. Corbacho	Fuzzy Cluster Validation Using the Partition Negentropy Criterion.	ICANN	2009	DBLP DOI BibTeX RDF	Negentropy, Clustering, EM algorithm, Mixture Model, Cluster validation
3	Steve J. Summerskill, Russell Marshall, Keith Case, Diane E. Gyi, Ruth E. Sims, Peter Davis	Validation of the HADRIAN System Using an ATM Evaluation Case Study.	HCI	2009	DBLP DOI BibTeX RDF	validation, ergonomics, design for all, Human Modelling
3	Claudia Szabo, Yong Meng Teo	An Approach for Validation of Semantic Composability in Simulation Models.	PADS	2009	DBLP DOI BibTeX RDF	semantic composability, simulation, component, validation
3	Amit Sachan, Sabu Emmanuel, Mohan S. Kankanhalli	Efficient license validation in MPML DRM architecture.	Digital Rights Management Workshop	2009	DBLP DOI BibTeX RDF	license organization, license validation, digital rights management (drm)
3	Andreas Lumbe Aas, Stig Ole Johnsen, Torbjørn Skramstad	CRIOP: A Human Factors Verification and Validation Methodology That Works in an Industrial Setting.	SAFECOMP	2009	DBLP DOI BibTeX RDF	Control centre, Petroleum, Oil & Gas, CRIOP, Verification, Human Factors, Validation, Offshore, Control room
3	Markus Schwaninger, Stefan Groesser	New Frontiers in the Validation of Simulation Models-Structural Dominance Analysis.	EUROCAST	2009	DBLP DOI BibTeX RDF	Structural Dominance Analysis, Simulation, Modeling, Validation, Validity, System Dynamics, Model Quality
3	Babis Magoutas, Gregoris Mentzas	Refinement, Validation and Benchmarking of a Model for E-Government Service Quality.	EGOV	2009	DBLP DOI BibTeX RDF	benchmarking, validation, refinement, quality model, eGovernment
3	Robert Beverly, Arthur Berger, Young Hyun, kc claffy	Understanding the efficacy of deployed internet source address validation filtering.	Internet Measurement Conference	2009	DBLP DOI BibTeX RDF	ip spoofing, source address validation, filtering
3	Minmin Chen, Yixin Chen, Michael R. Brent, Aaron E. Tenney	Constrained optimization for validation-guided conditional random field learning.	KDD	2009	DBLP DOI BibTeX RDF	extended saddle points, constrained optimization, conditional random fields, cross validation
3	Doron Drusinsky, James Bret Michael, Man-tak Shing	A framework for computer-aided validation.	ISSE	2008	DBLP DOI BibTeX RDF	Model checking, Formal methods, Runtime verification, Validation and verification
3	Prabhat Mishra, Nikil Dutt	Specification-driven directed test generation for validation of pipelined processors.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	Model checking, test generation, functional validation
3	Jianping Wu, Gang Ren, Xing Li	Building a next generation Internet with source address validation architecture.	Science in China Series F: Information Sciences	2008	DBLP DOI BibTeX RDF	IP source address validation, network security, network architecture
3	Michael Riesen, Gürsel Serpen	Validation of a bayesian belief network representation for posterior probability calculations on national crime victimization survey.	Artif. Intell. Law	2008	DBLP DOI BibTeX RDF	National crime victimization survey, Posterior probability calculations, Joint probability distribution, Machine learning, Bayesian belief network, Model validation, Probabilistic query
3	Owen Funkhouser, Letha H. Etzkorn, William E. Hughes Jr.	A lightweight approach to software validation by comparing UML use cases with internal program documentation selected via call graphs.	Software Quality Journal	2008	DBLP DOI BibTeX RDF	UML use cases, Software engineering, Program understanding, Software validation
3	Miguel Antonio Sovierzoski, Fernanda Isabel Marques Argoud, Fernando Mendes de Azevedo	Evaluation of ANN Classifiers During Supervised Training with ROC Analysis and Cross Validation.	BMEI	2008	DBLP DOI BibTeX RDF	ANN Classifier, ANN Classifier Evaluation, Cross Validation, Back-Propagation, ROC Analysis
3	Nathaniel August	A Robust and Efficient Pre-Silicon Validation Environment for Mixed-Signal Circuits on Intels Test Chips.	ISQED	2008	DBLP DOI BibTeX RDF	pre-silicon, validation, mixed-signal
3	Ehsan Atoofian, Amirali Baniasadi, Yvonne Coady	Adaptive Read Validation in Time-Based Software Transactional Memory.	Euro-Par Workshops	2008	DBLP DOI BibTeX RDF	read validation policy, time-based transactional memory, transactional memory
3	Pedram Hayati, Nastaran Jafari, S. Mohammad Rezaei, Saeed Sarencheh, Vidyasagar Potdar	Modeling Input Validation in UML.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	Software engineering, Unified Modeling Language, Object Constraint Language, Software security, Input validation
3	Michael E. Locasto, Matthew Burnside, Angelos D. Keromytis	Online Network Forensics for Automatic Repair Validation.	IWSEC	2008	DBLP DOI BibTeX RDF	software self-healing, automatic repair validation
3	Giorgio Di Natale, Marie-Lise Flottes, Bruno Rouzeyre	An Integrated Validation Environment for Differential Power Analysis.	DELTA	2008	DBLP DOI BibTeX RDF	Secure chips, Validation, DPA
3	Joumana Dargham, Rima Semaan	A Navigational Web Requirements Validation through Animation.	ICIW	2008	DBLP DOI BibTeX RDF	web engineering Navigational Requirements, Finite State Machine, requirements validation
3	Armin Seyfried, Andreas Schadschneider	Fundamental Diagram and Validation of Crowd Models.	ACRI	2008	DBLP DOI BibTeX RDF	fundamental diagram, model validation, empirical data
3	Masakazu Takahashi, Satoru Takahashi, Yoshikatsu Fujita	A Method for Ensuring Consistency of Software Design Information in Retrospective Computer Validation.	KES	2008	DBLP DOI BibTeX RDF	Retrospective Computer Validation, Pharmaceutical Production System, Design Information Database, Consistency
3	Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein	08021 Summary - Numerical Validation in Current Hardware Architectures.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
3	Wolfram Luther, Annie A. M. Cuyt, Walter Krämer, Peter W. Markstein	08021 Abstracts Collection - Numerical Validation in Current Hardware Architectures.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
3	Farhang Nemati, Johan Kraft, Christer Norström	Validation of Temporal Simulation Models of Complex Real-Time Systems.	COMPSAC	2008	DBLP DOI BibTeX RDF	Legacy Systems, Impact Analysis, Model Validation, Model Extraction
3	Florina Almenárez Mendoza, Andrés Marín López, Daniel Díaz Sánchez, Alberto Cortes, Celeste Campo, Carlos García-Rubio	Building an Open Toolkit of Digital Certificate Validation for Mobile Web Services.	PerCom	2008	DBLP DOI BibTeX RDF	certificate validation, open toolkit, X.509 certificates
3	Wei Ni, Tok Wang Ling	Semantic validation for XML updates.	ICUIMC	2008	DBLP DOI BibTeX RDF	XML, validation, semantic constraints
3	Masayoshi Teraguchi, Issei Yoshida, Naohiko Uramoto	Rule-based XML Mediation for Data Validation and Privacy Anonymization.	IEEE SCC	2008	DBLP DOI BibTeX RDF	XML Mediation, Industry-specific specification, privacy anonymization, data validation
3	Yuen-Tak Yu, Marian Choy, Eric Ying Kwong Chan, Y. T. Lo	A Hybrid Learning Course on Software Development-Requirements Validation of Tool Support.	ICHL	2008	DBLP DOI BibTeX RDF	Web-based learning tool, software development, requirements validation, Course design, hybrid learning
3	José Luis Delgado, Covadonga Rodrigo, Gonzalo León	Experiments in Calibration and Validation for Medical Content-Based Images Retrieval.	CLEF	2008	DBLP DOI BibTeX RDF	JAI, validation, calibration, CBIR
3	Zenon Waszczyszyn, Marek Slonski	Maximum of Marginal Likelihood Criterion instead of Cross-Validation for Designing of Artificial Neural Networks.	ICAISC	2008	DBLP DOI BibTeX RDF	neural network design, marginal likelihood, Bayesian inference, cross-validation
3	Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang	Validation of streaming XML documents with abstract state machines.	iiWAS	2008	DBLP DOI BibTeX RDF	XML, validation, abstract state machines
3	Richard Atterer	Model-based automatic usability validation: a tool concept for improving web-based UIs.	NordiCHI	2008	DBLP DOI BibTeX RDF	automated validation, usability model, accessibility, web engineering, web usability
3	Ghassan Hamarneh, Preet Jassi, Lisa Tang	Simulation of Ground-Truth Validation Data Via Physically- and Statistically-Based Warps.	MICCAI	2008	DBLP DOI BibTeX RDF	simulation, segmentation, validation, deformation, variation, vibration, non-uniformity
3	Roozbeh Farahbod, Uwe Glässer, Piper J. Jackson, Mona Vajihollahi	High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM.	ISoLA	2008	DBLP DOI BibTeX RDF
3	Zhonglei Wang, Wolfgang Haberl, Andreas Herkersdorf, Martin Wechs	A Simulation Approach for Performance Validation during Embedded Systems Design.	ISoLA	2008	DBLP DOI BibTeX RDF
3	Daniel Kästner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister, Marek Jersak, Kai Richter, Christian Ferdinand	Timing Validation of Automotive Software.	ISoLA	2008	DBLP DOI BibTeX RDF
3	Rafael Martínez-Peláez, Cristina Satizábal, Francisco Rico-Novella, Jordi Forné	Efficient Certificate Path Validation and Its Application in Mobile Payment Protocols.	ARES	2008	DBLP DOI BibTeX RDF	Certification Path Validation, SET protocol, Mobile Payment, Public Key Infrastructure (PKI)
3	Junko Shirogane, Yoshiaki Fukazawa	Correspondence validation method for GUI operations and scenarios by operation history analysis.	IUI	2008	DBLP DOI BibTeX RDF	correspondence validation, history analysis, GUI, scenario
3	Jennifer Sobey, Robert Biddle, Paul C. van Oorschot, Andrew S. Patrick	Exploring User Reactions to New Browser Cues for Extended Validation Certificates.	ESORICS	2008	DBLP DOI BibTeX RDF	extended validation certificates, user study, Usable security, browser security
3	Heon-Mo Koo, Prabhat Mishra	Specification-based compaction of directed tests for functional validation of pipelined processors.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	processor validation, test compaction
3	Di Jiang, Neil F. Stewart	Robustness of Boolean Operations on Subdivision-Surface Models.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF
3	Kurt Svensson	Faster XML data validation in a programming language with XML datatypes.	SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	XML data declarations, XSD schema, XSD schema facets, XML, XML, B2B, data validation, WebServices, format conversion
3	Ayaz Farooq, Reiner R. Dumke	Research directions in verification & validation process improvement.	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	STP, TMM, V&V, testing maturity model, verification & validation process, software process, SPI, software process improvement, SP, software test process, test process improvement
3	Kurt Jensen, Lars Michael Kristensen, Lisa Wells	Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems.	STTT	2007	DBLP DOI BibTeX RDF	Simulation, Model checking, Verification, Performance analysis, Validation, Visualisation, Coloured Petri Nets, Discrete-event systems, State space methods, Behavioural modelling
3	Michael Kishinevsky, Sandeep K. Shukla, Ken S. Stevens	Guest Editors' Introduction: GALS Design and Validation.	IEEE Design & Test of Computers	2007	DBLP DOI BibTeX RDF	design, synchronous, validation, asynchronous
3	Christophe Ponsard, Philippe Massonet, Jean-François Molderez, André Rifaut, Axel van Lamsweerde, Hung Tran Van	Early verification and validation of mission critical systems.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	Model-checking, Animation, Requirements engineering, Monitoring, Verification and validation, Goal modelling
3	Leonard E. Schwer	Validation metrics for response histories: perspectives and case studies.	Eng. Comput. (Lond.)	2007	DBLP DOI BibTeX RDF	Wave form, Magnitude, Metric, Validation, Phase
3	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
3	Nikolaos G. Bartzoudis, Klaus D. McDonald-Maier	An embedded sensor validation system for adaptive condition monitoring of a wind farms.	AHS	2007	DBLP DOI BibTeX RDF	Sensor validation, FPGAs, embedded systems, adaptive systems, condition monitoring
3	Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He	The Validation and Verification of WSCDL.	APSEC	2007	DBLP DOI BibTeX RDF	WSCDL, Verification, Validation
3	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