Search results for "soundness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Juliane Dehnert, Peter Rittgen	Relaxed Soundness of Business Processes.	CAiSE	2001	DBLP DOI BibTeX RDF
17	Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, Giovanni Semeraro	OI-implication: Soundness and Refutation Completeness.	IJCAI	2001	DBLP BibTeX RDF
17	Simon Helsen, Peter Thiemann 0001	Syntactic Type Soundness for the Region Calculus.	HOOTS	2000	DBLP DOI BibTeX RDF
17	Catherine Dubois	Proving ML Type Soundness Within Coq.	TPHOLs	2000	DBLP DOI BibTeX RDF
17	Martín Abadi, Phillip Rogaway	Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption).	IFIP TCS	2000	DBLP DOI BibTeX RDF
17	Sophia Drossopoulou, Susan Eisenbach	Describing the Semantics of Java and Proving Type Soundness.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
17	Rudolf Berghammer	Soundness of a purely syntactical formalizationof weakest preconditions.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
17	Fairouz Kamareddine	The Soundness of Explicit Substitution with Nameless Variables.	Int. J. Found. Comput. Sci.	1998	DBLP DOI BibTeX RDF
17	Thomas Kleymann	Hoare logic and VDM : machine-checked soundness and completeness proofs.		1998	RDF
17	Jan A. Plaza	Soundness and Completeness versus Lifting Property.	AISMC	1996	DBLP DOI BibTeX RDF
17	Dennis M. Volpano, Geoffrey Smith 0001	A Type Soundness Proof for Variables in LCF ML.	Inf. Process. Lett.	1995	DBLP DOI BibTeX RDF
17	Zhiqing Shao, Guoxin Song	An algebraic characterization of inductive soundness in proof by consistency.	J. Comput. Sci. Technol.	1995	DBLP DOI BibTeX RDF
17	Louise E. Moser, P. M. Melliar-Smith, George Kutty, Y. S. Ramakrishna	Completeness and Soundness of Axiomatizations for Temporal Logics. Without Next.	Fundam. Informaticae	1994	DBLP DOI BibTeX RDF
17	Gustavus J. Simmons	Proof of Soundness (Integrity) of Cryptographic Protocols.	J. Cryptol.	1994	DBLP DOI BibTeX RDF
17	Andrew K. Wright, Matthias Felleisen	A Syntactic Approach to Type Soundness	Inf. Comput.	1994	DBLP DOI BibTeX RDF
17	Grigoris Antoniou, Elmar Langetepe	Soundness and Completeness of a Logic Programming Approach to Default Logic.	AAAI	1994	DBLP BibTeX RDF
17	John P. Fox 0001	On the soundness and safety of expert systems.	Artif. Intell. Medicine	1993	DBLP DOI BibTeX RDF
17	Mehmet A. Orgun	The Soundness and Completeness of a Temporal Extension of Logic Programming.	ILPS	1993	DBLP BibTeX RDF
17	G. Neelakantan Kartha	Soundness and Completeness Theorems for Three Formalizations of Action.	IJCAI	1993	DBLP BibTeX RDF
17	H. Albert Lilly, Barrett R. Bryant	A Prescribed Cut for Prolog that Ensures Soundness.	J. Log. Program.	1992	DBLP DOI BibTeX RDF
17	Vincenzo Manca, Antonino Salibra	Soundness and Completeness of the Birkhoff Equational Calculus for Many-Sorted Algebras with Possibly Empty Carrier Sets.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
17	Halina Przymusinska, Teodor C. Przymusinski, Hirohisa Seki	Soundness and Completeness of Partial Deductions for Well-Founded Semantics.	LPAR	1992	DBLP DOI BibTeX RDF
17	Bruno Dumant	hecking the Soundness of Resolution Schemes.	JICSLP	1992	DBLP BibTeX RDF
17	Tommaso Bolognesi	On the soundness of graphical representations of interconnected processes in LOTOS.	Formal Methods in Software Development	1990	DBLP DOI BibTeX RDF
17	Martin Fürer, Oded Goldreich 0001, Yishay Mansour, Michael Sipser, Stathis Zachos	On Completeness and Soundness in Interactive Proof Systems.	Adv. Comput. Res.	1989	DBLP BibTeX RDF
17	Patrick Cousot, Radhia Cousot	A Language Independent Proof of the Soundness and Completeness of Generalized Hoare Logic	Inf. Comput.	1989	DBLP DOI BibTeX RDF
17	Edward P. F. Chan, Alberto O. Mendelzon	On testing soundness of relational expressions.	Inf. Syst.	1987	DBLP DOI BibTeX RDF
17	Stefan Sokolowski	Soundness of Hoare's Logic: An Automated Proof Using LCF.	ACM Trans. Program. Lang. Syst.	1987	DBLP DOI BibTeX RDF
17	Michael A. Bauer 0001	Soundness and Completeness of a Synthesis Algorithm Based on Example Computations	J. ACM	1985	DBLP DOI BibTeX RDF
17	Job Zwiers, Willem P. de Roever, Peter van Emde Boas	Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem.	ICALP	1985	DBLP DOI BibTeX RDF
17	Stephen A. Cook	Corrigendum: Soundness and Completeness of an Axiom System for Program Verification.	SIAM J. Comput.	1981	DBLP DOI BibTeX RDF
17	Stephen A. Cook	Soundness and Completeness of an Axiom System for Program Verification.	SIAM J. Comput.	1978	DBLP DOI BibTeX RDF
17	Werner Stephan 0001, Jörg H. Siekmann	Completeness and Soundness of the Connection Graph Proof.	AISB/GI (ECAI)	1978	DBLP BibTeX RDF
17	Heinz Gumin, Hans Hermes	Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln.	Arch. Math. Log.	1956	DBLP DOI BibTeX RDF
14	Ryan O'Donnell, Yi Wu 0002	3-bit dictator testing: 1 vs. 5/8.	SODA	2009	DBLP DOI BibTeX RDF
14	Peter V. Homeier	The HOL-Omega Logic.	TPHOLs	2009	DBLP DOI BibTeX RDF
14	Yehuda Lindell, Hila Zarosim	Adaptive Zero-Knowledge Proofs and Adaptively Secure Oblivious Transfer.	TCC	2009	DBLP DOI BibTeX RDF
14	Yevgeniy Dodis, Salil P. Vadhan, Daniel Wichs	Proofs of Retrievability via Hardness Amplification.	TCC	2009	DBLP DOI BibTeX RDF
14	Volker Gruhn, Ralf Laue 0001	A Heuristic Method for Business Process Model Evaluation.	CIAO! / EOMAS	2009	DBLP DOI BibTeX RDF
14	Benjamin Delaware, William R. Cook, Don S. Batory	Fitting the pieces together: a machine-checked model of safe composition.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	feature models, product lines, type safety
14	JiDong Ge, Haiyang Hu	A Decomposition Approach with Invariant Analysis for Workflow Coordination.	DASFAA Workshops	2009	DBLP DOI BibTeX RDF	Petri nets, Workflow, Invariants, Sequence diagram
14	Benjamin Delaware, William R. Cook, Don S. Batory	A machine-checked model of safe composition.	FOAL	2009	DBLP DOI BibTeX RDF	feature model, product lines, type safety
14	Daniel Marino, Todd D. Millstein	A generic type-and-effect system.	TLDI	2009	DBLP DOI BibTeX RDF	type-and-effect systems
14	Zvonimir Rakamaric, Alan J. Hu	A Scalable Memory Model for Low-Level Code.	VMCAI	2009	DBLP DOI BibTeX RDF
14	M. Gokcen Arslan, Tolga Onel, Cem Ersoy	Effect of 3D topographical surfaces for the performance evaluation of wireless sensor networks.	PIMRC	2008	DBLP DOI BibTeX RDF
14	Hirotada Kobayashi	General Properties of Quantum Zero-Knowledge Proofs.	TCC	2008	DBLP DOI BibTeX RDF
14	Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli	Oracle Semantics for Concurrent Separation Logic.	ESOP	2008	DBLP DOI BibTeX RDF
14	JiDong Ge, Hao Hu 0001, Jian Lü 0001	Order Constraints for Multi-view Software Process Model.	CSSE (2)	2008	DBLP DOI BibTeX RDF
14	Ekaterina Komendantskaya, John Power	Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness.	JELIA	2008	DBLP DOI BibTeX RDF	Many-valued logic programs, categorical logic, fibrational semantics, ground semantics, SLD-resolution
14	Ivan Damgård, Michael Østergaard Pedersen	RFID Security: Tradeoffs between Security and Efficiency.	CT-RSA	2008	DBLP DOI BibTeX RDF
14	Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001	State Space Reduction in the Maude-NRL Protocol Analyzer.	ESORICS	2008	DBLP DOI BibTeX RDF
14	Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub	From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-order Decision Procedures.	IFIP TCS	2008	DBLP DOI BibTeX RDF
14	Paolo Tranquilli	A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic.	CSL	2008	DBLP DOI BibTeX RDF
14	Tsuyoshi Ito, Hirotada Kobayashi, Daniel Preda, Xiaoming Sun 0001, Andrew Chi-Chih Yao	Generalized Tsirelson Inequalities, Commuting-Operator Provers, and Multi-prover Interactive Proof Systems.	CCC	2008	DBLP DOI BibTeX RDF	multi-prover interactive proof systems, quantum nonlocality, Tsirelson inequality, entanglement
14	Andrew W. Appel, Paul-André Melliès, Christopher D. Richards, Jérôme Vouillon	A very modal model of a modern, major, general type system.	POPL	2007	DBLP DOI BibTeX RDF	impredicative polymorphism, mutable references, recursive types, Kripke models
14	Markus Degen 0001, Peter Thiemann 0001, Stefan Wehr	Tracking Linear and Affine Resources with Java(X).	ECOOP	2007	DBLP DOI BibTeX RDF
14	Jun Liu 0001, Luis Martínez-López 0001, Yang Xu 0001, Zhirui Lu	Automated Reasoning Algorithm for Linguistic Valued Lukasiewicz Propositional Logic.	ISMVL	2007	DBLP DOI BibTeX RDF
14	Bow-Yaw Wang	Automatic Derivation of Compositional Rules in Automated Compositional Reasoning.	CONCUR	2007	DBLP DOI BibTeX RDF
14	Reynald Affeldt, Miki Tanaka, Nicolas Marti	Formal Proof of Provable Security by Game-Playing in a Proof Assistant.	ProvSec	2007	DBLP DOI BibTeX RDF
14	Sylvain Boulmé, Marie-Laure Potet	Interpreting Invariant Composition in the B Method Using the Spec# Ownership Relation: A Way to Explain and Relax B Restrictions.	B	2007	DBLP DOI BibTeX RDF
14	Luís Caires	Logical Semantics of Types for Concurrency.	CALCO	2007	DBLP DOI BibTeX RDF
14	Jörg Desel	Controlling Petri Net Process Models.	WS-FM	2007	DBLP DOI BibTeX RDF
14	Venkatesan Guruswami	On 2-Query Codeword Testing with Near-Perfect Completeness.	ISAAC	2006	DBLP DOI BibTeX RDF
14	Emad Saad	Towards the Computation of Stable Probabilistic Model Semantics.	KI	2006	DBLP DOI BibTeX RDF
14	Christoph Sprenger 0001, Michael Backes 0001, David A. Basin, Birgit Pfitzmann, Michael Waidner	Cryptographically Sound Theorem Proving.	CSFW	2006	DBLP DOI BibTeX RDF
14	Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino 0001	Abstract Matching for Software Model Checking.	SPIN	2006	DBLP DOI BibTeX RDF	Static Analysis, State Explosion, Model Extraction
14	Adam Chlipala	Modular development of certified program verifiers with a proof assistant.	ICFP	2006	DBLP DOI BibTeX RDF	programming with dependent types, proof-carrying code, interactive proof assistants
14	Jie Bao 0001, Doina Caragea, Vasant G. Honavar	Modular Ontologies - A Formal Investigation of Semantics and Expressivity.	ASWC	2006	DBLP DOI BibTeX RDF
14	Ichiro Hasuo	Generic Forward and Backward Simulations.	CONCUR	2006	DBLP DOI BibTeX RDF
14	Ferucio Laurentiu Tiplea, Geanina Ionela Macovei	E-timed Workflow Nets.	SYNASC	2006	DBLP DOI BibTeX RDF
14	Subhash Khot, Rishi Saket	A 3-Query Non-Adaptive PCP with Perfect Completeness.	CCC	2006	DBLP DOI BibTeX RDF
14	Sacha Berger, Emmanuel Coquery, Wlodzimierz Drabent, Artur Wilk	Descriptive Typing Rules for Xcerpt.	PPSWR	2005	DBLP DOI BibTeX RDF
14	James Brotherston	Cyclic Proofs for First-Order Logic with Inductive Definitions.	TABLEAUX	2005	DBLP DOI BibTeX RDF
14	Héctor Ruíz Barradas, Didier Bert	A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions.	IFM	2005	DBLP DOI BibTeX RDF	unity logic, weak fairness, minimal progress, set transformer, fairness, action systems, Liveness properties, fixpoints, event systems
14	Lars Engebretsen, Jonas Holmerin	More Efficient Queries in PCPs for NP and Improved Approximation Hardness of Maximum CSP.	STACS	2005	DBLP DOI BibTeX RDF
14	Ferucio Laurentiu Tiplea, Geanina Ionela Macovei	Timed Workflow Nets.	SYNASC	2005	DBLP DOI BibTeX RDF
14	Michael Backes 0001, Birgit Pfitzmann	Limits of the Cryptographic Realization of Dolev-Yao-Style XOR.	ESORICS	2005	DBLP DOI BibTeX RDF
14	Axel Martens	Analyzing Web Service Based Business Processes.	FASE	2005	DBLP DOI BibTeX RDF
14	Stefan Kramer 0001, Hermann Kaindl	Coupling and cohesion metrics for knowledge-based systems using frames and rules.	ACM Trans. Softw. Eng. Methodol.	2004	DBLP DOI BibTeX RDF	knowledge-based systems, Coupling, cohesion
14	Max H. Garzon, Derrel Blain, Andrew Neel	Virtual test tubes.	Nat. Comput.	2004	DBLP DOI BibTeX RDF	molecular kinetics, simulations of Brownian motion, virtual test tubes, distributed computing, biomolecular computing
14	Simon Helsen, Peter Thiemann 0001	Polymorphic specialization for ML.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	regions, program specialization, Binding-time analysis
14	Phan Minh Dung, Phan Minh Thang	Stepwise development of security protocols: a speech act-oriented approach.	FMSE	2004	DBLP DOI BibTeX RDF	security protocols, cryptographic protocols
14	Tian-jun Zuo, Jun-gang Han, Ping Chen	Formalizing Java Dynamic Loading in HOL.	TPHOLs	2004	DBLP DOI BibTeX RDF
14	Tetsuo Kamina, Tetsuo Tamai	McJava - A Design and Implementation of Java with Mixin-Types.	APLAS	2004	DBLP DOI BibTeX RDF
14	Giovanni Di Crescenzo, Giuseppe Persiano, Ivan Visconti	Improved Setup Assumptions for 3-Round Resettable Zero Knowledge.	ASIACRYPT	2004	DBLP DOI BibTeX RDF
14	Chris Marriott, John Watrous	Quantum Arthur-Merlin Games.	CCC	2004	DBLP DOI BibTeX RDF
14	Rik Eshuis, Juliane Dehnert	Reactive Petri Nets for Workflow Modeling.	ICATPN	2003	DBLP DOI BibTeX RDF
14	Russell Impagliazzo, Bruce M. Kapron	Logics for Reasoning about Cryptographic Constructions.	FOCS	2003	DBLP DOI BibTeX RDF
14	Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach	Flexible Models for Dynamic Linking.	ESOP	2003	DBLP DOI BibTeX RDF
14	Ugo Dal Lago, Simone Martini 0001, Luca Roversi	Higher-Order Linear Ramified Recurrence.	TYPES	2003	DBLP DOI BibTeX RDF
14	Sorin Lerner, Todd D. Millstein, Craig Chambers	Automatically proving the correctness of compiler optimizations.	PLDI	2003	DBLP DOI BibTeX RDF	automated correctness proofs, compiler optimization
14	Xavier Daragon, Michel Couprie, Gilles Bertrand 0001	Discrete Frontiers.	DGCI	2003	DBLP DOI BibTeX RDF
14	Gilles Dowek, Thérèse Hardin, Claude Kirchner	Binding Logic: Proofs and Models.	LPAR	2002	DBLP DOI BibTeX RDF
14	David A. Schmidt	Structure-Preserving Binary Relations for Program Abstraction.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
14	Michal Konecný	Typing with Conditions and Guarantees for Functional In-place Update.	TYPES	2002	DBLP DOI BibTeX RDF
14	Emir Pasalic, Walid Taha, Tim Sheard	Tagless staged interpreters for typed languages.	ICFP	2002	DBLP DOI BibTeX RDF	calculus of constructions, definitional interpreters, domain-specific languages, multi-stage programming
14	Jeremy W. Nimmer, Michael D. Ernst	Automatic generation of program specifications.	ISSTA	2002	DBLP DOI BibTeX RDF
14	Kamel Barkaoui, Ph. Dechambre, R. Hachicha	Verification and Optimisation of an Operating Room Workflow.	HICSS	2002	DBLP DOI BibTeX RDF	hospital organisations, workflow, business process reengineering, shared resources
14	Joseph E. Stoy, Xiaowei Shen, Arvind	Proofs of Correctness of Cache-Coherence Protocols.	FME	2001	DBLP DOI BibTeX RDF
14	Daniel C. Wang, Andrew W. Appel	Type-preserving garbage collectors.	POPL	2001	DBLP DOI BibTeX RDF