Search results for "soundness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
7	Tetsuo Kamina, Tetsuo Tamai	Lightweight scalable components.	GPCE	2007	DBLP DOI BibTeX RDF	FGJ, pamily polymorphism, scalable java, type parameter members, parametric polymorphism
7	Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa	Ott: effective tool support for the working semanticist.	ICFP	2007	DBLP DOI BibTeX RDF
7	Frank Pfenning	Subtyping and intersection types revisited.	ICFP	2007	DBLP DOI BibTeX RDF
7	Anders Moen Hagalisletto	Validating Attacks on Authentication Protocols.	ISCC	2007	DBLP DOI BibTeX RDF
7	Peter Müller 0001, Martin Nordio	Proof-transforming compilation of programs with abrupt termination.	SAVCBS	2007	DBLP DOI BibTeX RDF	proof-transforming compiler, proof-carrying code, trusted components
7	Julian Dolby, Mandana Vaziri, Frank Tip	Finding bugs efficiently with a SAT solver.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	model checking, specification, slicing, SAT solving
7	Naiqin Feng, Zhanjie Guo, Liuqun Dang, Yajie Dong	How 'Soft' Soft Computing Is: On the Ordering of Fuzzy Sets.	ICIC (3)	2007	DBLP DOI BibTeX RDF	Classical Computing(CC), Soft Computing (SC), Fuzzy Logic(FL), Fuzzy Set, Collision Resolution
7	Bernhard Heinemann	A PDL-Like Logic of Knowledge Acquisition.	CSR	2007	DBLP DOI BibTeX RDF	knowledge acquisition, topological reasoning, propositional dynamic logic, logics of knowledge
7	Zhiguo Zhang, Yunfei Jiang	Parallel First-Order Dynamic Logic and Its Expressiveness and Axiomatization.	APPT	2007	DBLP DOI BibTeX RDF	Parallel actions, First-order logic, Expressiveness, Dynamic logic, Axiomatization
7	Carmen Bratosin, Kees M. van Hee, Natalia Sidorova	Adaptive Workflow Nets for Grid Computing.	PaCT	2007	DBLP DOI BibTeX RDF	modeling, verification, grid computing, Petri nets, workflows, coordination
7	Roger Antonsen, Arild Waaler	A Labelled System for IPL with Variable Splitting.	CADE	2007	DBLP DOI BibTeX RDF
7	Peter Baumgartner 0001, Ulrich Furbach, Björn Pelzer	Hyper Tableaux with Equality.	CADE	2007	DBLP DOI BibTeX RDF
7	Didier Rémy	MLF for everyone (users, implementers, and designers).	ML	2007	DBLP DOI BibTeX RDF	graphs, ML, types, type inference, unification, System F, binders, type constraints, MLF
7	Stephen McCamant, Michael D. Ernst	A simulation-based proof technique for dynamic information flow.	PLAS	2007	DBLP DOI BibTeX RDF	implicit flow, dynamic analysis, information-flow analysis
7	Michele Bugliesi, Damiano Macedonio, Sabina Rossi	Static vs Dynamic Typing for Access Control in Pi-Calculus.	ASIAN	2007	DBLP DOI BibTeX RDF
7	Wolf-Tilo Balke, Ulrich Güntzer, Christoph Lofi	Eliciting Matters - Controlling Skyline Sizes by Incremental Integration of User Preferences.	DASFAA	2007	DBLP DOI BibTeX RDF	partial order preferences, personalization, skyline queries
7	David Monniaux	Verification of device drivers and intelligent controllers: a case study.	EMSOFT	2007	DBLP DOI BibTeX RDF	OHCI, direct memory access, verification, parallelism, asynchronous, device driver, linked lists, USB
7	Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala	Tableau Systems for Logics of Subinterval Structures over Dense Orderings.	TABLEAUX	2007	DBLP DOI BibTeX RDF
7	James Brotherston	Formalised Inductive Reasoning in the Logic of Bunched Implications.	SAS	2007	DBLP DOI BibTeX RDF
7	Huibiao Zhu, Jifeng He 0001, Jonathan P. Bowen	Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability.	SEW	2007	DBLP DOI BibTeX RDF
7	Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller 0001, Alexander J. Summers	Universe Types for Topology and Encapsulation.	FMCO	2007	DBLP DOI BibTeX RDF
7	Stefan Hallerstede, Thai Son Hoang	Qualitative Probabilistic Modelling in Event-B.	IFM	2007	DBLP DOI BibTeX RDF
7	Ying Liu 0004, Han Tong Loh	Corpus Building for Corporate Knowledge Discovery and Management: A Case Study of Manufacturing.	KES (1)	2007	DBLP DOI BibTeX RDF
7	Tal Grinshpoun, Amnon Meisels	CompAPO: A Complete Version of the APO Algorithm.	IAT	2007	DBLP DOI BibTeX RDF
7	Wei Wu 0001, Yi Mu 0001, Willy Susilo, Xinyi Huang 0001	Convertible Undeniable Proxy Signatures: Security Models and Efficient Construction.	WISA	2007	DBLP DOI BibTeX RDF	Security models, Proxy signatures, Undeniable signatures, Security proof, Convertible
7	Xinyu Feng 0001, Zhaozhong Ni, Zhong Shao, Yu Guo	An open framework for foundational proof-carrying code.	TLDI	2007	DBLP DOI BibTeX RDF	foundational proof-carrying code, open framework, interoperability, modularity, program verification
7	Thomas Noll 0001, Bastian Schlich	Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
7	Tai-Wen Yue, Zou Zhong Lee	A Q'tron Neural-Network Approach to Solve the Graph Coloring Problems.	ICTAI (1)	2007	DBLP DOI BibTeX RDF
7	Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández	A simple rewrite notion for call-time choice semantics.	PPDP	2007	DBLP DOI BibTeX RDF	constructor-based rewriting logic, local bindings, non-determinism calltime choice semantics, sharing, term rewriting systems, functional-logic programming
7	Josh Berdine	Local reasoning about storable locks.	PPDP	2007	DBLP DOI BibTeX RDF
7	Misook Choi, Jongsuk Lee	A Dynamic Coupling for Reusable and Efficient Software System.	SERA	2007	DBLP DOI BibTeX RDF
7	Philippe Bidinger, Adriana B. Compagnoni	Pict Correctness Revisited.	FMOODS	2007	DBLP DOI BibTeX RDF
7	Yunguo Lin, Xiaoyun Chen, Shanli Hu	Interval-Valued Agent Belief Model Based on New Fuzzy Set Theory.	FSKD (4)	2007	DBLP DOI BibTeX RDF
7	Mark Manulis, Jörg Schwenk	Provably Secure Framework for Information Aggregation in Sensor Networks.	ICCSA (1)	2007	DBLP DOI BibTeX RDF
7	Walter J. Gutjahr, Stefan Katzensteiner, Peter Reiter	A VNS Algorithm for Noisy Problems and Its Application to Project Portfolio Analysis.	SAGA	2007	DBLP DOI BibTeX RDF	stochastic combinatorial optimization, project portfolio selection, staff assignment, Variable Neighborhood Search, project scheduling
7	Dave Clarke 0001, Sophia Drossopoulou, James Noble 0001, Tobias Wrigstad	Tribe: a simple virtual class calculus.	AOSD	2007	DBLP DOI BibTeX RDF	subtyping, virtual classes
7	Joaquín Borrego-Díaz, Antonia M. Chávez-González	A Formal Foundation for Knowledge Integration of Defficent Information in the Semantic Web.	EUROCAST	2007	DBLP DOI BibTeX RDF
7	Yang Yu, Xiaohui Li	A Workflow Model with Temporal Logic Constraints and Its Automated Verification.	GCC	2007	DBLP DOI BibTeX RDF
7	Martin R. Neuhäußer, Joost-Pieter Katoen	Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes.	CONCUR	2007	DBLP DOI BibTeX RDF
7	Ka Yan Wong, Chi Lap Yip	A Fast and Noise-Tolerant Method for Positioning Centers of Spiraling and Circulating Vector Fields.	ACCV (2)	2007	DBLP DOI BibTeX RDF
7	Brian F. Redmond	Multiplexor Categories and Models of Soft Linear Logic.	LFCS	2007	DBLP DOI BibTeX RDF	Categorical semantics, Soft Linear Logic, Polynomial time, Game semantics
7	Bernhard Heinemann	Including the Past in 'Topologic'.	LFCS	2007	DBLP DOI BibTeX RDF	the logic of knowledge, modal logic, hybrid logic, topological reasoning, temporal operators
7	Temur Kutsia, Jordi Levy, Mateu Villaret	Sequence Unification Through Currying.	RTA	2007	DBLP DOI BibTeX RDF
7	Sorin Stratulat	'Descente Infinie' Induction-Based Saturation Procedures.	SYNASC	2007	DBLP DOI BibTeX RDF
7	Koji Chida, Go Yamamoto	Batch Processing of Interactive Proofs.	CT-RSA	2007	DBLP DOI BibTeX RDF	Sigma-Protocols, Batch Processing, Proofs of Knowledge
7	Shafi Goldwasser, Dan Gutfreund, Alexander Healy, Tali Kaufman, Guy N. Rothblum	Verifying and decoding in constant depth.	STOC	2007	DBLP DOI BibTeX RDF	error-correcting codes, interactive proofs, constant-depth circuits
7	Alex Samorodnitsky	Low-degree tests at large distances.	STOC	2007	DBLP DOI BibTeX RDF	low-degree tests
7	Julia Chuzhoy, Sanjeev Khanna	Polynomial flow-cut gaps and hardness of directed cut problems.	STOC	2007	DBLP DOI BibTeX RDF	concurrent flow, directed multicut, directed sparsest cut, flow-cut gaps, hardness of approximation, multicommodity flow
7	Rafael Pass, Muthuramakrishnan Venkitasubramaniam	An efficient parallel repetition theorem for Arthur-Merlin games.	STOC	2007	DBLP DOI BibTeX RDF	computationally-sound arguments, public-coin protocols, proofs of knowledge, Arthur-Merlin games, parallel repetition
7	Patrice Chalin	A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler.	ICSE	2007	DBLP DOI BibTeX RDF
7	Gary T. Leavens, Peter Müller 0001	Information Hiding and Visibility in Interface Specifications.	ICSE	2007	DBLP DOI BibTeX RDF
7	Francesco Belardinelli, Alessio Lomuscio	A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems.	CLIMA	2007	DBLP DOI BibTeX RDF
7	Corina Cîrstea, Mehrnoosh Sadrzadeh	Coalgebraic Epistemic Update Without Change of Model.	CALCO	2007	DBLP DOI BibTeX RDF
7	Huu Hai Nguyen, Cristina David, Shengchao Qin, Wei-Ngan Chin	Automated Verification of Shape and Size Properties Via Separation Logic.	VMCAI	2007	DBLP DOI BibTeX RDF
7	Judicaël Courant, Cristian Ene, Yassine Lakhnech	Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption.	FSTTCS	2007	DBLP DOI BibTeX RDF
7	Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain	Certification of Automated Termination Proofs.	FroCoS	2007	DBLP DOI BibTeX RDF
7	Cong-Cong Xing	An Object Type Graph System.	TASE	2007	DBLP DOI BibTeX RDF
7	Tun Lu, Ning Gu	Survivability-Aware Configuration Management of Service-Oriented System Based on Service Dependency.	TASE	2007	DBLP DOI BibTeX RDF
7	Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund	Approximate Model-Based Diagnosis Using Greedy Stochastic Search.	SARA	2007	DBLP DOI BibTeX RDF
7	Juan Ignacio Perna, Chris George	Model Checking RAISE Applicative Specifications.	SEFM	2007	DBLP DOI BibTeX RDF
7	Nabil Hameurlain	Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification.	SEFM	2007	DBLP DOI BibTeX RDF
7	Huibiao Zhu, Jifeng He 0001, Jing Li 0062, Jonathan P. Bowen	Algebraic Approach to Linking the Semantics of Web Services.	SEFM	2007	DBLP DOI BibTeX RDF
7	Francesco Belardinelli, Alessio Lomuscio	A quantified epistemic logic for reasoning about multiagent systems.	AAMAS	2007	DBLP DOI BibTeX RDF	completeness, first-order logic, epistemic logic
7	Gauvain Bourgne, Amal El Fallah Seghrouchni, Henry Soldano	SMILE: Sound Multi-agent Incremental LEarning.	AAMAS	2007	DBLP DOI BibTeX RDF	multi-agent learning
7	Elizabeth Black, Anthony Hunter	A generative inquiry dialogue system.	AAMAS	2007	DBLP DOI BibTeX RDF	conflict handling, communication, protocols, semantics, coordination, cooperation, negotiation, languages, argumentation, teamwork, conversations, pragmatics, cooperative distributed problem solving
7	Zhi-Quan Cheng, Shiyao Jin	A QoS Controller for Adaptive Streaming of 3D Triangular Scenes.	Edutainment	2007	DBLP DOI BibTeX RDF	3D QoS, Adaptation, VRML, Streaming, Remote Rendering
7	Giorgi Japaridze	Propositional computability logic II.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	interactive algorithms, linear logic, game semantics, Computability logic, computational resources
7	Giorgi Japaridze	Propositional computability logic I.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	interactive algorithms, linear logic, game semantics, Computability logic, computational resources
7	Ali Habibi, Sofiène Tahar	Design and verification of SystemC transaction-level models.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
7	Wim H. Hesselink	Splitting forward simulations to copewith liveness.	Acta Informatica	2006	DBLP DOI BibTeX RDF
7	Alexander V. Lyaletski	Sequent forms of Herbrand theorem and their applications.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	AMS subject classification (2000) 03F03
7	Wan J. Fokkink, Jun Pang 0001, Jaco van de Pol	Cones and foci: A mechanical framework for protocol verification.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Process algebra, PVS, Protocol verification, Branching bisimulation
7	M. A. Cárdenas Viedma	A sound and complete fuzzy temporal constraint logic.	IEEE Trans. Syst. Man Cybern. Part B	2006	DBLP DOI BibTeX RDF
7	Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli	Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T).	J. ACM	2006	DBLP DOI BibTeX RDF	SAT solvers, Satisfiability Modulo Theories
7	Oded Goldreich 0001, Madhu Sudan 0001	Locally testable codes and PCPs of almost-linear length.	J. ACM	2006	DBLP DOI BibTeX RDF	error-correcting codes, derandomization, probabilistically checkable proofs, Proof verification
7	Xiaohong Zhang 0001, Huacan He, Yang Xu 0001	A fuzzy logic system based on Schweizer-Sklar t-norm.	Sci. China Ser. F Inf. Sci.	2006	DBLP DOI BibTeX RDF	fuzzy logic system UL, UL-algebras, completeness, approximate reasoning, t-norm
7	Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek	Lower and upper bounds in zone-based abstractions of timed automata.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Verification, Abstraction, Timed automata, Extrapolation
7	Enrico Giunchiglia, Yuliya Lierler, Marco Maratea	Answer Set Programming Based on Propositional Satisfiability.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	answer set programming, propositional satisfiability
7	Rajeev Joshi, Greg Nelson, Yunhong Zhou	Denali: A practical algorithm for generating optimal code.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	practical optimal code generation, Compilation, code generation
7	Dan Grossman	Quantified types in an imperative language.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	type variables, polymorphism, existential types, Cyclone
7	Atsushi Igarashi, Mirko Viroli	Variant parametric types: A flexible subtyping scheme for generics.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Generic classes, Java, subtyping, language design, variance, language semantics
7	Luís Caires	Spatial-Behavioral Types, Distributed Services, and Resources.	TGC	2006	DBLP DOI BibTeX RDF
7	Jilin Tu, Thomas S. Huang, Yingen Xiong, R. Travis Rose, Francis K. H. Quek	Calibrating Head Pose Estimation in Videos for Meeting Room Event Analysis.	ICIP	2006	DBLP DOI BibTeX RDF
7	John Regehr, Usit Duongsaa	Deriving abstract transfer functions for analyzing embedded software.	LCTES	2006	DBLP DOI BibTeX RDF	static analysis, abstract interpretation, embedded software, transfer functions
7	Tamás Kozsik	Proving Program Properties Specified with Subtype Marks.	IFL	2006	DBLP DOI BibTeX RDF
7	Kamal Aboul-Hosn	An Axiomatization of Arrays for Kleene Algebra with Tests.	RelMiCS	2006	DBLP DOI BibTeX RDF
7	Michael Backes 0001, Peeter Laud	Computationally sound secrecy proofs by mechanized flow analysis.	CCS	2006	DBLP DOI BibTeX RDF	data flow analysis, simulatability
7	Tobias Gedell, Reiner Hähnle	Automating Verification of Loops by Parallelization.	LPAR	2006	DBLP DOI BibTeX RDF
7	Xia Wu, Jigui Sun, Kun Hou	Extension Rule in First Order Logic.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
7	Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi 0001	Resource usage analysis for a functional language with exceptions.	PEPM	2006	DBLP DOI BibTeX RDF	resource usage analysis, type system, type inference, exception, effect system
7	Övünç Öztürk, Tugba Özacar, Murat Osman Ünalir	Reducing the Inferred Type Statements with Individual Grouping Constructs.	ISWC	2006	DBLP DOI BibTeX RDF
7	Jie Bao 0001, Doina Caragea, Vasant G. Honavar	Package-Based Description Logics - Preliminary Results.	ISWC	2006	DBLP DOI BibTeX RDF
7	Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea	A flow-based approach for variant parametric types.	OOPSLA	2006	DBLP DOI BibTeX RDF	variant parametric types, constraints, genericity, subtyping, flow analysis
7	Alessandro Warth, Milan Stanojevic, Todd D. Millstein	Statically scoped object adaptation with expanders.	OOPSLA	2006	DBLP DOI BibTeX RDF	object adaptation, expanders, modular typechecking
7	Xun Yi, Pietro Cerone	Secure Electronic Voting for Mobile Communications.	VTC Spring	2006	DBLP DOI BibTeX RDF
7	Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes	A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes.	ICTAC	2006	DBLP DOI BibTeX RDF	denotational models, communicating sequential processes, nondeterminacy
7	John Derrick, Heike Wehrheim	Model Transformations Incorporating Multiple Views.	AMAST	2006	DBLP DOI BibTeX RDF
7	Hoeteck Wee	Finding Pessiland.	TCC	2006	DBLP DOI BibTeX RDF
7	Ran Canetti, Jonathan Herzog	Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols.	TCC	2006	DBLP DOI BibTeX RDF
7	Nabil Hameurlain	A Formal Framework for Component Pr otocols Behavioural Compatibility.	APSEC	2006	DBLP DOI BibTeX RDF