The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for validation with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1967-1974 (23) 1975-1976 (22) 1977-1978 (28) 1979-1980 (24) 1981 (23) 1982 (22) 1983 (22) 1984 (21) 1985 (16) 1986 (27) 1987 (25) 1988 (45) 1989 (51) 1990 (57) 1991 (77) 1992 (85) 1993 (120) 1994 (112) 1995 (144) 1996 (163) 1997 (179) 1998 (283) 1999 (318) 2000 (438) 2001 (434) 2002 (559) 2003 (651) 2004 (885) 2005 (1074) 2006 (1286) 2007 (1371) 2008 (1623) 2009 (1136) 2010 (926) 2011 (838) 2012 (873) 2013 (906) 2014 (963) 2015 (906) 2016 (1109) 2017 (1054) 2018 (1119) 2019 (167)
Publication types (Num. hits)
article(5679) book(19) incollection(132) inproceedings(14090) phdthesis(203) proceedings(82)
Venues (Conferences, Journals, ...)
ICST(683) ICST Workshops(649) HLDVT(417) IGARSS(388) CoRR(299) ISoLA (1)(239) ISoLA (2)(228) Winter Simulation Conference(199) IEEE Trans. Geoscience and Rem...(160) Remote Sensing(141) EUROVAV(129) MSVVEIS(121) EMBC(108) ICRA(106) IEEE Trans. Med. Imaging(105) Sensors(104) More (+10 of total 3604)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9747 occurrences of 4204 keywords

Results
Found 20205 publication records. Showing 20205 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
55Jesus Luna, Manel Medina, Oscar Manso Using OGRO and CertiVeR to improve OCSP validation for Grids. Search on Bibsonomy The Journal of Supercomputing The full citation details ... 2007 DBLP  DOI  BibTeX  RDF CertiVeR, Grid validation, Grid validation policy, Online Certificate Status Protocol, Open Grid OCSP, Prevalidation
54Jagannath Keshava, Nagib Hakim, Chinna Prudvi Post-silicon validation challenges: how EDA and academia can help. Search on Bibsonomy DAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF design, verification, test, validation, emulation
54Joseph Tucek, Weiwei Xiong, Yuanyuan Zhou 0001 Efficient online validation with delta execution. Search on Bibsonomy ASPLOS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF delta execution, patch validation, testing
51Vladan M. Jovanovic, Lily Cupic Teaching agile validation of data models. Search on Bibsonomy SIGITE Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF agile validation, data model validation, teaching validation
51Michael Tonndorf An Efficient Compiler Validation Method for Ada 9X. Search on Bibsonomy Ada-Europe The full citation details ... 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
51Jean 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. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
50Chunmei Yang, Baikun Wan, Xiaofeng Gao Effectivity of Internal Validation Techniques for Gene Clustering. Search on Bibsonomy ISBMDA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF internal validation measure, gene expression data, cluster validation, gene clustering
49Gunter Grieser, Klaus P. Jantke, Steffen Lange Towards the Validation of Inductive Learning Systems. Search on Bibsonomy ALT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
49Leon G. Stucki Validation and verification vs. The software life cycle(Position Statement). Search on Bibsonomy ACM Annual Conference (2) The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
48Geoff Huston Measures of Self-similarity of BGP Updates and Implications for Securing BGP. Search on Bibsonomy PAM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Secure BGP, Validation Caching, BGP
46Jan Hlavicka, Stanislav Racek, Pavel Smrha Functional Validation of Fault-Tolerant Asynchronous Algorithms. Search on Bibsonomy EUROMICRO The full citation details ... 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
46Ehsan Atoofian, Amirali Baniasadi, Yvonne Coady Adaptive Read Validation in Time-Based Software Transactional Memory. Search on Bibsonomy Euro-Par Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF read validation policy, time-based transactional memory, transactional memory
46Nathaniel J. August A Robust and Efficient Pre-Silicon Validation Environment for Mixed-Signal Circuits on Intel's Test Chips. Search on Bibsonomy ISQED The full citation details ... 2008 DBLP  DOI  BibTeX  RDF pre-silicon, validation, mixed-signal
46Yoshiaki Kakuda, Yasushi Wakahara, Masamitsu Norigoe An Acyclic Expansion Algorithm for Fast Protocol Validation. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF acyclic expansion algorithm, protocol errors, system deadlocks, channel overflows, protocols, finite state machines, program verification, finite automata, system recovery, state transitions, computer communications software, protocol validation, communications software
45Tommy Bojan, Igor Frumkin, Robert Mauri Intel First Ever Converged Core Functional Validation Experience: Methodologies, Challenges, Results and Learning. Search on Bibsonomy MTV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
45Jesus Luna, Manel Medina, Oscar Manso Using OGRO and CertiVeR to Improve OCSP Validation for Grids. Search on Bibsonomy GPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
44Khaled El Emam, Saïda Benlarbi, Nishith Goel, Shesh N. Rai The Confounding Effect of Class Size on the Validity of Object-Oriented Metrics. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF metrics validation, object-oriented quality, inheritance metrics, cohesion metrics, software quality, Object-oriented metrics, coupling metrics, validation methodology
42Priyadarsan Patra On the cusp of a validation wall. Search on Bibsonomy IEEE Design & Test of Computers The full citation details ... 2007 DBLP  DOI  BibTeX  RDF validation wall, low DPM, modular validation, logic, virtual platform
42Yamine Aït Ameur, Mickaël Baron Formal and experimental validation approaches in HCI systems design based on a shared event B model. Search on Bibsonomy STTT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Interaction properties verification and validation, User task modelling and validation, Event B method, CTT (ConcurTaskTrees) language, Formal methods
42Louis G. Birta, F. Nur Ozmizrak A Knowlege-Based Approach for the Validation of Simuation Models: The Foundation. Search on Bibsonomy ACM Trans. Model. Comput. Simul. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF behavioral validation, validation knowledge base, constraint satisfaction, experiment design
42Ekaterina Auer, Wolfram Luther Numerical Verification Assessment in Computational Biomechanics. Search on Bibsonomy Numerical Validation in Current Hardware Architectures The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Numerical verification assessment, validation, uncertainty, result verification
41Tomas Berling, Per Runeson Application of Factorial Design to Validation of System Performance. Search on Bibsonomy ECBS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Trial planning, System performance validation, Radar system, Test planning, Factorial design
41Rainer Knauf, Setsuo Tsuruta, Avelino J. Gonzalez Toward Reducing Human Involvement in Validation of Knowledge-Based Systems. Search on Bibsonomy IEEE Trans. Systems, Man, and Cybernetics, Part A The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
41Liang Zhang 0012, Indradeep Ghosh, Michael S. Hsiao A Framework for Automatic Design Validation of RTL Circuits Using ATPG and Observability-Enhanced Tag Coverage. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
39Junjie Wu, Hui Xiong, Jian Chen Adapting the right measures for K-means clustering. Search on Bibsonomy KDD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF external criteria, k-means, cluster validation
38Antonio Ruiz-Martínez, Daniel Sánchez-Martínez, C. Inmaculada Marín-López, Manuel Gil Pérez, Antonio Fernandez Gómez-Skarmeta ACVS: An Advanced Certificate Validation Service in Service-Oriented Architectures. Search on Bibsonomy ICIW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF certificate validation, xkms, long term validation
38Peng Zhang, Wai-Shing Luk, Yu Song, Jiarong Tong, Pushan Tang, Xuan Zeng 0001 WCOMP: Waveform Comparison Tool for Mixed-signal Validation Regression in Memory Design. Search on Bibsonomy ASP-DAC The full citation details ... 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
38Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Clark W. Barrett, Yi Fang 0001, Ying Hu Translation and Run-Time Validation of Loop Transformations. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2005 DBLP  DOI  BibTeX  RDF reordering transformations, run-time validation, speculative optimizations, global optimizations, optimizing compilers, loop transformations, translation validation, verification conditions
38Ying Hu, Clark W. Barrett, Benjamin Goldberg Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations. Search on Bibsonomy SEFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Compiler validation, speculative loop optimizations, formal methods, translation validation
38John C. Grundy, Guoliang Ding Automatic Validation of Deployed J2EE Components Using Aspects. Search on Bibsonomy ASE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF software component validation, component characterisation, validation agents, automated testing
38Victor C. S. Lee, Kwok-Wa Lam, Sang Hyuk Son Real-time transaction processing with partial validation at mobile clients. Search on Bibsonomy RTCSA The full citation details ... 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
38Jan Madsen Validation and testing of sC++ applications. Search on Bibsonomy ECBS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF sC++, Random Walk validation, concurrent version, testing, validation, program verification, search techniques, testing programs
37Subhasish Mitra, Sanjit A. Seshia, Nicola Nicolici Post-silicon validation opportunities, challenges and recent advances. Search on Bibsonomy DAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF post-silicon validation
37Amit Sachan, Sabu Emmanuel, Mohan S. Kankanhalli Efficient license validation in MPML DRM architecture. Search on Bibsonomy Digital Rights Management Workshop The full citation details ... 2009 DBLP  DOI  BibTeX  RDF license organization, license validation, digital rights management (drm)
37Jinjun Chen, Yun Yang 0001 Key research issues in grid workflow verification and validation. Search on Bibsonomy ACSW The full citation details ... 2006 DBLP  BibTeX  RDF grid workflow systems, grid workflow validation, grid workflow verification
37Prabhat Mishra, Nikil D. Dutt Modeling and validation of pipeline specifications. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Modeling of processor pipeline, pipeline validation, pipelined processor specification, architecture description language
37Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire Automated Validation of Service Configuration on Network Devices. Search on Bibsonomy MMNS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF network service management, automated configuration validation
37Diana Berbecaru, Antonio Lioy, Marius Marian On the Complexity of Public-Key Certificate Validation. Search on Bibsonomy ISC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF certificate validation, DPD, DPV, PKI, certificate revocation, CRL, OCSP
37Li-C. Wang, Magdy S. Abadir, Jing Zeng On measuring the effectiveness of various design validation approaches for PowerPC microprocessor embedded arrays. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF assertion test generation, design error model, validation, ATPG, logic verification, symbolic trajectory evaluation
36Miseon Choi, Wonik Park, Young-Kuk Kim Two-phase mobile transaction validation in wireless broadcast environments. Search on Bibsonomy ICUIMC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF concurrency control, wireless data broadcast, mobile transaction
36Agustín Yagüe, Juan Garbajosa Applying the Knowledge Stored in Systems Models to Derve Validation Tools and Environments. Search on Bibsonomy IEEE ICCI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Prabhat Mishra, Nikil D. Dutt Functional Validation of Programmable Architectures. Search on Bibsonomy DSD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Stéphane Loiseau A Semantic Validation of Conceptual Graphs. Search on Bibsonomy ICCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
35Cormac Flanagan, Susanne Graf, Madhusan Parthasarathy, Shaz Qadeer 09361 Abstracts Collection - Design and Validation of Concurrent Systems. Search on Bibsonomy Design and Validation of Concurrent Systems The full citation details ... 2009 DBLP  BibTeX  RDF
35Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein 08021 Summary - Numerical Validation in Current Hardware Architectures. Search on Bibsonomy Numerical Validation in Current Hardware Architectures The full citation details ... 2008 DBLP  BibTeX  RDF
35Wolfram Luther, Annie A. M. Cuyt, Walter Krämer, Peter W. Markstein 08021 Abstracts Collection - Numerical Validation in Current Hardware Architectures. Search on Bibsonomy Numerical Validation in Current Hardware Architectures The full citation details ... 2008 DBLP  BibTeX  RDF
34Rainer Knauf, Setsuo Tsuruta, Hirokazu Ihara, Avelino J. Gonzalez, Torsten Kurbad Improving AI Systems? Dependability by Utilizing Historical Knowledge. Search on Bibsonomy PRDC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Ousmane Koné Experiment with the Validation of WAP Systems. Search on Bibsonomy LCN The full citation details ... 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
33Michel Diaz, Guy Juanole, Jean-Pierre Courtiat Observer-A Concept for Formal On-Line Validation of Distributed Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
33Jean-Baptiste Tristan, Xavier Leroy Verified validation of lazy code motion. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF lazy code motion, the coq proof assistant, redundancy elimination, translation validation, verified compilers
33Claudia Szabo, Yong Meng Teo An Approach for Validation of Semantic Composability in Simulation Models. Search on Bibsonomy PADS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF semantic composability, simulation, component, validation
33Owen 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. Search on Bibsonomy Software Quality Journal The full citation details ... 2008 DBLP  DOI  BibTeX  RDF UML use cases, Software engineering, Program understanding, Software validation
33Zenon Waszczyszyn, Marek Slonski Maximum of Marginal Likelihood Criterion instead of Cross-Validation for Designing of Artificial Neural Networks. Search on Bibsonomy ICAISC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF neural network design, marginal likelihood, Bayesian inference, cross-validation
33Nikolai Kosmatov Constraint Solving for Sequences in Software Validation and Verification. Search on Bibsonomy INAP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF verification, validation, sequences, constraint solver
33P. Nagabhushan, S. A. Angadi, Basavaraj S. Anami Symbolic Data Structure for Postal Address Representation and Address Validation Through Symbolic Knowledge Base. Search on Bibsonomy PReMI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Postal Address validation, Symbolic object, knowledge base, Frames
33Guofei Jiang, George Cybenko Functional Validation in Grid Computing. Search on Bibsonomy Autonomous Agents and Multi-Agent Systems The full citation details ... 2004 DBLP  DOI  BibTeX  RDF keywords and ontology, grid computing, PAC learning, service matching, functional validation
33Yi Peng 0001, Gang Kou, Zhengxin Chen, Yong Shi Cross-Validation and Ensemble Analyses on Multiple-Criteria Linear Programming Classification for Credit Cardholder Behavior. Search on Bibsonomy International Conference on Computational Science The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Credit Card Portfolio Management, Multi-criteria Linear Programming, Cross-Validation and Ensemble, Data Mining, Classification
33Peter H. Deussen, George Din, Ina Schieferdecker A TTCN-3 Based Online Test and Validation Platform for Internet Services. Search on Bibsonomy ISADS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Online Validation, Active Networks, TTCN-3, Online testing
33Jian Shen, Jacob A. Abraham An RTL Abstraction Technique for Processor Microarchitecture Validation and Test Generation. Search on Bibsonomy J. Electronic Testing The full citation details ... 2000 DBLP  DOI  BibTeX  RDF microprocessor design validation, coverage measurement, test generation
33Ghassan Al Hayek, Chantal Robach From Design Validation to Hardware Testing: A Unified Approach. Search on Bibsonomy J. Electronic Testing The full citation details ... 1999 DBLP  DOI  BibTeX  RDF VHDL, mutation testing, design validation
33Li-C. Wang, Magdy S. Abadir, Jing Zeng Measuring the Effectiveness of Various Design Validation Approaches For PowerPC(TM) Microprocessor Arrays. Search on Bibsonomy DATE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Design Error Models, Verification, Design Validation
33Patrice Godefroid, Doron A. Peled, Mark G. Staskauskas Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Formal methods, validation, concurrent programs, reachability analysis, automatic verification, partial-order methods
33Tapas Kanungo, Robert M. Haralick, Henry S. Baird Power functions and their use in selecting distance functions for document degradation model validation. Search on Bibsonomy ICDAR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF document degradation, document degradation models, document printing, validation procedures, statistical methodology, optical character recognition, statistical analysis, document image processing, scanning, nonparametric statistics
32Di Jiang, Neil F. Stewart Robustness of Boolean Operations on Subdivision-Surface Models. Search on Bibsonomy Numerical Validation in Current Hardware Architectures The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta Security validation tool for business processes. Search on Bibsonomy SACMAT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
32Ryma Abassi, Sihem Guemara El Fatmi A Model for Specification and Validation of Security Policies in Communication Networks: The Firewall Case. Search on Bibsonomy ARES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Sreekumar V. Kodakara, Deepak Mathaikutty, Ajit Dingankar, Sandeep K. Shukla, David J. Lilja Model Based Test Generation for Microprocessor Architecture Validation. Search on Bibsonomy VLSI Design The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Feiyan Min, Ping Ma, Ming Yang A knowledge-based method for the validation of military simulation. Search on Bibsonomy Winter Simulation Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Hiren D. Patel, Sandeep K. Shukla Model-driven Validation of SystemC Designs. Search on Bibsonomy DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Bendik Bygstad, Bjørn Erik Munkvold The Significance of Member Validation in Qualitative Analysis: Experiences from a Longitudinal Case Study. Search on Bibsonomy HICSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Yong-Joon Park, Zhao Zhang, Gyungho Lee An Efficient Hardware Support for Control Data Validation. Search on Bibsonomy ASAP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32José Barahona da Fonseca Validation of a Model of an AGVs Scheduling Heuristic Using Radio-Taxi Data. Search on Bibsonomy EUROCAST The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
32Colin H. West Protocol Validation in Complex Systems. Search on Bibsonomy SIGCOMM The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
31Matthew B. Dwyer Modular Flow Analysis for Concurrent Software. Search on Bibsonomy ASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF modular flow analysis, FLAVERS, early validation, individual module designs, system-level validation, whole-program automated static analysis technique, concurrent software systems, program flow analysis, explicitly stated correctness properties, modular analysis approach, realistic concurrent multi-component system, parallel programming
30Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser Safe design of high-performance embedded systems in an MDE framework. Search on Bibsonomy ISSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF High-performance embedded systems, Gaspard2, SIGALI, Mode automata, Synchronous languages, MARTE, Formal validation
30Gary Wassermann, Zhendong Su Static detection of cross-site scripting vulnerabilities. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF static analysis, web applications, cross-site scripting, input validation
30Yixin Shi, Gyungho Lee Augmenting Branch Predictor to Secure Program Execution. Search on Bibsonomy DSN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Control Flow Validation, Indirect Branch, Bloom Filter, Software Protection, Branch Predictor
30Robert G. Sargent Verification and validation: verification and validation of simulation models. Search on Bibsonomy Winter Simulation Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Pradip A. Thaker, Vishwani D. Agrawal, Mona E. Zaghloul Validation Vector Grade (VVG): A New Coverage Metric for Validation and Test. Search on Bibsonomy VTS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
30Xiangdong Lei, Wuke Li, Xiaoli Yuan Scheduling Real-Time Nested Transactions in Mobile Broadcast Environments. Search on Bibsonomy ICYCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30C. Seger Integrating design and verification - from simple idea to practical system. Search on Bibsonomy MEMOCODE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Timothy J. O'Leary, Michael Goul, Kathleen E. Moffitt, A. Essam Radwan Validating Expert Systems. Search on Bibsonomy IEEE Expert The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
29Willy Picard An Algebraic Algorithm for Structural Validation of Social Protocols. Search on Bibsonomy BIS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF algebraic representation of social protocols, semantical validation, structural validation, Collaboration modeling
29Maria Cecilia Mazzaro, Mario Sznaier, Octavia I. Camps A Model (In)Validation Approach to Gait Classification. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Gait classification, model (in)validation, risk-adjusted (in)validation, activity recognition
29Indradeep Ghosh, Srivaths Ravi 0001 On automatic generation of RTL validation test benches using circuit testing techniques. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 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
29Noppanunt Utamaphethai, R. D. (Shawn) Blanton, John Paul Shen A Buffer-Oriented Methodology for Microarchitecture Validation. Search on Bibsonomy J. Electronic Testing The full citation details ... 2000 DBLP  DOI  BibTeX  RDF processor validation, superscalar microarchitecture, design validation
29Amir Pnueli, Ofer Strichman, Michael Siegel The Code Validation Tool CVT: Automatic Verification of a Compilation Process. Search on Bibsonomy STTT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Code validation, BDD, Industrial application, Compiler verification, Translation validation
29Sastry Nanduri, Spencer Rugaber Requirements validation via automated natural language parsing. Search on Bibsonomy HICSS (3) The full citation details ... 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
29Guido Rovetta, Patrizia Monteforte, Gerolamo Bianchi, Stefano Rovetta, Rodolfo Zunino Validation of a Large Medical Database. Search on Bibsonomy CBMS The full citation details ... 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
29Angelo 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. Search on Bibsonomy ICSE (2) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF formal methods, methodology, requirements validation
29Ervin Ramollari, Dimitrios Kourtesis, Dimitris Dranidis, Anthony J. H. Simons Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing. Search on Bibsonomy ESWC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Service Validation, Semantic Web Services, Web service testing
29Jorge L. Hernandez-Ardieta, Ana Isabel González-Tablas Ferreres, Benjamín Ramos Formal Validation of OFEPSP+ with AVISPA. Search on Bibsonomy ARSPA-WITS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF AVISPA, security protocol, Fair exchange, SPAN, formal validation
29Markus Schwaninger, Stefan N. Groesser New Frontiers in the Validation of Simulation Models-Structural Dominance Analysis. Search on Bibsonomy EUROCAST The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Structural Dominance Analysis, Simulation, Modeling, Validation, Validity, System Dynamics, Model Quality
29Prabhat Mishra, Nikil D. Dutt Specification-driven directed test generation for validation of pipelined processors. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Model checking, test generation, functional validation
29Pedram Hayati, Nastaran Jafari, S. Mohammad Rezaei, Saeed Sarencheh, Vidyasagar M. Potdar Modeling Input Validation in UML. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Software engineering, Unified Modeling Language, Object Constraint Language, Software security, Input validation
29Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang 0002 Validation of streaming XML documents with abstract state machines. Search on Bibsonomy iiWAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF XML, validation, abstract state machines
29Farhang Nemati, Johan Kraft, Christer Norström Validation of Temporal Simulation Models of Complex Real-Time Systems. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Legacy Systems, Impact Analysis, Model Validation, Model Extraction
29Joumana Dargham, Rima Semaan A Navigational Web Requirements Validation through Animation. Search on Bibsonomy ICIW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF web engineering Navigational Requirements, Finite State Machine, requirements validation
29Ayaz Farooq, Reiner R. Dumke Research directions in verification & validation process improvement. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 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
29Paul Ormerod, Bridget Rosewell Validation and Verification of Agent-Based Models in the Social Sciences. Search on Bibsonomy EPOS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Verification, agents, validation, agent-based models, behaviour
Displaying result #1 - #100 of 20205 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license