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