Search results for "validation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Peter Kazanzides, Jenghwa Chang, Iulian Iordachita, Jack Li, C. Clifton Ling, Gabor Fichtinger	Design and Validation of an Image-Guided Robot for Small Animal Research.	MICCAI (1)	2006	DBLP DOI BibTeX RDF
14	Gavin C. Cawley	Leave-One-Out Cross-Validation Based Model Selection Criteria for Weighted LS-SVMs.	IJCNN	2006	DBLP DOI BibTeX RDF
14	Susmita Datta, Somnath Datta	Validation Measures for Clustering Algorithms Incorporating Biological Information.	IMSCCS (1)	2006	DBLP DOI BibTeX RDF
14	Sobah Abbas Petersen, Frank M. Lillehagen, Maria Anastasiou	Modelling and Visualisation for Interoperability Requirements Elicitation and Validation.	ICEIS (Selected Papers)	2006	DBLP DOI BibTeX RDF
14	Meritxell Bach Cuadra, Leila Cammoun, Torsten Butz, Olivier Cuisenaire, Jean-Philippe Thiran	Comparison and validation of tissue modelization and statistical classification methods in T1-weighted MR brain images.	IEEE Trans. Medical Imaging	2005	DBLP DOI BibTeX RDF
14	Steffen Oeltze, Bernhard Preim	Visualization of vasculature with convolution surfaces: method, validation and evaluation.	IEEE Trans. Medical Imaging	2005	DBLP DOI BibTeX RDF
14	Mike Jochen, Anteneh Addis Anteneh, Lori L. Pollock, Lisa M. Marvel	Enabling control over adaptive program transformation for dynamically evolving mobile software validation.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	dynamic and adaptive program transformation, integrity, program analysis, computer security, mobile code
14	Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting	Requirements traceability in automated test generation: application to smart card software validation.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	model-based testing, formal model, requirements traceability
14	Steven Schockaert, Martine De Cock, Etienne E. Kerre	Fuzzy Constraint Based Answer Validation.	AWIC	2005	DBLP DOI BibTeX RDF
14	Vittorio Cortellessa, Pierluigi Pierini, Daniele Rossi 0002	On the adequacy of UML-RT for performance validation of an SDH telecommunication system.	ISORC	2005	DBLP DOI BibTeX RDF
14	Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting	Requirements traceability in automated test generation: application to smart card software validation.	A-MOST	2005	DBLP DOI BibTeX RDF	model-based testing, formal model, requirements traceability
14	Wolfgang Ahrendt, Andreas Roth 0002, Ralf Sasse	Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics.	LPAR	2005	DBLP DOI BibTeX RDF
14	David Berner, Hiren D. Patel, Deepak Mathaikutty, Sandeep K. Shukla	Automated Extraction of Structural Information from SystemC-based IP for Validation.	MTV	2005	DBLP DOI BibTeX RDF
14	Shuichi Kurogi, Miho Sawa, Shinya Tanaka	Competitive Associative Nets and Cross-Validation for Estimating Predictive Uncertainty on Regression Problems.	MLCW	2005	DBLP DOI BibTeX RDF
14	Andrew Over, Peter E. Strazdins, Bill Clarke	Cycle Accurate Memory Modelling: A Case-Study in Validation.	MASCOTS	2005	DBLP DOI BibTeX RDF
14	Sylvia C. Wong, Simon Miles, Weijian Fang, Paul Groth, Luc Moreau 0001	Provenance-Based Validation of E-Science Experiments.	ISWC	2005	DBLP DOI BibTeX RDF
14	T. S. E. Maibaum	The Epistemology of Validation and Verification Testing.	TestCom	2005	DBLP DOI BibTeX RDF
14	Daniel Karlsson, Petru Eles, Zebo Peng	Validation of Embedded Systems Using Formal Method Aided Simulation.	DSD	2005	DBLP DOI BibTeX RDF
14	Anastasiya Sotnykova, Nadine Cullot, Christelle Vangenot	Spatio-temporal Schema Integration with Validation: A Practical Approach.	OTM Workshops	2005	DBLP DOI BibTeX RDF
14	Yu Lei 0001, David Chenho Kung, Qizhi Ye	A Blocking-Based Approach to Protocol Validation.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF
14	Wendy K. Pogozelski, Matthew P. Bernard, Salvatore F. Priore, Anthony J. Macula	Experimental Validation of DNA Sequences for DNA Computing: Use of a SYBR Green I Assay.	DNA	2005	DBLP DOI BibTeX RDF
14	Dietrich Albert, Christina M. Steiner	Empirical Validation of Concept Maps: Preliminary Methodological Considerations.	ICALT	2005	DBLP DOI BibTeX RDF
14	Faouzi Bouchhima, Gabriela Nicolescu, El Mostapha Aboulhamid, Mohamed Abid	Discrete-Continuous Simulation Model for Accurate Validation in Component-Based Heterogeneous SoC Design.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
14	Yanzhuo Tan, Yinhe Han 0001, Xiaowei Li 0001, Feiyin Lu, Yuchuan Chen	Validation analysis and test flow optimization of VLSI chip.	ISCAS (6)	2005	DBLP DOI BibTeX RDF
14	Yan Jin, Jun Han 0004	Runtime Validation of Behavioural Contracts for Component Software.	QSIC	2005	DBLP DOI BibTeX RDF
14	David M. Brooks, Pradip Bose, Margaret Martonosi	Power-performance simulation: design and validation strategies.	SIGMETRICS Perform. Evaluation Rev.	2004	DBLP DOI BibTeX RDF
14	John A. Rose, Akira Suyama	Physical modeling of biomolecular computers: Models, limitations, and experimental validation.	Nat. Comput.	2004	DBLP DOI BibTeX RDF	DNA strand design, molecular mechanics, statistical thermodynamics, biomolecular computing, kinetics, DNA-based computing
14	Rudy Deca, Omar Cherkaoui, Daniel Puche	A Validation Solution for Network Configuration.	CNSR	2004	DBLP DOI BibTeX RDF
14	Ana R. Cavalli, Amel Mederreg, Fatiha Zaïdi, Pierre Combes, Wei Monin, Richard Castanet, Marcien MacKaya, Patrice Laurençot	A Multi-service and Multi-protocol Validation Platform-Experimentation Results.	TestCom	2004	DBLP DOI BibTeX RDF
14	Adnan Sherif, Jifeng He 0001, Ana Cavalcanti 0001, Augusto Sampaio	A Framework for Specification and Validation of Real-Time Systems Using Circus Actions.	ICTAC	2004	DBLP DOI BibTeX RDF	Formal methods integration, real-time systems, formal verification
14	Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee	Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation.	RE	2004	DBLP DOI BibTeX RDF
14	Youhui Zhang, Dongsheng Wang 0002, Jinglei Wang, Weimin Zheng	Using Model-Based Test Program Generator for Simulation Validation.	ICESS	2004	DBLP DOI BibTeX RDF
14	Ray C. C. Cheung	A System on Chip Design Framework for Prime Number Validation Using Reconfigurable Hardware.	FPL	2004	DBLP DOI BibTeX RDF
14	Francisco P. Maturana, Raymond J. Staron, Kenwood H. Hall, Pavel Tichý, Petr Slechta, Vladimír Marík	An Intelligent Agent Validation Architecture for Distributed Manufacturing Organizations.	BASYS	2004	DBLP DOI BibTeX RDF
14	Leonard Lee, Li-C. Wang, T. M. Mak, Kwang-Ting Cheng	A path-based methodology for post-silicon timing validation.	ICCAD	2004	DBLP DOI BibTeX RDF
14	Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche	A Formal Validation Model for the Netconf Protocol.	DSOM	2004	DBLP DOI BibTeX RDF
14	Alexandros Kalousis, Julien Prados, Jean-Charles Sanchez, Laure Allard, Melanie Hilario	Distilling Classification Models from Cross Validation Runs: An Application to Mass Spectrometry.	ICTAI	2004	DBLP DOI BibTeX RDF
14	Eugene Santos Jr., Hang T. Dinh	Consistency of Test Cases in Validation of Bayesian Knowledge-Bases.	ICTAI	2004	DBLP DOI BibTeX RDF
14	Richard Howey, Derek Long, Maria Fox 0001	VAL: Automatic Plan Validation, Continuous Effects and Mixed Initiative Planning Using PDDL.	ICTAI	2004	DBLP DOI BibTeX RDF
14	Luciano Baresi, Carlo Ghezzi	Validation of Component and Service Federations in Automotive Software Applications.	ASWSD	2004	DBLP DOI BibTeX RDF
14	Zhongchao Shi, Jin Qi, Xuying Zhao, Yangsheng Wang	A Study of Minutiae Matching Algorithm Based on Orientation Validation.	SINOBIOMETRICS	2004	DBLP DOI BibTeX RDF
14	Thorsten Schöler, Christian Müller-Schloer	Design, Implementation and Validation of a Generic and Reconfigurable Protocol Stack Framework for Mobile Terminals.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
14	Qibin Mei, Chengbo Wang, Xiaolan Mei	Description Mathematical Approach to Validation for Grid Service Matching Function.	Web Intelligence	2004	DBLP DOI BibTeX RDF
14	Christian Hennig	A Method for Visual Cluster Validation.	GfKl	2004	DBLP DOI BibTeX RDF
14	Amal El Fallah Seghrouchni, Irene Degirmenciyan-Cartault, Frédéric Marc	Modelling, Control and Validation of Multi-Agent Plans in Dynamic Context.	AAMAS	2004	DBLP DOI BibTeX RDF
14	L. Ol'khovich, Dmitrij V. Koznov	OCL-Based Automated Validation Method for UML Specifications.	Program. Comput. Softw.	2003	DBLP DOI BibTeX RDF
14	Tiziana Margaria, Wang Yi 0001	Introductory paper: scalability aspects of validation.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF
14	Sankalp Singh, Michel Cukier, William H. Sanders	Probabilistic Validation of an Intrusion-Tolerant Replication System.	DSN	2003	DBLP DOI BibTeX RDF
14	Prabhat Mishra 0001, Nikil D. Dutt	A Methodology for Validation of Microprocessors using Equivalence Checking.	MTV	2003	DBLP DOI BibTeX RDF
14	Gabriele Taentzer	AGG: A Graph Transformation Environment for Modeling and Validation of Software.	AGTIVE	2003	DBLP DOI BibTeX RDF
14	David Wright 0001	Elicitation and Validation of Graphical Dependability Models.	SAFECOMP	2003	DBLP DOI BibTeX RDF
14	Jason H. Moore	Cross Validation Consistency for the Assessment of Genetic Programming Results in Microarray Studies.	EvoWorkshops	2003	DBLP DOI BibTeX RDF
14	Christopher P. Fuhrman, Fatime Djlive, Edgardo Palza	Software Verification and Validation within the (Rational) Unified Process.	SEW	2003	DBLP DOI BibTeX RDF
14	Eduardo Mosqueira-Rey, Juan Gabriel Fernández García de la Rocha, Vicente Moret-Bonillo	Design of a Validation Tool Based on Design Patterns for Intelligent Systems.	KES	2003	DBLP DOI BibTeX RDF
14	Tomas Berling, Martin Höst	A Case Study Investigating the Characteristics of Verification and Validation Activities in the Software Development Process.	EUROMICRO	2003	DBLP DOI BibTeX RDF	verification, test, case study, interview, qualitative analysis
14	Jamison Masse, Saehwa Kim, Seongsoo Hong	Tool Set Implementation for Scenario-based Multithreading of UML-RT Models and Experimental Validation.	IEEE Real Time Technology and Applications Symposium	2003	DBLP DOI BibTeX RDF
14	W. Scott Spangler, Jeffrey T. Kreulen	Interactive methods for taxonomy editing and validation.	CIKM	2002	DBLP DOI BibTeX RDF	clustering, metrics, text mining
14	Marius Bozga, Susanne Graf, Laurent Mounier	IF-2.0: A Validation Environment for Component-Based Real-Time Systems.	CAV	2002	DBLP DOI BibTeX RDF
14	Patricio Letelier 0001, Pedro Sánchez	Validation of UML Classes through Animation.	ER (Workshops)	2002	DBLP DOI BibTeX RDF
14	Sang-Kyun Kim, Myungcheol Lee, Kyu-Chul Lee	Immediate and Partial Validation Mechanism for the Conflict Resolution of Update Operations in XML Databases.	WAIM	2002	DBLP DOI BibTeX RDF
14	Christine Tanner, Julia A. Schnabel, Andreas Degenhard, Andy D. Castellano-Smith, Carmel Hayes, Martin O. Leach, D. Rodney Hose, Derek L. G. Hill, David J. Hawkes	Validation of Volume-Preserving Non-rigid Registration: Application to Contrast-Enhanced MR-Mammography.	MICCAI (1)	2002	DBLP DOI BibTeX RDF
14	Tanton H. Gibbs, Brian A. Malloy, James F. Power	Automated Validation of Class Invariants in C ++ Applications.	ASE	2002	DBLP DOI BibTeX RDF
14	Mohammad Sadeghi 0001, Josef Kittler	Modified Predictive Validation Test for Gaussian Mixture Modelling.	SSPR/SPR	2002	DBLP DOI BibTeX RDF
14	Serdar Tasiran, Kurt Keutzer	Coverage Metrics for Functional Validation of Hardware Designs.	IEEE Des. Test Comput.	2001	DBLP DOI BibTeX RDF
14	Ik-Soon Kim, Kwang-Moo Choe	Error repair with validation in LR-based parsing.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	LR, least cost, Complexity, error recovery
14	Ali Idri, Alain Abran	A Fuzzy Logic Based Set of Measures for Software Project Similarity: Validation and Possible Improvements.	IEEE METRICS	2001	DBLP DOI BibTeX RDF
14	Ludovic Apvrille, Pierre de Saqui-Sannes, Christophe Lohr, Patrick Sénac, Jean-Pierre Courtiat	A New UML Profile for Real-Time System Formal Design and Validation.	UML	2001	DBLP DOI BibTeX RDF
14	Brian D. Davison 0001	HTTP Simulator Validation Using Real Measurements: A Case Study.	MASCOTS	2001	DBLP DOI BibTeX RDF
14	Laurent Arditi, Hédi Boufaïed, Arnaud Cavanié, Vincent Stehlé	Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System.	FME	2001	DBLP DOI BibTeX RDF
14	Victor L. Winter, Dejan Desovski, Bojan Cukic	Virtual Environment Modeling for Requirements Validation of High Consequence Systems.	RE	2001	DBLP DOI BibTeX RDF
14	Hyunchul Kang, Sangmin Lim	Bandwidth-Conserving Cache Validation Schemes in a Moblie Database System.	Mobile Data Management	2001	DBLP DOI BibTeX RDF
14	Julia A. Schnabel, Christine Tanner, Andy D. Castellano-Smith, Martin O. Leach, Carmel Hayes, Andreas Degenhard, D. Rodney Hose, Derek L. G. Hill, David J. Hawkes	Validation of Non-rigid Registration Using Finite Element Methods.	IPMI	2001	DBLP DOI BibTeX RDF
14	Moataz Kamel, Stefan Leue	Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	General Inter-ORB Protocol, Promela/Spin, Model checking, Temporal logic, Specification patterns
14	Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo	An Automatic SPIN Validation of a Safety Critical Railway Control System.	DSN	2000	DBLP DOI BibTeX RDF	dependable protocols, model checking, formal verification, safety-critical systems
14	François Terrier, Nikos S. Voros, Udo Brockmeyer	Specification, Implementation, and Validation of Object-Oriented Embedded Systems.	ECOOP Workshops	2000	DBLP DOI BibTeX RDF
14	Candace L. Conwell, Rosemary Enright, Marcia A. Stutzman	Capability maturity models support of modeling and simulation verification, validation, and accreditation.	WSC	2000	DBLP DOI BibTeX RDF
14	Dirk Brade	VV&A; II: enhancing modeling and simulation accreditation by structuring Verification and Validation results.	WSC	2000	DBLP DOI BibTeX RDF
14	Jörg Desel	Teaching system modeling, simulation and validation.	WSC	2000	DBLP DOI BibTeX RDF
14	Don Caughlin	An integrated approach to verification, validation, and accredition of models and simulations.	WSC	2000	DBLP DOI BibTeX RDF
14	Jörg Desel	Validation of Process Models by Construction of Process Nets.	Business Process Management	2000	DBLP DOI BibTeX RDF
14	George C. Necula	Translation validation for an optimizing compiler.	PLDI	2000	DBLP DOI BibTeX RDF
14	P. G. Prasad	Validation of Link Layer Synthesizable Core - A Prototyping Case Study.	IEEE International Workshop on Rapid System Prototyping	2000	DBLP DOI BibTeX RDF
14	Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo	A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors.	TACAS	2000	DBLP DOI BibTeX RDF	fault tolerant behavior, model checking, formal verifications, safety critical systems, linear temporal logic
14	Jean-Paul Bodeveix, Mamoun Filali	FMona: A Tool for Expressing Validation Techniques over Infinite State Systems.	TACAS	2000	DBLP DOI BibTeX RDF	abstraction, transition systems, monadic second order logic, model checker
14	Peter R. Dietmüller, Markus Jöbstl, Jörg R. Mühlbacher, W. Zwicknagl	Real-Time Visualisation of Object Structures for Semantic Validation.	EUROMICRO	2000	DBLP DOI BibTeX RDF
14	Michael Cogswell, Don Pearl, James Sage, Alan Troidl	An Automatic Validation Methodology for Logic BIST in High Performance VLSI Design.	ICCD	2000	DBLP DOI BibTeX RDF
14	A. K. Bhattacharjee, Gopa Sen, S. D. Dhodapkar, Kundapur Karunakar, Basant Rajan, R. K. Shyamasundar	A System for Object Code Validation.	FTRTFT	2000	DBLP DOI BibTeX RDF
14	Wolfgang Fleisch	Applying Use Cases for the Requirements Validation of Component-Based Real-Time Software.	ISORC	1999	DBLP DOI BibTeX RDF
14	Irina M. Smarandache, Thierry Gautier, Paul Le Guernic	Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
14	Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier	IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
14	Aarti Gupta, Pranav Ashar, Sharad Malik	Exploiting Retiming in a Guided Simulation Based Validation Methodology.	CHARME	1999	DBLP DOI BibTeX RDF
14	Ian Oliver, Stuart Kent 0001	Validation of Object Oriented Models using Animation.	EUROMICRO	1999	DBLP DOI BibTeX RDF
14	Sandra Camargo Pinto Ferraz Fabbri, José Carlos Maldonado, Paulo César Masiero, Márcio Eduardo Delamaro	Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing.	SCCC	1999	DBLP DOI BibTeX RDF	Software Testing, Tools, Finite State Machines, Reactive Systems, Mutation Testing
14	Patrick Heymans, Eric Dubois 0001	Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements.	Requir. Eng.	1998	DBLP DOI BibTeX RDF	Formal methods, Animation, Scenarios, Message sequence charts
14	Ali Dasdan, Dinesh Ramanathan, Rajesh K. Gupta 0001	A timing-driven design and validation methodology for embedded real-time systems.	ACM Trans. Design Autom. Electr. Syst.	1998	DBLP DOI BibTeX RDF	period assignment, period derivation, rate assignment, rate derivation, timing-driven codesign, requirements analysis, timing analysis, system-level design, performance verification
14	Friedrich Leisch, Lakhmi C. Jain, Kurt Hornik	Cross-validation with active pattern selection for neural-network classifiers.	IEEE Trans. Neural Networks	1998	DBLP DOI BibTeX RDF
14	Norman Weyrich, Gregory T. Warhola	Wavelet shrinkage and generalized cross validation for image denoising.	IEEE Trans. Image Process.	1998	DBLP DOI BibTeX RDF
14	Luiz A. Paula Lima Jr., Ana R. Cavalli	Application of Embedded Testing Methods to Service Validation.	ICFEM	1998	DBLP DOI BibTeX RDF
14	Theo C. Ruys, Ed Brinksma	Experience with Literate Programming in the Modelling and Validation of Systems.	TACAS	1998	DBLP DOI BibTeX RDF
14	Mehmet Bülent Özcan, Paul William Parry, Ian C. Morrey, Jawed I. A. Siddiqi	Visualisation of Executable Formal Specifications for User Validation.	Services and Visualization: Towards User-Friendly Design	1998	DBLP DOI BibTeX RDF