Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Juliane Dehnert, Peter Rittgen |
Relaxed Soundness of Business Processes. |
CAiSE |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, Giovanni Semeraro |
OI-implication: Soundness and Refutation Completeness. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
17 | Simon Helsen, Peter Thiemann 0001 |
Syntactic Type Soundness for the Region Calculus. |
HOOTS |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Catherine Dubois |
Proving ML Type Soundness Within Coq. |
TPHOLs |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Martín Abadi, Phillip Rogaway |
Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption). |
IFIP TCS |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Sophia Drossopoulou, Susan Eisenbach |
Describing the Semantics of Java and Proving Type Soundness. |
Formal Syntax and Semantics of Java |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Rudolf Berghammer |
Soundness of a purely syntactical formalizationof weakest preconditions. |
Workshop on Domains |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Fairouz Kamareddine |
The Soundness of Explicit Substitution with Nameless Variables. |
Int. J. Found. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Kleymann |
Hoare logic and VDM : machine-checked soundness and completeness proofs. |
|
1998 |
RDF |
|
17 | Jan A. Plaza |
Soundness and Completeness versus Lifting Property. |
AISMC |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Dennis M. Volpano, Geoffrey Smith 0001 |
A Type Soundness Proof for Variables in LCF ML. |
Inf. Process. Lett. |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Zhiqing Shao, Guoxin Song |
An algebraic characterization of inductive soundness in proof by consistency. |
J. Comput. Sci. Technol. |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Louise E. Moser, P. M. Melliar-Smith, George Kutty, Y. S. Ramakrishna |
Completeness and Soundness of Axiomatizations for Temporal Logics. Without Next. |
Fundam. Informaticae |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Gustavus J. Simmons |
Proof of Soundness (Integrity) of Cryptographic Protocols. |
J. Cryptol. |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Andrew K. Wright, Matthias Felleisen |
A Syntactic Approach to Type Soundness |
Inf. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Grigoris Antoniou, Elmar Langetepe |
Soundness and Completeness of a Logic Programming Approach to Default Logic. |
AAAI |
1994 |
DBLP BibTeX RDF |
|
17 | John P. Fox 0001 |
On the soundness and safety of expert systems. |
Artif. Intell. Medicine |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Mehmet A. Orgun |
The Soundness and Completeness of a Temporal Extension of Logic Programming. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
17 | G. Neelakantan Kartha |
Soundness and Completeness Theorems for Three Formalizations of Action. |
IJCAI |
1993 |
DBLP BibTeX RDF |
|
17 | H. Albert Lilly, Barrett R. Bryant |
A Prescribed Cut for Prolog that Ensures Soundness. |
J. Log. Program. |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Vincenzo Manca, Antonino Salibra |
Soundness and Completeness of the Birkhoff Equational Calculus for Many-Sorted Algebras with Possibly Empty Carrier Sets. |
Theor. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Halina Przymusinska, Teodor C. Przymusinski, Hirohisa Seki |
Soundness and Completeness of Partial Deductions for Well-Founded Semantics. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Bruno Dumant |
hecking the Soundness of Resolution Schemes. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
17 | Tommaso Bolognesi |
On the soundness of graphical representations of interconnected processes in LOTOS. |
Formal Methods in Software Development |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Martin Fürer, Oded Goldreich 0001, Yishay Mansour, Michael Sipser, Stathis Zachos |
On Completeness and Soundness in Interactive Proof Systems. |
Adv. Comput. Res. |
1989 |
DBLP BibTeX RDF |
|
17 | Patrick Cousot, Radhia Cousot |
A Language Independent Proof of the Soundness and Completeness of Generalized Hoare Logic |
Inf. Comput. |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Edward P. F. Chan, Alberto O. Mendelzon |
On testing soundness of relational expressions. |
Inf. Syst. |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Sokolowski |
Soundness of Hoare's Logic: An Automated Proof Using LCF. |
ACM Trans. Program. Lang. Syst. |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Michael A. Bauer 0001 |
Soundness and Completeness of a Synthesis Algorithm Based on Example Computations |
J. ACM |
1985 |
DBLP DOI BibTeX RDF |
|
17 | Job Zwiers, Willem P. de Roever, Peter van Emde Boas |
Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem. |
ICALP |
1985 |
DBLP DOI BibTeX RDF |
|
17 | Stephen A. Cook |
Corrigendum: Soundness and Completeness of an Axiom System for Program Verification. |
SIAM J. Comput. |
1981 |
DBLP DOI BibTeX RDF |
|
17 | Stephen A. Cook |
Soundness and Completeness of an Axiom System for Program Verification. |
SIAM J. Comput. |
1978 |
DBLP DOI BibTeX RDF |
|
17 | Werner Stephan 0001, Jörg H. Siekmann |
Completeness and Soundness of the Connection Graph Proof. |
AISB/GI (ECAI) |
1978 |
DBLP BibTeX RDF |
|
17 | Heinz Gumin, Hans Hermes |
Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln. |
Arch. Math. Log. |
1956 |
DBLP DOI BibTeX RDF |
|
14 | Ryan O'Donnell, Yi Wu 0002 |
3-bit dictator testing: 1 vs. 5/8. |
SODA |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Peter V. Homeier |
The HOL-Omega Logic. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Yehuda Lindell, Hila Zarosim |
Adaptive Zero-Knowledge Proofs and Adaptively Secure Oblivious Transfer. |
TCC |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Yevgeniy Dodis, Salil P. Vadhan, Daniel Wichs |
Proofs of Retrievability via Hardness Amplification. |
TCC |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Volker Gruhn, Ralf Laue 0001 |
A Heuristic Method for Business Process Model Evaluation. |
CIAO! / EOMAS |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Benjamin Delaware, William R. Cook, Don S. Batory |
Fitting the pieces together: a machine-checked model of safe composition. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
feature models, product lines, type safety |
14 | JiDong Ge, Haiyang Hu |
A Decomposition Approach with Invariant Analysis for Workflow Coordination. |
DASFAA Workshops |
2009 |
DBLP DOI BibTeX RDF |
Petri nets, Workflow, Invariants, Sequence diagram |
14 | Benjamin Delaware, William R. Cook, Don S. Batory |
A machine-checked model of safe composition. |
FOAL |
2009 |
DBLP DOI BibTeX RDF |
feature model, product lines, type safety |
14 | Daniel Marino, Todd D. Millstein |
A generic type-and-effect system. |
TLDI |
2009 |
DBLP DOI BibTeX RDF |
type-and-effect systems |
14 | Zvonimir Rakamaric, Alan J. Hu |
A Scalable Memory Model for Low-Level Code. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
14 | M. Gokcen Arslan, Tolga Onel, Cem Ersoy |
Effect of 3D topographical surfaces for the performance evaluation of wireless sensor networks. |
PIMRC |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Hirotada Kobayashi |
General Properties of Quantum Zero-Knowledge Proofs. |
TCC |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli |
Oracle Semantics for Concurrent Separation Logic. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
14 | JiDong Ge, Hao Hu 0001, Jian Lü 0001 |
Order Constraints for Multi-view Software Process Model. |
CSSE (2) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Ekaterina Komendantskaya, John Power |
Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
Many-valued logic programs, categorical logic, fibrational semantics, ground semantics, SLD-resolution |
14 | Ivan Damgård, Michael Østergaard Pedersen |
RFID Security: Tradeoffs between Security and Efficiency. |
CT-RSA |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001 |
State Space Reduction in the Maude-NRL Protocol Analyzer. |
ESORICS |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub |
From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-order Decision Procedures. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Paolo Tranquilli |
A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic. |
CSL |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Tsuyoshi Ito, Hirotada Kobayashi, Daniel Preda, Xiaoming Sun 0001, Andrew Chi-Chih Yao |
Generalized Tsirelson Inequalities, Commuting-Operator Provers, and Multi-prover Interactive Proof Systems. |
CCC |
2008 |
DBLP DOI BibTeX RDF |
multi-prover interactive proof systems, quantum nonlocality, Tsirelson inequality, entanglement |
14 | Andrew W. Appel, Paul-André Melliès, Christopher D. Richards, Jérôme Vouillon |
A very modal model of a modern, major, general type system. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
impredicative polymorphism, mutable references, recursive types, Kripke models |
14 | Markus Degen 0001, Peter Thiemann 0001, Stefan Wehr |
Tracking Linear and Affine Resources with Java(X). |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Jun Liu 0001, Luis Martínez-López 0001, Yang Xu 0001, Zhirui Lu |
Automated Reasoning Algorithm for Linguistic Valued Lukasiewicz Propositional Logic. |
ISMVL |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Bow-Yaw Wang |
Automatic Derivation of Compositional Rules in Automated Compositional Reasoning. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Reynald Affeldt, Miki Tanaka, Nicolas Marti |
Formal Proof of Provable Security by Game-Playing in a Proof Assistant. |
ProvSec |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Sylvain Boulmé, Marie-Laure Potet |
Interpreting Invariant Composition in the B Method Using the Spec# Ownership Relation: A Way to Explain and Relax B Restrictions. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Luís Caires |
Logical Semantics of Types for Concurrency. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Jörg Desel |
Controlling Petri Net Process Models. |
WS-FM |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Venkatesan Guruswami |
On 2-Query Codeword Testing with Near-Perfect Completeness. |
ISAAC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Emad Saad |
Towards the Computation of Stable Probabilistic Model Semantics. |
KI |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Christoph Sprenger 0001, Michael Backes 0001, David A. Basin, Birgit Pfitzmann, Michael Waidner |
Cryptographically Sound Theorem Proving. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino 0001 |
Abstract Matching for Software Model Checking. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
Static Analysis, State Explosion, Model Extraction |
14 | Adam Chlipala |
Modular development of certified program verifiers with a proof assistant. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
programming with dependent types, proof-carrying code, interactive proof assistants |
14 | Jie Bao 0001, Doina Caragea, Vasant G. Honavar |
Modular Ontologies - A Formal Investigation of Semantics and Expressivity. |
ASWC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Ichiro Hasuo |
Generic Forward and Backward Simulations. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Ferucio Laurentiu Tiplea, Geanina Ionela Macovei |
E-timed Workflow Nets. |
SYNASC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Subhash Khot, Rishi Saket |
A 3-Query Non-Adaptive PCP with Perfect Completeness. |
CCC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Sacha Berger, Emmanuel Coquery, Wlodzimierz Drabent, Artur Wilk |
Descriptive Typing Rules for Xcerpt. |
PPSWR |
2005 |
DBLP DOI BibTeX RDF |
|
14 | James Brotherston |
Cyclic Proofs for First-Order Logic with Inductive Definitions. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Héctor Ruíz Barradas, Didier Bert |
A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
unity logic, weak fairness, minimal progress, set transformer, fairness, action systems, Liveness properties, fixpoints, event systems |
14 | Lars Engebretsen, Jonas Holmerin |
More Efficient Queries in PCPs for NP and Improved Approximation Hardness of Maximum CSP. |
STACS |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Ferucio Laurentiu Tiplea, Geanina Ionela Macovei |
Timed Workflow Nets. |
SYNASC |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Michael Backes 0001, Birgit Pfitzmann |
Limits of the Cryptographic Realization of Dolev-Yao-Style XOR. |
ESORICS |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Axel Martens |
Analyzing Web Service Based Business Processes. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Stefan Kramer 0001, Hermann Kaindl |
Coupling and cohesion metrics for knowledge-based systems using frames and rules. |
ACM Trans. Softw. Eng. Methodol. |
2004 |
DBLP DOI BibTeX RDF |
knowledge-based systems, Coupling, cohesion |
14 | Max H. Garzon, Derrel Blain, Andrew Neel |
Virtual test tubes. |
Nat. Comput. |
2004 |
DBLP DOI BibTeX RDF |
molecular kinetics, simulations of Brownian motion, virtual test tubes, distributed computing, biomolecular computing |
14 | Simon Helsen, Peter Thiemann 0001 |
Polymorphic specialization for ML. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
regions, program specialization, Binding-time analysis |
14 | Phan Minh Dung, Phan Minh Thang |
Stepwise development of security protocols: a speech act-oriented approach. |
FMSE |
2004 |
DBLP DOI BibTeX RDF |
security protocols, cryptographic protocols |
14 | Tian-jun Zuo, Jun-gang Han, Ping Chen |
Formalizing Java Dynamic Loading in HOL. |
TPHOLs |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Tetsuo Kamina, Tetsuo Tamai |
McJava - A Design and Implementation of Java with Mixin-Types. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Giovanni Di Crescenzo, Giuseppe Persiano, Ivan Visconti |
Improved Setup Assumptions for 3-Round Resettable Zero Knowledge. |
ASIACRYPT |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Chris Marriott, John Watrous |
Quantum Arthur-Merlin Games. |
CCC |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Rik Eshuis, Juliane Dehnert |
Reactive Petri Nets for Workflow Modeling. |
ICATPN |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Russell Impagliazzo, Bruce M. Kapron |
Logics for Reasoning about Cryptographic Constructions. |
FOCS |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach |
Flexible Models for Dynamic Linking. |
ESOP |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Ugo Dal Lago, Simone Martini 0001, Luca Roversi |
Higher-Order Linear Ramified Recurrence. |
TYPES |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Sorin Lerner, Todd D. Millstein, Craig Chambers |
Automatically proving the correctness of compiler optimizations. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
automated correctness proofs, compiler optimization |
14 | Xavier Daragon, Michel Couprie, Gilles Bertrand 0001 |
Discrete Frontiers. |
DGCI |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Gilles Dowek, Thérèse Hardin, Claude Kirchner |
Binding Logic: Proofs and Models. |
LPAR |
2002 |
DBLP DOI BibTeX RDF |
|
14 | David A. Schmidt |
Structure-Preserving Binary Relations for Program Abstraction. |
The Essence of Computation |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Michal Konecný |
Typing with Conditions and Guarantees for Functional In-place Update. |
TYPES |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Emir Pasalic, Walid Taha, Tim Sheard |
Tagless staged interpreters for typed languages. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
calculus of constructions, definitional interpreters, domain-specific languages, multi-stage programming |
14 | Jeremy W. Nimmer, Michael D. Ernst |
Automatic generation of program specifications. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Kamel Barkaoui, Ph. Dechambre, R. Hachicha |
Verification and Optimisation of an Operating Room Workflow. |
HICSS |
2002 |
DBLP DOI BibTeX RDF |
hospital organisations, workflow, business process reengineering, shared resources |
14 | Joseph E. Stoy, Xiaowei Shen, Arvind |
Proofs of Correctness of Cache-Coherence Protocols. |
FME |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Daniel C. Wang, Andrew W. Appel |
Type-preserving garbage collectors. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|