|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 19541 occurrences of 5230 keywords
|
|
|
Results
Found 53773 publication records. Showing 53773 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Fei Xie, Guowu Yang, Xiaoyu Song |
Compositional Reasoning for Hardware/Software Co-verification. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Franjo Ivancic, Zijiang Yang 0006, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar |
F-Soft: Software Verification Platform. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Yongsun Choi, J. Leon Zhao |
Decomposition-Based Verification of Cyclic Workflows. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Ali Habibi, Sofiène Tahar |
An Approach for the Verification of SystemC Designs Using AsmL. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Yoshiaki Takata, Takeshi Nakamura, Hiroyuki Seki |
Accessibility Verification of WWW Documents by an Automatic Guideline Verification Tool. |
HICSS |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Jacob Chang, Sergey Berezin, David L. Dill |
Using Interface Refinement to Integrate Formal Verification into the Design Cycle. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Shuvendu K. Lahiri, Randal E. Bryant |
Deductive Verification of Advanced Out-of-Order Microprocessors. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
21 | V. V. Iyer |
Comparison of Verification Methodologies for Datapath Testing. |
MTV |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Christian Jacobi 0002 |
Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Håkan L. S. Younes, Reid G. Simmons |
Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Roberta Gori, Giorgio Levi |
An Experiment in Type Inference and Verification by Abstract Interpretation. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck |
Parameterized Verification with Automatically Computed Inductive Assertions. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Parosh Aziz Abdulla, Bengt Jonsson 0001, Mats Kindahl, Doron A. Peled |
A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract). |
CAV |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Dominique Bolignano |
Towards a Mechanization of Cryptographic Protocal Verification. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
21 | David L. Dill, Howard Wong-Toi |
Verification of Real-Time Systems by Successive Over and Under Approximation. |
CAV |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Ilan Beer, Shoham Ben-David, Daniel Geist, Raanan Gewirtzman, Michael Yoeli |
Methodology and System for Practical Formal Verification of Reactive Hardware. |
CAV |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Siegfried Fischer, Andreas Scholz, Dirk Taubner |
Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study. |
CAV |
1992 |
DBLP DOI BibTeX RDF |
|
21 | Daniela Fausten, Gerhard Haßlinger |
Verified Numerical Analysis of the Performance of Switching Systems in Telecommunication. |
Numerical Software with Result Verification |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Marco A. A. Sanvido |
Extreme Model Checking. |
Verification: Theory and Practice |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Shmuel Katz, Marcelo Sihman |
Aspect Validation Using Model Checking. |
Verification: Theory and Practice |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Rajeev Alur |
Formal Analysis of Hierarchical State Machines. |
Verification: Theory and Practice |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Paul Loewenstein |
Reasoning about State Machines in Higher-Order Logic. |
Hardware Specification, Verification and Synthesis |
1989 |
DBLP DOI BibTeX RDF |
|
21 | Steven D. Johnson |
Manipulating Logical Organization with System Factorizations. |
Hardware Specification, Verification and Synthesis |
1989 |
DBLP DOI BibTeX RDF |
|
21 | Michal Young, Richard N. Taylor, K. Forester, Debra Brodbeck |
Integrated Concurrency Analysis in a Software Development Enviornment. |
Symposium on Testing, Analysis, and Verification |
1989 |
DBLP DOI BibTeX RDF |
|
21 | Rami R. Razouk, Michael M. Gorlick |
Real-Time Interval Logic for Reasoning about Executions of Real-Time Programs. |
Symposium on Testing, Analysis, and Verification |
1989 |
DBLP DOI BibTeX RDF |
|
21 | Rocco De Nicola, Paola Inverardi, Monica Nesi |
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. |
Automatic Verification Methods for Finite State Systems |
1989 |
DBLP DOI BibTeX RDF |
|
21 | Ganesh Gopalakrishnan, Narayana Mani, Venkatesh Akella |
Parallel Composition of Lockstep Synchronous Processes for Hardware Validation: Divide-and-Conquer Composition. |
Automatic Verification Methods for Finite State Systems |
1989 |
DBLP DOI BibTeX RDF |
|
21 | Jerry R. Burch |
Combining CTL, Trace Theory and Timing Models. |
Automatic Verification Methods for Finite State Systems |
1989 |
DBLP DOI BibTeX RDF |
|
21 | Rajeev Joshi, Gerard J. Holzmann |
A mini challenge: build a verifiable filesystem. |
Formal Aspects Comput. |
2007 |
DBLP DOI BibTeX RDF |
Verification grand challenge, Filesystem design, Formal verification |
21 | J Strother Moore |
Inductive assertions and operational semantics. |
Int. J. Softw. Tools Technol. Transf. |
2006 |
DBLP DOI BibTeX RDF |
Theorem proving, JVM, Software verification, Verification condition |
21 | Tom Coffey, Reiner Dojen, Tomas Flanagan |
On the automated implementation of modal logics used to verify security protocols. |
ISICT |
2003 |
DBLP BibTeX RDF |
authentication, security protocols, protocol verification, mobile security, automated verification |
21 | Mats Per Erik Heimdahl, Barbara J. Czerny |
Using PVS to analyze hierarchical state-based requirements for completeness and consistency. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
hierarchical state based requirements specifications, input sequence, analysis procedures, large real world requirements specification, hierarchical state based language, Requirements State Machine Language, Prototype Verification System, theorem proving component, spurious error reports, formal specifications, robustness, consistency, program verification, completeness, Binary Decision Diagrams, BDDs, PVS, interactive environment, formal proofs, RSML |
21 | Yirng-An Chen, Randal E. Bryant |
ACV: an arithmetic circuit verifier. |
ICCAD |
1996 |
DBLP DOI BibTeX RDF |
Binary Moment Diagram, Formal Verification, Arithmetic circuit, BMD, Hierarchical Verification |
21 | Paul Gallot |
Safety of transformations of data trees: Tree transducer theory applied to a verification problem on shell scripts. (Vérification de tranformations de données arborescentes / Vérification de tranformations de données arborescentes: La théorie des transducteurs d'arbres appliquée à un problème de vérification sur les scripts shell). |
|
2021 |
RDF |
|
21 | Dirk Beyer 0001, Heike Wehrheim |
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. |
ISoLA (1) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Amélie Stainer |
Contribution to the Verification of Timed Automata: Determinization, Quantitative Verification and Reachability in Networks of Automata. (Contribution à la vérification des automates temporisés : déterminisation, vérification quantitative et accessibilité dans les réseaux d'automates). |
|
2013 |
RDF |
|
21 | Bachir Berkane |
Vérification des systèmes matériels numériques séquentiels synchrones : application du langage Lustre et de l'outil de vérification Lesar. (Verification of synchronous sequential digital hardware systems. Application of the langage Lustre and the verification tool Lesar). |
|
1992 |
RDF |
|
21 | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
Contract Strengthening through Constrained Horn Clause Verification. |
HCVS/VPT@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Bernadette Dorizzi, Raffaele Cappelli, Matteo Ferrara, Dario Maio, Davide Maltoni, Nesma Houmani, Sonia Garcia-Salicetti, Aurélien Mayoue |
Fingerprint and On-Line Signature Verification Competitions at ICB 2009. |
ICB |
2009 |
DBLP DOI BibTeX RDF |
Technical Evaluations, Signature Categorization, Entropy, Fingerprint Verification, On-line signature Verification |
21 | Walid Karam, Chafic Mokbel, Hanna Greige, Gérard Chollet |
Audio-Visual Identity Verification and Robustness to Imposture. |
ICB |
2009 |
DBLP DOI BibTeX RDF |
audio-visual forgery, talking-face imposture, biometric verification robustness, Identity verification, face animation, voice conversion |
21 | Anubhav Gupta 0001, Kenneth L. McMillan, Zhaohui Fu |
Automated assumption generation for compositional verification. |
Formal Methods Syst. Des. |
2008 |
DBLP DOI BibTeX RDF |
L*, Model checking, Formal verification, Decision tree, SAT, Compositional verification, Assume-guarantee |
21 | Ekaterina Auer, Wolfram Luther |
Numerical Verification Assessment in Computational Biomechanics. |
Numerical Validation in Current Hardware Architectures |
2008 |
DBLP DOI BibTeX RDF |
Numerical verification assessment, validation, uncertainty, result verification |
21 | Judith A. Markowitz |
The Many Roles of Speaker Classification in Speaker Verification and Identification. |
Speaker Classification (1) |
2007 |
DBLP DOI BibTeX RDF |
speaker authentication, SIV, anti-speaker, disguised voice, speaker variability, verification, authentication, biometric, identification, speaker verification, speaker identification, speaker segmentation, speaker clustering, speaker classification |
21 | Wei-Tek Tsai, Lian Yu, Feng Zhu 0001, Raymond A. Paul |
Rapid Verification of Embedded Systems Using Patterns. |
COMPSAC |
2003 |
DBLP DOI BibTeX RDF |
Verification patterns, model checking, embedded systems, verification, testing |
21 | Y. Morihiro, T. Toneda |
Formal verification of data-path circuits based on symbolic simulation. |
Asian Test Symposium |
2000 |
DBLP DOI BibTeX RDF |
data-path circuits, symbolic values, transition relation extraction, state graph, input vector sequences, FIFO circuits, LIFO circuits, formal verification, formal verification, graph theory, specification, logic simulation, logic simulation, symbol manipulation, symbolic simulation, Unix workstation |
21 | Boutheina Chetali |
Formal Verification of Concurrent Programs Using the Larch Prover. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
theorem prover methodology, Larch prover, computer-checked proof, Formal verification, communication protocol, protocol verification, UNITY |
21 | Steven Vercauteren, Diederik Verkest, Gjalt G. de Jong, Bill Lin 0001 |
Efficient Verification using Generalized Partial Order Analysis. |
DATE |
1998 |
DBLP DOI BibTeX RDF |
High-level Design Validation, Formal Verification, Functional Verification |
21 | Riccardo Focardi, Roberto Gorrieri |
The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties. |
IEEE Trans. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
Tools and techniques, network protocol verification, access controls, program verification, information flow controls |
21 | Premkumar T. Devanbu, Stuart G. Stubblebine |
Research Directions for Automated Software Verification: Using Trusted Hardware. |
ASE |
1997 |
DBLP DOI BibTeX RDF |
automated software verification, trusted hardware, content providers, hosted software, networked software, hosting computer, physically secure computing device, embedded certified private key, executable binary, trusted signature, scientific goals, engineering goals, testing, software agents, program verification, browsers, version control, servers, service providers, applets, checks |
21 | Rolf Drechsler |
Verification of Multi-Valued Logic Networks. |
ISMVL |
1996 |
DBLP DOI BibTeX RDF |
multi-valued logic networks verification, ordered multi-valued decision diagrams, two-valued circuits, formal verification, heuristics, logic testing, directed graphs, directed acyclic graph, multivalued logic circuits, functional equivalence |
21 | Olivier Thiry, Luc J. M. Claesen |
A formal verification technique for embedded software. |
ICCD |
1996 |
DBLP DOI BibTeX RDF |
embedded software correctness, assembly program code, CTL temporal logic formulae, embedded system application, assembly language program, formal verification, program verification, formal model, embedded software, processor architecture, instruction set |
21 | Satoshi Yamane |
Verification system for real-time specification based on extended real-time logic. |
RTCSA |
1995 |
DBLP DOI BibTeX RDF |
extended real-time logic, Timed CTL, verification system, bounded temporal operator, freeze quantification, real-time systems, formal specification, formal verification, temporal logic, real-time specification |
21 | Lars Hedrich, Erich Barke |
A formal approach to nonlinear analog circuit verification. |
ICCAD |
1995 |
DBLP DOI BibTeX RDF |
analog nonlinear circuits, formal verification, functional verification, electronic design automation, behavioral description |
21 | Yatin Vasant Hoskote, Jacob A. Abraham, Donald S. Fussell |
Automated verification of temporal properties specified as state machines in VHDL. |
Great Lakes Symposium on VLSI |
1995 |
DBLP DOI BibTeX RDF |
automated verification methodology, correctness specifications, Viper microprocessor, Mealy FSM, compatible states, formal specification, formal verification, high level synthesis, finite state machines, VHDL, sequential circuits, state machines, hardware description languages, microprocessor chips, synchronous sequential circuit, temporal properties, liveness properties |
20 | Carlos Ivan Castro Marquez, Marius Strum, Jiang Chau Wang |
A PD-based methodology to enhance efficiency in testbenches with random stimulation. |
SBCCI |
2009 |
DBLP DOI BibTeX RDF |
parameter domains, system-on-chip, design methodologies, functional verification, coverage analysis |
20 | Michael Siegel, Adriana Maggiore, Christian Pichler |
Untwist your brain: efficient debugging and diagnosis of complex assertions. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
SystemVerilog assertions, debugging, assertions, fault localization, functional verification, root cause analysis |
20 | Simon Lucey, Tsuhan Chen |
A Viewpoint Invariant, Sparsely Registered, Patch Based, Face Verifier. |
Int. J. Comput. Vis. |
2008 |
DBLP DOI BibTeX RDF |
Patch-whole modeling, Face verification, Viewpoint invariance |
20 | Olga Kouchnarenko, Arnaud Lanoix |
How to Verify and Exploit a Refinement of Component-Based Systems. |
Ershov Memorial Conference |
2006 |
DBLP DOI BibTeX RDF |
LTL properties, verification, composition, refinement, modules, component-based systems |
20 | Yongwha Chung, Daesung Moon, Taehae Kim, Sung Bum Pan |
A Secure Fingerprint Authentication System on an Untrusted Computing Environment. |
TrustBus |
2005 |
DBLP DOI BibTeX RDF |
Untrusted Clients, Embedded Sensors, Biometrics, Fingerprint Verification |
20 | Jan Peleska 0001, Bettina Buth |
Formal Methods for the International Space Station ISS. |
Correct System Design |
1999 |
DBLP DOI BibTeX RDF |
Byzantine AgreementProtocol, Generalised Stochastic Petri Nets, Hardware-in-the-loop Test, International Space Station, Model Checking, Formal Verification, CSP, Fault-Tolerant Systems, Test Automation |
20 | Anindya Roy, Sébastien Marcel |
Visual processing-inspired fern-audio features for noise-robust speaker verification. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
additive white Gaussian noise, binary features, object detection, speaker verification, local binary patterns, noise robustness |
20 | Didier Lime, Olivier H. Roux |
Formal verification of real-time systems with preemptive scheduling. |
Real Time Syst. |
2009 |
DBLP DOI BibTeX RDF |
Verification, Formal methods, Petri nets, Preemptive scheduling, Hybrid automata |
20 | Dipankar Das 0002, P. P. Chakrabarti 0001, Rajeev Kumar 0004 |
Scenario-based timing verification of multiprocessor embedded applications. |
ACM Trans. Design Autom. Electr. Syst. |
2009 |
DBLP DOI BibTeX RDF |
execution scenarios, real time systems, static timing analysis, Timing verification |
20 | Thirimachos Bourlai, Josef Kittler, Kieron Messer |
Designing a smart-card-based face verification system: empirical investigation. |
Mach. Vis. Appl. |
2009 |
DBLP DOI BibTeX RDF |
Optimisation, System design, Smart card, Face verification |
20 | Cássio L. Rodrigues, Karina R. G. da Silva, Henrique do N. Cunha |
Improving functional verification of embedded systems using hierarchical composition and set theory. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
hierarchical composition, embedded systems, set theory, functional verification, functional coverage |
20 | Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama |
A Minimized Assumption Generation Method for Component-Based Software Verification. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
minimal assumption, model checking, learning algorithm, modular verification, assume-guarantee reasoning |
20 | George Sobral Silveira, Alisson Vasconcelos de Brito, Elmar U. K. Melcher |
Functional verification of power gate design in SystemC RTL. |
SBCCI |
2009 |
DBLP DOI BibTeX RDF |
simulation, SystemC, RTL, functional verification, power gate |
20 | Gabriel Marcilio, Luiz C. V. dos Santos, Bruno C. Albertini, Sandro Rigo |
A novel verification technique to uncover out-of-order DUV behaviors. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
white-box verification, bipartite graphs |
20 | Chung-Wei Yeh, Chih-Ping Chu |
Molecular Verification of Rule-Based Systems Based on DNA Computation. |
IEEE Trans. Knowl. Data Eng. |
2008 |
DBLP DOI BibTeX RDF |
Knowledge base verification, Rule-based processing, Evolutionary computing and genetic algorithms |
20 | Josef Urban, Geoff Sutcliffe |
ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments. |
Math. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
verification, automated reasoning, Formalized mathematics |
20 | Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay |
Effective typestate verification in the presence of aliasing. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
program verification, Alias analysis, typestate |
20 | Changbo Chen, Marc Moreno Maza, Wei Pan 0001, Yuzhen Xie |
On the verification of polynomial system solvers. |
Frontiers Comput. Sci. China |
2008 |
DBLP DOI BibTeX RDF |
polynomial system solver, software verification, triangular decomposition |
20 | Dominik Haneberg, Gerhard Schellhorn, Holger Grandy, Wolfgang Reif |
Verification of Mondex electronic purses with KIV: from transactions to a security protocol. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Verification, Refinement, Security protocol, Z, ASM, Mondex |
20 | Andreas Gal, Christian W. Probst, Michael Franz |
Java bytecode verification via static single assignment form. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Java bytecode verification, dataflow analysis, static single assignment form |
20 | Takaaki Yamada, Yoshiyasu Takahashi, Yasuhiro Fujii, Ryu Ebisawa, Hiroshi Yoshiura, Isao Echizen |
Evaluation of Integrity Verification System for Video Content Using Digital Watermarking. |
New Directions in Intelligent Interactive Multimedia |
2008 |
DBLP DOI BibTeX RDF |
evaluation, video watermarking, integrity verification |
20 | Ana Cristina Vieira de Melo, Paulo R. F. Nunes, Kleber S. Xavier |
Towards verification and testing of Java programs. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
program verification, java programs, object-oriented testing |
20 | Xuandong Li, Xiaokang Qiu, Linzhang Wang, Bin Lei, W. Eric Wong |
UML state machine diagram driven runtime verification of Java programs for message interaction consistency. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
UML state machine diagrams, java, runtime verification |
20 | Rujuan Liu, Changjun Hu, Chongchong Zhao, Zhong Gao |
Verification for Time Consistency of Web Service Flow. |
ACIS-ICIS |
2008 |
DBLP DOI BibTeX RDF |
Verification of WS Flow, Annotated OWL_S, Time Ontology, Time Constraints Petri Net, Model Checking |
20 | Qianhui Althea Liang, J. Leon Zhao |
Verification of Unstructured Workflows via Propositional Logic. |
ACIS-ICIS |
2008 |
DBLP DOI BibTeX RDF |
overlapping patterns, unstructured workflow, workflow verification, propositional logic |
20 | Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin |
Enhancing modular OO verification with separation logic. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
enhanced subsumption, lossless casting, static and dynamic specifications, separation logic, automated verification |
20 | Sushil Chordia, Eric Dettinger, Ed Triou |
Different query verification approaches used to test entity SQL. |
DBTest |
2008 |
DBLP DOI BibTeX RDF |
query mutations, querybuilder, reverse query processing, verification, testing, database, SQL, query, language |
20 | María Alpuente, Pedro Ojeda, Daniel Romero 0001, Demis Ballis, Moreno Falaschi |
An Abstract Generic Framework for Web Site Verification. |
SAINT |
2008 |
DBLP DOI BibTeX RDF |
Abstrac interpretation, web verification, rewriting |
20 | Fang Yu 0001, Chao Wang 0001, Aarti Gupta, Tevfik Bultan |
Modular verification of web services using efficient symbolic encoding and summarization. |
SIGSOFT FSE |
2008 |
DBLP DOI BibTeX RDF |
BPEL, summarization, modular verification |
20 | Sargur N. Srihari, Kamal Kuzhinjedathu, Harish Srinivasan, Chen Huang 0002, Danjun Pu |
Signature Verification Using a Bayesian Approach. |
IWCF |
2008 |
DBLP DOI BibTeX RDF |
Signature verification, Bayesian approach |
20 | Kamrul Hasan Talukder, Koichi Harada |
Message Sequence Charts to Specify the Communicating Threads for Concurrent Discrete Wavelet Transform Based Image Compression and a Verification Analysis. |
SNPD |
2008 |
DBLP DOI BibTeX RDF |
Verification Analysis, Concurrency, Wavelet Transform, Image Compression, Message Sequence Chart |
20 | Anil Deshpande |
Verification of IP-Core Based SoC's. |
ISQED |
2008 |
DBLP DOI BibTeX RDF |
Verification, SoC, Moore's Law |
20 | Vitomir Struc, Nikola Pavesic |
A Palmprint Verification System Based on Phase Congruency Features. |
BIOID |
2008 |
DBLP DOI BibTeX RDF |
Palmprint verification, 2D phase congruency, Linear discriminant analysis |
20 | Kenji Hashimoto, Fumikazu Takasuka, Kimihide Sakano, Yasunori Ishihara, Toru Fujiwara |
Verification of the Security Against Inference Attacks on XML Databases. |
APWeb |
2008 |
DBLP DOI BibTeX RDF |
inference attack, security, verification, XML database |
20 | Alper Sen 0001, Vinit Ogale, Magdy S. Abadir |
Predictive runtime verification of multi-processor SoCs in SystemC. |
DAC |
2008 |
DBLP DOI BibTeX RDF |
predictive verification, deadlock, SystemC, assertion, ESL |
20 | Malay Haldar, Gagandeep Singh, Saurabh Prabhakar, Basant Dwivedi, Antara Ghosh |
Construction of concrete verification models from C++. |
DAC |
2008 |
DBLP DOI BibTeX RDF |
formal verification, C++, pointers, equivalence checking, dynamic memory allocation |
20 | Luis E. Mendoza Morales, Manuel I. Capel, María A. Pérez, Kawtar Benghazi Akhlaki |
Compositional Model-Checking Verification of Critical Systems. |
ICEIS |
2008 |
DBLP DOI BibTeX RDF |
Critical software systems, Model-checking, Formal methods, Case study, Compositional verification |
20 | Anil Kumar Sao, B. Yegnanarayana 0001, B. V. K. Vijaya Kumar |
Significance of image representation for face verification. |
Signal Image Video Process. |
2007 |
DBLP DOI BibTeX RDF |
1-D image processing, Minimum average correlation energy (MACE) filter, Auto-associative neural network (AANN), Face verification |
20 | Ayaz Farooq, Reiner R. Dumke |
Research directions in verification & validation process improvement. |
ACM SIGSOFT Softw. Eng. Notes |
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 |
20 | Jayanta Bhadra, Magdy S. Abadir, Li-C. Wang, Sandip Ray |
A Survey of Hybrid Techniques for Functional Verification. |
IEEE Des. Test Comput. |
2007 |
DBLP DOI BibTeX RDF |
informal techniques, hybrid, functional verification, formal techniques |
20 | Milan Ceska 0001, Pavel Erlebach, Tomás Vojnar |
Generalised multi-pattern-based verification of programs with linear linked structures. |
Formal Aspects Comput. |
2007 |
DBLP DOI BibTeX RDF |
Dynamic linked data structures, Formal verification, Program analysis |
20 | Steve M. Shaner, Gary T. Leavens, David A. Naumann |
Modular verification of higher-order methods with mandatory calls specified by model programs. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
grey-box approach, higher order method, mandatory call, model program, verification, specification languages, hoare logic, refinement calculus |
20 | JuCheng Yang, ByoungJun Min, Dong Sun Park |
Fingerprint Verification Based on Absolute Distance and Intelligent BPNN. |
FBIT |
2007 |
DBLP DOI BibTeX RDF |
matching invariant moments, absolute distance, fingerprint verification, BPNN |
20 | Mariusz Leszczynski, Wladyslaw Skarbek |
Biometric Verification by Projections in Error Subspaces. |
RSKT |
2007 |
DBLP DOI BibTeX RDF |
singular subspace, within-class errors, biometrics, discriminant analysis, face verification |
20 | Daniel Große, Rüdiger Ebendt, Rolf Drechsler |
Improvements for constraint solving in the systemc verification library. |
ACM Great Lakes Symposium on VLSI |
2007 |
DBLP DOI BibTeX RDF |
constraint-based randomization, systemC verification library, systemC |
20 | Sarah Damiani, Christopher Griffin 0001, Shashi Phoha, Stephen A. Racunas, Christopher Rogan |
Verification of Secure Network Protocols in Uncertain Environments. |
Int. J. Wirel. Inf. Networks |
2006 |
DBLP DOI BibTeX RDF |
pushdown machine, Protocol verification, discrete event control |
|
|