Search results for "soundness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
7	Yevgeniy Dodis, Leonid Reyzin, Ronald L. Rivest, Emily Shen	Indifferentiability of Permutation-Based Compression Functions and Tree-Based Modes of Operation, with Applications to MD6.	FSE	2009	DBLP DOI BibTeX RDF
7	Hong Liu 0012, Jayathi Raghavan	A Mathematical Modeling Module with System Engineering Approach for Teaching Undergraduate Students to Conquer Complexity.	ICCS (2)	2009	DBLP DOI BibTeX RDF	Compartmental Analysis, Query-Based Modeling Process, Kolb Cognitive Complexity, Validation and Verification
7	Marwan Abi-Antoun, Jonathan Aldrich	Static extraction of sound hierarchical runtime object graphs.	TLDI	2009	DBLP DOI BibTeX RDF	architectural extraction, ownership domains, object graphs, runtime architecture
7	Rémi Douence, Xavier Lorca, Nicolas Loriant	Lazy Composition of Representations in Java.	SC@TOOLS	2009	DBLP DOI BibTeX RDF
7	Olivier Biton, Susan B. Davidson, Sanjeev Khanna, Sudeepa Roy	Optimizing user views for workflows.	ICDT	2009	DBLP DOI BibTeX RDF
7	Carl Eastlund, Matthias Felleisen	Making induction manifest in modular ACL2.	PPDP	2009	DBLP DOI BibTeX RDF	theorem provers, acl2, module systems
7	Matthew Hague, C.-H. Luke Ong	Winning Regions of Pushdown Parity Games: A Saturation Method.	CONCUR	2009	DBLP DOI BibTeX RDF
7	Ana Almeida Matos	Flow Policy Awareness for Distributed Mobile Code.	CONCUR	2009	DBLP DOI BibTeX RDF
7	Uwe Keller, Stijn Heymans	Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm.	LFCS	2009	DBLP DOI BibTeX RDF
7	Kyoung-Don Kang, Can Basaran	Adaptive Data Replication for Load Sharing in a Sensor Data Center.	ICDCS Workshops	2009	DBLP DOI BibTeX RDF
7	Cristian Ene, Yassine Lakhnech, Van Chan Ngo	Formal Indistinguishability Extended to the Random Oracle Model.	ESORICS	2009	DBLP DOI BibTeX RDF
7	Ron van der Meyden	Architectural Refinement and Notions of Intransitive Noninterference.	ESSoS	2009	DBLP DOI BibTeX RDF
7	Martin Hofmann 0001, Dulma Rodriguez	Efficient Type-Checking for Amortised Heap-Space Analysis.	CSL	2009	DBLP DOI BibTeX RDF	Resource analysis, Semantics, OOP, Type systems
7	David Turner, Glynn Winskel	Nominal Domain Theory for Concurrency.	CSL	2009	DBLP DOI BibTeX RDF
7	Andreas Abel 0001	Typed Applicative Structures and Normalization by Evaluation for System Fomega.	CSL	2009	DBLP DOI BibTeX RDF
7	Guillaume Stempfel, Liva Ralaivola	Learning SVMs from Sloppily Labeled Data.	ICANN (1)	2009	DBLP DOI BibTeX RDF
7	Yael Tauman Kalai, Ran Raz	Probabilistically Checkable Arguments.	CRYPTO	2009	DBLP DOI BibTeX RDF
7	Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon 0001	A compositional theory for STM Haskell.	Haskell	2009	DBLP DOI BibTeX RDF	transactional memory, compositional reasoning, ambient calculus
7	Tsz Hon Yuen, Qiong Huang 0001, Yi Mu 0001, Willy Susilo, Duncan S. Wong, Guomin Yang	Efficient Non-interactive Range Proof.	COCOON	2009	DBLP DOI BibTeX RDF
7	Jan Jürjens, Tjark Weber	Finite Models in FOL-Based Crypto-Protocol Verification.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
7	Ming Fu, Yu Zhang 0086, Yong Li	Formal Reasoning about Concurrent Assembly Code with Reentrant Locks.	TASE	2009	DBLP DOI BibTeX RDF
7	Bernd Fischer 0002, Ando Saabas, Tarmo Uustalu	Program Repair as Sound Optimization of Broken Programs.	TASE	2009	DBLP DOI BibTeX RDF
7	Anne Schlicht, Heiner Stuckenschmidt	Distributed Resolution for Expressive Ontology Networks.	RR	2009	DBLP DOI BibTeX RDF
7	Jian Feng Zhang, Quoc Bao Vo, Ryszard Kowalczyk	Theoretic study of distributed graph planning.	AAMAS (2)	2009	DBLP BibTeX RDF	distributed planning graph, multi-agent planning
7	Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, María Magdalena Fernández-Lebrón	Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF	Conservative retraction, Independence Rule, boolean derivatives
7	Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani	A type system for data-flow integrity on Windows Vista.	ACM SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	data-flow integrity, hybrid type system, explicit substitution, dynamic access control
7	Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni	Verifiable agent interaction in abductive logic programming: The SCIFF framework.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	Abductive logic programming, IFF proof procedure, SCIFF, SOCS (SOcieties of ComputeeS), formal properties, proof-procedures, declarative semantics, agent interaction protocols
7	Jiefei Ma, Alessandra Russo, Krysia Broda, Keith Clark	DARE: a system for distributed abductive reasoning.	Auton. Agents Multi Agent Syst.	2008	DBLP DOI BibTeX RDF	Distributed inference, Multi-thread Prolog, Abduction
7	Erika Ábrahám, Andreas Grüner, Martin Steffen	Heap-abstraction for an object-oriented calculus with thread classes.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Class-based OO languages, Thread-based concurrency, Heap abstraction, Observable behavior, Open systems, Formal semantics
7	Julio Mariño, Juan José Moreno-Navarro, Susana Muñoz-Hernández	Implementing Constructive Intensional Negation.	New Gener. Comput.	2008	DBLP DOI BibTeX RDF	Intensional Negation, Logic Programming Implementation, Program Transformation, Constraint Logic Programming, Negation, Constructive Negation
7	PengCheng Xiong, Yushun Fan, MengChu Zhou	QoS-Aware Web Service Configuration.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
7	Erika Ábrahám, Andreas Grüner, Martin Steffen	Abstract Interface Behavior of Object-Oriented Languages with Monitors.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Thread-based concurrency, Observable interface behavior, Monitors, Open systems, Object oriented languages, Formal semantics
7	Saurabh Srivastava 0001, Michael Hicks 0001, Jeffrey S. Foster, Patrick Jenkins	Modular Information Hiding and Type-Safe Linking for C.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	Reliability, Information hiding, Modules, packages, Code design, Coding Tools and Techniques
7	Bernhard Heinemann	A Hybrid Logic for Reasoning about Knowledge and Topology.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	The logic of knowledge, Nominalstructure for subset spaces, Algebras of sets, Hybrid logic, Topological reasoning
7	David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge	A formal and sound transformation from Focal to UML : an application to airport security regulations.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Airport security regulations, UML, Formal methods, Focal, Graphical documentation
7	Sandip Ray, Warren A. Hunt Jr., John Matthews, J Strother Moore	A Mechanical Analysis of Program Verification Strategies.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Inductive assertions, Partial correctness, Theorem proving, Invariants, Total correctness
7	Yixiang Chen, Hengyang Wu	Semantics of sub-probabilistic programs.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	sub-probabilistic programs, wp-calculus, total correctness
7	Murdoch James Gabbay, Aad Mathijssen	Capture-avoiding substitution as a nominal algebra.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Nominal techniques, Nominal algebra, Capture-avoidance, Nominal rewriting, Omega-completeness, Binding, Substitution
7	Joseph M. Morris, Malcolm Tyrrell	Dually nondeterministic functions.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Angelic nondeterminacy, demonic nondeterminacy, free completely distributive lattice, modeling nondeterminacy, nondeterministic functions, nondeterminism
7	Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray	A semantics-based approach to malware detection.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	abstract interpretation, obfuscation, Malware detection, trace semantics
7	Moritz Y. Becker, Sebastian Nanz	The Role of Abduction in Declarative Authorization Policies.	PADL	2008	DBLP DOI BibTeX RDF	authorization language, access control, Datalog, abduction
7	Mario Coppo, Mariangiola Dezani-Ciancaglini	Structured Communications with Concurrent Constraints.	TGC	2008	DBLP DOI BibTeX RDF
7	Kristina Sojakova, Florian Rabe 0001	Translating a Dependently-Typed Logic to First-Order Logic.	WADT	2008	DBLP DOI BibTeX RDF
7	Hung-Min Sun, King-Hang Wang	Defending Secret-Key Based Authentication Protocols against the Stolen-Secret Attack.	ISECS	2008	DBLP DOI BibTeX RDF
7	Ryan Q. Hankins, Jigang Liu	Towards a forensic-aware file system.	EIT	2008	DBLP DOI BibTeX RDF
7	Olivier Danvy, Jacob Johannsen	Inter-deriving Semantic Artifacts for Object-Oriented Programming.	WoLLIC	2008	DBLP DOI BibTeX RDF
7	Laurent Hubert	A non-null annotation inferencer for Java bytecode.	PASTE	2008	DBLP DOI BibTeX RDF	Java, static analysis, annotation, inference, NonNull
7	Ariel Cohen 0002, Amir Pnueli, Lenore D. Zuck	Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses.	CAV	2008	DBLP DOI BibTeX RDF
7	Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin	A practical and precise inference and specializer for array bound checks elimination.	PEPM	2008	DBLP DOI BibTeX RDF	size properties, dependent types, safety verification
7	Michele Mancioppi, Manuel Carro, Willem-Jan van den Heuvel, Mike P. Papazoglou	Sound Multi-party Business Protocols for Service Networks.	ICSOC	2008	DBLP DOI BibTeX RDF
7	Ismael Galindo, Francisco Almeida, José Manuel Badía-Contelles	Dynamic Load Balancing on Dedicated Heterogeneous Systems.	PVM/MPI	2008	DBLP DOI BibTeX RDF
7	Marcio Buss, Daniel Brand, Vugranam C. Sreedhar, Stephen A. Edwards	Flexible pointer analysis using assign-fetch graphs.	SAC	2008	DBLP DOI BibTeX RDF	summary-based analysis, static analysis, pointer analysis
7	Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells	A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables.	ICTAC	2008	DBLP DOI BibTeX RDF
7	Sidney C. Nogueira, Augusto Sampaio, Alexandre Mota 0001	Guided Test Generation from CSP Models.	ICTAC	2008	DBLP DOI BibTeX RDF
7	Maayan Zhitomirsky-Geffet, Judit Bar-Ilan, Yitzchak Miller, Snunith Shoham	A generic framework for collaborative multi-perspective ontology acquisition.	WWW	2008	DBLP DOI BibTeX RDF	collaborative multi-perspective ontology
7	João Pedro Sousa, Bradley R. Schmerl, Vahe Poladian, Alexander Brodsky 0001	uDesign: End-User Design Applied to Monitoring and Control Applications for Smart Spaces.	WICSA	2008	DBLP DOI BibTeX RDF	end-user design, ubiquitous computing, software architecture, ambient intelligence
7	Jonathan Katz	Which Languages Have 4-Round Zero-Knowledge Proofs?	TCC	2008	DBLP DOI BibTeX RDF
7	Tien N. Nguyen	Component-Based Software Update Process in Collaborative Software Development.	APSEC	2008	DBLP DOI BibTeX RDF
7	Amir Pnueli	Using Abstraction to Verify Arbitrary Temporal Properties.	APSEC	2008	DBLP DOI BibTeX RDF
7	François Pottier	Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule.	LICS	2008	DBLP DOI BibTeX RDF	Proofs of programs, hidden local state, higher-order frame rule, separation logic, dynamic memory allocation
7	Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen	Lazy Behavioral Subtyping.	FM	2008	DBLP DOI BibTeX RDF
7	Arsenii Rudich, Ádám Darvas, Peter Müller 0001	Checking Well-Formedness of Pure-Method Specifications.	FM	2008	DBLP DOI BibTeX RDF
7	Michael Ben-Or, Avinatan Hassidim, Haran Pilpel	Quantum Multi Prover Interactive Proofs with Communicating Provers.	FOCS	2008	DBLP DOI BibTeX RDF
7	Cédric Fournet, Tamara Rezk	Cryptographically sound implementations for typed information-flow security.	POPL	2008	DBLP DOI BibTeX RDF	probabilistic programs, cryptography, compilers, integrity, type systems, computational model, confidentiality, non-interference, secure information flow
7	James Brotherston, Richard Bornat, Cristiano Calcagno	Cyclic proofs of program termination in separation logic.	POPL	2008	DBLP DOI BibTeX RDF	cyclic proof, program verification, termination, hoare logic, separation logic, inductive definitions
7	Brian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich	Engineering formal metatheory.	POPL	2008	DBLP DOI BibTeX RDF	locally nameless, binding, coq
7	Sumit Gulwani, Bill McCloskey, Ashish Tiwari 0001	Lifting abstract interpreters to quantified logical domains.	POPL	2008	DBLP DOI BibTeX RDF	logical lattices, quantified invariants, underapproximation algorithms, abstract interpreter
7	Marcus Völp	Statically Checking Confidentiality of Shared Memory Programs with Dynamic Labels.	ARES	2008	DBLP DOI BibTeX RDF	information flow, language-based security
7	Matthias Wölfel	Integration of the predictedwalk model estimate into the particle filter framework.	ICASSP	2008	DBLP DOI BibTeX RDF
7	Doina Bucur, Mogens Nielsen	Secure Data Flow in a Calculus for Context Awareness.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF	security, Ubiquitous Computing, context awareness, type system, Mobile Ambients
7	Daniel Lehmann 0001	Connectives in Cumulative Logics.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
7	Kazuhiro Minami, Adam J. Lee, Marianne Winslett, Nikita Borisov	Secure aggregation in a publish-subscribe system.	WPES	2008	DBLP DOI BibTeX RDF	integrity, aggregation, data privacy, publish-subscribe system
7	Bo Meng	A Formal Analysis of Coercion-Resistance of the Internet Voting Protocol Based on DKR Formal Model.	ISIP	2008	DBLP DOI BibTeX RDF	internet voting protocol, formal analysis, coercion-resistance
7	Liqian Chen, Antoine Miné, Patrick Cousot	A Sound Floating-Point Polyhedra Abstract Domain.	APLAS	2008	DBLP DOI BibTeX RDF
7	Sergio Maffeis, John C. Mitchell, Ankur Taly	An Operational Semantics for JavaScript.	APLAS	2008	DBLP DOI BibTeX RDF
7	Hong Feng Lai, J. L. Hong, Wang Han Jeng	Model E-contract Update by Coloured Activity Net.	APSCC	2008	DBLP DOI BibTeX RDF
7	Tassos Dimitriou, Ghassan Karame, Ioannis T. Christou	SuperTrust - A Secure and Efficient Framework for Handling Trust in Super Peer Networks.	ICDCN	2008	DBLP DOI BibTeX RDF
7	Rasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett	A Realizability Model for Impredicative Hoare Type Theory.	ESOP	2008	DBLP DOI BibTeX RDF
7	Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson	Iterative Specialisation of Horn Clauses.	ESOP	2008	DBLP DOI BibTeX RDF
7	Scott Owens	A Sound Semantics for OCamllight.	ESOP	2008	DBLP DOI BibTeX RDF
7	Rishi Graham, Jorge Cortés 0001	A cooperative deployment strategy for optimal sampling in spatiotemporal estimation.	CDC	2008	DBLP DOI BibTeX RDF
7	Yi Li	A New Approach to Teaching Logic in Discrete Mathematics.	ICYCS	2008	DBLP DOI BibTeX RDF
7	Erez Shalom, Yuval Shahar, Meirav Taieb-Maimon, Guy Bar, Susana B. Martins, Ohad Young, Laszlo T. Vaszar, Yair Liel, Avi Yarkoni, Mary K. Goldstein, Akiva Leibowitz, Tal Marom, Eitan Lunenfeld	Can Physicians Structure Clinical Guidelines? Experiments with a Mark-Up-Process Methodology.	K4HelP	2008	DBLP DOI BibTeX RDF	Mark-up, Ontologies, Evaluation, Knowledge acquisition, Completeness, Correctness, Clinical guidelines, Clinical decision support systems
7	Richard B. Scherl, Tran Cao Son, Chitta Baral	State-Based Regression with Sensing and Knowledge.	PRICAI	2008	DBLP DOI BibTeX RDF	Plans, Regression, Knowledge, Sensing
7	Tom Schrijvers	Constraint Handling Rules.	ICLP	2008	DBLP DOI BibTeX RDF
7	Jan Tretmans	Model Based Testing with Labelled Transition Systems.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
7	Erik Ernst	First-Class Object Sets.	TYPES	2008	DBLP DOI BibTeX RDF	Object sets, multi-object method calls, composition, types
7	Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi	Towards a Type Discipline for Answer Set Programming.	TYPES	2008	DBLP DOI BibTeX RDF	many sorted interpretation, type checking, Answer set programming, grounding
7	Clément Houtmann	Axiom Directed Focusing.	TYPES	2008	DBLP DOI BibTeX RDF	superdeduction, Proof theory, focusing, deduction modulo
7	María-del-Mar Gallardo, Pedro Merino 0001, David Sanán	Model Checking C Programs with Dynamic Memory Allocation.	COMPSAC	2008	DBLP DOI BibTeX RDF	software model checking, pointers, dynamic memory, Model extraction
7	Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory	Testing Software Product Lines Using Incremental Test Generation.	ISSRE	2008	DBLP DOI BibTeX RDF
7	Denis Silva Loubach, Diogo B. Ramos, Osamu Saotome, Adilson Marques da Cunha	Comparing Source Codes Generated by CASE Tools with Hand Coded.	ITNG	2008	DBLP DOI BibTeX RDF	static metrics, software quality, source code, CASE tools, real time embedded systems
7	Penousal Machado, Juan Romero, Bill Z. Manaris	Experiments in Computational Aesthetics.	The Art of Artificial Evolution	2008	DBLP DOI BibTeX RDF
7	Alfredo Cuzzocrea, Vincenzo Russo, Domenico Saccà	A Robust Sampling-Based Framework for Privacy Preserving OLAP.	DaWaK	2008	DBLP DOI BibTeX RDF
7	Kathryn E. Gray	Safe Cross-Language Inheritance.	ECOOP	2008	DBLP DOI BibTeX RDF
7	Anindya Banerjee 0001, David A. Naumann, Stan Rosenberg	Regional Logic for Local Reasoning about Global Invariants.	ECOOP	2008	DBLP DOI BibTeX RDF
7	Nicholas Cameron 0001, Sophia Drossopoulou, Erik Ernst	A Model for Java with Wildcards.	ECOOP	2008	DBLP DOI BibTeX RDF
7	Sven Apel, Christian Kästner, Christian Lengauer	Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement.	GPCE	2008	DBLP DOI BibTeX RDF	safe feature composition, type systems, stepwise refinement, feature-oriented programming, featherweight java
7	Tetsuo Kamina, Tetsuo Tamai	Lightweight dependent classes.	GPCE	2008	DBLP DOI BibTeX RDF	class-based languages, dependent classes, mutually recursive extensions, generics, type safety
7	Arthur Charguéraud, François Pottier	Functional translation of a calculus of capabilities.	ICFP	2008	DBLP DOI BibTeX RDF	type systems, effects, monads, aliasing, linearity, capabilities, regions, ownership