Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|