Search results for "Verification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	David W. Currie, Xiushan Feng, Masahiro Fujita, Alan J. Hu, Mark Kwan, Sreeranga P. Rajan	Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions.	Int. J. Parallel Program.	2006	DBLP DOI BibTeX RDF	Formal verification, DSP, embedded software, VLIW
20	Jung Hee Cheon, Dong Hoon Lee 0002	Use of Sparse and/or Complex Exponents in Batch Verification of Exponentiations.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	sparse exponent, modular exponentiation, Batch verification, Frobenius map
20	Bin Li 0053, David Zhang 0001, Kuanquan Wang	Online signature verification based on null component analysis and principal component analysis.	Pattern Anal. Appl.	2006	DBLP DOI BibTeX RDF	NCA, K-L transform, Stable segment extraction, PCA, Signature verification
20	Oliver Pell	Verification of FPGA Layout Generators in Higher-Order Logic.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	layout description, circuit verification, FPGA, theorem proving
20	Tai-Kia Tan, Cheng-Leong Ng, Kar-Ann Toh, How-Lung Eng, Wei-Yun Yau, Dipti Srinivasan	A Bimodal Palmprint Verification System.	ICB	2006	DBLP DOI BibTeX RDF	Multimodal Biometrics and Identity Verification, Biometrics, Palmprint Recognition
20	Yi-Hsiang Chao, Hsin-Min Wang, Ruei-Chuan Chang	A Novel Alternative Hypothesis Characterization Using Kernel Classifiers for LLR-Based Speaker Verification.	ISCSLP	2006	DBLP DOI BibTeX RDF	Log-likelihood ratio, Kernel Fisher Discriminant, Support Vector Machine, Speaker verification
20	Igor Grudenic, Nikola Bogunovic	Modeling and Verification of MPI Based Distributed Software.	PVM/MPI	2006	DBLP DOI BibTeX RDF	MPI software modeling, MPI software verification, abstract state machines (ASMs)
20	Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt	Verification of Medical Guidelines by Model Checking - A Case Study.	SPIN	2006	DBLP DOI BibTeX RDF	Asbru, medical guidelines, Model checking, verification, formal methods, abstraction
20	Devinder Thapa, Chang Mok Park, Suraj Dangol, Gi-Nam Wang	III-Phase Verification and Validation of IEC Standard Programmable Logic Controller.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF	Verification & Validation (V&V), Virtual Commissioning, Flexible Manufacturing System (FMS), Model Checking, PLC
20	Khandoker Asadul Islam, Yoshimichi Watanabe	Maintaining Data Consistency of XML Databases Using Verification Techniques.	ASIAN	2006	DBLP DOI BibTeX RDF	Verification, XML Database
20	Harish Srinivasan, Sargur N. Srihari, Matthew J. Beal	Machine Learning for Signature Verification.	ICVGIP	2006	DBLP DOI BibTeX RDF	forensic signature examination, digital document processing, machine learning, biometrics, signature verification
20	Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay	Effective typestate verification in the presence of aliasing.	ISSTA	2006	DBLP DOI BibTeX RDF	program verification, alias analysis, typestate
20	Jianbin Tan, George S. Avrunin, Lori A. Clarke	Managing space for finite-state verification.	ICSE	2006	DBLP DOI BibTeX RDF	FLAVERS, ZDD, BDD, finite-state verification, LTSA
20	Basil Becker, Dirk Beyer 0001, Holger Giese, Florian Klein 0001, Daniela Schilling	Symbolic invariant verification for systems with dynamic structural adaptation.	ICSE	2006	DBLP DOI BibTeX RDF	gormal verification, hraph transformation systems, structural invariants, transition invariants, embedded systems, mechatronics, symbolic algorithms
20	Alon Gluska	Practical methods in coverage-oriented verification of the merom microprocessor.	DAC	2006	DBLP DOI BibTeX RDF	logic design, coverage, logic verification, functional coverage
20	Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson	An overview of the verification of SET.	Int. J. Inf. Sec.	2005	DBLP DOI BibTeX RDF	Secure Electronic Transactions (SET), Formal verification, Computer security, Network protocols, Automated reasoning
20	Prasanna Padmanabhan, Robyn R. Lutz	Tool-Supported Verification of Product Line Requirements.	Autom. Softw. Eng.	2005	DBLP DOI BibTeX RDF	requirements verification, feature-interaction resolution, variability, product line, consistency checking, product family, dependency constraints
20	Christian Jacobi 0002, Christoph Berg	Formal Verification of the VAMP Floating Point Unit.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	IEEE standard 754, formal verification, theorem proving, PVS, floating point unit
20	Antonio Cerone, George J. Milne	Property verification of asynchronous systems.	Innov. Syst. Softw. Eng.	2005	DBLP DOI BibTeX RDF	asynchronous hardware, Formal verification, process algebra, constraint modelling
20	Vlad Rusu, Hervé Marchand, Thierry Jéron	Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems.	FM	2005	DBLP DOI BibTeX RDF	symbolic test generation, verification, conformance testing
20	Lee Pike, Steven D. Johnson	The formal verification of a reintegration protocol.	EMSOFT	2005	DBLP DOI BibTeX RDF	infinite-state bounded model-checking, reintegration protocol, real-time, formal verification, infinite-state systems
20	Steve A. Schneider, Helen Treharne, Neil Evans	Chunks: Component Verification in CSP\|\|B.	IFM	2005	DBLP DOI BibTeX RDF	Component based verification, decomposition, CSP, B-Method
20	Kazumi Nakamatsu, Seiki Akama, Jair Minoro Abe	An Intelligent Safety Verification Based on a Paraconsistent Logic Program.	KES (2)	2005	DBLP DOI BibTeX RDF	EVALPSN (Extended Vector Annotated Logic Program with Strong Negation), paraconsistent logic program, intelligent control, safety verification
20	Taehae Kim, Yongwha Chung, Seunghwan Jung, Daesung Moon	Secure Remote Fingerprint Verification Using Dual Watermarks.	DRMTICS	2005	DBLP DOI BibTeX RDF	Dual Watermarking, Biometrics, User Authentication, Fingerprint Verification
20	Shanyu Zhao, Virginia Mary Lo, Chris GauthierDickey	Result Verification and Trust-Based Scheduling in Peer-to-Peer Grids.	Peer-to-Peer Computing	2005	DBLP DOI BibTeX RDF	Peer-to-Peer, Grid Computing, Trust, Reputation System, Result Verification
20	Henning Burchardt, Jens Oehlerking, Oliver E. Theel	Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems.	PRDC	2005	DBLP DOI BibTeX RDF	Discrete-Time Hybrid Systems, Stability, LMIs, Automatic Verification, Lyapunov Theory
20	Anarosa Brandão, Viviane Torres da Silva, Carlos José Pereira de Lucena	A knowledge-based approach to the specification and verification of MAS design.	AAMAS	2005	DBLP DOI BibTeX RDF	ontology, multi-agent systems, design verification
20	Dániel Varró	Automated formal verification of visual modeling languages by model checking.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Model checking, Formal verification, Model transformation, Metamodeling, Graph transformation
20	Pao-Ann Hsiung, Shang-Wei Lin 0001, Chih-Hao Tseng, Trong-Yen Lee, Jih-Ming Fu, Win-Bin See	VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	embedded real-time software, scheduling, formal verification, code generation, software components, Application framework, UML modeling, formal synthesis
20	Frances M. T. Brazier, Frank Cornelissen, Rune Gustavsson, Catholijn M. Jonker, Olle Lindeberg, Bianca Polak, Jan Treur	Compositional Verification of a Multi-Agent System for One-to-Many Negotiation.	Appl. Intell.	2004	DBLP DOI BibTeX RDF	multi-agent system, verification, compositional, negotiation
20	Chin Keong Lee, C. G. Leedham	A New Hybrid Approach to Handwritten Address Verification.	Int. J. Comput. Vis.	2004	DBLP DOI BibTeX RDF	handwritten postal address recognition, hybrid fusion approach, Singapore postal address sorting, postal automation, verification of postcode recognition
20	Danièle Beauquier, Tristan Crolard, Evguenia Prokofieva	Automatic Parametric Verification of a Root Contention Protocol Based on Abstract State Machines and First Order Timed Logic.	TACAS	2004	DBLP DOI BibTeX RDF	IEEE 1394a standard, root contention protocol, Gurevich abstract state machines, predicate logic, real-time distributed systems, Parametric verification
20	Oskar Wibling, Joachim Parrow, Arnold Neville Pears	Automatized Verification of Ad Hoc Routing Protocols.	FORTE	2004	DBLP DOI BibTeX RDF	LUNAR, model checking, Mobile ad hoc networks, formal verification, routing protocols, SPIN, UPPAAL
20	Gergely Pintér, István Majzik	Runtime Verification of Statechart Implementations.	WADS	2004	DBLP DOI BibTeX RDF	temporal logic, Runtime verification, UML statecharts
20	John Harrison 0001	Formal Verification of Square Root Algorithms.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	formal verification, floating-point arithmetic, automated theorem proving
20	Stephen J. H. Yang, Jeffrey J. P. Tsai, Chyun-Chyi Chen	Fuzzy Rule Base Systems Verification Using High-Level Petri Nets.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	rules reasoning, rule verification, Petri nets, formalism, high-level Petri nets, fuzzy rules, certainty factors
20	Xiaoyi Jiang 0001, Daniel Mojon	Adaptive Local Thresholding by Verification-Based Multithreshold Probing with Application to Vessel Detection in Retinal Images.	IEEE Trans. Pattern Anal. Mach. Intell.	2003	DBLP DOI BibTeX RDF	Adaptive local thresholding, threshold probing, hypotheses generation and verification, vessel segmentation, medical imaging, retinal imaging
20	David A. Basin, Stefan Friedrich 0001, Marek Gawkowski	Bytecode Verification by Model Checking.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	model checking, static analysis, type safety, bytecode verification
20	Xavier Leroy	Java Bytecode Verification: Algorithms and Formalizations.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	abstract interpretation, Java Virtual Machine, subroutines, dataflow analysis, bytecode verification
20	Stefan Blom, Natalia Ioustinova, Natalia Sidorova	Timed Verification with µCRL.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF	modelling, model checking, verification, discrete time, CRL
20	Shai Fine, Avi Ziv	Coverage directed test generation for functional verification using bayesian networks.	DAC	2003	DBLP DOI BibTeX RDF	bayesian networks, functional verification, coverage analysis
20	Mila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher	Action Refinement from a Logical Point of View.	VMCAI	2003	DBLP DOI BibTeX RDF	verification, specification, modal logics, reactive systems, action refinement
20	Gerard J. Holzmann, Margaret H. Smith	An Automated Verification Method for Distributed Systems Software Based on Model Extraction.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	call processing, model checking, formal methods, software testing, case studies, reactive systems, software verification, feature interaction
20	Ian Robertson, James Irvine 0001, Patrick Lysaght, David Robinson	Timing verification of dynamically reconfigurable logic for the xilinx virtex FPGA series.	FPGA	2002	DBLP DOI BibTeX RDF	FPGA, verification, dynamic reconfiguration, run-time reconfiguration
20	Doug Goldson	Formal Verification of mu-Charts.	APSEC	2002	DBLP DOI BibTeX RDF	µ-charts, formal verification, refinement, CSP
20	Françoise Bellegarde, Samir Chouali, Jacques Julliand	Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions.	ZB	2002	DBLP DOI BibTeX RDF	B event systems1, fairness hypotheses, PLTL verification, specification
20	Amjad Hajjar, Tom Chen 0001	Improving the Efficiency and Quality of Simulation-Based Behavioral Model Verification Using Dynamic Bayesian Criteria.	ISQED	2002	DBLP DOI BibTeX RDF	Behavioral Model Verification, VHDL, Stopping Criteria
20	Hai Zhou 0001	Clock schedule verification with crosstalk.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF	verification, delay, coupling, clock schedule
20	Scott Hazelhurst, Osnat Weissberg, Gila Kamhi, Limor Fix	A hybrid verification approach: getting deep into the design.	DAC	2002	DBLP DOI BibTeX RDF	hybrid verification, symbolic model checking, symbolic trajectory evaluation
20	Tomohiro Yoneda, Tomoya Kitai, Chris J. Myers	Automatic Derivation of Timing Constraints by Failure Analysis.	CAV	2002	DBLP DOI BibTeX RDF	Trace theoretic verification, Timing constraints, Failure analysis, Timed circuits
20	Daniel Hirschkoff	Bisimulation verification using the up to techniques.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Up to bisimulation, Verification, Bisimulation, Pi-calculus
20	Anne E. Haxthausen, Jan Peleska 0001	Formal Development and Verification of a Distributed Railway Control System.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	verification, formal specification, Safety, stepwise refinement, railways, distributed control system, RAISE
20	Zsolt Miklós Kovács-Vajna	A Fingerprint Verification System Based on Triangular Matching and Dynamic Time Warping.	IEEE Trans. Pattern Anal. Mach. Intell.	2000	DBLP DOI BibTeX RDF	triangular matching, NIST sdb 4, Fingerprint, dynamic time warping, fingerprint verification
20	Lina Khatib, Nicola Muscettola, Klaus Havelund	Verification of Plan Models Using UPPAAL.	FAABS	2000	DBLP DOI BibTeX RDF	Scheduling, Model Checking, Verification, Planning, Autonomy
20	Marco A. Peña, Jordi Cortadella, Enric Pastor, Alex Kondratyev	Formal Verification of Safety Properties in Timed Circuits.	ASYNC	2000	DBLP DOI BibTeX RDF	Formal verification, asynchronous circuits, timing analysis
20	Oleg Botchkarev, Stavros Tripakis	Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations.	HSCC	2000	DBLP DOI BibTeX RDF	ellipsoidal approximations, verification, hybrid systems, reachability analysis
20	Edson J. R. Justino, Abdenaim El Yacoubi, Flávio Bortolozzi, Robert Sabourin	An Off-Line Signature Verification System using Hidden Markov Model and Cross-Validation.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	off-line signature verification system, pre-processing process, segmentation process, feature extraction process, random falsifications, false acceptance concept, false rejection concept, intrapersonal variation, interpersonal variation, automatic decision threshold derivation, hidden Markov model, handwriting recognition, cross-validation, learning process
20	Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand	Modular Verification for a Class of PLTL Properties.	IFM	2000	DBLP DOI BibTeX RDF	Büchi automata, Propositional linear temporal logic PLTL, B specification, model-checking, Verification, Refinement, modularity
20	Sergej Sawitzki, Rainer G. Spallek, Jens Schönherr, Bernd Straube	Formal Verification for Microprocessors with Extendable Instruction Set.	ASAP	2000	DBLP DOI BibTeX RDF	reconfigurable processor architecture, abstraction techniques, formal verification, pipeline processor
20	Dinos Moundanos, Jacob A. Abraham	On Design Validation Using Verification Technology.	J. Electron. Test.	1999	DBLP DOI BibTeX RDF	extracted control flow machine, verification, abstraction, test generation, coverage analysis, OBDDs
20	Peter Frey, Radharamanan Radhakrishnan, Philip A. Wilsey, Perry Alexander, Harold W. Carter	An Extensible Formal Framework for the Specification and Verification of an Optimistic Simulation Protocol.	HICSS	1999	DBLP DOI BibTeX RDF	Software Engineering, Theorem Proving, Parallel Discrete Event Simulation, PVS, Formal specification and verification
20	Michelangelo Interesse, Roberto Dabbicco	Experience Paper: Beyond Year 2000 Remediation: The Compliance Verification: A Case Study.	ICSM	1999	DBLP DOI BibTeX RDF	y2k, verification, validation, compliance, independence, year 2000
20	Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink	Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Lip synchronisation, Model checking, Verification, Specification, Timed automata, Uppaal
20	Franz Regensburger, Aenne Barnard	Formal Verification of SDL Systems at the Siemens Mobile Phone Department.	TACAS	1998	DBLP DOI BibTeX RDF	telecommunication protocols, model checking, formal verification, SDL
20	Mostafa M. Aref, Khaled M. Elleithy	HOOVER: Hardware Object-Oriented Verification.	Great Lakes Symposium on VLSI	1998	DBLP DOI BibTeX RDF	cell libraries, formal verification, Object oriented systems
20	Scott A. Taylor, Michael Quinn, Darren Brown, Nathan Dohm, Scot Hildebrandt, James Huggins, Carl Ramey	Functional Verification of a Multiple-issue, Out-of-Order, Superscalar Alpha Processor - The DEC Alpha 21264 Microprocessor.	DAC	1998	DBLP DOI BibTeX RDF	21264, coverage anaysis, verification, architecture, validation, microprocessor, pseudo-random, Alpha
20	Adrian Evans, Allan Silburt, Gary Vrckovnik, Thane Brown, Mario Dufresne, Geoffrey Hall, Tung Ho, Ying Liu	Functional Verification of Large ASICs.	DAC	1998	DBLP DOI BibTeX RDF	ASIC verification, simulation, emulation
20	Martin Keim, Michael Martin 0002, Bernd Becker 0001, Rolf Drechsler, Paul Molitor	Polynomial Formal Verification of Multipliers.	VTS	1997	DBLP DOI BibTeX RDF	Binary Moment Diagram (BMD), Verification, Multiplier
20	Antti Valmari, Manu Setälä	Visual Verification of Safety and Liveness.	FME	1996	DBLP DOI BibTeX RDF	verification, process algebra, reduction, labelled transition system
20	Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour	Formal specification and verification of communication protocols using automated tools .	ICECCS	1995	DBLP DOI BibTeX RDF	OSI protocol, large models, simulation, modelling, formal specification, formal specification, testing, protocols, formal verification, software tools, validation, theorem proving, process algebra, communication protocols, open systems, algebra, formal logic, automated tools, model checker, model testing, complex models, automated theorem prover
20	Rance Cleaveland, Joachim Parrow, Bernhard Steffen	The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	concurrency, process algebra, automatic verification, finite-state systems
20	Hakim Lounis	Integrating Machine-Learning Techniques in Knowledge-Based Systems Verification.	ISMIS	1993	DBLP DOI BibTeX RDF	Revision Process, Machine Learning, Verification, Formal Specifications, Integrity Constraint, Production Rules, Semantic-Net
20	Alfred Bröckers, Volker Gruhn	Computer-Aided Verification of Software Process Model Properties	CAiSE	1993	DBLP DOI BibTeX RDF	software process model verification, FUNSOFT nets, static and dynamic software process model properties, coverability trees, MELMAC
20	Che-Fn Yu, Virgil D. Gligor	A Specification and Verification Method for Preventing Denial of Service.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	failure absence, integrity violations, user agreements, simultaneity conditions, denial-of-service prevention, formal specification, concurrent programs, security of data, specification method, verification method
20	Tadashi Kanamori, Hiroshi Fujita	Formulation of Induction Formulas in Verification of Prolog Programs.	CADE	1986	DBLP DOI BibTeX RDF	Prolog, Program Transformation, Program Verification, Induction
20	Max Schäfer, Torbjörn Ekman 0001, Oege de Moor	Challenge proposal: verification of refactorings.	PLPV	2009	DBLP DOI BibTeX RDF	refactoring, proof assistants, mechanical verification
20	Huu Hai Nguyen, Wei-Ngan Chin	Enhancing Program Verification with Lemmas.	CAV	2008	DBLP DOI BibTeX RDF	Lemma Proving, Lemma Application, Program Verification, Separation Logic, Entailment
20	Bican Xia, Lu Yang, Naijun Zhan	Program Verification by Reduction to Semi-algebraic Systems Solving.	ISoLA	2008	DBLP DOI BibTeX RDF	Semi-Algebraic Systems, Program Verification, Invariants, Quantifier Elimination, Ranking Functions, Polynomial Programs
20	Leila Jemni Ben Ayed, Fatma Siala	Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B.	DSV-IS	2008	DBLP DOI BibTeX RDF	Multi-Agent System, verification, specification, Event B, AUML
20	Omar Ochoa, Irbis Gallegos, Steve Roach, Ann Q. Gates	Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification.	RV	2007	DBLP DOI BibTeX RDF	Java-MaC, Aspect Oriented Programming, Runtime Verification, Runtime Monitoring, Software Assurance
20	Guy Edward Gallasch, Jonathan Billington	Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols.	ATVA	2005	DBLP DOI BibTeX RDF	Stop and Wait Protocols, Symbolic Automata, Language Equivalence, Coloured Petri Nets, Parametric Verification, Symbolic Reachability Graphs
19	Hao Zheng 0001, Haiqiong Yao, Tomohiro Yoneda	Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	circuit verification, model checking, Formal methods, refinement, abstraction, modular verification, logic verification
19	Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün	Verifying hardware in its software context.	ICCAD	1997	DBLP DOI BibTeX RDF	model-checking, verification, formal verification, co-design, partial order reduction, stepwise refinement, localization reduction, co-verification
19	Enrique Argones-Rúa, José Luis Alba-Castro, Carmen García-Mateo	Quality-Based Score Normalization for Audiovisual Person Authentication.	ICIAR	2008	DBLP DOI BibTeX RDF
19	Zhaozhong Ni, Dachuan Yu, Zhong Shao	Using XCAP to Certify Realistic Systems Code: Machine Context Management.	TPHOLs	2007	DBLP DOI BibTeX RDF
19	Íñigo Ugarte, Pablo Sanchez	Assertion checking of control dominated systems with nonlinear solvers.	MEMOCODE	2006	DBLP DOI BibTeX RDF
19	A. Bernstein, M. Burton, Frank Ghenassia	How to bridge the abstraction gap in system level modeling and design.	ICCAD	2004	DBLP DOI BibTeX RDF
19	Qiusong Yang, Mingshu Li 0001	A cut-off approach for bounded verification of parameterized systems.	ICSE (1)	2010	DBLP DOI BibTeX RDF	cut-off, bounded model checking, parameterized system
19	Natarajan Shankar	Automated deduction for verification.	ACM Comput. Surv.	2009	DBLP DOI BibTeX RDF
19	D. S. Guru, H. N. Prakash	Online Signature Verification and Recognition: An Approach Based on Symbolic Representation.	IEEE Trans. Pattern Anal. Mach. Intell.	2009	DBLP DOI BibTeX RDF
19	Xihui Chen, Ton van Deursen, Jun Pang 0001	Improving Automatic Verification of Security Protocols with XOR.	ICFEM	2009	DBLP DOI BibTeX RDF
19	Yingpan Wu, Lixin Yu, Wei Zhuang, Jianyong Wang	A Coverage-Driven Constraint Random-Based Functional Verification Method of Pipeline Unit.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
19	Yunji Chen, Yi Lv, Weiwu Hu, Tianshi Chen 0002, Haihua Shen, Pengyu Wang, Hong Pan	Fast complete memory consistency verification.	HPCA	2009	DBLP DOI BibTeX RDF
19	Joseph Sifakis	The Quest for Correctness-Beyond a Posteriori Verification.	SPIN	2009	DBLP DOI BibTeX RDF
19	Hongseok Yang	Automatic Verification of Heap-Manipulating Programs Using Separation Logic.	CSR	2009	DBLP DOI BibTeX RDF
19	Luciano Baresi, Domenico Bianculli, Sam Guinea, Paola Spoletini	Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
19	Frédéric Vogels, Bart Jacobs 0002, Frank Piessens	A Machine Checked Soundness Proof for an Intermediate Verification Language.	SOFSEM	2009	DBLP DOI BibTeX RDF
19	Yasuhiro Ito, Yutaka Sugawara, Mary Inaba, Kei Hiraki	CVC: The C to RTL compiler for callback-based verification model.	FPL	2008	DBLP DOI BibTeX RDF
19	Zhifang Wang, Yiyun Chen, Zhenming Wang, Wei Wang, Bo Tian	Implementation of Pointer Logic for Automated Verification.	ICYCS	2008	DBLP DOI BibTeX RDF
19	Sharad Malik	Hardware Verification: Techniques, Methodology and Solutions.	TACAS	2008	DBLP DOI BibTeX RDF