Search results for "soundness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
7	Kevin R. O'Neill, Michael R. Clarkson, Stephen Chong	Information-Flow Security for Interactive Programs.	CSFW	2006	DBLP DOI BibTeX RDF
7	Ugo Dal Lago	Context Semantics, Linear Logic and Computational Complexity.	LICS	2006	DBLP DOI BibTeX RDF
7	Jonathan Hayman, Glynn Winskel	Independence and Concurrent Separation Logic.	LICS	2006	DBLP DOI BibTeX RDF
7	Ioannis T. Kassios	Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions.	FM	2006	DBLP DOI BibTeX RDF	object orientation, framing
7	Albert Cohen 0001, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet	N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems.	POPL	2006	DBLP DOI BibTeX RDF	subtyping, synchronous languages, resource constraints, streaming applications, correctness by construction
7	Zhaozhong Ni, Zhong Shao	Certified assembly programming with embedded code pointers.	POPL	2006	DBLP DOI BibTeX RDF	embedded code pointers, hoare logic, proof-carrying code, higher-order functions
7	Hayo Thielecke	Frame rules from answer types for code pointers.	POPL	2006	DBLP DOI BibTeX RDF	code pointers, polymorphism, continuations, Hoare logic, typed assembly language
7	Kenji Saito, Eiichi Morino, Jun Murai	No Risk is Unsafe: Simulated Results on Dependability of Complementary Currencies.	ARES	2006	DBLP DOI BibTeX RDF
7	Ivan Visconti	Efficient Zero Knowledge on the Internet.	ICALP (2)	2006	DBLP DOI BibTeX RDF
7	Daniele Micciancio, Saurabh Panjwani	Corrupting One vs. Corrupting Many: The Case of Broadcast and Multicast Encryption.	ICALP (2)	2006	DBLP DOI BibTeX RDF
7	Pedro Adão, Cédric Fournet	Cryptographically Sound Implementations for Communicating Processes.	ICALP (2)	2006	DBLP DOI BibTeX RDF
7	Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer 0002	Infering Ownership Types for Encapsulated Object-Oriented Program Components.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
7	Tobias Gedell, Reiner Hähnle	Verification by Parallelization of Parametric Code.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
7	Kazuhiro Ogata 0001, Kokichi Futatsugi	Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
7	Satoru Suzuki	Prolegomena to General-Imaging-Based Probabilistic Dynamic Epistemic Logic.	JSAI	2006	DBLP DOI BibTeX RDF
7	Martín Abadi, Ricardo Corin, Cédric Fournet	Computational Secrecy by Typing for the Pi Calculus.	APLAS	2006	DBLP DOI BibTeX RDF
7	Lennart Beringer, Martin Hofmann 0001	A Bytecode Logic for JML and Types.	APLAS	2006	DBLP DOI BibTeX RDF
7	Nick Benton, Andrew Kennedy, Martin Hofmann 0001, Lennart Beringer	Reading, Writing and Relations.	APLAS	2006	DBLP DOI BibTeX RDF
7	Xavier Leroy	Coinductive Big-Step Operational Semantics.	ESOP	2006	DBLP DOI BibTeX RDF
7	Dachuan Yu, Nayeem Islam	A Typed Assembly Language for Confidentiality.	ESOP	2006	DBLP DOI BibTeX RDF
7	Marie-Christine Rousset, Philippe Adjiman, Philippe Chatalic, François Goasdoué, Laurent Simon	SomeWhere: A Scalable Peer-to-Peer Infrastructure for Querying Distributed Ontologies.	OTM Conferences (1)	2006	DBLP DOI BibTeX RDF
7	Danilo Ardagna, Gabriele Giunta, Nunzio Ingraffia, Raffaela Mirandola, Barbara Pernici	QoS-Driven Web Services Selection in Autonomic Grid Environments.	OTM Conferences (2)	2006	DBLP DOI BibTeX RDF
7	Ravi Kumar 0001, Kunal Punera, Andrew Tomkins	Hierarchical topic segmentation of websites.	KDD	2006	DBLP DOI BibTeX RDF	KL-distance, gain ratio, website hierarchy, website segmentation, classification, facility location, tree partitioning
7	James Cheney	The Semantics of Nominal Logic Programs.	ICLP	2006	DBLP DOI BibTeX RDF
7	Andreas Harrer, Nils Malzahn, Benedikt Roth	The Remote Control Approach - How to Apply Scaffolds to Existing Collaborative Learning Environments.	CRIWG	2006	DBLP DOI BibTeX RDF
7	Gang Gou, Maxim Kormilitsin, Rada Chirkova	Query evaluation using overlapping views: completeness and efficiency.	SIGMOD Conference	2006	DBLP DOI BibTeX RDF	rewriting queries using views, query optimization, materialized views
7	Hugo R. Simões, Kevin Hammond, Mário Florido, Pedro B. Vasconcelos	Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs.	TYPES	2006	DBLP DOI BibTeX RDF
7	Richard Bonichon, Olivier Hermant	On Constructive Cut Admissibility in Deduction Modulo.	TYPES	2006	DBLP DOI BibTeX RDF
7	Tae-hyung Kim, Carl K. Chang	An Aspect-Oriented Approach to Resource Composition in Petri net-based Software Architectural Models.	COMPSAC (1)	2006	DBLP DOI BibTeX RDF
7	Anduo Wang, Fei He 0001, Ming Gu 0001, Xiaoyu Song	Verifying Java Programs By Theorem Prover HOL.	COMPSAC (1)	2006	DBLP DOI BibTeX RDF
7	Axel Martens, Simon Moser	Diagnosing SCA Components Using Wombat.	Business Process Management	2006	DBLP DOI BibTeX RDF	Tool based Verification, SOA, Petri nets, Business Process Modeling, BPEL, Web service composition, State Machine
7	Greg Reeve, Steve Reeves	Logic and refinement for charts.	ACSC	2006	DBLP BibTeX RDF	ZC, refinement, logic, statecharts, reactive systems, Z
7	Toon Calders, Stijn Dekeyser, Jan Hidders, Jan Paredaens	Analyzing workflows implied by instance-dependent access rules.	PODS	2006	DBLP DOI BibTeX RDF
7	Luc Steels, Joachim De Beule	Unify and Merge in Fluid Construction Grammar.	EELC	2006	DBLP DOI BibTeX RDF
7	Zhijun Ding, Zhaohui Zhang, Changjun Jiang, Meiqin Pan	Formal Model of Workflow Integration and its Application in STISAG.	CSCWD	2006	DBLP DOI BibTeX RDF
7	Zhijun Ding, Yaying Zhang, Changjun Jiang, Zhaohui Zhang	Refinement of Petri Nets in Workflow Integration.	CSCWD (Selected Papers)	2006	DBLP DOI BibTeX RDF
7	Kaoru Kurosawa, Tsuyoshi Takagi	New Approach for Selectively Convertible Undeniable Signature Schemes.	ASIACRYPT	2006	DBLP DOI BibTeX RDF	selective conversion, RSA, undeniable signature
7	Davide Ancona, Giovanni Lagorio, Elena Zucca	Flexible Type-Safe Linking of Components for Java-Like Languages.	JMLC	2006	DBLP DOI BibTeX RDF
7	Bo Chen, Zhoujun Li 0001, Huowang Chen	A New Component-Oriented Programming Language with the First-Class Connector.	JMLC	2006	DBLP DOI BibTeX RDF
7	Lars Frantzen, Jan Tretmans, Tim A. C. Willemse	A Symbolic Framework for Model-Based Testing.	FATES/RV	2006	DBLP DOI BibTeX RDF
7	Grigori Mints	Unwinding a Non-effective Cut Elimination Proof.	CSR	2006	DBLP DOI BibTeX RDF
7	Michael Barnett 0001, David A. Naumann, Wolfram Schulte, Qi Sun	Allowing State Changes in Specifications.	ETRICS	2006	DBLP DOI BibTeX RDF
7	Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve	SAFECode: enforcing alias analysis for weakly typed languages.	PLDI	2006	DBLP DOI BibTeX RDF	automatic pool allocation, compilers, programming languages, alias analysis, region management
7	Xinyu Feng 0001, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni	Modular verification of assembly code with stack-based control abstractions.	PLDI	2006	DBLP DOI BibTeX RDF	assembly code verification, control abstractions, stack-based, modularity, proof-carrying code
7	Emery D. Berger, Benjamin G. Zorn	DieHard: probabilistic memory safety for unsafe languages.	PLDI	2006	DBLP DOI BibTeX RDF	DieHard, probabilistic memory safety, replication, randomization, dynamic memory allocation
7	Ming-Hsien Tsai 0001, Bow-Yaw Wang	Formalization of CTL* in Calculus of Inductive Constructions.	ASIAN	2006	DBLP DOI BibTeX RDF
7	Arnab Roy 0001, Anupam Datta, Ante Derek, John C. Mitchell, Jean-Pierre Seifert	Secrecy Analysis in Protocol Composition Logic.	ASIAN	2006	DBLP DOI BibTeX RDF
7	Maria Luisa Bonet, Jordi Levy, Felip Manyà	A Complete Calculus for Max-SAT.	SAT	2006	DBLP DOI BibTeX RDF
7	Michel Couprie, André Vital Saúde, Gilles Bertrand 0001	Euclidean homotopic skeleton based on critical kernels.	SIBGRAPI	2006	DBLP DOI BibTeX RDF
7	Hongseok Yang	Shape Analysis for Low-Level Code.	SAS	2006	DBLP DOI BibTeX RDF
7	Laércio Sambüc dos Anjos, José M. Parente de Oliveira	A Navigation Interface for Adaptive m-Learning Applications.	ICALT	2006	DBLP DOI BibTeX RDF
7	Adriana da Silva Jacinto, José Maria Parente de Oliveira	Structuring Semantic Web ITS.	ICALT	2006	DBLP DOI BibTeX RDF
7	Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida	Bounded Session Types for Object Oriented Languages.	FMCO	2006	DBLP DOI BibTeX RDF
7	Xuemeng Zhang, Rongcai Zhao, Jianmin Pang	Semantic Abstraction of IA-64 Multimedia Instructions.	SKG	2006	DBLP DOI BibTeX RDF	multimedia instructions, semantic abstraction, binary translation, IA-64
7	Zhenghua Pan	Relation between Semantic Completeness and Syntax Completeness on General Formal Systems.	SKG	2006	DBLP DOI BibTeX RDF
7	Ueli M. Maurer, Yvonne Anne Oswald, Krzysztof Pietrzak, Johan Sjödin	Luby-Rackoff Ciphers from Weak Round Functions?	EUROCRYPT	2006	DBLP DOI BibTeX RDF
7	Stephanie Wehner	Entanglement in Interactive Proof Systems with Binary Answers.	STACS	2006	DBLP DOI BibTeX RDF
7	Thomas Tuerk, Klaus Schneider 0001, Mike Gordon	Model Checking PSL Using HOL and SMV.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
7	Maribel Fernández, Fabien Fleutot	A historic functional and object-oriented calculus.	PPDP	2006	DBLP DOI BibTeX RDF	functional programming, pattern-matching, objects, types
7	Tom Schrijvers, Maurice Bruynooghe	Polymorphic algebraic data type reconstruction.	PPDP	2006	DBLP DOI BibTeX RDF	polymorphic recursion, type definition, type reconstruction, parametric polymorphism, algebraic data type
7	Davide Sangiorgi	The Bisimulation Proof Method: Enhancements and Open Problems.	FMOODS	2006	DBLP DOI BibTeX RDF
7	Erika Ábrahám, Andreas Grüner, Martin Steffen	Abstract Interface Behavior of Object-Oriented Languages with Monitors.	FMOODS	2006	DBLP DOI BibTeX RDF	oo languages, thread-based concurrency, observable behavior, monitors, open systems, formal semantics
7	Rodrigo Ramos, Augusto Sampaio, Alexandre Mota 0001	Transformation Laws for UML-RT.	FMOODS	2006	DBLP DOI BibTeX RDF
7	Xia Wu, Jigui Sun, Shuai Lu 0001, Ying Li, Wei Meng, Minghao Yin	Improved Propositional Extension Rule.	RSKT	2006	DBLP DOI BibTeX RDF	Extension rule, reduced rule, theorem proving, propositional logic
7	Qing Liu 0011, Hui Sun	Theoretical Study of Granular Computing.	RSKT	2006	DBLP DOI BibTeX RDF	Granular logic, closeness degree, granular computing
7	José Luis Aznarte, José Manuel Benítez	On the Identifiability of TSK Additive Fuzzy Rule-Based Models.	SMPS	2006	DBLP DOI BibTeX RDF
7	Yuen-Yan Chan, Jin Li 0002	BGN Authentication and Its Extension to Convey Message Commitments.	ICCSA (3)	2006	DBLP DOI BibTeX RDF
7	Misook Choi, Jongsuk Lee, Jong-Sung Ha	A Component Cohesion Metric Applying the Properties of Linear Increment by Dynamic Dependency Relationships Between Classes.	ICCSA (2)	2006	DBLP DOI BibTeX RDF
7	Misook Choi, Seojeong Lee	A Coupling Metric Applying the Characteristics of Components.	ICCSA (4)	2006	DBLP DOI BibTeX RDF
7	Svetlana Stolpner, Kaleem Siddiqi	Revealing Significant Medial Structure in Polyhedral Meshes.	3DPVT	2006	DBLP DOI BibTeX RDF
7	Guido Tack, Christian Schulte 0001, Gert Smolka	Generating Propagators for Finite Set Constraints.	CP	2006	DBLP DOI BibTeX RDF
7	Xinghua Fan, Difei Wan, Guoying Wang	Combining Bi-gram of Character and Word to Classify Two-Class Chinese Texts in Two Steps.	RSCTC	2006	DBLP DOI BibTeX RDF
7	Sergio Antoy, Daniel W. Brown, Su-Hui Chiang	On the Correctness of Bubbling.	RTA	2006	DBLP DOI BibTeX RDF
7	Marisa Llorens, Javier Oliver 0001	Marked-Controlled Reconfigurable Workflow Nets.	SYNASC	2006	DBLP DOI BibTeX RDF
7	Deepak Garg 0001, Lujo Bauer, Kevin D. Bowers, Frank Pfenning, Michael K. Reiter	A Linear Logic of Authorization and Knowledge.	ESORICS	2006	DBLP DOI BibTeX RDF
7	Erika Ábrahám, Andreas Grüner, Martin Steffen	Heap-Abstraction for an Object-Oriented Calculus with Thread Classes.	CiE	2006	DBLP DOI BibTeX RDF
7	Carmen Zannier, Grigori Melnik, Frank Maurer	On the success of empirical studies in the international conference on software engineering.	ICSE	2006	DBLP DOI BibTeX RDF	empirical evaluation
7	William D. Henderson, Steven Tron	Verification of The Minimum Cost Forwarding Protocol for Wireless Sensor Networks.	ETFA	2006	DBLP DOI BibTeX RDF
7	Klaus Duellmann	Basel II - Achievements and Challenges.	OR	2006	DBLP DOI BibTeX RDF
7	Zining Cao	A Complete Probabilistic Belief Logic.	CLIMA	2006	DBLP DOI BibTeX RDF
7	Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula	A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety.	VMCAI	2006	DBLP DOI BibTeX RDF
7	Jianping Xing, Lin Zhao, Lingguo Meng	The Research of a New Workflow Model with Step-Task Layers Based on XML Documents.	Web Intelligence	2006	DBLP DOI BibTeX RDF
7	Ursula Martin, Erik Arne Mathiesen, Paulo Oliva	Hoare Logic in the Abstract.	CSL	2006	DBLP DOI BibTeX RDF
7	Ulrich Schöpp	Space-Efficient Computation by Interaction.	CSL	2006	DBLP DOI BibTeX RDF
7	Leila Ben Othman, Sadok Ben Yahia	Yet Another Approach for Completing Missing Values.	CLA	2006	DBLP DOI BibTeX RDF	Generic Association Rule Bases, Missing Values Completion, Data mining, Formal Concept Analysis
7	Shai Halevi, Hugo Krawczyk	Strengthening Digital Signatures Via Randomized Hashing.	CRYPTO	2006	DBLP DOI BibTeX RDF
7	Rachid Echahed, Nicolas Peltier	Narrowing Data-Structures with Pointers.	ICGT	2006	DBLP DOI BibTeX RDF
7	Faliang Huang, Shichao Zhang 0001	Clustering Web Documents Based on Knowledge Granularity.	APWeb	2006	DBLP DOI BibTeX RDF
7	Ioannis Kontogounis, Kyriakos C. Chatzidimitriou, Andreas L. Symeonidis, Pericles A. Mitkas	A Robust Agent Design for Dynamic SCM Environments.	SETN	2006	DBLP DOI BibTeX RDF
7	Uday P. Khedker	Static Analysis of Programs: A Heap Centric View.	SEFM	2006	DBLP DOI BibTeX RDF
7	Hervé Paulino, Luís M. B. Lopes	A service-oriented language for programming mobile agents.	AAMAS	2006	DBLP DOI BibTeX RDF	mobile agents, programming language, service-oriented
7	Reiner Dojen, Tom Coffey	The concept of layered proving trees and its application to the automation of security protocol verification.	ACM Trans. Inf. Syst. Secur.	2005	DBLP DOI BibTeX RDF	automated protocol verification, logic-based verification of security protocols, cryptography, Security protocols, cryptographic protocols
7	Xinwen Zhang, Francesco Parisi-Presicce, Ravi S. Sandhu, Jaehong Park	Formal model and policy specification of usage control.	ACM Trans. Inf. Syst. Secur.	2005	DBLP DOI BibTeX RDF	Access control, formal specification, security policy, usage control
7	Chris Marriott, John Watrous	Quantum Arthur-Merlin games.	Comput. Complex.	2005	DBLP DOI BibTeX RDF	68Q15, Subject classification. 68Q10
7	Maria Emilia Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter	Relating Categorical Semantics for Intuitionistic Linear Logic.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	intuitionistic linear logic, symmetric monoidal closed categories, symmetric monoidal adjunctions, typed lambda calculus
7	Yufei Shu, Kazuo Furuta	An inference method of team situation awareness based on mutual awareness.	Cogn. Technol. Work.	2005	DBLP DOI BibTeX RDF	Team situation awareness, Mutual awareness, Cooperative activity, TSA inference, Team-machine interaction
7	Naoki Kobayashi 0001	Type-based information flow analysis for the pi-calculus.	Acta Informatica	2005	DBLP DOI BibTeX RDF
7	V. Vipindeep, Pankaj Jalote	Efficient static analysis with path pruning using coverage data.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	testing, static analysis, program checking
7	Arnon Avron	A Non-deterministic View on Non-classical Negations.	Stud Logica	2005	DBLP DOI BibTeX RDF	Non-deterministic Semantics, Many-valued Logics, Paraconsistent Logics, Negation, Constructive Logics
7	Torben Braüner	Natural Deduction for First-Order Hybrid Logic.	J. Log. Lang. Inf.	2005	DBLP DOI BibTeX RDF	First-order hybrid logic, first-order modal logic, natural deduction