Search results for "verifying"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Marcelo P. Fiore, Martín Abadi	Computing Symbolic Models for Verifying Cryptographic Protocols.	CSFW	2001	DBLP DOI BibTeX RDF
16	Eran Yahav	Verifying safety properties of concurrent Java programs using 3-valued logic.	POPL	2001	DBLP DOI BibTeX RDF	Java
16	Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè	Using symbolic execution for verifying safety-critical systems.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	verification, formal methods, C, symbolic execution, safety-critical system
16	Gene Itkis, Leonid Reyzin	Forward-Secure Signatures with Optimal Signing and Verifying.	CRYPTO	2001	DBLP DOI BibTeX RDF
16	Min-Shiang Hwang, Cheng-Chi Lee, Yuan-Liang Tang	Two Simple Batch Verifying Multiple Digital Signatures.	ICICS	2001	DBLP DOI BibTeX RDF
16	Bernhard Reus, Martin Wirsing, Rolf Hennicker	A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models.	FASE	2001	DBLP DOI BibTeX RDF
16	Deepak Kapur, Mahadevan Subramaniam	Using an induction prover for verifying arithmetic circuits.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Induction, Automated reasoning, Decision procedures, Rewriting, Arithmetic circuits, Hardware verification
16	Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero	Verifying security protocols with Brutus.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	authentication and secure payment protocols, model-checking, formal methods
16	Gerhard Goos, Wolf Zimmermann	Verifying Compilers and ASMs.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
16	Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston	Verifying Quantitative Properties of Continuous Probabilistic Timed Automata.	CONCUR	2000	DBLP DOI BibTeX RDF
16	Jonathan S. Shapiro, Sam Weber	Verifying the EROS Confinement Mechanism.	S&P	2000	DBLP DOI BibTeX RDF	capability systems, verification, formal specification, operating systems, confinement, proof of correctness
16	Dennis Abts, Mike Roberts, David J. Lilja	A Balanced Approach to High-Level Verification: Performance Trade-Offs in Verifying Large-Scale Multiprocessors.	ICPP	2000	DBLP DOI BibTeX RDF
16	Thanh Minh Hoang, Thomas Thierauf	The Complexity of Verifying the Characteristic Polynomial and Testing Similarity.	CCC	2000	DBLP DOI BibTeX RDF
16	Manish Pandey, Randal E. Bryant	Exploiting symmetry when verifying transistor-level circuits by symbolic trajectory evaluation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
16	Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura	An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL.	ICECCS	1998	DBLP DOI BibTeX RDF	railway crossing controller, verification, formal specification, formal methods, Safety-critical systems, functional requirements, safety requirements
16	Reinaldo A. Bergamaschi, Salil Raje	Observable Time Windows: Verifying High-Level Synthesis Results.	IEEE Des. Test Comput.	1997	DBLP DOI BibTeX RDF
16	John Harrison 0001	Verifying the Accuracy of Polynomial Approximations in HOL.	TPHOLs	1997	DBLP DOI BibTeX RDF
16	T. D. Alter, W. Eric L. Grimson	Verifying model-based alignments in the presence of uncertainty.	CVPR	1997	DBLP DOI BibTeX RDF	model-based alignment verification, alignment hypotheses, projected model features, background feature distribution, data features, predicted model features, feature extraction, object recognition, probability, uncertainty, image matching, image matching, 3D model, image features, error model
16	Mark R. Greenstreet	Verifying Safety Properties of Differential Equations.	CAV	1996	DBLP DOI BibTeX RDF
16	Deepak Kapur, Mahadevan Subramaniam	Mechanically Verifying a Family of Multiplier Circuits.	CAV	1996	DBLP DOI BibTeX RDF
16	Jonathan Lee, Lein F. Lai, Wei T. Huang	A Task-Based Approach to Verifying Conceptual Models.	COMPSAC	1996	DBLP DOI BibTeX RDF
16	Randall W. Lichota, Grace L. Hammonds, Stephen H. Brackin	Verifying The Correctness Of Cryptographic Protocols Using "Convince".	ACSAC	1996	DBLP DOI BibTeX RDF	Convince, theorem proving component, commercial computer aided software engineering tool, StP/OMT, textual notations, Higher Order Logic theorem prover, protocols, cryptographic protocols, authentication protocols, front-end, belief logic, correctness verification, automated support
16	Allan M. Stavely	Verifying Definite Iteration Over Data Structures.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	programming language constructs, Data structures, program verification, structured programming, functional specifications
16	Bengt Jonsson 0001, Lars Kempe	Verifying Safety Properties of a Class of Infinite-State Distributed Algorithms.	CAV	1995	DBLP DOI BibTeX RDF
16	Ahmed Bouajjani, Riadh Robbana	Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems.	CAV	1995	DBLP DOI BibTeX RDF
16	A. W. Roscoe 0001	Modelling and verifying key-exchange protocols using CSP and FDR.	CSFW	1995	DBLP DOI BibTeX RDF	model-checking, formal specification, protocols, formal verification, process algebra, CSP, communicating sequential processes, FDR, key-exchange protocols
16	Miklos Santha, Sovanna Tan	Verifying the Determinant in Parallel.	ISAAC	1994	DBLP DOI BibTeX RDF
16	Andy Evans	Specifying & Verifying Concurrent Systems Using Z.	FME	1994	DBLP DOI BibTeX RDF
16	Sofiène Tahar, Ramayya Kumar	Implementing a Methodology for Formally Verifying RISC Processors in HOL.	HUG	1993	DBLP DOI BibTeX RDF
16	James C. Corbett	Verifying General Safety and Liveness Propterties with Integer Programming.	CAV	1992	DBLP DOI BibTeX RDF
16	Mark de Berg, Mark H. Overmars, Otfried Schwarzkopf	Computing and Verifying Depth Orders.	SCG	1992	DBLP DOI BibTeX RDF
16	Armen Gabrielian, R. Iyer	Verifying Properties of HMS Machine Specifications of Real-Time Systems.	CAV	1991	DBLP DOI BibTeX RDF
16	Dipankar Sarkar 0001, S. C. De Sarkar	A Theorem Prover for Verifying Iterative Programs Over Integers.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	rule-based theorem prover, iterative programs, overall proof construction strategy, array-sorting program, expert systems, theorem proving, program verification, performance measures, iterative methods, correctness proofs
16	Jeannette M. Wing	Verifying Atomic Data Types.	REX Workshop	1989	DBLP DOI BibTeX RDF	fault-tolerance, distributed systems, program verification, transactions, Atomicity, abstract data types
16	Nicolas Halbwachs, Daniel Pilaud, Farid Ouabdesselam, Anne-Cecile Glory	Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
16	Amihai Motro	SEAVE: A Mechanism for Verifying User Presuppositions in Query Systems.	ACM Trans. Inf. Syst.	1986	DBLP DOI BibTeX RDF
16	M. W. Shields, Peter E. Lauer	Verifying Concurrent System Specification in COSY.	MFCS	1980	DBLP DOI BibTeX RDF
11	Edward Lank, Ryan Stedman, Michael A. Terry	Estimating residual error rate in recognized handwritten documents using artificial error injection.	CHI	2010	DBLP DOI BibTeX RDF	artificial error., handwriting recognition, residual error
11	Jaeheon Yi, Cormac Flanagan	Effects for cooperable and serializable threads.	TLDI	2010	DBLP DOI BibTeX RDF	atomicity, yield, race conditions, effect system
11	Haiqiong Yao, Hao Zheng 0001	Automated Interface Refinement for Compositional Verification.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2009	DBLP DOI BibTeX RDF
11	Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci	Flexible Timeline-Based Plan Verification.	KI	2009	DBLP DOI BibTeX RDF
11	Edmund M. Clarke	My 27-year Quest to Overcome the State Explosion Problem.	LICS	2009	DBLP DOI BibTeX RDF
11	Tichakorn Wongpiromsarn, Sayan Mitra, Richard M. Murray, Andrew G. Lamperski	Periodically Controlled Hybrid Systems.	HSCC	2009	DBLP DOI BibTeX RDF
11	Jong Hyuk Byun, Chang Beom Choi, Tag Gon Kim	Verification of the DEVS model implementation using aspect embedded DEVS.	SpringSim	2009	DBLP BibTeX RDF	aspect oriented programming based verification, discrete event simulator verification, DEVS formalism
11	Adam Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky	Effective interactive proofs for higher-order imperative programs.	ICFP	2009	DBLP DOI BibTeX RDF	functional programming, dependent types, separation logic, interactive proof assistants
11	Daniel Schwartz-Narbonne, Carven Chan, Yogesh S. Mahajan, Sharad Malik	Supporting RTL flow compatibility in a microarchitecture-level design framework.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	microarchitecture level, transactions, formal models, hierarchical design, hardware resources
11	Hongseok Yang	Automatic Verification of Heap-Manipulating Programs Using Separation Logic.	CSR	2009	DBLP DOI BibTeX RDF
11	Hedda Rahel Schmidtke, Woontack Woo	Towards Ontology-Based Formal Verification Methods for Context Aware Systems.	Pervasive	2009	DBLP DOI BibTeX RDF	ontologies, program verification, context modelling, mereotopology
11	Carla A. D. M. Delgado, Mario R. F. Benevides	Verification of Epistemic Properties in Probabilistic Multi-Agent Systems.	MATES	2009	DBLP DOI BibTeX RDF
11	Liliana D'Errico, Michele Loreti	Assume-Guarantee Verification of Concurrent Systems.	COORDINATION	2009	DBLP DOI BibTeX RDF
11	Anna Lisa Ferrara, Matthew Green 0001, Susan Hohenberger, Michael Østergaard Pedersen	Practical Short Signature Batch Verification.	CT-RSA	2009	DBLP DOI BibTeX RDF
11	Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001	Abstraction Refinement for Probabilistic Software.	VMCAI	2009	DBLP DOI BibTeX RDF
11	Jonathan Ezekiel, Alessio Lomuscio	Combining fault injection and model checking to verify fault tolerance in multi-agent systems.	AAMAS (1)	2009	DBLP BibTeX RDF	fault tolerance, model checking, fault injection, epistemic logic
11	Richard E. Korf	Linear-time disk-based implicit graph search.	J. ACM	2008	DBLP DOI BibTeX RDF	Rubik's Cube, magnetic disk storage, permutation encodings, sliding-tile puzzles, External memory, Towers of Hanoi
11	Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti 0001	Auxiliary state machines + context-triggered properties in verification.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF
11	Michael Möller 0002, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim	Integrating a formal method into a software engineering process with UML and Java.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Java, Modelling, Model checking, UML, Formal specification, CSP, Contracts, Object-Z, Runtime checking
11	José Augusto Miranda Nacif, Thiago S. F. Silva, Andréa Iabrudi Tavares, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.	Efficient Allocation of Verification Resources using Revision History Information.	DDECS	2008	DBLP DOI BibTeX RDF
11	Edmund M. Clarke	Model Checking - My 27-Year Quest to Overcome the State Explosion Problem.	LPAR	2008	DBLP DOI BibTeX RDF
11	Deepak D'Souza, Madhu Gopinathan	Conflict-Tolerant Features.	CAV	2008	DBLP DOI BibTeX RDF
11	Yuxiang Shi, Jun Yan 0009, Zhong Jie Li, Jun Zhu	Path-based verification for composition of semantic web services.	SAC	2008	DBLP DOI BibTeX RDF	web service, verification, semantic, composition
11	Alex X. Liu	Formal Verification of Firewall Policies.	ICC	2008	DBLP DOI BibTeX RDF
11	Youan Xiao	New Self Certified Proxy Digital Signature Scheme based on Elliptic Curve Cryptosystem.	ARES	2008	DBLP DOI BibTeX RDF
11	Rujuan Liu, Guilan Dai, Changjun Hu, Chongchong Zhao	A Verification Method for Temporal Consistency of Service Flow.	COMPSAC	2008	DBLP DOI BibTeX RDF	Verification of WS Flow, Annotated OWL_S, Time Ontology, Model Checking
11	André Platzer, Jan-David Quesel	KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description).	IJCAR	2008	DBLP DOI BibTeX RDF	verification of hybrid systems, decision procedures, computer algebra, automated theorem proving, dynamic logic
11	Aliasgar Kutiyanawala, Vladimir A. Kulyukin	A Cartesian Robot for RFID Signal Distribution Model Verification.	UIC	2008	DBLP DOI BibTeX RDF
11	Humphrey Waita Njogu, Xiehua Li	Combating TCP Based Attacks on Mobile Devices.	CSSE (3)	2008	DBLP DOI BibTeX RDF
11	Colin Atkinson 0001	Component-Oriented Verification of Software Architectures through Built-in Tests.	ECSA	2008	DBLP DOI BibTeX RDF	Verification, built-in tests, system services
11	Edmund M. Clarke, James R. Faeder, Christopher James Langmead, Leonard A. Harris, Sumit Kumar Jha 0001, Axel Legay	Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway.	CMSB	2008	DBLP DOI BibTeX RDF
11	Hong Chen, Xiaonan Ma, Windsor W. Hsu, Ninghui Li, Qihua Wang	Access Control Friendly Query Verification for Outsourced Data Publishing.	ESORICS	2008	DBLP DOI BibTeX RDF
11	Wen-Chao Yang, Che-Yen Wen, Chung-Hao Chen	Applying Public-Key Watermarking Techniques in Forensic Imaging to Preserve the Authenticity of the Evidence.	ISI Workshops	2008	DBLP DOI BibTeX RDF	Integrity, Public-key Cryptography, Digital Image, Credibility, Digital Image Forensic
11	Stephen Wong, Jing Sun 0002, Ian Warren, Jun Sun 0001	A Scalable Approach to Multi-style Architectural Modeling and Verification.	ICECCS	2008	DBLP DOI BibTeX RDF
11	Ho Kyoung Lee, Woo Jin Lee, Heung Seok Chae, Yong Rae Kwon	Specification and analysis of timing requirements for real-time systems in the CBD approach.	Real Time Syst.	2007	DBLP DOI BibTeX RDF	Real-time system, Petri nets, Component, Timing analysis, Timing constraints, CBD, Compositional analysis
11	Abhay Vardhan, Mahesh Viswanathan 0001	Learning to verify branching time properties.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Verification, Learning, CTL
11	Yunja Choi	From NuSMV to SPIN: Experiences with model checking flight guidance systems.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Flight guidance systems, Model checking, SPIN, NuSMV
11	Galen Rasche, Erin Allwein, Michael S. Moore, Ben Abbott	Model-Based Cyber Security.	ECBS	2007	DBLP DOI BibTeX RDF
11	Pratibha Permandla, Michael Roberson, Chandrasekhar Boyapati	A type system for preventing data races and deadlocks in the java virtual machine language: 1.	LCTES	2007	DBLP DOI BibTeX RDF	SafeJava, deadlocks, data races, ownership types
11	Wei Dong 0006, Ji Wang 0001, Zhichang Qi, Ni Rong	Compositional Verification of UML Dynamic Models.	APSEC	2007	DBLP DOI BibTeX RDF
11	Tonny Kurniadi Satyananda, Danhyung Lee, Sungwon Kang	A Formal Approach to Verify Mapping Relation in a Software Product Line.	CIT	2007	DBLP DOI BibTeX RDF
11	Harald Meyer	Calculating the Semantic Conformance of Processes.	Business Process Management Workshops	2007	DBLP DOI BibTeX RDF
11	Yagiz Sutcu, Sevinc Bayram, Husrev T. Sencar, Nasir D. Memon	Improvements on Sensor Noise Based Source Camera Identification.	ICME	2007	DBLP DOI BibTeX RDF
11	Saayan Mitra, Samik Basu 0001, Ratnesh Kumar 0001	Local and On-the-fly Choreography-based Web Service Composition.	Web Intelligence	2007	DBLP DOI BibTeX RDF
11	Qingwei Wu, Michael S. Hsiao	A New Simulation-Based Property Checking Algorithm Based on Partitioned Alternative Search Space Traversal.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	verification, Automatic test pattern generation (ATPG), satisfiability, logic-simulation
11	Dianxiang Xu, Kendall E. Nygard	Threat-Driven Modeling and Verification of Secure Software Using Aspect-Oriented Petri Nets.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	aspect-oriented Petri nets, modeling, verification, Petri nets, aspect-oriented software development, Software security, threat modeling
11	Wei Li, Daniel Blakely, Scott Van Sooy, Keven Dunn, David Kidd, Robert Rogenmoser, Dian Zhou	LVS verification across multiple power domains for a quad-core microprocessor.	ACM Trans. Design Autom. Electr. Syst.	2006	DBLP DOI BibTeX RDF	LVS, multi-core microprocessor, physical verification
11	Steve McKeever, Wayne Luk	Provably-correct hardware compilation tools based on pass separation techniques.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF
11	Sayantan Das 0001, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti 0001	What lies between design intent coverage and model checking?	DATE	2006	DBLP DOI BibTeX RDF
11	Paul C. Attie, David H. Lorenz, Aleksandra Portnova, Hana Chockler	Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System.	CBSE	2006	DBLP DOI BibTeX RDF
11	Wen Zhao, San-ping Tang	Certificates Verification Based on Trust Matrix in PKI.	ICICIC (1)	2006	DBLP DOI BibTeX RDF
11	Karun N. Biyani, Sandeep S. Kulkarni	Concurrency Tradeoffs in Dynamic Adaptation.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF	Verification, Complexity, Concurrency, Specification, Dynamic Adaptation
11	Annette Bunker, Ganesh Gopalakrishnan, Konrad Slind	Live sequence charts applied to hardware requirements specification and verification.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Protocol compliance, Virtual Component Interface Standard, Formal verification, Specification, Live Sequence Charts
11	Hai H. Wang, Yuan-Fang Li, Jing Sun 0002, Hongyu Zhang 0002	Verify Feature Models using protegeowl.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	ontologies, semantic web, OWL, feature modeling
11	Egon Valentini, Gerhard Fliess, Edmund Haselwanter	A Framework for Efficient Contract-Based Testing of Software Components.	COMPSAC (2)	2005	DBLP DOI BibTeX RDF
11	Xinyu Feng 0001, Zhong Shao	Modular verification of concurrent assembly code with dynamic thread creation and termination.	ICFP	2005	DBLP DOI BibTeX RDF	concurrency verification, dynamic thread creation, proof-carrying code, rely-guarantee
11	Xiushan Feng, Alan J. Hu	Cutpoints for formal equivalence verification of embedded software.	EMSOFT	2005	DBLP DOI BibTeX RDF	formal verification, embedded software, equivalence checking
11	Amos Korman, Shay Kutten, David Peleg	Proof labeling schemes.	PODC	2005	DBLP DOI BibTeX RDF	proof labels, self stabilization, distributed networks, property verification
11	Mahadevan Gomathisankaran, Akhilesh Tyagi	TIVA: Trusted Integrity Verification Architecture.	DRMTICS	2005	DBLP DOI BibTeX RDF
11	Basit Shafiq, Ammar Masood, James Joshi, Arif Ghafoor	A Role-Based Access Control Policy Verification Framework for Real-Time Systems.	WORDS	2005	DBLP DOI BibTeX RDF
11	Abhay Vardhan, Mahesh Viswanathan 0001	Learning to verify branching time properties.	ASE	2005	DBLP DOI BibTeX RDF	CTL, computational learning theory, infinite state systems
11	Eli Ben-Sasson, Madhu Sudan 0001	Simple PCPs with poly-log rate and query complexity.	STOC	2005	DBLP DOI BibTeX RDF	PCPP, probabilistically checkable proofs, PCP, locally testable codes
11	Patrick R. Eaton, Hakim Weatherspoon, John Kubiatowicz	Efficiently Binding Data to Owners in Distributed Content-Addressable Storage Systems.	IEEE Security in Storage Workshop	2005	DBLP DOI BibTeX RDF