Search results for "soundness"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Jan Martijn E. M. van der Werf, Andrey Rivkin, Artem Polyvyanyy, Marco Montali	Data and Process Resonance - Identifier Soundness for Models of Information Systems.	Petri Nets	2022	DBLP DOI BibTeX RDF
17	Michael Blondin, Filip Mazowiecki, Philip Offtermatt	The complexity of soundness in workflow nets.	LICS	2022	DBLP DOI BibTeX RDF
17	Paolo Felli, Marco Montali, Sarah Winkler	Soundness of Data-Aware Processes with Arithmetic Conditions.	CAiSE	2022	DBLP DOI BibTeX RDF
17	Daniel Patterson 0001, Noble Mushtak, Andrew Wagner, Amal Ahmed 0001	Semantic soundness for language interoperability.	PLDI	2022	DBLP DOI BibTeX RDF
17	Shingo Sato, Junji Shikata, Tsutomu Matsumoto	Group Testing Aggregate Signatures with Soundness.	ICISC	2022	DBLP DOI BibTeX RDF
17	Jared Yeager, J. Eliot B. Moss, Michael Norrish, Philip S. Thomas	Mechanizing Soundness of Off-Policy Evaluation.	ITP	2022	DBLP DOI BibTeX RDF
17	Eoin Moore	Soundness and Completeness Results for LEA and Probability Semantics.	LFCS	2022	DBLP DOI BibTeX RDF
17	Xiaoxin An, Freek Verbeek, Binoy Ravindran	DSV: Disassembly Soundness Validation Without Assuming a Ground Truth.	NFM	2022	DBLP DOI BibTeX RDF
17	Alexandra Bugariu	Automatically Identifying Soundness and Completeness Errors in Program Analysis Tools.		2022	RDF
17	Paolo Felli, Massimiliano de Leoni, Marco Montali	Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions.	Fundam. Informaticae	2021	DBLP DOI BibTeX RDF
17	Amit Seal Ami, Kaushal Kafle, Kevin Moran, Adwait Nadkarni, Denys Poshyvanyk	Systematic Mutation-Based Evaluation of the Soundness of Security-Focused Android Static Analysis Techniques.	ACM Trans. Priv. Secur.	2021	DBLP DOI BibTeX RDF
17	Alexander Dax, Robert Künnemann	On the Soundness of Infrastructure Adversaries.	CoRR	2021	DBLP BibTeX RDF
17	Irina A. Lomazova, Alexey A. Mitsyuk, Andrey Rivkin	Soundness in Object-centric Workflow Petri Nets.	CoRR	2021	DBLP BibTeX RDF
17	Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright 0004, Henry Yuen	Quantum soundness of testing tensor codes.	CoRR	2021	DBLP BibTeX RDF
17	Amit Seal Ami, Kaushal Kafle, Kevin Moran, Adwait Nadkarni, Denys Poshyvanyk	Systematic Mutation-based Evaluation of the Soundness of Security-focused Android Static Analysis Techniques.	CoRR	2021	DBLP BibTeX RDF
17	M. A. Manazir Ahsan, Ainuddin Wahid Bin Abdul Wahab, Mohd Yamani Idna Bin Idris, Suleman Khan 0001, Eric Bachura, Kim-Kwang Raymond Choo	CLASS: Cloud Log Assuring Soundness and Secrecy Scheme for Cloud Forensics.	IEEE Trans. Sustain. Comput.	2021	DBLP DOI BibTeX RDF
17	Yael Tauman Kalai, Vinod Vaikuntanathan, Rachel Yun Zhang	Somewhere Statistical Soundness, Post-Quantum Security, and SNARGs for P.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
17	Douglas Wikstöm	Special Soundness in the Random Oracle Model.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
17	Asta Halkjær From	Soundness and Completeness of an Axiomatic System for First-Order Logic.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
17	Flavio Corradini, Andrea Morichetta 0001, Chiara Muzi, Barbara Re 0001, Francesco Tiezzi 0001	Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations.	J. Log. Algebraic Methods Program.	2021	DBLP DOI BibTeX RDF
17	Asta Halkjær From	Formalized Soundness and Completeness of Epistemic Logic.	WoLLIC	2021	DBLP DOI BibTeX RDF
17	Yael Tauman Kalai, Vinod Vaikuntanathan, Rachel Yun Zhang	Somewhere Statistical Soundness, Post-Quantum Security, and SNARGs.	TCC (1)	2021	DBLP DOI BibTeX RDF
17	Alexander Dax, Robert Künnemann	On the Soundness of Infrastructure Adversaries.	CSF	2021	DBLP DOI BibTeX RDF
17	Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright 0004, Henry Yuen	Quantum soundness of testing tensor codes.	FOCS	2021	DBLP DOI BibTeX RDF
17	Reinhard Wilhelm, Markus Pister 0002, Gernot Gebhard, Daniel Kästner	Testing Implementation Soundness of a WCET Analysis Tool.	A Journey of Embedded and Cyber-Physical Systems	2021	DBLP DOI BibTeX RDF
17	Mohammad Saidur Rahman 0001, Ibrahim Khalil, Abdelaziz Bouras	A Framework for Modelling Blockchain based Supply Chain Management System to ensure soundness of Smart Contract Workflow.	HICSS	2021	DBLP BibTeX RDF
17	Anupam Datta, Matt Fredrikson, Klas Leino, Kaiji Lu, Shayak Sen, Ricardo Shih, Zifan Wang	Exploring Conceptual Soundness with TruLens.	NeurIPS (Competition and Demos)	2021	DBLP BibTeX RDF
17	Ashrujit Ghoshal, Stefano Tessaro	Tight State-Restoration Soundness in the Algebraic Group Model.	CRYPTO (3)	2021	DBLP DOI BibTeX RDF
17	Sven Keidel	Modular Specification and Compositional Soundness of Abstract Interpreters.		2021	RDF
17	Léo Stefanesco	Asynchronous and Relational Soundness Theorems for Concurrent Separation Logic. (Théorèmes de correction asynchrone et relationnelle de la logique de séparation concurrente).		2021	RDF
17	Paolo G. Giarrusso, Léo Stefanesco, Amin Timany, Lars Birkedal, Robbert Krebbers	Scala step-by-step: soundness for DOT with step-indexed logical relations in Iris.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
17	Fariz Darari, Werner Nutt, Simon Razniewski, Sebastian Rudolph	Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements.	Semantic Web	2020	DBLP DOI BibTeX RDF
17	Xiaoyan Tao, Guanjun Liu, Bo Yang, Chungang Yan, Changjun Jiang	Workflow Nets With Tables and Their Soundness.	IEEE Trans. Ind. Informatics	2020	DBLP DOI BibTeX RDF
17	Daisuke Ishii, Saito Fujii	Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking.	CoRR	2020	DBLP BibTeX RDF
17	Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello	Soundness-preserving composition of synchronously and asynchronously interacting workflow net components.	CoRR	2020	DBLP BibTeX RDF
17	Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini	Soundness conditions for big-step semantics.	CoRR	2020	DBLP BibTeX RDF
17	Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright 0004, Henry Yuen	Quantum soundness of the classical low individual degree test.	CoRR	2020	DBLP BibTeX RDF
17	Joseph Jaeger, Stefano Tessaro	Expected-Time Cryptography: Generic Techniques and Applications to Concrete Soundness.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
17	Ashrujit Ghoshal, Stefano Tessaro	Tight State-Restoration Soundness in the Algebraic Group Model.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
17	Ciro Moreno, Alejandro González, José Luis Olazagoitia, Jordi Viñolas	The Acquisition Rate and Soundness of a Low-Cost Data Acquisition System (LC-DAQ) for High Frequency Applications.	Sensors	2020	DBLP DOI BibTeX RDF
17	Eli Ben-Sasson, Lior Goldberg, Swastik Kopparty, Shubhangi Saraf	DEEP-FRI: Sampling Outside the Box Improves Soundness.	ITCS	2020	DBLP DOI BibTeX RDF
17	Guanjun Liu	PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets.	Petri Nets	2020	DBLP DOI BibTeX RDF
17	Jubi Taneja, Zhengyang Liu 0003, John Regehr	Testing static analyses for precision and soundness.	CGO	2020	DBLP DOI BibTeX RDF
17	Joseph Jaeger, Stefano Tessaro	Expected-Time Cryptography: Generic Techniques and Applications to Concrete Soundness.	TCC (3)	2020	DBLP DOI BibTeX RDF
17	Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini	Soundness Conditions for Big-Step Semantics.	ESOP	2020	DBLP DOI BibTeX RDF
17	Till Köster, Philippe J. Giabbanelli, Adelinde M. Uhrmacher	Performance and Soundness of Simulation: A Case Study Based on a Cellular Automaton for In-Body Spread of HIV.	WSC	2020	DBLP DOI BibTeX RDF
17	Matthias Schlaipfer, Friedrich Slivovsky, Georg Weissenbacher, Florian Zuleger	Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundness.	SAT	2020	DBLP DOI BibTeX RDF
17	Masayuki Abe, Miguel Ambrona, Miyako Ohkubo	On Black-Box Extensions of Non-interactive Zero-Knowledge Arguments, and Signatures Directly from Simulation Soundness.	Public Key Cryptography (1)	2020	DBLP DOI BibTeX RDF
17	Joe Samuel, Khalil Aalab, Jason Jaskolka	Evaluating the Soundness of Security Metrics from Vulnerability Scoring Frameworks.	TrustCom	2020	DBLP DOI BibTeX RDF
17	Richard Rutledge, Alessandro Orso	PG-KLEE: trading soundness for coverage.	ICSE (Companion Volume)	2020	DBLP DOI BibTeX RDF
17	Albert Atserias	Proofs of Soundness and Proof Search (Invited Talk).	FSTTCS	2020	DBLP DOI BibTeX RDF
17	Daisuke Ishii, Saito Fujii	Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking.	TASE	2020	DBLP DOI BibTeX RDF
17	Jianlin Wang, Chao Peng 0004, Zhenbing Zeng	A Formal Proof of the Soundness of the Hybrid CPS Clock Theory.	TASE	2020	DBLP DOI BibTeX RDF
17	Wei Liu 0051, Lu Wang, Xin Feng, Man Qi, Chun Yan, Maozhen Li 0001	Soundness Analytics of Composed Logical Workflow Nets.	Int. J. Parallel Program.	2019	DBLP DOI BibTeX RDF
17	Eli Ben-Sasson, Lior Goldberg, Swastik Kopparty, Shubhangi Saraf	DEEP-FRI: Sampling Outside the Box Improves Soundness.	Electron. Colloquium Comput. Complex.	2019	DBLP BibTeX RDF
17	Shaowei Wang 0003, Jiachun Du, Wei Yang 0011, Xinrong Diao, Zichun Liu, Yiwen Nie, Liusheng Huang, Hongli Xu	Aggregating Votes with Local Differential Privacy: Usefulness, Soundness vs. Indistinguishability.	CoRR	2019	DBLP BibTeX RDF
17	Yiming Li 0004, Jiawang Bai, Qingtao Tang, Yong Jiang 0001, Chun Li, Shutao Xia	Multinomial Random Forests: Fill the Gap between Theoretical Consistency and Empirical Soundness.	CoRR	2019	DBLP BibTeX RDF
17	Jiawang Bai, Yiming Li 0004, Jiawei Li 0006, Yong Jiang 0001, Shu-Tao Xia	Rectified Decision Trees: Towards Interpretability, Compression and Empirical Soundness.	CoRR	2019	DBLP BibTeX RDF
17	Eli Ben-Sasson, Lior Goldberg, Swastik Kopparty, Shubhangi Saraf	DEEP-FRI: Sampling outside the box improves soundness.	CoRR	2019	DBLP BibTeX RDF
17	Mohammadamin Erfanmanesh, Jaime A. Teixeira da Silva	Is the soundness-only quality control policy of open access mega journals linked to a higher rate of published errors?	Scientometrics	2019	DBLP DOI BibTeX RDF
17	Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk	Proving Soundness of Extensional Normal-Form Bisimilarities.	Log. Methods Comput. Sci.	2019	DBLP DOI BibTeX RDF
17	Guosheng Kang, Liqin Yang, Liang Zhang 0019	Verification of behavioral soundness for artifact-centric business process model with synchronizations.	Future Gener. Comput. Syst.	2019	DBLP DOI BibTeX RDF
17	Rupeng Yang, Man Ho Au, Zhenfei Zhang, Qiuliang Xu, Zuoxia Yu, William Whyte	Efficient Lattice-Based Zero-Knowledge Arguments with Standard Soundness: Construction and Applications.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
17	Justin Holmgren	On Round-By-Round Soundness and State Restoration Attacks.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
17	Eli Ben-Sasson, Lior Goldberg, Swastik Kopparty, Shubhangi Saraf	DEEP-FRI: Sampling Outside the Box Improves Soundness.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
17	Olaf Beyersdorff, Joshua Blinkhorn, Leroy Chew, Renate A. Schmidt, Martin Suda 0001	Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF.	J. Autom. Reason.	2019	DBLP DOI BibTeX RDF
17	Paolo Felli, Massimiliano de Leoni, Marco Montali	Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions.	ACSD	2019	DBLP DOI BibTeX RDF
17	Patrick Cousot	Syntactic and Semantic Soundness of Structural Dataflow Analysis.	SAS	2019	DBLP DOI BibTeX RDF
17	Christian Klinger, Maria Christakis, Valentin Wüstholz	Differentially testing soundness and precision of program analyzers.	ISSTA	2019	DBLP DOI BibTeX RDF
17	Meng-meng Yao, Ye Zhu, Li Tang	Research on Formal Analysis Method of Computational Soundness Based on Strand Space.	ICMAI	2019	DBLP DOI BibTeX RDF
17	Rupeng Yang, Man Ho Au, Zhenfei Zhang, Qiuliang Xu, Zuoxia Yu, William Whyte	Efficient Lattice-Based Zero-Knowledge Arguments with Standard Soundness: Construction and Applications.	CRYPTO (1)	2019	DBLP DOI BibTeX RDF
17	Sylvia Grewe	Automating Type Soundness Proofs for Domain-Specific Languages.		2019	RDF
17	Matthieu Journault	Precise and modular static analysis by abstract interpretation for the automatic proof of program soundness and contracts inference. (Analyse statique modulaire précise par interprétation abstraite pour la preuve automatique de correction de programmes et pour l'inférence de contrats).		2019	RDF
17	Ben Greenman, Matthias Felleisen	A spectrum of type soundness and performance.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
17	Sven Keidel, Casper Bach Poulsen, Sebastian Erdweg	Compositional soundness proofs of abstract interpreters.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
17	Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk	Proving Soundness of Extensional Normal-Form Bisimilarities.	MFPS	2018	DBLP DOI BibTeX RDF
17	Wattana Viriyasitavat, Li Da Xu, Zhuming Bi, Assadaporn Sapsomboon	Extension of specification language for soundness and completeness of service workflow.	Enterp. Inf. Syst.	2018	DBLP DOI BibTeX RDF
17	Taishi Kurahashi	Arithmetical Soundness and Completeness for $$\varvec{\Sigma }_{\varvec{2}}$$ Σ 2 Numerations.	Stud Logica	2018	DBLP DOI BibTeX RDF
17	Christian Klinger, Maria Christakis, Valentin Wüstholz	Differentially Testing Soundness and Precision of Program Analyzers.	CoRR	2018	DBLP BibTeX RDF
17	Swati Jaiswal, Uday P. Khedker, Supratik Chakraborty	Demand-driven Alias Analysis : Formalizing Bidirectional Analyses for Soundness and Precision.	CoRR	2018	DBLP BibTeX RDF
17	Aleksandar Prokopec, Fengyun Liu	On the Soundness of Coroutines with Snapshots.	CoRR	2018	DBLP BibTeX RDF
17	Massimiliano de Leoni, Paolo Felli, Marco Montali	A Holistic Approach for Soundness Verification of Decision-Aware Process Models (extended version).	CoRR	2018	DBLP BibTeX RDF
17	Paul-André Melliès, Léo Stefanesco	An Asynchronous soundness theorem for concurrent separation logic.	CoRR	2018	DBLP BibTeX RDF
17	Flavio Corradini, Chiara Muzi, Barbara Re 0001, Francesco Tiezzi 0001	A Classification of BPMN Collaborations based on Safeness and Soundness Notions.	CoRR	2018	DBLP BibTeX RDF
17	Guanjun Liu, Changjun Jiang, Mengchu Zhou	Time-Soundness of Time Petri Nets Modelling Time-Critical Systems.	ACM Trans. Cyber Phys. Syst.	2018	DBLP DOI BibTeX RDF
17	Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz	Soundness in negotiations.	Log. Methods Comput. Sci.	2018	DBLP DOI BibTeX RDF
17	Robert Glück, Robin Kaarsgaard	A categorical foundation for structured reversible flowchart languages: Soundness and adequacy.	Log. Methods Comput. Sci.	2018	DBLP DOI BibTeX RDF
17	Valérie Spezi, Simon Wakeling, Stephen Pinfield, Jenny Fry, Claire Creaser, Peter Willett 0002	"Let the community decide"? The vision and reality of soundness-only peer review in open-access mega-journals.	J. Documentation	2018	DBLP DOI BibTeX RDF
17	Douglas Wikström	Special Soundness Revisited.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
17	Emanuele Frittaion, Florian Pelupessy, Silvia Steila, Keita Yokoyama	The strength of SCT soundness.	J. Log. Comput.	2018	DBLP DOI BibTeX RDF
17	Xingxin Li, Youwen Zhu, Jian Wang 0038, Zhe Liu 0001, Yining Liu 0001, Mingwu Zhang	On the Soundness and Security of Privacy-Preserving SVM for Outsourcing Data Classification.	IEEE Trans. Dependable Secur. Comput.	2018	DBLP DOI BibTeX RDF
17	Ben Greenman, Zeina Migeed	On the cost of type-tag soundness.	PEPM	2018	DBLP DOI BibTeX RDF
17	Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad	FASILL: Fuzzy Correct Answers and Soundness⋆.	FUZZ-IEEE	2018	DBLP DOI BibTeX RDF
17	Dominic Steinhöfel, Reiner Hähnle	Modular, Correct Compilation with Automatic Soundness Proofs.	ISoLA (1)	2018	DBLP DOI BibTeX RDF
17	Paul-André Melliès, Léo Stefanesco	An Asynchronous Soundness Theorem for Concurrent Separation Logic.	LICS	2018	DBLP DOI BibTeX RDF
17	Li Sui, Jens Dietrich 0001, Michael Emery, Shawn Rasheed, Amjed Tahir	On the Soundness of Call Graph Construction in the Presence of Dynamic Language Features - A Benchmark and Tool Evaluation.	APLAS	2018	DBLP DOI BibTeX RDF
17	Priyanka Samanta, Shweta Jain 0001	E-Witness: Preserve and Prove Forensic Soundness of Digital Evidence.	MobiCom	2018	DBLP DOI BibTeX RDF
17	Massimiliano de Leoni, Paolo Felli, Marco Montali	A Holistic Approach for Soundness Verification of Decision-Aware Process Models.	ER	2018	DBLP DOI BibTeX RDF
17	Yannis Smaragdakis, George Kastrinis	Defensive Points-To Analysis: Effective Soundness via Laziness.	ECOOP	2018	DBLP DOI BibTeX RDF
17	Martin Suda 0001, Bernhard Gleiss	Local Soundness for QBF Calculi.	SAT	2018	DBLP DOI BibTeX RDF