Search results for "validation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Ivan Augé, Frédéric Pétrot, François Donnet, Pascal Gomez	Platform-based design from parallel C specifications.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
15	Mengmeng Ding, Glenn Wolfe, Ranga Vemuri	An error-driven adaptive grid refinement algorithm for automatic generation of analog circuit performance macromodels.	ASP-DAC	2005	DBLP DOI BibTeX RDF
15	Adriano Sarmento, Wander O. Cesário, Ahmed Amine Jerraya	Automatic Building of Executable Models from Abstract SoC Architectures Made of Heterogeneous Subsystems.	IEEE International Workshop on Rapid System Prototyping	2004	DBLP DOI BibTeX RDF
15	Tomas Berling, Per Runeson	Efficient Evaluation of Multifactor Dependent System Performance Using Fractional Factorial Design.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Fractional factorial design, performance evaluation, prototyping, performance of systems
15	Rajesh K. Gupta 0001, Shishpal Rawat, Sandeep K. Shukla, Brian Bailey, Daniel K. Beece, Masahiro Fujita, Carl Pixley, John O'Leary, Fabio Somenzi	Formal verification - prove it or pitch it.	DAC	2003	DBLP DOI BibTeX RDF
15	Farzan Fallah, Pranav Ashar, Srinivas Devadas	Functional vector generation for sequential HDL models under an observability-based code coverage metric.	IEEE Trans. Very Large Scale Integr. Syst.	2002	DBLP DOI BibTeX RDF
15	Luc Segoufin, Victor Vianu	Validating Streaming XML Documents. (PDF / PS)	PODS	2002	DBLP DOI BibTeX RDF	XML
15	Vittorio Cortellessa, Harshinder Singh, Bojan Cukic	Early reliability assessment of UML based software models.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	bayesian reliability prediction, component based systems, UML models, reliability assessment
15	Ken Butts	Hybrid Models for Automotive Powertrain Systems: Revisiting a Vision.	HSCC	2000	DBLP DOI BibTeX RDF
15	Eric Conquet, Jean-Luc Marty	Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
15	K. H. (Kane) Kim, C. V. Ramamoorthy	Failure-tolerant parallel programming and its supporting system architecture.	AFIPS National Computer Conference	1976	DBLP DOI BibTeX RDF
14	Guido de Caso	Behavioural validation of software engineering artefacts.	ICSE (2)	2010	DBLP DOI BibTeX RDF	code understanding, contract conformance, behaviour models
14	Guido de Caso	Behavioural validation of software engineering artefacts.	ICSE (2)	2010	DBLP DOI BibTeX RDF	code understanding, contract conformance, behaviour models
14	Alessandro Cimatti, Marco Roveri, Stefano Tonetta	Requirements Validation for Hybrid Systems.	CAV	2009	DBLP DOI BibTeX RDF
14	Michael Ryabtsev, Ofer Strichman	Translation Validation: From Simulink to C.	CAV	2009	DBLP DOI BibTeX RDF
14	Jan-Paul Leuteritz, Harald Widlroither, Michael Klüh	Multi-level Validation of the ISOmetrics Questionnaire Based on Qualitative and Quantitative Data Obtained from a Conventional Usability Test.	HCI (1)	2009	DBLP DOI BibTeX RDF	ISOmetrics, AttrakDiff, small display devices, shower control, Validity, questionnaire
14	Elena Villalba, Dario Salvi, Ignacio Peinado, Manuel Ottaviano, María Teresa Arredondo	Validation Results of the User Interaction in a Heart Failure Management System.	eTELEMED	2009	DBLP DOI BibTeX RDF
14	Khalid Saleem, Zohra Bellahsene	Complex Schema Match Discovery and Validation through Collaboration.	OTM Conferences (1)	2009	DBLP DOI BibTeX RDF	Complex Schema Matching, Mini-taxonomies, Collaboration, Large scale, Tree Mining
14	Vicky G. Papadopoulou, Andreas Gregoriades	Network Security Validation Using Game Theory.	OTM Workshops	2009	DBLP DOI BibTeX RDF	Game Theory, Network Security, Non-functional requirements
14	Tibor Bosse, Charlotte Gerritsen, Michel C. A. Klein, Frank M. Weerman	Development and Validation of an Agent-Based Simulation Model of Juvenile Delinquency.	CSE (4)	2009	DBLP DOI BibTeX RDF
14	Aleksandr Sukhorukov	Architecture for Automated Validation of E-learning Courses.	ICALT	2009	DBLP DOI BibTeX RDF
14	Tomoya Sakai 0002, Atsushi Imiya	Validation of Watershed Regions by Scale-Space Statistics.	SSVM	2009	DBLP DOI BibTeX RDF
14	Amar Kumar, Amiya Nayak, Alka Srivastava, Nita Goel	Experimental validation of statistical algorithm for diagnosis of damage fault.	CCECE	2009	DBLP DOI BibTeX RDF
14	Zurab Khasidashvili, Gavriel Gavrielov, Tom Melham	Assume-guarantee validation for STE properties within an SVA environment.	FMCAD	2009	DBLP DOI BibTeX RDF
14	Mikio Ikoma, Masayuki Ooshima, Takahiro Tanida, Michiko Oba, Sanshiro Sakai	Using a validation model to measure the agility of software development in a large software development organization.	ICSE Companion	2009	DBLP DOI BibTeX RDF
14	Martin Dimitrov, Huiyang Zhou	Anomaly-based bug prediction, isolation, and validation: an automated approach for software debugging.	ASPLOS	2009	DBLP DOI BibTeX RDF	automated debugging, architectural support
14	Jorge Campos, Hussain Al-Asaad	A Novel Mutation-Based Validation Paradigm for High-Level Hardware Descriptions.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
14	Shigen Shen, Guangxue Yue	Unified Certificate Validation System DNS-OCSP.	ISECS	2008	DBLP DOI BibTeX RDF
14	Ricardo R. Jorge, Gerardo Reyes Salgado, Vianey Guadalupe Cruz Sánchez	Verification and validation of a Neural-Symbolic Hybrid System using an enhanced Petri net.	IEEE ICCI	2008	DBLP DOI BibTeX RDF
14	Franziska Klügl	A validation methodology for agent-based simulations.	SAC	2008	DBLP DOI BibTeX RDF
14	Michalis E. Zervakis, Michalis E. Blazadonakis, A. Banti, Dimitris Kafetzopoulos, Vasiliki Danilatou, Manolis Tsiknakis	Performance validation of microarray analysis methods.	BIBE	2008	DBLP DOI BibTeX RDF
14	Shimin Li, Ladan Tahvildari, Weining Liu, Mike Morrissey, Gary Cort	Coping with Requirements Changes in Software Verification and Validation.	CSMR	2008	DBLP DOI BibTeX RDF
14	Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh 0002, P. Vignesh V. Ganesan	A Dynamic Assertion-Based Verification Platform for Validation of UML Designs.	ATVA	2008	DBLP DOI BibTeX RDF
14	Sylvain Hallé, Roger Villemaire	XML Methods for Validation of Temporal Properties on Message Traces with Data.	OTM Conferences (1)	2008	DBLP DOI BibTeX RDF
14	Ashit Gosalia, Xin (Shin) Zhang	Automatic plan choice validation using performance statistics.	DBTest	2008	DBLP DOI BibTeX RDF	performance statistics, optimizer, XML, data warehousing, performance test, query plan
14	Barbara Kump	A Validation Framework for Formal Models in Adaptive Work-Integrated Learning.	AH	2008	DBLP DOI BibTeX RDF
14	Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta	From Informal Requirements to Property-Driven Formal Validation.	FMICS	2008	DBLP DOI BibTeX RDF
14	Sanna Määttä, Leandro Soares Indrusiak, Luciano Ost, Leandro Möller, Jari Nurmi, Manfred Glesner, Fernando Moraes 0001	Validation of executable application models mapped onto network-on-chip platforms.	SIES	2008	DBLP DOI BibTeX RDF
14	Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra	A Scenario-Based Validation Language for ASMs.	ABZ	2008	DBLP DOI BibTeX RDF
14	Alberto Téllez-Valero, Antonio Juárez-González, Manuel Montes-y-Gómez, Luis Villaseñor Pineda	Analyzing the Use of Non-overlap Features for Supervised Answer Validation.	CLEF	2008	DBLP DOI BibTeX RDF
14	Christine Jacquin, Laura Monceaux, Emmanuel Desmontils	The Answer Validation System ProdicosAV Dedicated to French.	CLEF	2008	DBLP DOI BibTeX RDF
14	Rui Wang 0005, Günter Neumann	Information Synthesis for Answer Validation.	CLEF	2008	DBLP DOI BibTeX RDF
14	Edward Verbree, Hang Si	Validation and Storage of Polyhedra through Constrained Delaunay Tetrahedralization.	GIScience	2008	DBLP DOI BibTeX RDF
14	Timothy W. Schoenharl, Gregory R. Madey	Evaluation of Measurement Techniques for the Validation of Agent-Based Simulations Against Streaming Data.	ICCS (3)	2008	DBLP DOI BibTeX RDF
14	Miron Abramovic	A Solution for On-Line TRUST Validation.	HOST	2008	DBLP DOI BibTeX RDF
14	Xiaoli Bai, Xueshan Luo, Xiaohui Bai, Xianqing Yi, Honghui Chen, Deke Guo	Study of DoD Architecture Simulation Validation based on UML and Extended Colored Petri Nets.	ICNSC	2008	DBLP DOI BibTeX RDF
14	Masayuki Karasuyama, Ryohei Nakano	Optimizing Sparse Kernel Ridge Regression hyperparameters based on leave-one-out cross-validation.	IJCNN	2008	DBLP DOI BibTeX RDF
14	Emine Gokce Aydal, Mark Utting, Jim Woodcock 0001	A Comparison of State-Based Modelling Tools for Model Validation.	TOOLS (46)	2008	DBLP DOI BibTeX RDF
14	Sascha Klement, Amir Madany Mamlouk, Thomas Martinetz	Reliability of Cross-Validation for SVMs in High-Dimensional, Low Sample Size Scenarios.	ICANN (1)	2008	DBLP DOI BibTeX RDF
14	Carlos Noguera, Laurence Duchien	Annotation Framework Validation Using Domain Models.	ECMDA-FA	2008	DBLP DOI BibTeX RDF
14	Mark Sherriff, Laurie A. Williams	Empirical Software Change Impact Analysis using Singular Value Decomposition.	ICST	2008	DBLP DOI BibTeX RDF	Change Records, Singular Value Decomposition, Impact Analysis
14	Dimitris Gizopoulos, Robert C. Aitken, Sandip Kundu	Guest Editorial: Special Section on "Autonomous Silicon Validation and Testing of Microprocessors and Microprocessor-Based Systems".	IEEE Trans. Very Large Scale Integr. Syst.	2007	DBLP DOI BibTeX RDF
14	Eray Gençay, Wolfgang Küchlin, Thorsten Schäfer	SANchk: An SQL-Based Validation System for SAN Confiuration.	Integrated Network Management	2007	DBLP DOI BibTeX RDF
14	Andrew D. Gilliam, Scott T. Acton	Echocardiographic Simulation for Validation of Automated Segmentation Methods.	ICIP (5)	2007	DBLP DOI BibTeX RDF
14	Collin Jackson, Daniel R. Simon, Desney S. Tan, Adam Barth	An Evaluation of Extended Validation and Picture-in-Picture Phishing Attacks.	Financial Cryptography	2007	DBLP DOI BibTeX RDF
14	Kai Huang, Sanjeev K. Srivastava, David A. Cartes	Validation of agent based reconfiguration scheme using modeling and simulation approach.	SCSC	2007	DBLP BibTeX RDF	simulation, modeling, multi agent system, reconfiguration, distributed intelligence
14	Ignasi Iriondo Sanz, Santiago Planet, Francesc Alías, Joan Claudi Socoró, Elisa Martínez Marroquín	Validation of an Expressive Speech Corpus by Mapping Automatic Classification to Subjective Evaluation.	IWANN	2007	DBLP DOI BibTeX RDF
14	Yves Joannon, Vincent Beroulle, Chantal Robach, Smail Tedjini, Jean-Louis Carbonéro	Qualification of behavioral level design validation for AMS & RF SoCs.	VLSI-SoC	2007	DBLP DOI BibTeX RDF
14	Jesús M. Juarez Valero, Rui R. Paulo, Fernando J. Velez	Event-Based Simulation for Multi-rate Multi-service Traffic Validation in B3G Systems.	VTC Spring	2007	DBLP DOI BibTeX RDF
14	Nuo Li, Maozhong Jin, Chao Liu 0002	Web Application Model Recovery for User Input Validation Testing.	ICSEA	2007	DBLP DOI BibTeX RDF
14	Yi Feng 0003, Zheng Zhou, Dong Tong 0001, Xu Cheng 0001	Clock domain crossing fault model and coverage metric for validation of SoC design.	DATE	2007	DBLP DOI BibTeX RDF
14	Óscar R. Ribeiro, João M. Fernandes	Validation of Reactive Software from Scenario-Based Models.	QUATIC	2007	DBLP DOI BibTeX RDF
14	César Pichardo-Almarza, Rod H. Smallwood, S. A. Billings	Spatiotemporal Analysis of an Agent-Based Model of a Colony of Keratinocytes: A First Approach for the Development of Validation Methods.	BIBE	2007	DBLP DOI BibTeX RDF
14	Jung-Sing Jwo, Yu Chin Cheng	Pseudo Software: a New Concept for Iterative Requirement Development and Validation.	APSEC	2007	DBLP DOI BibTeX RDF
14	Lorenz Froihofer, Johannes Osrael, Karl M. Göschka	Decoupling Constraint Validation from Business Activities to Improve Dependability in Distributed Object Systems.	ARES	2007	DBLP DOI BibTeX RDF
14	Dariusz Choinski, Mieczyslaw Metzger, Witold Nocon, Grzegorz Polaków	Cooperative Validation in Distributed Control Systems Design.	CDVE	2007	DBLP DOI BibTeX RDF	knowledge ontology, web environment for collaborative working, multiple location collaborative design, multi-agent systems, Collaborative design, industrial applications
14	Giovanna Guerrini, Marco Mesiti, Matteo Alberto Sorrenti	XML Schema Evolution: Incremental Validation and Efficient Document Adaptation.	XSym	2007	DBLP DOI BibTeX RDF
14	Iuri Fanti, Mattia C. F. Prosperi, Giovanni Ulivi, Alessandro Micarelli	HIV-1 Coreceptor Usage Prediction via Indexed Local Kernel Smoothing Methods and Grid-Based Multiple Statistical Validation.	CBMS	2007	DBLP DOI BibTeX RDF
14	Donald Glowinski, Antonio Camurri, Carlo Chiorri, Barbara Mazzarino, Gualtiero Volpe	Validation of an Algorithm for Segmentation of Full-Body Movement Sequences by Perception: A Pilot Experiment.	Gesture Workshop	2007	DBLP DOI BibTeX RDF	motion segmentation, motion feature, expressive gesture
14	Jihène Krichène, Mohamed Hamdi, Noureddine Boudriga	Security policy validation using temporal executable specifications.	SMC	2007	DBLP DOI BibTeX RDF
14	Graham C. Low, Ghassan Beydoun, Brian Henderson-Sellers, Cesar Gonzalez-Perez	Towards Method Engineering for Multi-Agent Systems: A Validation of a Generic MAS Metamodel.	PRIMA	2007	DBLP DOI BibTeX RDF
14	Rui Wang 0005, Günter Neumann	Using Recognizing Textual Entailment as a Core Engine for Answer Validation.	CLEF	2007	DBLP DOI BibTeX RDF
14	Michel Pignol	Methodology and Tools Developed for Validation of COTS-based Fault-Tolerant Spacecraft Supercomputers.	IOLTS	2007	DBLP DOI BibTeX RDF
14	Jianping Wu, Gang Ren 0003, Xing Li 0001	Source Address Validation: Architecture and Protocol Design.	ICNP	2007	DBLP DOI BibTeX RDF
14	Hui-Chih Wang, Her-Sen Doong	Validation in Internet Survey Research: Reviews and Future Suggestions.	HICSS	2007	DBLP DOI BibTeX RDF
14	Masayuki Karasuyama, Ryohei Nakano	Optimizing SVR Hyperparameters via Fast Cross-Validation using AOSVR.	IJCNN	2007	DBLP DOI BibTeX RDF
14	F. Javier Sánchez Castro, Claudio Pollo, Reto Meuli, Philippe Maeder, Olivier Cuisenaire, Meritxell Bach Cuadra, Jean-Guy Villemure, Jean-Philippe Thiran	A Cross Validation Study of Deep Brain Stimulation Targeting: From Experts to Atlas-Based, Segmentation-Based and Automatic Registration Algorithms.	IEEE Trans. Medical Imaging	2006	DBLP DOI BibTeX RDF
14	Lixu Gu, Jianfeng Xu, Terry M. Peters	Novel Multistage Three-Dimensional Medical Image Segmentation: Methodology and Validation.	IEEE Trans. Inf. Technol. Biomed.	2006	DBLP DOI BibTeX RDF
14	Kevin Y. Yip, Michael K. Ng 0001, David W. Cheung	Input Validation for Semi-supervised Clustering.	ICDM Workshops	2006	DBLP DOI BibTeX RDF
14	Nils Gruschka, Norbert Luttenberger	Protecting Web Services from DoS Attacks by SOAP Message Validation.	SEC	2006	DBLP DOI BibTeX RDF
14	Jennifer S. W. Campbell, Peter Savadjiev, Kaleem Siddiqi, G. Bruce Pike	Validation and regularization in diffusion MRI tractography.	ISBI	2006	DBLP DOI BibTeX RDF
14	Heon-Mo Koo, Prabhat Mishra 0001	Functional test generation using property decompositions for validation of pipelined processors.	DATE	2006	DBLP DOI BibTeX RDF
14	Li Na Ren, Yun Zhang Pei, Yibo Zhang, Chun Ying	Charging Validation for Third Party Value-Added Applications in Service Delivery Platform.	NOMS	2006	DBLP DOI BibTeX RDF
14	Murray Evans, James M. Ferryman	Cross Validation and Segment Support for Stereo Belief Propagati.	ICPR (1)	2006	DBLP DOI BibTeX RDF
14	Roberto Lublinerman, Necmiye Ozay, Dimitrios Zarpalas, Octavia I. Camps	Activity Recognition from Silhouettes using Linear Systems and Model (In)validation Techniques.	ICPR (1)	2006	DBLP DOI BibTeX RDF
14	Senjian An, Wanquan Liu, Svetha Venkatesh	Efficient Cross-validation of the Complete Two Stages in KFD Classifier Formulation.	ICPR (3)	2006	DBLP DOI BibTeX RDF
14	Hui Xiong 0001, Junjie Wu 0002, Jian Chen 0016	K-means clustering versus validation measures: a data distribution perspective.	KDD	2006	DBLP DOI BibTeX RDF	coefficient of variation (CV), entropy, K-means clustering
14	Glenn Carl, Shashi Phoha, George Kesidis, Bharat B. Madan	Path preserving scale down for validation of internet inter-domain routing protocols.	WSC	2006	DBLP DOI BibTeX RDF
14	John Michopoulos, Sam Lambrakos	Underlying issues associated with validation and verification of dynamic data driven simulation.	WSC	2006	DBLP DOI BibTeX RDF
14	Yvon Resplandy	Use of a computer algebra software in the functional validation of continuous simulations.	WSC	2006	DBLP DOI BibTeX RDF
14	Gabriela Jacques-Silva, Roberto Jung Drebes, Júlio Gerchman, Joana Matos Fonseca da Trindade, Taisy Silva Weber, Ingrid Jansch-Pôrto	A Network-Level Distributed Fault Injector for Experimental Validation of Dependable Distributed Systems.	COMPSAC (1)	2006	DBLP DOI BibTeX RDF
14	Carlos Molina-Jiménez, Santosh K. Shrivastava	Maintaining Consistency between Loosely Coupled Services in the Presence of Timing Constraints and Validation Errors.	ECOWS	2006	DBLP DOI BibTeX RDF
14	Zhiqiang Lin, Nai Xia, Guole Li, Bing Mao, Li Xie 0001	Transparent Run-Time Prevention of Format-String Attacks Via Dynamic Taint and Flexible Validation.	ISC	2006	DBLP DOI BibTeX RDF
14	Masashi Sugiyama, Benjamin Blankertz, Matthias Krauledat, Guido Dornhege, Klaus-Robert Müller	Importance-Weighted Cross-Validation for Covariate Shift.	DAGM-Symposium	2006	DBLP DOI BibTeX RDF
14	Álvaro Rodrigo, Anselmo Peñas, Jesús Herrera, Felisa Verdejo	The Effect of Entity Recognition on Answer Validation.	CLEF	2006	DBLP DOI BibTeX RDF
14	Anselmo Peñas, Álvaro Rodrigo, Valentín Sama, Felisa Verdejo	Overview of the Answer Validation Exercise 2006.	CLEF	2006	DBLP DOI BibTeX RDF
14	Zornitsa Kozareva, Sonia Vázquez, Andrés Montoyo	University of Alicante at QA@CLEF2006: Answer Validation Exercise.	CLEF	2006	DBLP DOI BibTeX RDF
14	Rance Cleaveland, Scott A. Smolka, Steve Sims	An Instrumentation-Based Approach to Controller Model Validation.	ASWSD	2006	DBLP DOI BibTeX RDF
14	Jochen Malte Küster, Mohamed Abd-El-Razik	Validation of Model Transformations - First Experiences Using a White Box Approach.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	Testing, Model transformations
14	Benoit Baudry, David Hearnden, Nicolas Rapin, Jörn Guy Süß	Report on the 3rd MoDeVa Workshop - Model Design and Validation.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF