Search results for "soundness"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Cyril Velikanov	Direct deliberative democracy: combining normative rightness with epistemic soundness.	DG.O	2018	DBLP DOI BibTeX RDF
17	Michael Viderman	Explicit Strong LTCs with Inverse Poly-Log Rate and Constant Soundness.	APPROX-RANDOM	2018	DBLP DOI BibTeX RDF
17	Marianna Rapoport, Ifaz Kabir, Paul He, Ondrej Lhoták	A simple soundness proof for dependent object types.	Proc. ACM Program. Lang.	2017	DBLP DOI BibTeX RDF
17	Julio B. Clempner	Classical workflow nets and workflow nets with reset arcs: using Lyapunov stability for soundness verification.	J. Exp. Theor. Artif. Intell.	2017	DBLP DOI BibTeX RDF
17	Kazuki Yoneyama	Computational Soundness of Asymmetric Bilinear Pairing-Based Protocols.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2017	DBLP DOI BibTeX RDF
17	Kai Zhang 0016, Lifei Wei, Xiangxue Li, Haifeng Qian	Scalable and Soundness Verifiable Outsourcing Computation in Marine Mobile Computing.	Wirel. Commun. Mob. Comput.	2017	DBLP DOI BibTeX RDF
17	Irit Dinur, Inbal Livni Navon	Exponentially Small Soundness for the Direct Product Z-test.	Electron. Colloquium Comput. Complex.	2017	DBLP BibTeX RDF
17	Robert Glück, Robin Kaarsgaard	A categorical foundation for structured reversible flowchart languages: Soundness and adequacy.	CoRR	2017	DBLP BibTeX RDF
17	Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz	Soundness in negotiations.	CoRR	2017	DBLP BibTeX RDF
17	Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk	Proving Soundness of Extensional Normal-Form Bisimilarities.	CoRR	2017	DBLP BibTeX RDF
17	Marianna Rapoport, Ifaz Kabir, Paul He, Ondrej Lhoták	A Simple Soundness Proof for Dependent Object Types.	CoRR	2017	DBLP BibTeX RDF
17	Na Xu, Suping Peng, Zhangang Wang	Verifying Soundness of Geodata Web Service Composition Based on Petri Nets.	J. Web Eng.	2017	DBLP BibTeX RDF
17	Daniel Jost 0001, Ueli Maurer	Context-Restricted Indifferentiability: Generalizing UCE and Implications on the Soundness of Hash-Function Constructions.	IACR Cryptol. ePrint Arch.	2017	DBLP BibTeX RDF
17	Jasmin Christian Blanchette, Andrei Popescu 0001, Dmitriy Traytel	Abstract Soundness.	Arch. Formal Proofs	2017	DBLP BibTeX RDF
17	Jasmin Christian Blanchette, Andrei Popescu 0001, Dmitriy Traytel	Soundness and Completeness Proofs by Coinductive Methods.	J. Autom. Reason.	2017	DBLP DOI BibTeX RDF
17	Gang Tan, Trent Jaeger	CFG Construction Soundness in Control-Flow Integrity.	PLAS@CCS	2017	DBLP DOI BibTeX RDF
17	Alejandro Serrano 0001, Jurriaan Hage	Lightweight soundness for towers of language extensions.	PEPM	2017	DBLP DOI BibTeX RDF
17	Li Sui, Jens Dietrich 0001, Amjed Tahir	On the Use of Mined Stack Traces to Improve the Soundness of Statically Constructed Call Graphs.	APSEC	2017	DBLP DOI BibTeX RDF
17	Michael M. Vitousek, Cameron Swords, Jeremy G. Siek	Big types in little runtime: open-world soundness and collaborative blame for gradual type systems.	POPL	2017	DBLP DOI BibTeX RDF
17	Nada Amin, Tiark Rompf	Type soundness proofs with definitional interpreters.	POPL	2017	DBLP DOI BibTeX RDF
17	Kimon Batoulis, Stephan Haarmann, Mathias Weske	Various Notions of Soundness for Decision-Aware Business Processes.	ER	2017	DBLP DOI BibTeX RDF
17	Kimon Batoulis, Mathias Weske	A Tool for Checking Soundness of Decision-Aware Business Processes.	BPM (Demos)	2017	DBLP BibTeX RDF
17	Humberto S. Garcia Caballero, Michel A. Westenberg, Henricus M. W. (Eric) Verbeek, Wil M. P. van der Aalst	Visual Analytics for Soundness Verification of Process Models.	Business Process Management Workshops	2017	DBLP DOI BibTeX RDF
17	Kimon Batoulis, Mathias Weske	Soundness of Decision-Aware Business Processes.	BPM (Forum)	2017	DBLP DOI BibTeX RDF
17	Jens Dietrich 0001, Li Sui, Shawn Rasheed, Amjed Tahir	On the construction of soundness oracles.	SOAP@PLDI	2017	DBLP DOI BibTeX RDF
17	Esben Sparre Andreasen, Anders Møller, Benjamin Barslev Nielsen	Systematic approaches for increasing soundness and precision of static analyzers.	SOAP@PLDI	2017	DBLP DOI BibTeX RDF
17	Bo Chen, Xingyou Zhang, Pengfei Zhang, Cong Cao, Wenxue Liu, Kang Zhao	The Boolean Algebra Logic: The Soundness and Completeness Theorem.	SKG	2017	DBLP DOI BibTeX RDF
17	Ronald Cramer, Ivan Damgård, Chaoping Xing, Chen Yuan 0003	Amortized Complexity of Zero-Knowledge Proofs Revisited: Achieving Linear Soundness Slack.	EUROCRYPT (1)	2017	DBLP DOI BibTeX RDF
17	Kun Zhang, Guanjun Liu, Dongming Xiang	BUCKER: A basic unfolding based checker for soundness of workflow systems.	ICNSC	2017	DBLP DOI BibTeX RDF
17	Sabrina Souto, Marcelo d'Amorim, Rohit Gheyi	Balancing soundness and efficiency for practical testing of configurable systems.	ICSE	2017	DBLP DOI BibTeX RDF
17	Hadrien Bride, Olga Kouchnarenko, Fabien Peureux	Reduction of Workflow Nets for Generalised Soundness Verification.	VMCAI	2017	DBLP DOI BibTeX RDF
17	Irit Dinur, Inbal Livni Navon	Exponentially Small Soundness for the Direct Product Z-Test.	CCC	2017	DBLP DOI BibTeX RDF
17	Faisal Al-Saqqar, Jamal Bentahar, Khalid Sultan	On the soundness, completeness and applicability of the logic of knowledge and communicative commitments in multi-agent systems.	Expert Syst. Appl.	2016	DBLP DOI BibTeX RDF
17	Izumi Asakura, Hidehiko Masuhara, Tomoyuki Aotani	Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq.	J. Inf. Process.	2016	DBLP DOI BibTeX RDF
17	GuanJun Liu, Wolfgang Reisig, Changjun Jiang, Mengchu Zhou	A Branching-Process-Based Method to Check Soundness of Workflow Systems.	IEEE Access	2016	DBLP DOI BibTeX RDF
17	Friedrich Slivovsky, Stefan Szeider	Soundness of Q-resolution with dependency schemes.	Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
17	Ferucio Laurentiu Tiplea, Ioana Leahu	The Reversible Released Form of Petri Nets and Its Applications to Soundness of Workflow Nets.	IEEE Trans. Syst. Man Cybern. Syst.	2016	DBLP DOI BibTeX RDF
17	Olaf Beyersdorff, Joshua Blinkhorn	Dependency Schemes in QBF Calculi: Semantics and Soundness.	Electron. Colloquium Comput. Complex.	2016	DBLP BibTeX RDF
17	Marco Montali, Diego Calvanese	Soundness of data-aware, case-centric processes.	Int. J. Softw. Tools Technol. Transf.	2016	DBLP DOI BibTeX RDF
17	Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond, Peng Fu 0001	Coinductive Soundness of Corecursive Type Class Resolution.	CoRR	2016	DBLP BibTeX RDF
17	Andrés Viso, Eduardo Bonelli, Mauricio Ayala-Rincón	Type Soundness for Path Polymorphism.	CoRR	2016	DBLP BibTeX RDF
17	Jianxiong Shao, Yu Qin, Dengguo Feng	Computational Soundness Results for Stateful Applied pi Calculus.	CoRR	2016	DBLP BibTeX RDF
17	Philipp Haller, Alexandre Loiko	Object Capabilities and Lightweight Affinity in Scala: Implementation, Formalization, and Soundness.	CoRR	2016	DBLP BibTeX RDF
17	Tim Wahls	Formal Semantics and Soundness of a Translation from Event-B Actions to SQL Statements.	CoRR	2016	DBLP BibTeX RDF
17	Michael Backes 0001, Robert Künnemann, Esfandiar Mohammadi	Computational Soundness for Dalvik Bytecode.	CoRR	2016	DBLP BibTeX RDF
17	Ronald Cramer, Ivan Damgård	Amortized Complexity of Zero-Knowledge Proofs Revisited: Achieving Linear Soundness Slack.	IACR Cryptol. ePrint Arch.	2016	DBLP BibTeX RDF
17	Ramana Kumar, Rob Arthan, Magnus O. Myreen, Scott Owens	Self-Formalisation of Higher-Order Logic - Semantics, Soundness, and a Verified Implementation.	J. Autom. Reason.	2016	DBLP DOI BibTeX RDF
17	Michael Backes 0001, Robert Künnemann, Esfandiar Mohammadi	Computational Soundness for Dalvik Bytecode.	CCS	2016	DBLP DOI BibTeX RDF
17	Tiark Rompf, Nada Amin	Type soundness for dependent object types (DOT).	OOPSLA	2016	DBLP DOI BibTeX RDF
17	Jianxiong Shao, Yu Qin, Dengguo Feng	Computational Soundness Results for Stateful Applied π Calculus.	POST	2016	DBLP DOI BibTeX RDF
17	Prabhanjan Ananth, Yu-Chi Chen, Kai-Min Chung, Huijia Lin, Wei-Kai Lin	Delegating RAM Computations with Adaptive Soundness and Privacy.	TCC (B2)	2016	DBLP DOI BibTeX RDF
17	Maxime Audinot, Sophie Pinchinat	On the Soundness of Attack Trees.	GraMSec@CSF	2016	DBLP DOI BibTeX RDF
17	Jens Dietrich 0001, Nicholas Hollingum, Bernhard Scholz	A Note on the Soundness of Difference Propagation.	FTfJP@ECOOP	2016	DBLP BibTeX RDF
17	Timothy Jones 0002, David J. Pearce 0001	A Mechanical Soundness Proof for Subtyping Over Recursive Types.	FTfJP@ECOOP	2016	DBLP BibTeX RDF
17	Joshua Blinkhorn, Olaf Beyersdorff	Dependency Schemes in QBF Calculi: Semantics and Soundness.	QBF@SAT	2016	DBLP BibTeX RDF
17	Matthias Liebeck, Pashutan Modaresi, Stefan Conrad 0001	Evaluating Safety, Soundness and Sensibleness of Obfuscation Systems.	CLEF (Working Notes)	2016	DBLP BibTeX RDF
17	Néstor Cataño, Shigeo Nishi	Soundness Proof of EventB2Java.	LADC	2016	DBLP DOI BibTeX RDF
17	Lígia Maria Soares Passos, Stéphane Julia	Linear Logic as a Tool for Weak Soundness Verification for Interorganizational Workflow Processes.	ICTAI	2016	DBLP DOI BibTeX RDF
17	Luca Ferrari 0003, Marco Mesiti, Stefano Valtolina	Soundness and Ontology-Based Consistency of Sensor Data Acquisition Plans.	EKAW (Satellite Events)	2016	DBLP DOI BibTeX RDF
17	Olaf Beyersdorff, Joshua Blinkhorn	Dependency Schemes in QBF Calculi: Semantics and Soundness.	CP	2016	DBLP DOI BibTeX RDF
17	Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz	Soundness in Negotiations.	CONCUR	2016	DBLP DOI BibTeX RDF
17	Guillaume Baudart, Timothy Bourke, Marc Pouzet	Soundness of the quasi-synchronous abstraction.	FMCAD	2016	DBLP DOI BibTeX RDF
17	Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond	Coinductive Soundness of Corecursive Type Class Resolution.	LOPSTR	2016	DBLP DOI BibTeX RDF
17	Yisen Wang 0001, Qingtao Tang, Shu-Tao Xia, Jia Wu 0001, Xingquan Zhu 0001	Bernoulli Random Forests: Closing the Gap between Theoretical Consistency and Empirical Soundness.	IJCAI	2016	DBLP BibTeX RDF
17	José Antonio Mateo, Jirí Srba, Mathias Grund Sørensen	Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics.	Fundam. Informaticae	2015	DBLP DOI BibTeX RDF
17	Andrés Viso, Eduardo Bonelli, Mauricio Ayala-Rincón	Type Soundness for Path Polymorphism.	LSFA	2015	DBLP DOI BibTeX RDF
17	GuanJun Liu, Changjun Jiang	Co-NP-Hardness of the Soundness Problem for Asymmetric-Choice Workflow Nets.	IEEE Trans. Syst. Man Cybern. Syst.	2015	DBLP DOI BibTeX RDF
17	Ferucio Laurentiu Tiplea, Corina Bocaneala, Raluca Chirosca	On the Complexity of Deciding Soundness of Acyclic Workflow Nets.	IEEE Trans. Syst. Man Cybern. Syst.	2015	DBLP DOI BibTeX RDF
17	Michael Viderman	Explicit Strong LTCs with inverse poly-log rate and constant soundness.	Electron. Colloquium Comput. Complex.	2015	DBLP BibTeX RDF
17	Tiark Rompf, Nada Amin	From F to DOT: Type Soundness Proofs with Definitional Interpreters.	CoRR	2015	DBLP BibTeX RDF
17	Richard Bonichon, Olivier Hermant	A syntactic soundness proof for free-variable tableaux with on-the-fly Skolemization.	CoRR	2015	DBLP BibTeX RDF
17	Anand Natarajan, Thomas Vidick	Constant-Soundness Interactive Proofs for Local Hamiltonians.	CoRR	2015	DBLP BibTeX RDF
17	Prabhanjan Ananth, Yu-Chi Chen, Kai-Min Chung, Huijia Lin, Wei-Kai Lin	Delegating RAM Computations with Adaptive Soundness and Privacy.	IACR Cryptol. ePrint Arch.	2015	DBLP BibTeX RDF
17	Hui Zhao, Kouichi Sakurai	Computational Soundness of Uniformity Properties for Multi-party Computation based on LSSS.	IACR Cryptol. ePrint Arch.	2015	DBLP BibTeX RDF
17	Haixia Xu 0002, Bao Li 0001, Qixiang Mei	Complementary witness soundness for witness indistinguishable proof system and CCA2 public-key encryption schemes.	Int. J. Inf. Comput. Secur.	2015	DBLP DOI BibTeX RDF
17	Sylvia Grewe, Sebastian Erdweg, Pascal Wittmann, Mira Mezini	Type systems for the masses: deriving soundness proofs and efficient checkers.	Onward!	2015	DBLP DOI BibTeX RDF
17	Tim Disney, Cormac Flanagan	Game Semantics for Type Soundness.	LICS	2015	DBLP DOI BibTeX RDF
17	Luis María Ferrer Fioriti, Holger Hermanns	Probabilistic Termination: Soundness, Completeness, and Compositionality.	POPL	2015	DBLP DOI BibTeX RDF
17	Hui Zhao, Kouichi Sakurai	Computational Soundness of Uniformity Properties for Multi-party Computation Based on LSSS.	INTRUST	2015	DBLP DOI BibTeX RDF
17	Charanjit S. Jutla, Arnab Roy 0001	Dual-System Simulation-Soundness with Applications to UC-PAKE and More.	ASIACRYPT (1)	2015	DBLP DOI BibTeX RDF
17	Hanifa Boucheneb, Kamel Barkaoui	Strongly Generalized Soundness of Time Workflow Nets.	ACSD	2015	DBLP DOI BibTeX RDF
17	Sylvia Grewe, Sebastian Erdweg, Mira Mezini	Using Vampire in Soundness Proofs of Type Systems.	Vampire Workshop	2015	DBLP DOI BibTeX RDF
17	Yue Li 0006, Tian Tan 0001, Jingling Xue	Effective Soundness-Guided Reflection Analysis.	SAS	2015	DBLP DOI BibTeX RDF
17	Guifang Huang, Hongda Li 0001	On Zero Knowledge Argument with PQT Soundness.	WISA	2015	DBLP DOI BibTeX RDF
17	Patrick Cousot	Verification by abstract interpretation, soundness and abstract induction.	PPDP	2015	DBLP DOI BibTeX RDF
17	Michael Backes 0001, Esfandiar Mohammadi, Tim Ruffing	Computational Soundness for Interactive Primitives.	ESORICS (1)	2015	DBLP DOI BibTeX RDF
17	Sarah Winkler, René Thiemann	Formalizing Soundness and Completeness of Unravelings.	FroCos	2015	DBLP DOI BibTeX RDF
17	Lígia Maria Soares Passos, Stéphane Julia	Relaxed Soundness Verification for Interorganizational Workflow Processes.	ICEIS (3)	2015	DBLP DOI BibTeX RDF
17	Guan Jun Liu, Jun Sun 0001, Yang Liu 0003, Jin Song Dong	Complexity of the Soundness Problem of Workflow Nets.	Fundam. Informaticae	2014	DBLP DOI BibTeX RDF
17	María Martos-Salgado, Fernando Rosa-Velardo	Safety and Soundness for Priced Resource-Constrained Workflow Nets.	Fundam. Informaticae	2014	DBLP DOI BibTeX RDF
17	Julio B. Clempner	Verifying soundness of business processes: A decision process Petri nets approach.	Expert Syst. Appl.	2014	DBLP DOI BibTeX RDF
17	Ahmed Fathy Abdul Latif Mohamed, Andrew Marrington, Farkhund Iqbal, Ibrahim M. Baggili	Testing the forensic soundness of forensic examination environments on bootable media.	Digit. Investig.	2014	DBLP DOI BibTeX RDF
17	Julio B. Clempner	An analytical method for well-formed workflow/Petri net verification of classical soundness.	Int. J. Appl. Math. Comput. Sci.	2014	DBLP DOI BibTeX RDF
17	GuanJun Liu	Some Complexity Results for the Soundness Problem of Workflow Nets.	IEEE Trans. Serv. Comput.	2014	DBLP DOI BibTeX RDF
17	Hanifa Boucheneb, Kamel Barkaoui	Partial order reduction for checking soundness of time workflow nets.	Inf. Sci.	2014	DBLP DOI BibTeX RDF
17	Richard Kaye	Circularity in Soundness and Completeness.	Bull. Symb. Log.	2014	DBLP DOI BibTeX RDF
17	Huaqun Wang, Yuqing Zhang 0001	On the Knowledge Soundness of a Cooperative Provable Data Possession Scheme in Multicloud Storage.	IEEE Trans. Parallel Distributed Syst.	2014	DBLP DOI BibTeX RDF
17	Vladimir A. Bashkin, Irina A. Lomazova	Decidability of k -Soundness for Workflow Nets with an Unbounded Resource.	Trans. Petri Nets Other Model. Concurr.	2014	DBLP DOI BibTeX RDF
17	Charanjit S. Jutla, Arnab Roy 0001	Dual-System Simulation-Soundness with Applications to UC-PAKE and More.	IACR Cryptol. ePrint Arch.	2014	DBLP BibTeX RDF
17	José Antonio Mateo, Jirí Srba, Mathias Grund Sørensen	Soundness of Timed-Arc Workflow Nets.	Petri Nets	2014	DBLP DOI BibTeX RDF