Search results for "soundness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
7	Janis Barzdins, Rusins Freivalds, Carl H. Smith	Towards Axiomatic Basis of Inductive Inference.	FCT	2001	DBLP DOI BibTeX RDF
7	Brigitte Pientka	Termination and Reduction Checking for Higher-Order Logic Programs.	IJCAR	2001	DBLP DOI BibTeX RDF
7	Regimantas Pliuskevicius	Deduction-Based Decision Procedure for a Clausal Miniscoped Fragment of FTL.	IJCAR	2001	DBLP DOI BibTeX RDF
7	Alessandro Armando, Luca Compagna, Silvio Ranise	System Description: RDL : Rewrite and Decision Procedure Laboratory.	IJCAR	2001	DBLP DOI BibTeX RDF
7	Stefan Monnier, Bratin Saha, Zhong Shao	Principled Scavenging.	PLDI	2001	DBLP DOI BibTeX RDF
7	Martin Sulzmann	A General Type Inference Framework for Hindley/Milner Style Systems.	FLOPS	2001	DBLP DOI BibTeX RDF
7	Rafael Caballero 0001, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo	Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs.	FLOPS	2001	DBLP DOI BibTeX RDF
7	Sriram K. Rajamani, Jakob Rehof	A Behavioral Module System for the Pi-Calculus.	SAS	2001	DBLP DOI BibTeX RDF
7	Natalia Sidorova, Martin Steffen	Embedding Chaos.	SAS	2001	DBLP DOI BibTeX RDF	open reactive systems, Model checking, data-flow analysis, SDL
7	Martín Abadi, Jan Jürjens	Formal Eavesdropping and Its Computational Interpretation.	TACS	2001	DBLP DOI BibTeX RDF
7	Paolo Bottoni, Bernd Meyer 0001, Kim Marriott, Francesco Parisi-Presicce	Deductive Parsing of Visual Languages.	LACL	2001	DBLP DOI BibTeX RDF
7	Baher A. El-Geresy, Alia I. Abdelmoty	Towards a General Theory for Qualitative Space.	ICTAI	2001	DBLP DOI BibTeX RDF
7	Tetsuo Ida, Mircea Marin, Taro Suzuki	Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations.	EUROCAST	2001	DBLP DOI BibTeX RDF
7	Yi Cui 0001, Klara Nahrstedt	QoS-Aware Dependency Management for Component-Based Systems.	HPDC	2001	DBLP DOI BibTeX RDF
7	Jan van Eijck	Constrained Hyper Tableaux.	CSL	2001	DBLP DOI BibTeX RDF
7	Pinar Yolum, Munindar P. Singh	Commitment Machines.	ATAL	2001	DBLP DOI BibTeX RDF
7	Gail-Joon Ahn, Ravi S. Sandhu	Role-based authorization constraints specification.	ACM Trans. Inf. Syst. Secur.	2000	DBLP DOI BibTeX RDF	role-based access control, access control models, authorization constraints, constraints specification
7	Hans-Dieter Ehrich, Carlos Caleiro	Specifying Communication in Distributed Information Systems.	Acta Informatica	2000	DBLP DOI BibTeX RDF
7	Anne E. Haxthausen, Jan Peleska 0001	Formal Development and Verification of a Distributed Railway Control System.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	verification, formal specification, Safety, stepwise refinement, railways, distributed control system, RAISE
7	Toshikazu Wada, Takashi Matsuyama	Multiobject Behavior Recognition by Event Driven Selective Attention Method.	IEEE Trans. Pattern Anal. Mach. Intell.	2000	DBLP DOI BibTeX RDF	selective attention mechanism, toke propagation, multiviewpoint image, HMM, Behavior recognition, nondeterministic finite automata
7	Christophe Samson, Laure Blanc-Féraud, Gilles Aubert, Josiane Zerubia	A Variational Model for Image Classification and Restoration.	IEEE Trans. Pattern Anal. Mach. Intell.	2000	DBLP DOI BibTeX RDF	phase transition theory, classification, minimization, labeling, satellite images, Variational model, edge-preserving regularization
7	Xiaoyan Zhu 0001, Yu Hao 0001, Yifan Shi, Song Wang	A criterion based on Fourier transform for segmentation of connected digits.	Int. J. Document Anal. Recognit.	2000	DBLP DOI BibTeX RDF	Segmentation, Fourier transform, Handwritten character recognition
7	David Walker 0001, Karl Crary, J. Gregory Morrisett	Typed memory management via static capabilities.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	type-directed compilation, typed intermediate languages, certified code, region-based memory management
7	Carl A. Gunter, Elsa L. Gunter, Michael Jackson 0001, Pamela Zave	A Reference Model for Requirements and Specifications-Extended Abstract.	ICRE	2000	DBLP DOI BibTeX RDF	formal methods, specifications, refinement, requirements, software engineering methodology
7	Karl Crary	Sound and Complete Elimination of Singleton Kinds.	Types in Compilation	2000	DBLP DOI BibTeX RDF
7	Sophia Drossopoulou	An Abstract Model of Java Dynamic Linking and Loading.	Types in Compilation	2000	DBLP DOI BibTeX RDF
7	Martin Hofmann 0001, Francis Tang	Implementing a Program Logic of Objects in a Higher-Order Logic Theorem Prover.	TPHOLs	2000	DBLP DOI BibTeX RDF
7	Robert Demolombe, Maria del Pilar Pozos Parra	A Simple and Tractable Extension of Situation Calculus to Epistemic Logic.	ISMIS	2000	DBLP DOI BibTeX RDF
7	Hongwei Xi	Imperative Programming with Dependent Types.	LICS	2000	DBLP DOI BibTeX RDF	dependent types, programming language design, array bounds checking
7	Bruce Edmonds	The Use of Models - Making MABS More Informative.	MABS	2000	DBLP DOI BibTeX RDF
7	Anders Sandholm 0001, Michael I. Schwartzbach	A Type System for Dynamic Web Documents.	POPL	2000	DBLP DOI BibTeX RDF
7	Timothy J. Hickey	Analytic Constraint Solving and Interval Arithmetic.	POPL	2000	DBLP DOI BibTeX RDF
7	Ben Liblit, Alexander Aiken	Type Systems for Distributed Data Structures.	POPL	2000	DBLP DOI BibTeX RDF
7	Patrick Cousot, Radhia Cousot	Temporal Abstract Interpretation.	POPL	2000	DBLP DOI BibTeX RDF
7	Martin Büchi, Wolfgang Weck	Generic Wrappers.	ECOOP	2000	DBLP DOI BibTeX RDF
7	Denys Duchier, Joachim Niehren	Dominance Constraints with Set Operators.	Computational Logic	2000	DBLP DOI BibTeX RDF
7	Reiner Hähnle, Ryuzo Hasegawa, Yasuyuki Shirai	Moder Generation Theorem Proving with Finite Interval Constraints.	Computational Logic	2000	DBLP DOI BibTeX RDF
7	John Derrick, Graeme Smith 0001	Structural Refinement in Object-Z/CSP.	IFM	2000	DBLP DOI BibTeX RDF
7	Dragan Gamberger, Goran Krstacic, Tomislav Smuc	Medical Expert Evaluation of Machine Learning Results for a Coronary Heart Disease Database.	ISMDA	2000	DBLP DOI BibTeX RDF
7	Dongyan Xu, Duangdao Wichadakul, Klara Nahrstedt	Multimedia Service Configuration and Reservation in Heterogeneous Environments.	ICDCS	2000	DBLP DOI BibTeX RDF
7	John Howse, Fernando Molina, John Taylor 0001	SD2: A Sound and Complete Diagrammatic Reasoning System.	VL	2000	DBLP DOI BibTeX RDF
7	Paul Dechering, Izak van Langevelde	On the Verification of Coordination.	COORDINATION	2000	DBLP DOI BibTeX RDF
7	Masatomo Hashimoto, Akinori Yonezawa	MobileML: A Programming Language for Mobile Computation.	COORDINATION	2000	DBLP DOI BibTeX RDF
7	Chunping Li	Representing the Process Semantics in the Event Calculus.	JELIA	2000	DBLP DOI BibTeX RDF
7	Gian Marco Bo, Daniele D. Caviglia, Maurizio Valle	An On-Chip Learning Neural Network.	IJCNN (4)	2000	DBLP DOI BibTeX RDF
7	Hitoshi Ohsaki, Aart Middeldorp, Jürgen Giesl	Equational Termination by Semantic Labelling.	CSL	2000	DBLP DOI BibTeX RDF
7	John Power, Edmund Robinson	Logical Relations and Data Abstraction.	CSL	2000	DBLP DOI BibTeX RDF	cartesian closed fibrations, interpretations, lambda calculus, logical relations
7	Binh Thanh Nguyen 0001, A Min Tjoa, Roland R. Wagner	Conceptual Multidimensional Data Model Based on MetaCube.	ADVIS	2000	DBLP DOI BibTeX RDF
7	Erik T. H. Fung	Abductive Approach to Prototyping Data Flow Diagrams.	APAQS	2000	DBLP DOI BibTeX RDF
7	Sheetanshu L. Pandey, Kothanda Umamageswaran, Philip A. Wilsey	VHDL semantics and validating transformations.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
7	Fiora Pirri, Raymond Reiter	Some Contributions to the Metatheory of the Situation Calculus.	J. ACM	1999	DBLP DOI BibTeX RDF	programming languages for the situation calculus, theorem-proving, regression, situation calculus
7	Wim H. Hesselink	Predicate Transformers for Recursive Procedures with Local Variables.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Frames, Predicate transformers, Proof rule, Recursive procedures
7	Naoki Kobayashi 0001, Benjamin C. Pierce, David N. Turner	Linearity and the pi-calculus.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	linear types, concurrency, pi-calculus, process calculi, confluence
7	Anatoli Degtyarev, Alexander V. Lyaletski, Marina K. Morokhovets	Evidence Algorithm and Sequent Logical Inference Search.	LPAR	1999	DBLP DOI BibTeX RDF
7	Ran Rinat, Menachem Magidor, Scott F. Smith 0001	Correspondence Polymorphism for Object-Oriented Languages.	OOPSLA	1999	DBLP DOI BibTeX RDF
7	Norbert Völker	Disjoint Sums over Type Classes in HOL.	TPHOLs	1999	DBLP DOI BibTeX RDF
7	Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen	A Programmer's Reduction Semantics for Classes and Mixins.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
7	Frédéric Benhamou, Laurent Granvilliers, Frédéric Goualard	Interval Constraints: Results and Perspectives.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF
7	Michele Boreale, Rocco De Nicola, Rosario Pugliese	Proof Techniques for Cryptographic Processes.	LICS	1999	DBLP DOI BibTeX RDF	Logical aspects of protocol security, Formal methods, Semantics, Concurrency
7	Anne E. Haxthausen, Jan Peleska 0001	Formal Development and Verification of a Distributed Railway Control System.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
7	Karl Crary, J. Gregory Morrisett	Type Structure for Low-Level Programming Languages.	ICALP	1999	DBLP DOI BibTeX RDF
7	Alfredo De Santis, Giovanni Di Crescenzo, Giuseppe Persiano	Non-Interactive Zero-Knowledge: A Low-Randomness Characterization of NP.	ICALP	1999	DBLP DOI BibTeX RDF
7	Andreas Podelski, Witold Charatonik, Martin Müller 0001	Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs.	ESOP	1999	DBLP DOI BibTeX RDF
7	Hardi Hungar	Model Checking and Higher-Order Recursion.	MFCS	1999	DBLP DOI BibTeX RDF
7	Andreas Abel 0001	Specification and Verification of a Formal System for Structurally Recursive Functions.	TYPES	1999	DBLP DOI BibTeX RDF
7	David Delahaye	Information Retrieval in a Coq Proof Library Using Type Isomorphisms.	TYPES	1999	DBLP DOI BibTeX RDF
7	Stefano Berretti, Alberto Del Bimbo, Pietro Pala	Retrieval by Shape Using Multidimensional Indexing Structures.	ICIAP	1999	DBLP DOI BibTeX RDF
7	Christophe Samson, Laure Blanc-Féraud, Josiane Zerubia, Gilles Aubert	Simultaneous Image Classification and Restoration Using a Variational Approach.	CVPR	1999	DBLP DOI BibTeX RDF	n-well potential, classification, minimization, satellite images, variational model, edge-preservation
7	Frédéric Goualard, Frédéric Benhamou	A Visualization Tool for Constraint Program Debugging.	ASE	1999	DBLP DOI BibTeX RDF	constraint store, user interface, program understanding, constraint programming, local consistency, debugger
7	Kee-Cheol Lee	A Technique of Dynamic Feature Selection Using the Feature Group Mutual Information.	PAKDD	1999	DBLP DOI BibTeX RDF	data mining, machine learning, feature selection, mutual information
7	Manuel Núñez 0001	An Axiomatization of Probabilistic Testing.	ARTS	1999	DBLP DOI BibTeX RDF
7	Peter Buneman, Benjamin C. Pierce	Union Types for Semistructured Data.	DBPL	1999	DBLP DOI BibTeX RDF
7	Massimo Franceschet, Angelo Montanari	Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events.	AI*IA	1999	DBLP DOI BibTeX RDF
7	Fariba Sadri, Francesca Toni	Abduction with Negation as Failure for Active and Reactive Rules.	AI*IA	1999	DBLP DOI BibTeX RDF
7	Jürgen Lampe	Depot4 - A generator for dynamically extensible translators.	Softw. Concepts Tools	1998	DBLP DOI BibTeX RDF	Translator generator, Java, Domain-specific languages, Extensibility, Oberon, EBNF
7	Beverly A. Sanders	Data Refinement of Mixed Specifications.	Acta Informatica	1998	DBLP DOI BibTeX RDF
7	Martin Wirsing, John N. Crossley, Hannes Peterreins	Proof Normalization of Structured Algebraic Specifications Is Convergent.	WADT	1998	DBLP DOI BibTeX RDF
7	Carlos Caleiro, Cristina Sernadas, Amílcar Sernadas	Parameterisation of Logics.	WADT	1998	DBLP DOI BibTeX RDF
7	Gerard J. Holzmann	On Checking Model Checkers.	CAV	1998	DBLP DOI BibTeX RDF
7	Amihai Motro, Igor Rakov	Estimating the Quality of Databases.	FQAS	1998	DBLP DOI BibTeX RDF
7	Andy S. Evans	Reasoning with UML Class Diagrams.	WIFT	1998	DBLP DOI BibTeX RDF
7	Alexander Leitsch	Decision Procedures and Model Building, or How to Improve Logical Information in Automated Deduction.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF
7	Martin Büchi, Wolfgang Weck	Compound Types for Java.	OOPSLA	1998	DBLP DOI BibTeX RDF	Java
7	W. O. David Griffioen, Marieke Huisman	A Comparison of PVS and Isabelle/HOL.	TPHOLs	1998	DBLP DOI BibTeX RDF
7	Preeti Ranjan Panda, Nikil D. Dutt, Alexandru Nicolau	Data Cache Sizing for Embedded Processor Applications.	DATE	1998	DBLP DOI BibTeX RDF
7	Rob J. van Glabbeek, Peter Rittgen	Scheduling Algebra.	AMAST	1998	DBLP DOI BibTeX RDF
7	Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard	Multi-Stage Programming: Axiomatization and Type Safety.	ICALP	1998	DBLP DOI BibTeX RDF
7	Martín Abadi, Andrew D. Gordon 0001	A Bisimulation Method for Cryptographic Protocols.	ESOP	1998	DBLP DOI BibTeX RDF
7	William L. Scherlis	Systematic Change of Data Representation: Program Manipulations and a Case Study.	ESOP	1998	DBLP DOI BibTeX RDF
7	Joëlle Despeyroux, Pierre Leleu	A Modal Lambda Calculus with Iteration and Case Constructs.	TYPES	1998	DBLP DOI BibTeX RDF
7	Viviana Bono, Kathleen Fisher	An Imperative, First-Order Calculus with Object Extension.	ECOOP	1998	DBLP DOI BibTeX RDF
7	Richard B. Kieburtz	Taming Effects with Monadic Typing.	ICFP	1998	DBLP DOI BibTeX RDF	ML
7	Serenella Cerrito, Marta Cialdea Mayer	Bounded Model Search in Linear Temporal Logic and Its Application to Planning.	TABLEAUX	1998	DBLP DOI BibTeX RDF
7	Pedro J. Martín, Antonio Gavilanes, Javier Leach	Free Variable Tableaux for a Logic with Term Declarations.	TABLEAUX	1998	DBLP DOI BibTeX RDF
7	Klaus Weich	Decision Procedures for Intuitionistic Propositional Logic by Program Extraction.	TABLEAUX	1998	DBLP DOI BibTeX RDF
7	Deepak Goyal, Robert Paige	A New Solution to the Hidden Copy Problem.	SAS	1998	DBLP DOI BibTeX RDF	Copy Optimization, Big Step Operational Semantics, Must Alias Analysis, Abstract Interpretation
7	Guillaume Poupard, Jacques Stern	Security Analysis of a Practical "on the fly" Authentication and Signature Generation.	EUROCRYPT	1998	DBLP DOI BibTeX RDF	general discrete logarithm problem, minimal on-line computation, low cost smart cards, digital signature, security analysis, Identification scheme
7	Marco Cadoli, Luigi Palopoli 0001, Francesco Scarcello	Propositional Lower Bounds: Generalization and Algorithms.	JELIA	1998	DBLP DOI BibTeX RDF
7	Timothy J. Hickey, Maarten H. van Emden, Huan Wu	A Unified Framework for Interval Constraints and Interval Arithmetic.	CP	1998	DBLP DOI BibTeX RDF
7	Qing Liu 0011	The OI-Resolution of Operator Rough Logic.	Rough Sets and Current Trends in Computing	1998	DBLP DOI BibTeX RDF