Search results for "verfication"

Found 20 publication records. Showing 20 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
33	Konstantinos Koutroumpas, John Lygeros	Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication.	HSCC	2010	DBLP DOI BibTeX RDF	hybrid input output automata, sthochastic hybrid systems, verfication, systems biology
33	Randal E. Bryant, Steven M. German, Miroslav N. Velev	Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	processor verfication, decision procedures, uninterpreted functions
31	Afshin Heshmati, Majid Bayat, Mohammad-Ali Doostari, Seyed Morteza Pournaghi	Blockchain based authentication and access verfication scheme in smart home.	J. Ambient Intell. Humaniz. Comput.	2023	DBLP DOI BibTeX RDF
31	Jie Gao, Hella-Franziska Hoffmann, Stylianos Oikonomou, David Kiskovski, Anil Bandhakavi	Logically at Factify 2022: Multimodal Fact Verfication.	DE-FACTIFY@AAAI	2022	DBLP BibTeX RDF
31	Zhexu Liu, Zhen Zhao 0004	Modeling and Schedulability Verfication of IMA Partitioning Based on AADL.	ISCID (1)	2017	DBLP DOI BibTeX RDF
31	Gaurav Saharawat, Praveen Shukla, Saurabh Jain, Subash Nayak	Emulation - Smart Way of Power Estimation and Power Aware Verfication.	VLSID	2016	DBLP DOI BibTeX RDF
31	Javier Galbally, Julian Fiérrez, Marcos Martinez-Diaz, Javier Ortega-Garcia	Improving the Enrollment in Dynamic Signature Verfication with Synthetic Samples.	ICDAR	2009	DBLP DOI BibTeX RDF
31	Miroslav N. Velev, Randal E. Bryant	Bit-Level Abstraction in the Verfication of Pipelined Microprocessors by Correspondence Checking.	FMCAD	1998	DBLP DOI BibTeX RDF
31	Jesper Ø. Olsen	A Two Stage Procedure for Phone Based Speaker Verfication.	AVBPA	1997	DBLP DOI BibTeX RDF
31	Andrea Paoloni, Susy Ragazzini, Giacomo Ravaioli	Text Independent Speaker Verfication Using Multiple-state Predictive Neural Networks.	AVBPA	1997	DBLP DOI BibTeX RDF
31	Boutheina Chetali, Pierre Lescanne	Formal Verfication of a Protocol for Communications over Faulty Channels.	FORTE	1995	DBLP BibTeX RDF
31	Luis M. Alonso	Using State Variables for the Specification and Verfication of TCSP Processes.	PARLE	1993	DBLP DOI BibTeX RDF
31	Walker Anderson	Logical Verfication of the NVAX CPU Chip Design.	Digit. Tech. J.	1992	DBLP BibTeX RDF
31	Srinivas Devadas, Kurt Keutzer, A. S. Krishnakumar	Design Verfication and Reachability Analysis Using Algebraic Manipulation.	ICCD	1991	DBLP DOI BibTeX RDF
31	I-En Liao, Ming T. Liu	Incremental Protocol Verfication Using Deductive Database Systems.	ICDE	1989	DBLP DOI BibTeX RDF
31	Gustavus J. Simmons	An Impersonation-Proof Identity Verfication Scheme.	CRYPTO	1987	DBLP DOI BibTeX RDF
31	Maurice Clint, C. Vicent	The Use of Ghost Variables and Virtual Programming in the Documentation and Verfication of Programs.	Softw. Pract. Exp.	1984	DBLP DOI BibTeX RDF
31	J. G. Wilson	Notes on geometric weighted check digit verfication.	Commun. ACM	1961	DBLP DOI BibTeX RDF
30	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	An Interpolation Method for CLP Traversal.	CP	2009	DBLP DOI BibTeX RDF
30	Véronique Benzaken, Xavier Schaefer	Static Management of Integrity in Object-Oriented Databases: Design and Implementation.	EDBT	1998	DBLP DOI BibTeX RDF