Search results for "soundness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Healfdene Goguen	Soundness of the Logical Framework for Its Typed Operational Semantics.	TLCA	1999	DBLP DOI BibTeX RDF
24	Cornelia Pusch	Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL.	TACAS	1999	DBLP DOI BibTeX RDF
24	Peter Vojtás, Leonard Paulík	Soundness and Completeness of Non-classical SLD-Resolution.	ELP	1996	DBLP DOI BibTeX RDF
21	Sophia Drossopoulou, Adrian Francalanza, Peter Müller 0001, Alexander J. Summers	A Unified Framework for Verification Techniques for Object Invariants.	ECOOP	2008	DBLP DOI BibTeX RDF
21	Saurabh Panjwani	Tackling Adaptive Corruptions in Multicast Encryption Protocols.	TCC	2007	DBLP DOI BibTeX RDF	Adaptive Corruptions, Selective Decryption, Multicast, Encryption
21	Xinyu Feng 0001, Rodrigo Ferreira, Zhong Shao	On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning.	ESOP	2007	DBLP DOI BibTeX RDF
21	Jan Mendling, Wil M. P. van der Aalst	Formalization and Verification of EPCs with OR-Joins Based on State and Context.	CAiSE	2007	DBLP DOI BibTeX RDF
21	Dana Moshkovitz, Ran Raz	Sub-constant error low degree test of almost-linear size.	STOC	2006	DBLP DOI BibTeX RDF	plane vs. point test, probabilistically checkable proofs, locally testable codes, low degree testing
21	Aditya Kanade, Amitabha Sanyal, Uday P. Khedker	A PVS Based Framework for Validating Compiler Optimizations.	SEFM	2006	DBLP DOI BibTeX RDF
21	Daniele Micciancio, Saurabh Panjwani	Adaptive Security of Symbolic Encryption.	TCC	2005	DBLP DOI BibTeX RDF
21	Ran Canetti, Shai Halevi, Michael Steiner 0001	Hardness Amplification of Weakly Verifiable Puzzles.	TCC	2005	DBLP DOI BibTeX RDF
21	Mathieu Baudet, Véronique Cortier, Steve Kremer	Computationally Sound Implementations of Equational Theories Against Passive Adversaries.	ICALP	2005	DBLP DOI BibTeX RDF
21	Juliane Dehnert, Armin Zimmermann	On the Suitability of Correctness Criteria for Business Process Models.	Business Process Management	2005	DBLP DOI BibTeX RDF	Validation of business process models, Petri nets, Workflow
21	Wolfgang Faber 0001, Gianluigi Greco, Nicola Leone	Magic Sets and Their Application to Data Integration.	ICDT	2005	DBLP DOI BibTeX RDF
21	Joël Alwen, Giuseppe Persiano, Ivan Visconti	Impossibility and Feasibility Results for Zero Knowledge with Public Keys.	CRYPTO	2005	DBLP DOI BibTeX RDF
21	Lars Engebretsen, Jonas Holmerin	Three-Query PCPs with Perfect Completeness over non-Boolean Domains.	CCC	2003	DBLP DOI BibTeX RDF
21	David Aspinall 0001, Martin Hofmann 0001	Another Type System for In-Place Update.	ESOP	2002	DBLP DOI BibTeX RDF
21	Elena Machkasova, Franklyn A. Turbak	A Calculus for Link-Time Compilation.	ESOP	2000	DBLP DOI BibTeX RDF
21	K. Rustan M. Leino	Recursive Object Types in a Logic of Object-Oriented Programs.	ESOP	1998	DBLP DOI BibTeX RDF
17	Peter Yastrebenetsky, Mark B. Trakhtenbrot	Analysis of Applicability for Synchronization Complexity Metric.	ECBS	2011	DBLP DOI BibTeX RDF	synchronization complexity analysis, practical applicability, soundness
17	Philip W. L. Fong	Preventing Sybil Attacks by Privilege Attenuation: A Design Principle for Social Network Systems.	IEEE Symposium on Security and Privacy	2011	DBLP DOI BibTeX RDF	Principle of Privilege Attenuation, completeness of static analysis, access control, soundness, Sybil attacks, social network systems
17	Akhil Kumar 0001, Anup K. Sen, Meda H. Sundari, Amitava Bagchi	Semantic Notions of Weakly Correct AND/XOR Business Workflows Based on Partial Synchronization.	IEEE SCC	2011	DBLP DOI BibTeX RDF	AND/XOR graphs, s-correctness, partial synchronization, corresponding pairs, r-soundness
17	Kanhai Shah, Boleslaw Mikolajczak	Careflow System with Case-Handling Flexibility - Case Study of Gastric Cancer.	ITNG	2010	DBLP DOI BibTeX RDF	careflow soundness, medical guidelines, workflow flexibility, Yasper, InfoPath
17	Sa'ed Abed, Otmane Aït Mohamed	MDGs Reduction Technique Based on the HOL Theorem Prover.	ISMVL	2010	DBLP DOI BibTeX RDF	Soundness, Reduction Techniques, Multiway Decision Graphs, HOL Theorem Prover
17	Wouter Teepe	On BAN logic and hash functions or: how an unjustified inference rule causes problems.	Auton. Agents Multi Agent Syst.	2009	DBLP DOI BibTeX RDF	Two parrots protocol, Security protocol, Soundness, Cryptographic hash function, BAN logic
17	Mirko Malekovic, Mirko Cubrilo, Kornelije Rabuzin	Logical Consequences in Partial Knowledge Bases.	Towards Intelligent Engineering and Information Technology	2009	DBLP DOI BibTeX RDF	partial knowledge bases, dependencies, completeness, soundness, inference rules, formal systems, logical consequences
17	Irit Dinur, Prahladh Harsha	Composition of Low-Error 2-Query PCPs Using Decodable PCPs.	FOCS	2009	DBLP DOI BibTeX RDF	locally decodable, low soundness error, composition, PCP
17	Matteo Magnani, Danilo Montesi	Towards Relational Schema Uncertainty.	SUM	2009	DBLP DOI BibTeX RDF	uncertainty, completeness, soundness, schema, possible worlds
17	Peng Sun, Ziyang Liu 0001, Susan B. Davidson, Yi Chen 0001	Detecting and resolving unsound workflow views for correct provenance analysis.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	workflow, view, provenance, soundness
17	Shengli Zhang, Zhenghua Pan	One New Interpretation of Infinite Valued for Medium Proposition Logic.	FSKD (6)	2009	DBLP DOI BibTeX RDF	medium proposition logic, three-valued model, infinite-valued model, completeness and soundness
17	Chenguang Luo, Shengchao Qin, Zongyan Qiu	Verifying BPEL-like programs with Hoare logic.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	compensation mechanism, axiomatic verification system, operational semantics, soundness, WS-BPEL
17	Ando Saabas, Tarmo Uustalu	Proof optimization for partial redundancy elimination.	PEPM	2008	DBLP DOI BibTeX RDF	program proof transformation, soundness and improvement of dataflow analyses and optimizations, type systems, proof-carrying code, partial redundancy elimination
17	Wil M. P. van der Aalst	Discovery, Verification and Conformance of Workflows with Cancellation.	ICGT	2008	DBLP DOI BibTeX RDF	Reset Nets, Verification, Petri Nets, Soundness, Process Mining
17	Stephen Tse, Steve Zdancewic	Run-time principals in information-flow type systems.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Decentralized label model, dynamic principals, run-time principals, security-typed language, type systems, information-flow, soundness, noninterference
17	Arthur Charlesworth	Comprehending software correctness implies comprehending an intelligence-related limitation.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	Peano arithmetic, Zermelo-Fraenkel set theory, infallibility, partial correctness, Agent, consistency, soundness, Hoare logic, Turing machine, limitation, formal proof, halting problem
17	Michael Backes 0001, Birgit Pfitzmann, Michael Waidner	Symmetric authentication in a simulatable Dolev-Yao-style cryptographic library.	Int. J. Inf. Sec.	2005	DBLP DOI BibTeX RDF	Dolev-Yao, Symmetric authentication, Computational soundness
17	Prateek Gupta, Vitaly Shmatikov	Towards computationally sound symbolic analysis of key exchange protocols.	FMSE	2005	DBLP DOI BibTeX RDF	protocol logic, cryptographic protocols, symbolic analysis, computational soundness
17	Hasan M. Jamil, Gillian Dobbie	On Logical Foundations of Multilevel Secure Databases.	J. Intell. Inf. Syst.	2004	DBLP DOI BibTeX RDF	MLS databases, belief assertion, inheritance and overriding, security, reasoning, deductive databases, declarative language, soundness and completeness
17	Renate A. Schmidt, Dmitry Tishkovsky, Ullrich Hustadt	Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic.	Stud Logica	2004	DBLP DOI BibTeX RDF	Agent logic, knowledge, decidability, commitments, actions, dynamic logic, multi-modal logic, abilities, soundness and completeness
17	Morten Rhiger	A foundation for embedded languages.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	phantom types, Haskell, completeness, Standard ML, type safety, higher-order abstract syntax, Embedded languages, type soundness
17	Luigi Di Lascio	Hilbertian systems, analytic fuzzy tableaux and cut rule elimination in rational pavelka logic.	SEKE	2002	DBLP DOI BibTeX RDF	cut rule, fuzzy prepositional logic, galois relation, pavelka semantics, completeness, soundness, MV-algebra, tableaux
17	Russell Greiner, Christian Darken, N. Iwan Santoso	Efficient reasoning.	ACM Comput. Surv.	2001	DBLP DOI BibTeX RDF	efficiency trade-offs, soundness/completeness/expressibility
17	Paolo Di Blasio, Kathleen Fisher, Carolyn L. Talcott	A Control-Flow Analysis for a Calculus of Concurrent Objects.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	prototype-based, Concurrency, object-oriented, soundness, control-flow analysis
17	Atsushi Togashi, Xiaosong Lu, Fumiaki Kanezashi	System Requirements and Formal Specifications of Hierarchical Reactive Systems.	ICPADS	2000	DBLP DOI BibTeX RDF	Formal Specification, Reactive System, System Requirement, State Transition System, Soundness and Completeness
17	Venkatesan Guruswami, Daniel Lewin 0001, Madhu Sudan 0001, Luca Trevisan	A Tight Characterization of NP with 3 Query PCPs.	FOCS	1998	DBLP DOI BibTeX RDF	Probabilistically Checkable Proofs (PCP), Proof composition, Two-prover one-round proof systems, Adaptive and non-adaptive verifiers, Completeness and soundness, Complexity Theory, Query complexity
17	Frank S. de Boer	A Proof System for the Language POOL.	REX Workshop	1990	DBLP DOI BibTeX RDF	partial correctness, completeness, Object, soundness, Hoare-logic, pointers, proof-system, rendezvous, object-creation
17	Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan	A logic for distributed transition systems.	REX Workshop	1988	DBLP DOI BibTeX RDF	concurrent step, distributed transition systems, completeness, soundness, axiomatization
17	Dor Minzer, Kai Zhe Zheng	Near Optimal Alphabet-Soundness Tradeoff PCPs.	Electron. Colloquium Comput. Complex.	2024	DBLP BibTeX RDF
17	Mitali Bafna, Noam Lifshitz, Dor Minzer	Constant Degree Direct Product Testers with Small Soundness.	Electron. Colloquium Comput. Complex.	2024	DBLP BibTeX RDF
17	Mitali Bafna, Noam Lifshitz, Dor Minzer	Constant Degree Direct Product Testers with Small Soundness.	CoRR	2024	DBLP DOI BibTeX RDF
17	Prabhanjan Ananth, Gilad Asharov, Vipul Goyal, Hadar Kaner, Pratik Soni, Brent Waters	NIZKs with Maliciously Chosen CRS: Subversion Advice-ZK and Accountable Soundness.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
17	Alex Kampa	Simple Soundness Proofs.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
17	Sven Keidel, Dominik Helm, Tobias Roth, Mira Mezini	A Modular Soundness Theory for the Blackboard Analysis Architecture.	ESOP (2)	2024	DBLP DOI BibTeX RDF
17	Ian Shillito, Dominik Kirst	A Mechanised and Constructive Reverse Analysis of Soundness and Completeness of Bi-intuitionistic Logic.	CPP	2024	DBLP DOI BibTeX RDF
17	Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca	Resource-Aware Soundness for Big-Step Semantics.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
17	Milica Matijevic Gostojic, Zeljko Vukovic	A knowledge-based system for supporting the soundness of digital forensic investigations.	Forensic Sci. Int. Digit. Investig.	2023	DBLP DOI BibTeX RDF
17	Gabriel Egan, Mark Eisen, Alejandro Ribeiro, Santiago Segarra	"I would I had that corporal soundness": Pervez Rizvi's Analysis of the Word Adjacency Network Method of Authorship Attribution.	Digit. Scholarsh. Humanit.	2023	DBLP DOI BibTeX RDF
17	Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello	Soundness-preserving composition of synchronously and asynchronously interacting workflow net components.	J. Parallel Distributed Comput.	2023	DBLP DOI BibTeX RDF
17	Joanna Alvarado-Uribe, Ari Yair Barrera-Animas, Miguel González-Mendoza 0001, Ariel Lucien García-Gamboa, Neil Hernández-Gress	Towards a Standardized Evaluation of APIs Non-Functional Requirements Focused on Completeness and Soundness Qualities.	Computación y Sistemas (CyS)	2023	DBLP BibTeX RDF
17	David Solís Martín, Juan Galán-Páez, Joaquín Borrego-Díaz	On the Soundness of XAI in Prognostics and Health Management (PHM).	Inf.	2023	DBLP DOI BibTeX RDF
17	Kuang-Chen Lu, Ben Greenman, Carl Meyer, Dino Viehland, Aniket Panse, Shriram Krishnamurthi	Gradual Soundness: Lessons from Static Python.	Art Sci. Eng. Program.	2023	DBLP DOI BibTeX RDF
17	Yotam Dikstein, Irit Dinur	Agreement theorems for high dimensional expanders in the small soundness regime: the role of covers.	Electron. Colloquium Comput. Complex.	2023	DBLP BibTeX RDF
17	David Solís Martín, Juan Galán-Páez, Joaquín Borrego-Díaz	On the Soundness of XAI in Prognostics and Health Management (PHM).	CoRR	2023	DBLP DOI BibTeX RDF
17	Miguel Monteiro, Fabio De Sousa Ribeiro, Nick Pawlowski, Daniel C. Castro, Ben Glocker	Measuring axiomatic soundness of counterfactual image models.	CoRR	2023	DBLP DOI BibTeX RDF
17	Georg Friedrich Schuppe, Dilian Gurov	Soundness and Completeness of a Model-Checking Proof System for CTL.	CoRR	2023	DBLP DOI BibTeX RDF
17	Yotam Dikstein, Irit Dinur	Agreement theorems for high dimensional expanders in the small soundness regime: the role of covers.	CoRR	2023	DBLP DOI BibTeX RDF
17	Gaëtan Cassiers, Loïc Masure, Charles Momin, Thorben Moos, François-Xavier Standaert	Prime-Field Masking in Hardware and its Soundness against Low-Noise SCA Attacks.	IACR Trans. Cryptogr. Hardw. Embed. Syst.	2023	DBLP DOI BibTeX RDF
17	Behzad Abdolmaleki, Céline Chevalier, Ehsan Ebrahimi, Giulio Malavolta, Quoc-Huy Vu	On Quantum Simulation-Soundness.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
17	Bolton Bailey, Andrew Miller	Formalizing Soundness Proofs of SNARKs.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
17	Gal Arnon, Alessandro Chiesa, Eylon Yogev	IOPs with Inverse Polynomial Soundness Error.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
17	Alexander R. Block, Albert Garreta, Pratyush Ranjan Tiwari, Michal Zajac 0001	On Soundness Notions for Interactive Oracle Proofs.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
17	Thomas Attema, Serge Fehr, Nicolas Resch	A Generalized Special-Soundness Notion and its Knowledge Extractors.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
17	Sofía Celi, Shai Levin, Joe Rowell	CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
17	Anders Schlichtkrull	Soundness of the Q0 proof system for higher-order logic.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
17	Anca Avram, Oliviu Matei, Camelia-Mihaela Pintea, Petrica C. Pop	Influence of context availability and soundness in predicting soil moisture using the Context-Aware Data Mining approach.	Log. J. IGPL	2023	DBLP DOI BibTeX RDF
17	Cris Niño N. Sulla, Jasmine A. Malinao	Mapping of Robustness Diagram with Loop and Time Controls to Petri Net with Considerations on Soundness.	NiDS (2)	2023	DBLP DOI BibTeX RDF
17	Dor Minzer, Kai Zheng	Approaching the Soundness Barrier: A Near Optimal Analysis of the Cube versus Cube Test.	SODA	2023	DBLP DOI BibTeX RDF
17	Ida Sandberg Motzfeldt, Ingrid Chieh Yu, Crystal Chang Din, Violet Ka I Pun, Volker Stolz	Modular Soundness Checking of Feature Model Evolution Plans.	ICTAC	2023	DBLP DOI BibTeX RDF
17	Thomas Attema, Serge Fehr, Nicolas Resch	Generalized Special-Sound Interactive Proofs and Their Knowledge Soundness.	TCC (3)	2023	DBLP DOI BibTeX RDF
17	Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev	Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages.	LICS	2023	DBLP DOI BibTeX RDF
17	Gal Arnon, Alessandro Chiesa, Eylon Yogev	IOPs with Inverse Polynomial Soundness Error.	FOCS	2023	DBLP DOI BibTeX RDF
17	Paolo Felli, Marco Montali, Sarah Winkler	Repairing Soundness Properties in Data-Aware Processes.	ICPM	2023	DBLP DOI BibTeX RDF
17	Miguel Monteiro, Fabio De Sousa Ribeiro, Nick Pawlowski, Daniel C. Castro, Ben Glocker	Measuring axiomatic soundness of counterfactual image models.	ICLR	2023	DBLP BibTeX RDF
17	Zhenhe Cui, Weidu Kuang, Yongmei Liu 0001	Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning.	IJCAI	2023	DBLP DOI BibTeX RDF
17	Clement Blaudeau, Fengyun Liu	A conceptual framework for safe object initialization: a principled and mechanized soundness proof of the Celsius model.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
17	Kuang-Chen Lu, Ben Greenman, Carl Meyer, Dino Viehland, Aniket Panse, Shriram Krishnamurthi	Gradual Soundness: Lessons from Static Python.	CoRR	2022	DBLP DOI BibTeX RDF
17	Mirko Spasic, Milena Vujosevic-Janicic	Soundness and Completeness of SPARQL Query Containment Solver SpeCS.	CoRR	2022	DBLP DOI BibTeX RDF
17	Kaiji Lu, Anupam Datta	Order-sensitive Shapley Values for Evaluating Conceptual Soundness of NLP Models.	CoRR	2022	DBLP DOI BibTeX RDF
17	Dor Minzer, Kai Zheng	Approaching the Soundness Barrier: A Near Optimal Analysis of the Cube versus Cube Test.	CoRR	2022	DBLP DOI BibTeX RDF
17	Michael Blondin, Filip Mazowiecki, Philip Offtermatt	The complexity of soundness in workflow nets.	CoRR	2022	DBLP BibTeX RDF
17	Pedro Barroso, Mário Pereira, António Ravara	Leroy and Blazy were right: their memory model soundness proof is automatable (Extended Version).	CoRR	2022	DBLP DOI BibTeX RDF
17	Michael Blondin, Filip Mazowiecki, Philip Offtermatt	Verifying generalised and structural soundness of workflow nets via relaxations.	CoRR	2022	DBLP DOI BibTeX RDF
17	Paolo Felli, Marco Montali, Sarah Winkler	Soundness of Data-Aware Processes with Arithmetic Conditions.	CoRR	2022	DBLP DOI BibTeX RDF
17	Daniel Patterson 0001, Noble Mushtak, Andrew Wagner, Amal Ahmed 0001	Semantic Soundness for Language Interoperability.	CoRR	2022	DBLP BibTeX RDF
17	Yuan Tian	Efficient Zero Knowledge Arguments for Bilinear Matrix Relations over Finite Fields and Knowledge-Soundness Enhancement via Operations over Extended Field.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
17	Asta Halkjær From, Jørgen Villadsen	Soundness and Completeness of Implicational Logic.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
17	Eoin Moore	Soundness and completeness results for LEA and probability semantics.	J. Log. Comput.	2022	DBLP DOI BibTeX RDF
17	Pedro Barroso, Mário Pereira, António Ravara	Leroy and Blazy Were Right: Their Memory Model Soundness Proof is Automatable.	VSTTE	2022	DBLP DOI BibTeX RDF
17	Michael Blondin, Filip Mazowiecki, Philip Offtermatt	Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations.	CAV (2)	2022	DBLP DOI BibTeX RDF
17	Yusuke Ikeno, James Angel, Sabitra Sankalp Panigrahi	Soundness of Stablecoins.	Financial Cryptography Workshops	2022	DBLP DOI BibTeX RDF