The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1954-1973 (21) 1974-1975 (21) 1976 (40) 1977 (23) 1978 (38) 1979 (41) 1980 (28) 1981 (46) 1982 (84) 1983 (93) 1984 (107) 1985 (97) 1986 (67) 1987 (119) 1988 (145) 1989 (264) 1990 (248) 1991 (298) 1992 (271) 1993 (360) 1994 (422) 1995 (553) 1996 (553) 1997 (656) 1998 (753) 1999 (882) 2000 (952) 2001 (996) 2002 (1079) 2003 (1411) 2004 (1664) 2005 (2048) 2006 (2200) 2007 (2286) 2008 (2514) 2009 (2133) 2010 (1739) 2011 (1614) 2012 (1677) 2013 (1812) 2014 (1767) 2015 (1764) 2016 (1911) 2017 (1892) 2018 (2024) 2019 (929)
Publication types (Num. hits)
article(8718) book(96) incollection(345) inproceedings(30408) phdthesis(736) proceedings(339)
Venues (Conferences, Journals, ...)
CAV(1269) CoRR(923) ICST(737) ICST Workshops(696) ATVA(551) VMCAI(502) DAC(500) INTERSPEECH(416) PSTV(336) RV(336) DSV-IS(300) DATE(288) MTV(287) Haifa Verification Conference(272) ICASSP(272) TACAS(254) More (+10 of total 4374)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 19566 occurrences of 5232 keywords

Results
Found 40642 publication records. Showing 40642 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
66Grant Martin Verification by the pound. Search on Bibsonomy IEEE Design & Test of Computers The full citation details ... 2005 DBLP  DOI  BibTeX  RDF complex ICs, verification methodologies, hardware verification languages, formal verification, functional verification, dynamic verification
62Pradip A. Thaker Holistic verification: myth or magic bullet? Search on Bibsonomy DAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF SoC verification, mixed-signal verification, power management verification, emulation
56Subir K. Roy, S. Ramesh, Supratik Chakraborty, Tsuneo Nakata, Sreeranga P. Rajan Functional Verification of System on Chips-Practices, Issues and Challenges (Tutorial Abstract). Search on Bibsonomy VLSI Design The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
53David Cyrluk, Mandayam K. Srivas Theorem proving: not an esoteric diversion, but the unifying framework for industrial verification. Search on Bibsonomy ICCD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF industrial hardware verification, industrial verification, formal verification, logic testing, theorem proving, theorem prover, hardware verification
53Elliot Barlas, Tevfik Bultan Netstub: a framework for verification of distributed java applications. Search on Bibsonomy ASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF testing and verification of, model checking, automated verification
53Francine Bacchini, Gabe Moretti, Harry Foster, Janick Bergeron, Masayuki Nakamura, Shrenik Mehta, Laurent Ducousso Is methodology the highway out of verification hell? Search on Bibsonomy DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF verification, formal verification, methodology, assertions
52Tevfik Bultan, Aysu Betin-Can Scalable Software Model Checking Using Design for Verification. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
52Daniel Jackson 0001 Hazards of Verification. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
50S. K. Panda, Arnab Roy 0001, P. P. Chakrabarti, Rajeev Kumar Simulation-based verification using Temporally Attributed Boolean Logic. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Bus verification, instruction semantics verification, interrupt testing, offline-online verification algorithm, simulation based verification, temporal logic, timing verification
50Brigitte Wirtz Average prototypes for stroke-based signature verification. Search on Bibsonomy ICDAR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF stroke-based signature verification, average prototypes, enrolment subsystem, verification subsystem, reference construction, verification rates, position-based averaging, time-based averaging, representative input signatures, varying stroke structures, missing strokes, additional strokes, natural stroke structure, input signatures, handwriting recognition, error rate, dynamic signature verification
50Edgar Leonardo Romero, Marius Strum, Jiang Chau Wang Comparing two testbench methods for hierarchical functional verification of a bluetooth baseband adaptor. Search on Bibsonomy CODES+ISSS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF verification strategy, optimization, functional verification, coverage analysis, hierarchical verification
49Ryan B. Bond, Curtis C. Ober, Patrick M. Knupp Measuring progress in Premo order-verification. Search on Bibsonomy Eng. Comput. (Lond.) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
47Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen On the verification of Wireless Transaction Protocol using SGM and RED. Search on Bibsonomy RTCSA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Wireless Transaction Protocol verification, SGM, process concurrency, clock variables, discrete variables, intelligent permutation, explosion factors, scalable verification, State-Graph Manipulators, world standard, large clock constants, large discrete constants, Region Encoding Diagram, state-space size explosions, WTP verification, real time systems, protocols, data structures, data structures, formal verification, formal verification, mobile communication, Wireless Application Protocol, state spaces, RED, state-space methods, reduction techniques
47Shady Copty, Itai Jaeger, Yoav Katz Path-Based System Level Stimuli Generation. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
47Jainendra Kumar, Noel R. Strader, Jeff Freeman, Michael Miller Emulation verification of the Motorola 68060. Search on Bibsonomy ICCD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF emulation verification, Motorola 68060, hardware logic emulation, configurable hardware, circuit verification, pseudo-random verification vectors, software application programs, formal verification, microprocessors, reconfigurable architectures, logic CAD, digital simulation, circuit analysis computing, RTL, hardware description languages, hardware description language, microprocessor chips, HDL, gate-level
46Chien-Ju Ho, Kuan-Ta Chen On formal models for social verification. Search on Bibsonomy KDD Workshop on Human Computation The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Amazon Mechanical Turk, sequential verification, simultaneous verification, game theory, human computation, games with a purpose
46Kun Peng, Feng Bao 0001 Batch ZK Proof and Verification of OR Logic. Search on Bibsonomy Inscrypt The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Batch proof and verification, knowledge statements linked with OR logic
46Wei Wu 0001, Yi Mu 0001, Willy Susilo, Xinyi Huang Server-Aided Verification Signatures: Definitions and New Constructions. Search on Bibsonomy ProvSec The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Server-aided computation, server-aided verification, BLS, ZSS, untrusted server, random oracle
46Sergey Polyakov, Assaf Schuster Verification of the Java Causality Requirements. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Java, Verification, Complexity, Concurrency, Shared Memory, Multithreading, Memory Model
46Milind Kulkarni 0003, J. Benita Bommi Assertion-Based Verification for the SpaceCAKE Multiprocessor - A Case Study. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
45Harry Foster Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial). Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Simulation, Formal Verification, Debugging, Assertion, Functional Verification, Property Specification, Assertion-Based Verification
44Maria C. Yuang, Aaron Kershenbaum Parallel Protocol Verification: The Two-Phase Algorithm and Complexity Analysis. Search on Bibsonomy Automatic Verification Methods for Finite State Systems The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
43Armen Kostanyan, Vardan Matevosyan, Samvel K. Shoukourian, Anna Varosyan An approach for formal verification of business processes. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  DOI  BibTeX  RDF cycle transformation, formal verification, business process
43Hana Chockler, Orna Kupferman, Moshe Y. Vardi Coverage metrics for formal verification. Search on Bibsonomy STTT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Algorithms, Model checking, Formal verification, Coverage metrics
43Valeria Bertacco Low maintenance verification. Search on Bibsonomy SBCCI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
42Shmuel Ur A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
42Hana Chockler, Orna Kupferman, Moshe Y. Vardi Coverage Metrics for Formal Verification. Search on Bibsonomy CHARME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford Formally Linking MDG and HOL Based on a Verified MDG System. Search on Bibsonomy IFM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF hybrid verification systems, deductive theorem proving, symbolic state enumeration, usability verification, hardware verification
41Aarti Gupta From Hardware Verification to Software Verification: Re-use and Re-learn. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
40Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar Verification of parametric concurrent systems with prioritised FIFO resource management. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Parameterised verification, Infinite-state system verification, Cut off, Parameterised networks of processes, Model checking, Formal verification, Resource sharing
40Balkhis Abu Bakar, Tomasz Janowski Automated Result Verification with AWK. Search on Bibsonomy ICECCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF AWK, result-based specifications, formal specification, formal verification, specification, software components, error detection, program generators, result-verification, result verification
40John M. Rushby, Friedrich W. von Henke Formal Verification of Algorithms for Critical Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF machine-checked verification, Byzantine fault-tolerant algorithm, digital flight control system, fault-tolerant synchronization, EHDM system, formal specification, formal specification, formal verification, fault tolerant computing, software reliability, safety, synchronisation, critical systems
40Naoki Kobayashi 0001, Naoshi Tabuchi, Hiroshi Unno 0001 Higher-order multi-parameter tree transducers and recursion schemes for program verification. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF higher-order tree transducers, tree-processing programs, program verification, higher-order recursion scheme
40Michael Abd-El-Malek, Gregory R. Ganger, Michael K. Reiter, Jay J. Wylie, Garth R. Goodson Lazy Verification in Fault-Tolerant Distributed Storage Systems. Search on Bibsonomy SRDS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Ann E. Kelley Sobel, Richard C. Linger Advances in Software Specification and Verification - Minitrack Introduction. Search on Bibsonomy HICSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
39Domagoj Babic, Alan J. Hu Exploiting Shared Structure in Software Verification Conditions. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
39Hua Yan, Wei Zhang 0004, Haiyan Zhao, Hong Mei An Optimization Strategy to Feature Models' Verification by Eliminating Verification-Irrelevant Features and Constraints. Search on Bibsonomy ICSR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Problem size, Verification, Reduction, Feature model
39Prabhat Jain, Prabhakar Kudva, Ganesh Gopalakrishnan Towards a Verification Technique for Large Synchronous Circuits. Search on Bibsonomy CAV The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
38Eran Yahav, G. Ramalingam Verifying safety properties using separation and heterogeneous abstractions. Search on Bibsonomy PLDI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF typestate verification, verification, program analysis, abstract interpretation, safety properties
37Alan J. Hu Simulation vs. Formal: Absorb What Is Useful; Reject What Is Useless. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
37Sharad Malik A Case for Runtime Validation of Hardware. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37Amir Pnueli, Tamarah Arons TLPVS: A PVS-Based LTL Verification System. Search on Bibsonomy Verification: Theory and Practice The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
37Susanne Graf, Jean-Luc Richier, Carlos Rodriguez, Jacques Voiron What are the Limits of Model Checking Methods for the Verification of Real Life Protocols? Search on Bibsonomy Automatic Verification Methods for Finite State Systems The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
37S. Yamane The verification technique of real-time systems using probabilities. Search on Bibsonomy RTCSA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF performance properties, dense time model, dense time statecharts, automatic verification method, dense time model checking, real-time systems, reliability, formal specification, formal verification, formal verification, temporal logic, probabilities, verification technique
37Ajay J. Daga, William P. Birmingham A symbolic-simulation approach to the timing verification of interacting FSMs. Search on Bibsonomy ICCD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF symbolic-simulation approach, interacting FSMs, timing verifier, complex sequential circuit verification, combinational paths, inherently modular nature, symbolic simulation verification methodology, formal verification, logic testing, finite state machines, finite state machines, sequential circuits, circuit analysis computing, timing verification
37Robert Beers Pre-RTL formal verification: an intel experience. Search on Bibsonomy DAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF TLC, explicit state enumeration, microarchitecture verification, formal verification, protocol verification, TLA+
37Praveen Tiwari, Raj S. Mitra Hybrid Verification of Protocol Bridges. Search on Bibsonomy IEEE Design & Test of Computers The full citation details ... 2007 DBLP  DOI  BibTeX  RDF serial protocol, hybrid verification, protocol bridge, model checking, formal verification
37Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli A Probabilistic Approach to Automatic Verification of Concurrent Systems. Search on Bibsonomy APSEC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Automatic Verification and Validation, Distributed Systems, Model Checking, Embedded Systems, Formal Methods, Reactive Systems, Concurrent Systems, Probabilistic Verification
37George W. Ernst, Raymond J. Hookway, William F. Ogden Modular Verification of Data Abstractions with Shared Realizations. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF shared realizations, realization level data structure, abstract specification, data structures, semantics, program verification, specification languages, data abstractions, quantification, modular verification, modular specification
37Fuchun Guo, Yi Mu 0001, Zhide Chen Efficient Batch Verification of Short Signatures for a Single-Signer Setting without Random Oracles. Search on Bibsonomy IWSEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF short signature, Batch verification
37Richard C. Ho, Michael Theobald, Martin M. Deneroff, Ron O. Dror, Joseph Gagliardo, David E. Shaw Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic. Search on Bibsonomy DAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF conditional coverage, inconclusive results, formal verification, code coverage, verifiability, coverage hole
37Alon Gluska Coverage-oriented verification of banias. Search on Bibsonomy DAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF logic design, coverage, logic verification, functional coverage
37Malay K. Ganai, Akira Mukaiyama, Aarti Gupta, Kazutoshi Wakabayashi Synthesizing "Verification Aware" Models: Why and How? Search on Bibsonomy VLSI Design The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
37Rajesh 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. Search on Bibsonomy DAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
37Jainendra Kumar, Carl Pixley Logic and Functional Verification in a Commercial Semiconductor Environment. Search on Bibsonomy ACSD The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
36Yoav Hollander Is Verification Getting Too Complex? Search on Bibsonomy Haifa Verification Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Itai Yarom, Viji Patil Smart-Lint: Improving the Verification Flow. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Tun Li, Sikun Li, Jinshan Yu, Yang Guo A Novel Collaborative Verification Environment for SoC Co-Verification. Search on Bibsonomy CSCWD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Noah Bamford, Rekha Bangalore, Eric Chapman, Hector Chavez, Rajeev Dasari, Yinfang Lin, Edgar Jimenez Challenges in System on Chip Verification. Search on Bibsonomy MTV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF data-flow language LUSTRE, synchronous data-flow language, critical real-time systems, ergonomy, dataflow approach, traditional description tools, verification tool LESAR, critical properties, real-time systems, parallel programming, program verification, program verification, parallel languages, verification methods, formal design
35Moab Arar, Michael L. Behm, Odellia Boni, Raviv Gal, Alex Goldin, Maxim Ilyaev, Einat Kermany, John R. Reysa, Bilal Saleh, Klaus-Dieter Schubert, Gil Shurek, Avi Ziv The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli Exploiting Transition Locality in the Disk Based Mur phi Verifier. Search on Bibsonomy FMCAD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
34Brian Bailey Can Mutation Analysis Help Fix Our Broken Coverage Metrics?. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Neha Rungta, Eric G. Mercer A Meta Heuristic for Effectively Detecting Concurrency Errors. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Dorit Baras, Laurent Fournier, Avi Ziv Automatic Boosting of Cross-Product Coverage Using Bayesian Networks. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Frederic Doucet, R. K. Shyamasundar, Ingolf H. Krüger, Saurabh Joshi 0001, Rajesh K. Gupta 0001 Reactivity in SystemC Transaction-Level Models. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Ales Smrcka, Tomás Vojnar Verifying Parametrised Hardware Designs Via Counter Automata. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Jonathan S. Ostroff Automated Verification of Timed Transition Models. Search on Bibsonomy Automatic Verification Methods for Finite State Systems The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
34Jørgen Staunstrup, Stephen J. Garland, John V. Guttag Localized Verification of Circuit Descriptions. Search on Bibsonomy Automatic Verification Methods for Finite State Systems The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
34Luan Ling Lee, Toby Berger, Erez Aviczer Reliable On-Line Human Signature Verification Systems. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF human signature verification, point-of-sale, point-of-delivery, Signature verification, forgery, on-line signature verification, dynamic signature verification
34Vangalur S. Alagar, D. Muthiayen Towards a mechanical verification of real-time reactive systems modeled in UML. Search on Bibsonomy RTCSA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Prototype Verification System, real-time systems, UML, Unified Modeling Language, formal specification, object-oriented programming, program verification, specification languages, PVS, notation, safety-critical applications, mechanical verification, real-time reactive systems, design analysis, object-based systems
34Florian Krohm, Andreas Kuehlmann, Arjen Mets The use of random simulation in formal verification. Search on Bibsonomy ICCD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF random simulation, BDD-based verification, counter example pattern, design partitioning, Boolean reasoning, formal verification, formal verification, hardware designs, functional equivalence
34Xu-Hong Xiao, Ru-Wei Dai A hierarchical on-line Chinese signature verification system. Search on Bibsonomy ICDAR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Chinese signature verification, static features, statistic decision, input primitive string, reference primitive string, attributed automaton, reference databases, feature extraction, feature extraction, handwriting recognition, template matching, on-line, signature verification, verification processes, dynamic features
34Rajeev K. Ranjan 0001, Claudionor Coelho, Sebastian Skalberg Beyond verification: leveraging formal for debugging. Search on Bibsonomy DAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF behavioral indexing, post-silicon debugging, traceless debugging, formal verification, debugging, property verification
34Philip W. L. Fong Pluggable verification modules: an extensible protection mechanism for the JVM. Search on Bibsonomy OOPSLA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Aegis VM, extensible protection mechanism, pluggable verification modules, proof linking, Java virtual machine, bytecode verification, extensible systems, mobile code security
34Farn Wang, Pao-Ann Hsiung Efficient and User-Friendly Verification. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2002 DBLP  DOI  BibTeX  RDF software engineering, real-time systems, model-checking, Verification, formal methods, timed automata, compositional verification
34Edgard Nyssen, Hichem Sahli, Kui Zhang A Multi-stage Online Signature Verification System. Search on Bibsonomy Pattern Anal. Appl. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Function-based method, Handwritten text processing, Multi-stage verification, Parameter-based method, Pattern matching Signature verification
34Brigitte Wirtz Stroke-based time warping for signature verification. Search on Bibsonomy ICDAR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF stroke-based time warping, function-based signature verification, positional data, 3D nonlinear correlation, signature signals, stroke index, DP index, finite state automaton, reference strokes, dynamic programming, dynamic programming, handwriting recognition, image matching, finite automata, authorisation, correlation methods, pressure, dynamic data, dynamic signature verification
34Rajdeep Mukhopadhyay, S. K. Panda, Pallab Dasgupta, John Gough Instrumenting AMS assertion verification on commercial platforms. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF OVL, SVA, integrated mixed signal design, verification library, simulation, Assertion
34Karen Zee, Viktor Kuncak, Martin C. Rinard Full functional verification of linked data structures. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF java, verification, data structure, decision procedure, theorem prover
34Xi Chen 0024, Harry Hsieh, Felice Balarin Verification Approach of Metropolis Design Framework for Embedded Systems. Search on Bibsonomy International Journal of Parallel Programming The full citation details ... 2006 DBLP  DOI  BibTeX  RDF metropolis, simulation, formal verification, meta-model, spin, LTL, property, LOC
34June Andronick, Boutheina Chetali, Christine Paulin-Mohring Formal Verification of Security Properties of Smart Card Embedded Source Code. Search on Bibsonomy FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Source code verification, Security, Formal Methods, Theorem Proving, Smart Card
34Chuchang Liu, Maris A. Ozols, Marie Henderson, Anthony Cant Towards Certificate Verification in a Certificate Management System. Search on Bibsonomy ACSC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF CA (Certificate Authority), certificate management systems, certificate verification, formal methods, information security, certificate
34Anil K. Jain 0001, Lin Hong, Ruud M. Bolle On-Line Fingerprint Verification. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF ridge extraction, verification, Biometrics, matching, fingerprints, minutia, orientation field
34Aysu Betin-Can, Tevfik Bultan Highly dependable concurrent programming using design for verification. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Model checking, Synchronization, Design patterns, Interfaces, Concurrent programming
34Tae-Seung Lee, Ho-Jin Choi, Seung-Hoe Choi, Byong-Won Hwang A Method on Improving of Enrolling Speed for the MLP-Based Speaker Verification System through Reducing Learning Data. Search on Bibsonomy PRICAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
34Takuya Katayama, Yutaka Hoshino Verification of Attribute Grammars. Search on Bibsonomy POPL The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
34Leon 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
33Robert P. Kurshan Scaling Commercial Verification to Larger Systems. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Mark A. Hillebrand, Wolfgang J. Paul On the Architecture of System Verification Environments. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Tobias Schüle, Klaus Schneider 0001 Verification of Data Paths Using Unbounded Integers: Automata Strike Back. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Hiromasa Shin, Yusuke Endoh, Yoshio Kataoka ARVE: Aspect-Oriented Runtime Verification Environment. Search on Bibsonomy RV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Patrick Lincoln, John M. Rushby The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model. Search on Bibsonomy CAV The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
32Geoffrey Ying, Andreas Kuehlmann, Kenneth S. Kundert, Georges G. E. Gielen, Eric Grimme, Martin O'Leary, Sandeep Tare, Warren Wong Guess, solder, measure, repeat: how do I get my mixed-signal chip right? Search on Bibsonomy DAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Verilog-AMS, analog behavioral modeling, low power verification, mixed-signal verification, VHDL, SPICE, functional verification, Verilog, performance verification
32Natalia Sidorova, Martin Steffen Verifying Large SDL-Specifications Using Model Checking. Search on Bibsonomy SDL Forum The full citation details ... 2001 DBLP  DOI  BibTeX  RDF SDL model checking, bottom-up verification, verification case study, compositional, abstraction
32Pranav Ashar, Aarti Gupta, Sharad Malik Using complete-1-distinguishability for FSM equivalence checking. Search on Bibsonomy ICCAD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF sequential logic synthesis and verification, finite state machine equivalence, bisimulation relation, 1-distinguishability, 1-equivalence, formal verification
31Shmuel Ur, Elad Yom-Tov, Paul Wernick An Open Source Simulation Model of Software Development and Testing. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Simulation, Performance, Design, Algorithms, Reliability, Verification, Measurement, Software Development, Management, Theory, Experimentation, Economics, Iterative design
31Malay K. Ganai Efficient Decision Procedure for Bounded Integer Non-linear Operations Using SMT(). Search on Bibsonomy Haifa Verification Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Kenneth L. McMillan Proofs, Interpolants, and Relevance Heuristics. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Saddek Bensalem, Doron A. Peled, Hongyang Qu 0001, Stavros Tripakis, Lenore D. Zuck Test Case Generation for Ultimately Periodic Paths. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 40642 (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