Search results for "validation"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Abdulrhman Aljouie, Nihir Patel, Bharati Jadhav, Usman Roshan	Cross-validation and cross-study validation of chronic lymphocytic leukaemia with exome sequences and machine learning.	Int. J. Data Min. Bioinform.	2016	DBLP DOI BibTeX RDF
13	Rahma Yangui	Modélisation UML/B pour la validation des exigences de sécurité des règles d'exploitation ferroviaires. (UML/B modeling for the safety requirements validation of railway operating rules).		2016	RDF
13	Nicolas Gobillot	Validation d'architectures temps-réel pour la robotique autonome. (Validation of real-time architectures for autonomous robotics).		2016	RDF
13	Yaël Balbastre	Développement et validation d'outils pour l'analyse morphologique du cerveau de Macaque. (Morphometry Analysis Tools for the Macaque Brain : Development and Validation).		2016	RDF
13	Victor Medina	Visuo-perceptual validation methods for physically based image synthesis. (Méthodes de validation visuo-perceptive en synthèse d'image physico-réaliste).		2016	RDF
13	Nghi Huynh	Verification and validation of healthcare access control policies. (Vérification et validation de politiques de contrôle d'accès dans le domaine médical).		2016	RDF
13	Sékou Kangoye	Elaboration d'une approche de vérification et de validation de logiciel embarqué automobile, basée sur la génération automatique de cas de test. (Elaboration of an approach of check and validation of automobile embarked software, based on the automatic generation of case of test).		2016	RDF
13	Mehdi Pierre Daou	Développement d'une méthodologie de couplage multimodèles avec changements de dimension. Validation sur un cas-test réaliste. (Methodological development for model coupling with dimension heterogeneity. Validation on a realistic test-case).		2016	RDF
13	Quentin Mourcou	Conception et validation d'un système ubiquitaire centré autour du Smartphone et dédié à l'amélioration de l'autonomie de la personne. (Design and scientific validation of a smartphone based ubiquitous system dedicated to improvement of the autonomy of the person).		2016	RDF
13	Reiner Hähnle, Radu Muschevici	Towards Incremental Validation of Railway Systems.	ISoLA (2)	2016	DBLP DOI BibTeX RDF
13	Sebastian Reiter 0003, Alexander Viehl, Oliver Bringmann 0001, Wolfgang Rosenstiel	Fault injection ecosystem for assisted safety validation of automotive systems.	HLDVT	2016	DBLP DOI BibTeX RDF
13	Yuen C. Law, Benjamin Weyers, Torsten W. Kuhlen	Experiences on Validation of Multi-Component System Simulations for Medical Training Applications.	EuroRV³@EuroVis	2016	DBLP DOI BibTeX RDF
13	Heather McNairn, Thomas J. Jackson, Grant Wiseman, Stephane Belair, Aaron Berg, Paul Bullock, Andreas Colliander, Michael H. Cosh, Seung-Bum Kim, Ramata Magagi, Mahta Moghaddam, Eni G. Njoku, Justin R. Adams, Saeid Homayouni, Emmanuel Ojo, Tracy L. Rowlandson, Jiali Shang, Kalifa Goita, Mehdi Hosseini	The Soil Moisture Active Passive Validation Experiment 2012 (SMAPVEX12): Prelaunch Calibration and Validation of the SMAP Soil Moisture Algorithms.	IEEE Trans. Geosci. Remote. Sens.	2015	DBLP DOI BibTeX RDF
13	Veronika Brandstetter, Andreas Froese, Bastian Tenbergen, Andreas Vogelsang, Jan Christoph Wehrstedt, Thorsten Weyer	Early Validation of Automation Plant Control Software using Simulation Based on Assumption Modeling and Validation Use Cases.	Complex Syst. Informatics Model. Q.	2015	DBLP DOI BibTeX RDF
13	Karen Karapetyan, Colin R. Batchelor, David Sharpe, Valery Tkachenko, Antony J. Williams	The Chemical Validation and Standardization Platform (CVSP): large-scale automated validation of chemical structure datasets.	J. Cheminformatics	2015	DBLP DOI BibTeX RDF
13	Imanol Echevarria, Joseba Lasa, Pablo Casado, Alberto Dominguez, Inigo Eguizabal, Mikel Lizeaga, Raul Perez, Oscar Berenguer	Test bench for helicopter electro mechanical actuation system validation: Design and validation of dedicated test bench for aeronautical electromechanical actuators.	ICIT	2015	DBLP DOI BibTeX RDF
13	Nihir Patel, Bharati Jhadav, Abdulrhman Aljouie, Usman Roshan	Cross-validation and cross-study validation of chronic lymphocytic leukemia with exome sequences and machine learning.	BIBM	2015	DBLP DOI BibTeX RDF
13	Matthieu Lauzier	Conception et validation de plateformes de communication autour du corps humain, à l'échelle de l'individu et du groupe. (Design and validation of wireless body area communication platforms, for individual and group monitoring).		2015	RDF
13	Damien Foures	Validation de modèles de simulation. (Validation of simulation models).		2015	RDF
13	Jérémi Vu Bezin	Optimisation et validation des méthodes de calcul de dose à distance des faisceaux d'irradiation pour leur application dans les études épidémiologiques et cliniques en radiothérapie. (Optimization and validation of out-of-field dose calculation methods in external beam radiation therapy for use in epidemiological and clinical studies).		2015	RDF
13	Von Dim Nguyen	Validation and robust optimization of deep drawing process by simulation in the presence of uncertainty. (Validation et optimisation robuste d'un procédé d'emboutissage par simulation en contexte incertain).		2015	RDF
13	Ludovic Pintard	From safety analysis to experimental validation by fault injection - Case of automotive embedded systems. (Des analyses de sécurité à la validation expérimentale par injection de fautes ? Le cas des systèmes embarqués automobiles).		2015	RDF
13	Emmanuelle Saillard	Static/Dynamic Analyses for Validation and Improvements of Multi-Model HPC Applications. (Analyse statique/dynamique pour la validation et l'amélioration des applications parallèles multi-modèles).		2015	RDF
13	Wei Lu 0012	New Results on Stochastic Geometry Modeling of Cellular Networks : Modeling, Analysis and Experimental Validation. (Nouveaux résultats sur la modélisation des réseaux cellulaires basée sur la géométrie stochastique : analyse des performances et validation expérimentale).		2015	RDF
13	Shuxian Lu	Modélisation et validation expérimentale de concept de Détection Vidéo Coopérative destiné à un système stéréo anticollision inter-véhicule. (Modeling and experimental validation of the concept of Cooperative Video Detection for a stereo inter-vehicle collision system).		2015	RDF
13	Kevin Layat	Modelisation et validation des générateurs aléatoires cryptographiques pour les systèmes embarqués. (Modeling and validation of cryptographic random generators for embedded systems).		2015	RDF
13	Isabelle Chabert	Développement et validation d'un modèle de sources virtuelles adapté à la prédiction d'images EPID pour le contrôle qualité des traitements de RCMI. (Development and validation of a new virtual source model for portal image prediction and treatment quality control).		2015	RDF
13	Viktor Vad, Balázs Csébfalvi, Peter Rautek, M. Eduard Gröller	Reproducibility, Verification, and Validation of Experiments on the Marschner-Lobb Test Signal.	EuroRV³@EuroVis	2015	DBLP DOI BibTeX RDF
13	Marie Weiss, Frédéric Baret, Tom Block, Benjamin Koetz, Alessandro Burini, Bettina Scholze, Patrice Lecharpentier, Carsten Brockmann, Richard A. Fernandes, Stephen Plummer, Ranga B. Myneni, Nadine Gobron, Joanne M. Nightingale, Gabriela Schaepman-Strub, Fernando Camacho, Arturo Sanchez-Azofeifa	On Line Validation Exercise (OLIVE): A Web Based Service for the Validation of Medium Resolution Land Products. Application to FAPAR Products.	Remote. Sens.	2014	DBLP DOI BibTeX RDF
13	Mokhtar Boumedyen Billami, José Camacho-Collados, Évelyne Jacquey, Laurence Kister	Semantic Annotation and Terminology Validation in full scientific articles in Social Sciences and Humanities (Annotation sémantique et validation terminologique en texte intégral en SHS) [in French].	TALN (1)	2014	DBLP BibTeX RDF
13	Georges Kemayo	Evaluation et validation des systèmes distribués avioniques. (Evaluation and temporal validation of avionic systems).		2014	RDF
13	Charbel El-Gemayel	Behavioral approach for validation and system testing of embedded systems : Application in medical embedded devices. (Approche comportementale pour la validation et le test système des systèmes embarqués : Application aux dispositifs médicaux embarqués).		2014	RDF
13	Sören Witt, Sven Feja, Andreas Speck	Applying Pattern-Based Graphical Validation Rules to Business Process Models.	ICST Workshops	2014	DBLP DOI BibTeX RDF
13	Mark Hays, Jane Huffman Hayes, Arne C. Bathke	Validation of Software Testing Experiments: A Meta-Analysis of ICST 2013.	ICST	2014	DBLP DOI BibTeX RDF
13	Paolo Arcaini, Angelo Gargantini, Paolo Vavassori	Validation of Models and Tests for Constrained Combinatorial Interaction Testing.	ICST Workshops	2014	DBLP DOI BibTeX RDF
13	Prabhjot Juneja, Philp M. Evans, Emma J. Harris	The Validation Index: A New Metric for Validation of Segmentation Algorithms Using Two or More Expert Outlines With Application to Radiotherapy Planning.	IEEE Trans. Medical Imaging	2013	DBLP DOI BibTeX RDF
13	Carsten Montzka, Heye Bogena, Lutz Weihermüller, François Jonard, Catherine Bouzinac, Juha Kainulainen, Jan E. Balling, Alexander Loew, Johanna T. Dall'Amico, Erkka Rouhe, Jan Vanderborght, Harry Vereecken	Brightness Temperature and Soil Moisture Validation at Different Scales During the SMOS Validation Campaign in the Rur and Erft Catchments, Germany.	IEEE Trans. Geosci. Remote. Sens.	2013	DBLP DOI BibTeX RDF
13	Aymeric Le Dorze	Validation, synthèse et paramétrage des cartes cognitives. (Validation, synthesis, and settings of cognitive maps).		2013	RDF
13	Cédric Lachat	Conception et validation d'algorithmes de remaillage parallèles à mémoire distribuée basés sur un remailleur séquentiel. (Design and validation of distributed-memory, parallel remeshing algorithms based on asequential remesher).		2013	RDF
13	Igor Bessières	Développement et validation expérimentale d'un outil de détermination de la dose hors-champ en radiothérapie. (Development and experimental validation of a tool to determine out-of-field dose in radiotherapy).		2013	RDF
13	Kim Dung Dang	Aide à la réalisation de systèmes de pilotage de narration interactive : validation d'un scénario basée sur un modèle en logique linéaire. (Towards the realization of interactive storytelling control systems : validation of a scenario based on a linear logic model).		2013	RDF
13	Faqing Yang	A Simulation Framework for the Validation of Event-B Specifications. (Un environnement de simulation pour la validation de spécifications B événementiel).		2013	RDF
13	Luca Compagna, Pierre Guilleminot, Achim D. Brucker	Business Process Compliance via Security Validation as a Service.	ICST	2013	DBLP DOI BibTeX RDF
13	Florian Netter, Frank Gauterin, Bjorn Butterer	Real-Data Validation of Simulation Models in a Function-Based Modular Framework.	ICST	2013	DBLP DOI BibTeX RDF
13	Catherine Dubois, Michalis Famelis, Martin Gogolla, Leonel Nóbrega, Ileana Ober, Martina Seidl, Markus Völter	Research Questions for Validation and Verification in the Context of Model-Based Engineering.	MoDeVVa@MoDELS	2013	DBLP BibTeX RDF
13	Athanasia Louloudi, Franziska Klügl	Immersive Face Validation: A new Validation Technique for Agent-based Simulation.	FedCSIS	2012	DBLP BibTeX RDF
13	Houda Bouamor, Aurélien Max, Gabriel Illouz, Anne Vilnat	Validation sur le Web de reformulations locales: application à la Wikipédia (Assisted Rephrasing for Wikipedia Contributors through Web-based Validation) [in French].	JEP-TALN-RECITAL	2012	DBLP BibTeX RDF
13	Abhijit Chatterjee, Sabyasachi Deyati, Barry John Muldrey, Shyam Kumar Devarakond, Aritra Banerjee	Validation signature testing: A methodology for post-silicon validation of analog/mixed-signal circuits.	ICCAD	2012	DBLP DOI BibTeX RDF
13	Julien Rouyer	Tomographie ultrasonore dédiée à l'imagerie du sein - Validation expérimentale du projet ANAÏS. (Ultrasound computed tomography dedicated to breast imaging - Experimental validation of the ANAÏS project).		2012	RDF
13	Jonathan Lasalle	Génération automatique de tests à partir de modèles SysML pour la validation fonctionnelle de systèmes embarqués. (Automatic tests generation from SysML models for the functionnal validation of embedded).		2012	RDF
13	Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang 0001, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry	A Vision for Behavioural Model-Driven Validation of Software Product Lines.	ISoLA (1)	2012	DBLP DOI BibTeX RDF
13	Corina S. Pasareanu, Mihaela Gheorghiu Bobaru	Learning Techniques for Software Verification and Validation.	ISoLA (1)	2012	DBLP DOI BibTeX RDF
13	Nicola Nicolici	On-chip stimuli generation for post-silicon validation.	HLDVT	2012	DBLP DOI BibTeX RDF
13	Kyle Balston, Alan J. Hu, Steven J. E. Wilton, Amir Nahir	Emulation in post-silicon validation: It's not just for functionality anymore.	HLDVT	2012	DBLP DOI BibTeX RDF
13	Kanad Basu, Prabhat Mishra 0001, Priyadarsan Patra	Constrained signal selection for post-silicon validation.	HLDVT	2012	DBLP DOI BibTeX RDF
13	Pedro J. Ballester, John B. O. Mitchell	Comments on "Leave-Cluster-Out Cross-Validation Is Appropriate for Scoring Functions Derived from Diverse Protein Data Sets": Significance for the Validation of Scoring Functions.	J. Chem. Inf. Model.	2011	DBLP DOI BibTeX RDF
13	Michal Shimoni, Michele Crosetto, Stefan Lang 0001, Philippe Bally, François Boubila	The independent service validation in GMES RESPOND: the flood validation exercise.	Int. J. Digit. Earth	2011	DBLP DOI BibTeX RDF
13	Arnaud Grappy, Brigitte Grau, Mathieu-Henri Falco, Anne-Laure Ligozat, Isabelle Robba, Anne Vilnat	Sélection de réponses à des questions dans un corpus Web par validation (Selection of answers to questions in a web corpus by validation).	TALN (Articles courts)	2011	DBLP BibTeX RDF
13	Carsten Montzka, Heye Bogena, Lutz Weihermüller, François Jonard, Marin Dimitrov, Catherine Bouzinac, Juha Kainulainen, Jan E. Balling, Jan Vanderborght, Harry Vereecken	Radio brightness validation on different spatial scales during the SMOS validation campaign 2010 in the Rur catchment, Germany.	IGARSS	2011	DBLP DOI BibTeX RDF
13	Arnaud Grappy	Validation de réponses dans un système de questions réponses. (Answer validation in question answering system).		2011	RDF
13	Atif Mashkoor	Formal Domain Engineering: From Specification to Validation. (Ingénierie Formelle de Domaine: Des Spécifications à la Validation).		2011	RDF
13	Min Li 0013, Kelson Gent, Michael S. Hsiao	Utilizing GPGPUs for design validation with a modified Ant Colony Optimization.	HLDVT	2011	DBLP DOI BibTeX RDF
13	Gunar Schirner	Modeling, synthesis, and validation of heterogeneous biomedical embedded systems.	HLDVT	2011	DBLP DOI BibTeX RDF
13	Jörg Holtmann, Jan Meyer, Markus von Detten	Automatic Validation and Correction of Formalized, Textual Requirements.	ICST Workshops	2011	DBLP DOI BibTeX RDF
13	Tamás Vajk, Zoltán Dávid, Márk Asztalos, Gergely Mezei, Tihamer Levendovszky	Runtime model validation with parallel object constraint language.	MoDeVVa@MoDELS	2011	DBLP DOI BibTeX RDF
13	Fabian Büttner, Jordi Cabot, Martin Gogolla	On validation of ATL transformation rules by transformation models.	MoDeVVa@MoDELS	2011	DBLP DOI BibTeX RDF
13	Juan Garbajosa Sopeña, Manuel I. Capel Tuñón (eds.)	Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2010, In conjunction with ICEIS 2010, Funchal, Madeira, Portugal, June 2010	MSVVEIS	2010	DBLP BibTeX RDF
13	Fassely Doumbia	Contribution à l'analyse de testabilité des systèmes réactifs temps-réel : Aide à la validation et à la vérification de systèmes. (Contribution to the testability analysis of reactive real-time systems: supporting systems validation and verification).		2010	RDF
13	Freddy Muñoz	Validation of reasoning engines an adaptation mechanisms for self-adaptive systems. (Validation des moteurs de raisonnement et mécanismes d'adaptation pour les systèmes auto-adaptatifs).		2010	RDF
13	Julien Haillot	Définition et validation d'un modèle de communication supportant la communication basée contenus dans les réseaux mobiles ad hoc discontinus. (Definition and validation of a communication model that supports content-based communication in disconnected mobile ad hoc networks).		2010	RDF
13	Gerardo Morales	A testing methodology for the validation of web applications. (Une méthodologie de test pour la validation des applications web).		2010	RDF
13	Dimitra Giannakopoulou, Corina S. Pasareanu	Learning Techniques for Software Verification and Validation - Special Track at ISoLA 2010.	ISoLA (1)	2010	DBLP DOI BibTeX RDF
13	Weiwei Chen 0001, Xu Han 0002, Rainer Dömer	ESL design and multi-core validation using the System-on-Chip Environment.	HLDVT	2010	DBLP DOI BibTeX RDF
13	Malihe Tabatabaie, Fiona A. C. Polack, Richard F. Paige	KAOS-β: A Goal-oriented Process Model for EIS.	MSVVEIS	2010	DBLP BibTeX RDF
13	Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez	Compositional Verification of Business Processes by Model-Checking.	MSVVEIS	2010	DBLP BibTeX RDF
13	Oana Otilia Prisecaru	The Analysis of Resource Constrained Workflows using Petri Nets.	MSVVEIS	2010	DBLP BibTeX RDF
13	Mihnea Scafes, Costin Badica	Framework for Performance Evaluation of Service Negotiations in Agent Systems.	MSVVEIS	2010	DBLP BibTeX RDF
13	Moritz Balz, Michael Goedicke	Towards Domain-specific Modeling for Java Enterprise Applications.	MSVVEIS	2010	DBLP BibTeX RDF
13	Marianne Huchard	On Some Complementary Trends in Model Transformation Generation.	MSVVEIS	2010	DBLP BibTeX RDF
13	Ammar Mohammed, Ulrich Furbach	Extending CTL to Specify Quantitative Temporal Requirements.	MSVVEIS	2010	DBLP BibTeX RDF
13	Pedro Pablo Alarcón, Jennifer Pérez, Agustín Yagüe, David Musat	Definition of Domain Specific Operation Languages Following MDD.	MSVVEIS	2010	DBLP BibTeX RDF
13	Jean-Pierre Duval, Thierry Lecroq, Arnaud Lefebvre	Efficient validation and construction of border arrays and validation of string matching automata.	RAIRO Theor. Informatics Appl.	2009	DBLP DOI BibTeX RDF
13	Daniel Moldt, Juan Carlos Augusto, Ulrich Ultes-Nitsche (eds.)	Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2009, In conjunction with ICEIS 2009, Milan, Italy, May 2009	MSVVEIS	2009	DBLP BibTeX RDF
13	Yliès Falcone	Etude et mise en œuvre de techniques de validation à l'exécution. (Study and implementation of runtime validation techniques).		2009	RDF
13	Eduardo Cunha de Almeida	Testing and Validation of Peer-to-peer Systems. (Test et Validation des Systémes Pair-à-pair).		2009	RDF
13	Marta Garcia 0002	Development and validation of the Euler-Lagrange formulation on a parallel and unstructured solver for large-eddy simulation. (Développement et validation du formalisme Euler-Lagrange dans un solveur parallèle et non-structuré pour la simulation aux grandes échelles).		2009	RDF
13	Mathieu Thevenin	Conception et validation d'un processeur programmable de traitement du signal à faible consommation et à faible empreinte silicium : application à la vidéo HD sur téléphone mobile. (Design and Validation).		2009	RDF
13	Ali Hamada Fakra	Integration de modeles d'eclairage a un Code de calcul en physique du BâTiment : Modelisation, Validation et Applications. (Integration of daylighting Models into a calculation Code in Building Physics : modelling, Validation and Applications Test Case).		2009	RDF
13	Olivier Chenu	Conception et validation d'un dispositif de suppléance perceptive dédié à la prévention des escarres. (Conception and validation of a perceptual supplementation device dedicated to pressure sore prevention).		2009	RDF
13	Nicola Nicolici, Ho Fai Ko	Design-for-debug for post-silicon validation: Can high-level descriptions help?	HLDVT	2009	DBLP DOI BibTeX RDF
13	Lingyi Liu, Shobha Vasudevan	STAR: Generating input vectors for design validation by static analysis of RTL.	HLDVT	2009	DBLP DOI BibTeX RDF
13	Yongquan Fan, Zeljko Zilic	A versatile scheme for the validation, testing and debugging of High Speed Serial Interfaces.	HLDVT	2009	DBLP DOI BibTeX RDF
13	Peter Lisherness, Kwang-Ting Cheng	An instrumented observability coverage method for system validation.	HLDVT	2009	DBLP DOI BibTeX RDF
13	Sunil R. Shenoy	Leadership Microprocessors: Validation, debug and test.	HLDVT	2009	DBLP DOI BibTeX RDF
13	Bogdan Korel, Qi Zhang, Li Tao	Assertion-Based Validation of Modified Programs.	ICST	2009	DBLP DOI BibTeX RDF
13	Emine Gokce Aydal, Richard F. Paige, Mark Utting, Jim Woodcock 0001	Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation.	ICST	2009	DBLP DOI BibTeX RDF
13	Lawrence Cabac, Kolja Markwardt	Modeling the System Organization of Multi-Agent Systems in Early Design Stages with Coarse Design Diagrams.	MSVVEIS	2009	DBLP BibTeX RDF
13	Stephan Gradl, André Bögelsack, Holger Wittges, Helmut Krcmar	Layered Queuing Networks for Simulating Enterprise Resource Planning Systems.	MSVVEIS	2009	DBLP BibTeX RDF
13	René Börner, Matthias Goeken	Methods for Service Identification: A Criteria-based Literature Review.	MSVVEIS	2009	DBLP BibTeX RDF
13	Kolja Markwardt, Lawrence Cabac, Christine Reese	A Process-Oriented Tool-Platform for Distributed Development.	MSVVEIS	2009	DBLP BibTeX RDF