Search results for "soundness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
7	Limin Jia 0001, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic	AURA: a programming language for authorization and audit.	ICFP	2008	DBLP DOI BibTeX RDF	access control, type systems, audit, authorization logic
7	Rui Qiao 0003, Yuan Wang, Xinyan Gao, Jinzhao Wu	Operational semantics of probabilistic Kleene algebra with tests.	ISCC	2008	DBLP DOI BibTeX RDF
7	Van Hung Le 0001, Fei Liu 0003, Dinh Khang Tran	Fuzzy Linguistic Logic Programming.	ICIC (2)	2008	DBLP DOI BibTeX RDF	hedge algebra, linguistic value, fuzzy logic programming, linguistic hedge
7	Sergei N. Artëmov, Elena Nogina	Topological Semantics of Justification Logic.	CSR	2008	DBLP DOI BibTeX RDF	Justification Logic, Logic of Proofs, topological semantics, Tarski, modal logic
7	Vivek Nigam, Dale Miller 0001	Focusing in Linear Meta-logic.	IJCAR	2008	DBLP DOI BibTeX RDF
7	Lantian Zheng, Andrew C. Myers	Securing nonintrusive web encryption through information flow.	PLAS	2008	DBLP DOI BibTeX RDF	encryption, type system, information flow control
7	James Cheney, Morten Dahl	Resource bound analysis for database queries.	PLAS	2008	DBLP DOI BibTeX RDF	resource bounds, databases, query languages
7	Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani	A type system for data-flow integrity on windows vista.	PLAS	2008	DBLP DOI BibTeX RDF	data-flow integrity, hybrid type system, explicit substitution, dynamic access control
7	Yukiyoshi Kameyama, Takuo Yonezawa	Typed Dynamic Control Operators for Delimited Continuations.	FLOPS	2008	DBLP DOI BibTeX RDF	Dynamic Control Operator, Type System, Polymorphism, Expressivity, Delimited Continuation, CPS Translation
7	Simon Perdrix	Quantum Entanglement Analysis Based on Abstract Interpretation.	SAS	2008	DBLP DOI BibTeX RDF
7	Belaid Saad, Francine Herrmann, Yann Lanuel, Thomas Tamisier	Mixing Protocol based on the Cooperation and the Parallelism for the Distributed Environment.	SNPD	2008	DBLP DOI BibTeX RDF	Multi-agent system, Parallelism, Cooperation, Distributed Constraint Satisfaction
7	Andrea Masini, Luca Viganò 0001, Margherita Zorzi	A Qualitative Modal Representation of Quantum Register Transformations.	ISMVL	2008	DBLP DOI BibTeX RDF	quantum registers, modal logic, quantum logic
7	Edmund M. Clarke, Muralidhar Talupur, Helmut Veith	Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems.	TACAS	2008	DBLP DOI BibTeX RDF
7	Michal Moskal	Rocket-Fast Proof Checking for SMT Solvers.	TACAS	2008	DBLP DOI BibTeX RDF
7	Kerstin Bauer, Raffaella Gentilini, Klaus Schneider 0001	A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
7	Olaf Chitil, Thomas Davie	Comprehending finite maps for algorithmic debugging of higher-order functional programs.	PPDP	2008	DBLP DOI BibTeX RDF	tracing, declarative debugging
7	Wang Ge, Ren Nan	Modeling and Research of the E-government System Based on Petri net.	CSSE (4)	2008	DBLP DOI BibTeX RDF
7	Rafael Caballero 0001, Yolanda García-Ruiz, Fernando Sáenz-Pérez	A Theoretical Framework for the Declarative Debugging of Datalog Programs.	SDKB	2008	DBLP DOI BibTeX RDF
7	Stephen H. Muggleton, Jianzhong Chen	A Behavioral Comparison of Some Probabilistic Logic Models.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
7	Michele Turitto, Carsten Tietje, Svetan M. Ratchev	Pneumatic Contactless Microfeeder, Design Optimisation and Experimental Validation.	IPAS	2008	DBLP DOI BibTeX RDF
7	Zhengqin Luo	Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups.	ProvSec	2008	DBLP DOI BibTeX RDF
7	Yu Cao, Steve Read, Sachin Raka, Revanth Nandamuri	A Theoretic Framework for Object Class Tracking.	ICNSC	2008	DBLP DOI BibTeX RDF
7	Giovanni Di Crescenzo, Helger Lipmaa	Succinct NP Proofs from an Extractability Assumption.	CiE	2008	DBLP DOI BibTeX RDF
7	Viviana Bono, Ferruccio Damiani, Elena Giachino	On Traits and Types in a Java-like Setting.	IFIP TCS	2008	DBLP DOI BibTeX RDF	Composition, Type System, Inheritance, Flattening
7	Shafi Goldwasser, Yael Tauman Kalai, Guy N. Rothblum	Delegating computation: interactive proofs for muggles.	STOC	2008	DBLP DOI BibTeX RDF	muggles, delegation, interactive proofs
7	Sylvain Sicard, Fabienne Boyer, Noel De Palma	Using components for architecture-based management: the self-repair case.	ICSE	2008	DBLP DOI BibTeX RDF	architecture, component, self-healing
7	Piero A. Bonatti, Fabio Mogavero	Comparing Rule-Based Policies.	POLICY	2008	DBLP DOI BibTeX RDF	Rule-based policies, Policy comparison, Policy-aware service selection, Policy compliance, Datalog query containment, Policy verification
7	Sven R. Schmidt-Rohr, Steffen Knoop, Martin Lösch, Rüdiger Dillmann	Reasoning for a multi-modal service robot considering uncertainty in human-robot interaction.	HRI	2008	DBLP DOI BibTeX RDF	robot decision making, pomdp, HRI
7	Engelbert Mephu Nguifo, Norbert Tsopzé, Gilbert Tindo	M-CLANN: Multi-class Concept Lattice-Based Artificial Neural Network for Supervised Classification.	ICANN (2)	2008	DBLP DOI BibTeX RDF
7	Julia Kempe, Hirotada Kobayashi, Keiji Matsumoto, Thomas Vidick	Using Entanglement in Quantum Multi-prover Interactive Proofs.	CCC	2008	DBLP DOI BibTeX RDF	quantum interactive proofs, public-coin, parallelization, entanglement
7	Scott Aaronson, Salman Beigi, Andrew Drucker, Bill Fefferman, Peter W. Shor	The Power of Unentanglement.	CCC	2008	DBLP DOI BibTeX RDF	QMA, 3SAT, PCP Theorem, quantum computing, additivity, entanglement
7	Karl-Heinz Pennemann	Resolution-Like Theorem Proving for High-Level Conditions.	ICGT	2008	DBLP DOI BibTeX RDF	first-order tautology problem, high-level conditions, weak adhesive HLR categories, theorem proving, resolution
7	Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich, Anatoly V. Anisimov	On Correctness of Mathematical Texts from a Logical and Practical Point of View.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
7	Fen Xia, Tie-Yan Liu, Jue Wang 0004, Wensheng Zhang 0002, Hang Li 0001	Listwise approach to learning to rank: theory and algorithm.	ICML	2008	DBLP DOI BibTeX RDF
7	Taolue Chen, Jaco van de Pol, Yanjing Wang 0001	PDL over Accelerated Labeled Transition Systems.	TASE	2008	DBLP DOI BibTeX RDF	PDL, Accelerated Labeled Transition Systems
7	Zhenhua Duan, Nan Zhang 0001	A Complete Axiomatization of Propositional Projection Temporal Logic.	TASE	2008	DBLP DOI BibTeX RDF	temporal logic, completeness, projection, inference rules, axiom
7	Shuling Wang, Zongyan Qiu	A Generic Model for Confinement and its Application.	TASE	2008	DBLP DOI BibTeX RDF	confined types, object orientation, ownership, confinement
7	Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler	Approximate OWL-Reasoning with Screech.	RR	2008	DBLP DOI BibTeX RDF
7	Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler	What Is Approximate Reasoning?.	RR	2008	DBLP DOI BibTeX RDF
7	Luís Paquete, Tommaso Schiavinotto, Thomas Stützle	On local optima in multiobjective combinatorial optimization problems.	Ann. Oper. Res.	2007	DBLP DOI BibTeX RDF	Local search, Multiobjective combinatorial optimization, Local optima
7	Mirco Musolesi, Cecilia Mascolo	Designing mobility models based on social network theory.	ACM SIGMOBILE Mob. Comput. Commun. Rev.	2007	DBLP DOI BibTeX RDF
7	Karl Crary	Sound and complete elimination of singleton kinds.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	singleton kinds, Type systems
7	Shuvendu K. Lahiri, Randal E. Bryant	Predicate abstraction with indexed predicates.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	infinite-state verification, invariant synthesis, Formal verification, abstract interpretation, cache-coherence protocols, predicate abstraction
7	Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont	Probabilistic abstraction for model checking: An approach based on property testing.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	Approximate verification, probabilistic abstraction, model checking, property testing, probabilistic verification
7	Renate A. Schmidt, Ullrich Hustadt	The axiomatic translation principle for modal logic.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	Translation approach, small model property, completeness, decidability
7	Yuyue Du, Changjun Jiang, MengChu Zhou	Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets.	IEEE Trans. Syst. Man Cybern. Part A	2007	DBLP DOI BibTeX RDF
7	Giacomo Bonanno	Temporal Interaction of Information and Belief.	Stud Logica	2007	DBLP DOI BibTeX RDF	iterated belief revision, qualitative Bayes rule, plausibility ordering, information
7	Xuefeng Wen	A Propositional Logic with Relative Identity Connective and a Partial Solution to the Paradox of Analysis.	Stud Logica	2007	DBLP DOI BibTeX RDF	relative identity, paradox of analysis, hyperintensional logic, context
7	Gary Wassermann, Carl Gould 0001, Zhendong Su 0001, Premkumar T. Devanbu	Static checking of dynamically generated queries in database applications.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	database queries, JDBC, Static checking, context-free language reachability
7	John Nolt	Reference and perspective in intuitionistic logics.	J. Log. Lang. Inf.	2007	DBLP DOI BibTeX RDF	Intuitionism, Constructivism, Intuitionistic logic, Reference, Kripke semantics
7	Domenico Cantone, Marianna Nicolosi Asmundo	A Sound Framework for delta-Rule Variants in Free-Variable Semantic Tableaux.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	free-variable semantic tableaux, ?-rule, Skolemization
7	Reinhold Letz, Gernot Stenz	The Disconnection Tableau Calculus.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	disconnection tableaux, theorem proving
7	Hui Wei	A hierarchical model for structure learning based on the physiological characteristics of neurons.	Frontiers Comput. Sci. China	2007	DBLP DOI BibTeX RDF	representation, associative memory, structure learning, computational neuroscience
7	Richard Khoury, Fakhri Karray, Yu Sun, Mohamed Kamel, Otman A. Basir	Semantic Understanding of General Linguistic Items by Means of Fuzzy Set Theory.	IEEE Trans. Fuzzy Syst.	2007	DBLP DOI BibTeX RDF
7	Benjamin Grégoire, Jorge Luis Sacchini	Combining a Verification Condition Generator for a Bytecode Language with Static Analyses.	TGC	2007	DBLP DOI BibTeX RDF
7	Therrezinha Fernandes	A Kleene Algebra Framework for Data Flow Analysis.	ASWEC	2007	DBLP DOI BibTeX RDF
7	Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson	Uniqueness Typing Simplified.	IFL	2007	DBLP DOI BibTeX RDF
7	Michael Backes 0001, Agostino Cortesi, Riccardo Focardi, Matteo Maffei	A calculus of challenges and responses.	FMSE	2007	DBLP DOI BibTeX RDF	static analysis, authentication protocols, process calculi
7	Hemal Khatri, Jianchun Fan, Yi Chen 0001, Subbarao Kambhampati	QPIAD: Query Processing over Incomplete Autonomous Databases.	ICDE	2007	DBLP DOI BibTeX RDF
7	Vaidas Gasiunas, Mira Mezini, Klaus Ostermann	Dependent classes.	OOPSLA	2007	DBLP DOI BibTeX RDF	dependent classes, variability, dynamic dispatch, multimethods, multiple dispatch, virtual classes
7	Nicholas Robert Cameron, Sophia Drossopoulou, James Noble 0001, Matthew J. Smith	Multiple ownership.	OOPSLA	2007	DBLP DOI BibTeX RDF	effects, ownership types, type and effect systems
7	Rok Strnisa, Peter Sewell, Matthew J. Parkinson	The java module system: core design and semantic definition.	OOPSLA	2007	DBLP DOI BibTeX RDF	LJAM, superpackage, java, module, JAM
7	Andrew W. Appel, Sandrine Blazy	Separation Logic for Small-Step cminor.	TPHOLs	2007	DBLP DOI BibTeX RDF
7	José-Antonio Alonso, Joaquín Borrego-Díaz, María-José Hidalgo, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina	A Formally Verified Prover for the ALC Description Logic.	TPHOLs	2007	DBLP DOI BibTeX RDF
7	Zining Cao	Towards an Epistemic Logic for Uncertain Agents.	CEEMAS	2007	DBLP DOI BibTeX RDF
7	Yi Feng 0002, Zhigang Zhu, Jizhong Xiao	Self-localization of a heterogeneous multi-robot team in constrained 3D space.	IROS	2007	DBLP DOI BibTeX RDF
7	Jun Liu 0001, Luis Martínez-López 0001, Yang Xu 0001, Zhirui Lu	Satisfiability in a Linguistic-Valued Logic and Its Quasi-horn Clause Inference Framework.	IFSA (2)	2007	DBLP DOI BibTeX RDF
7	Martin Kero, Johan Nordlander, Per Lindgren	A correct and useful incremental copying garbage collector.	ISMM	2007	DBLP DOI BibTeX RDF	incremental copying garbage collection, labeled transition system
7	David Gay, Robert Ennals, Eric A. Brewer	Safe manual memory management.	ISMM	2007	DBLP DOI BibTeX RDF	C, safety, memory management, reference counting
7	Pablo F. Castro, T. S. E. Maibaum	A Complete and Compact Propositional Deontic Logic.	ICTAC	2007	DBLP DOI BibTeX RDF	Fault tolerance, Temporal Logic, Modal Logic, Software Specification, Deontic Logic
7	Andreas Abel 0001	Strong Normalization and Equi-(Co)Inductive Types.	TLCA	2007	DBLP DOI BibTeX RDF
7	Dimitris Mostrous, Nobuko Yoshida	Two Session Typing Systems for Higher-Order Mobile Processes.	TLCA	2007	DBLP DOI BibTeX RDF
7	Krzysztof Pietrzak, Douglas Wikström	Parallel Repetition of Computationally Sound Protocols Revisited.	TCC	2007	DBLP DOI BibTeX RDF
7	Gurvan Le Guernic	Automaton-based Confidentiality Monitoring of Concurrent Programs.	CSF	2007	DBLP DOI BibTeX RDF
7	Patrick Baillot, Paolo Coppola 0001, Ugo Dal Lago	Light Logics and Optimal Reduction: Completeness and Complexity.	LICS	2007	DBLP DOI BibTeX RDF
7	James Brotherston, Alex Simpson	Complete Sequent Calculi for Induction and Infinite Descent.	LICS	2007	DBLP DOI BibTeX RDF
7	Mika Cohen, Mads Dam	A Complete Axiomatization of Knowledge and Cryptography.	LICS	2007	DBLP DOI BibTeX RDF
7	Cristiano Calcagno, Peter W. O'Hearn, Hongseok Yang	Local Action and Abstract Separation Logic.	LICS	2007	DBLP DOI BibTeX RDF
7	Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray	A semantics-based approach to malware detection.	POPL	2007	DBLP DOI BibTeX RDF	abstract interpretation, obfuscation, malware detection, trace semantics
7	Dan R. Ghica	Geometry of synthesis: a structured approach to VLSI design.	POPL	2007	DBLP DOI BibTeX RDF	syntactic control of interference, synthesis, game semantics, geometry of interaction
7	James Laird	A Fully Abstract Trace Semantics for General References.	ICALP	2007	DBLP DOI BibTeX RDF
7	Yoshitaka Yamamoto, Oliver Ray, Katsumi Inoue	Towards a Logical Reconstruction of CF-Induction.	JSAI	2007	DBLP DOI BibTeX RDF	inverse entailment, CF-induction, generalisation operator
7	Mercedes G. Merayo, Manuel Núñez 0001, Ismael Rodríguez	A Brief Introduction to THOTL.	ATVA	2007	DBLP DOI BibTeX RDF
7	Bernd Braßel, Frank Huch	On a Tighter Integration of Functional and Logic Programming.	APLAS	2007	DBLP DOI BibTeX RDF
7	Kenichi Asai, Yukiyoshi Kameyama	Polymorphic Delimited Continuations.	APLAS	2007	DBLP DOI BibTeX RDF	Predicative/Impredicative Polymorphism, Type System, Delimited Continuation, CPS Translation, Control Operator
7	Haiyang Sun, Jian Yang 0001	Exploiting CoBTx-Net to Verify the Reliability of Collaborative Business Transactions.	APSCC	2007	DBLP DOI BibTeX RDF
7	Wilfred Ng	Prioritized Preferences and Choice Constraints.	ER	2007	DBLP DOI BibTeX RDF
7	Stefan Monnier	The swiss coercion.	PLPV	2007	DBLP DOI BibTeX RDF	type based security, formal methods, compilation, coercions
7	Heiko Mantel, Alexander Reinhard	Controlling the What and Where of Declassification in Language-Based Security.	ESOP	2007	DBLP DOI BibTeX RDF
7	K. Rustan M. Leino, Wolfram Schulte	Using History Invariants to Verify Observers.	ESOP	2007	DBLP DOI BibTeX RDF
7	Gilles Barthe, David Pichardie, Tamara Rezk	A Certified Lightweight Non-interference Java Bytecode Verifier.	ESOP	2007	DBLP DOI BibTeX RDF
7	Christian Hoareau, Ichiro Satoh	A Model Checking-Based Approach for Location Query Processing in Pervasive Computing Environments.	OTM Workshops (2)	2007	DBLP DOI BibTeX RDF
7	Jyotishman Pathak, Samik Basu 0001, Vasant G. Honavar	On Context-Specific Substitutability of Web Services.	ICWS	2007	DBLP DOI BibTeX RDF
7	Frank Raiser	Graph Transformation Systems in CHR.	ICLP	2007	DBLP DOI BibTeX RDF
7	Hongwei Xi	Attributive Types for Proof Erasure.	TYPES	2007	DBLP DOI BibTeX RDF
7	José Espírito Santo, Silvia Ghilezan, Jelena Ivetic	Characterising Strongly Normalising Intuitionistic Sequent Terms.	TYPES	2007	DBLP DOI BibTeX RDF
7	Haiyang Sun, Jian Yang 0001	CoBTx-Net: A Model for Reliability Verification of Collaborative Business Transaction.	Business Process Management Workshops	2007	DBLP DOI BibTeX RDF	Collaborative Business Transaction, Reliability Verification, Peer Based Collaboration, Hierarchical Colored Petri Net(HCPN)
7	Ping Hou, Johan Wittocx, Marc Denecker	A Deductive System for PC(ID).	LPNMR	2007	DBLP DOI BibTeX RDF
7	Mandy Northover, Alan Northover, Stefan Gruner, Derrick G. Kourie, Andrew Boake	Agile software development: a contemporary philosophical perspective.	SAICSIT	2007	DBLP DOI BibTeX RDF	critical rationalism, evolutionary change, scientific revolutions, extreme programming, paradigm shift
7	Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández	Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics.	INAP/WLP	2007	DBLP DOI BibTeX RDF