Search results for "soundness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
7	Brigitte Pientka	Verifying Termination and Reduction Properties about Higher-Order Logic Programs.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	termination, Logical frameworks
7	Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea	The SAT-based Approach to Separation Logic.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	SAT-based decision procedures, separation logic
7	Patrick Bosc, Olivier Pivert	About projection-selection-join queries addressed to possibilistic relational databases.	IEEE Trans. Fuzzy Syst.	2005	DBLP DOI BibTeX RDF
7	Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha 0001	Concurrent software verification with states, events, and deadlocks.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Concurrent software, States and events, Counterexample-guided abstraction refinement, Model checking, Temporal logic, Deadlock, Compositional reasoning
7	Giovanni Giambene, Daniele Miorandi	A Simulation Study of Scalable TCP and HighSpeed TCP in Geostationary Satellite Networks.	Telecommun. Syst.	2005	DBLP DOI BibTeX RDF	Scalable TCP, High-Speed TCP, performance evaluation, congestion control, satellite communications
7	Bernhard Möller, Georg Struth	p Is.	RelMiCS	2005	DBLP DOI BibTeX RDF
7	Xinghua Fan, Maosong Sun, Key-Sun Choi, Qin Zhang	Classifying Chinese Texts in Two Steps.	IJCNLP	2005	DBLP DOI BibTeX RDF
7	Joseph R. Kiniry, Patrice Chalin, Clément Hurlin	Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification.	VSTTE	2005	DBLP DOI BibTeX RDF
7	Magnus Björk	A First Order Extension of Stålmarck's Method.	LPAR	2005	DBLP DOI BibTeX RDF
7	Didier Galmiche, Daniel Méry	Characterizing Provability in .	LPAR	2005	DBLP DOI BibTeX RDF
7	George C. Necula, Sumit Gulwani	Randomized Algorithms for Program Analysis and Verification.	CAV	2005	DBLP DOI BibTeX RDF
7	Thomas Ball, Orna Kupferman, Greta Yorsh	Abstraction for Falsification.	CAV	2005	DBLP DOI BibTeX RDF
7	M. M. Adams, Philip B. Clayton	ClawZ: Cost-Effective Formal Verification for Control Systems.	ICFEM	2005	DBLP DOI BibTeX RDF	industrial formal verification, ProofPower, Eurofighter Typhoon, Ada, refinement, Z, control systems, safety-critical software, Simulink, real-time software, formal proof
7	Andrew Kennedy, Claudio V. Russo	Generalized algebraic data types and object-oriented programming.	OOPSLA	2005	DBLP DOI BibTeX RDF	constraints, generics, generalized algebraic data types
7	Matthew S. Tschantz, Michael D. Ernst	Javari: adding reference immutability to Java.	OOPSLA	2005	DBLP DOI BibTeX RDF	Javari, Java, verification, type system, assignable, readonly, immutability, mutable
7	Rohit Gheyi, Tiago Massoni	Formal refactorings for object models.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	theorem proving, object models, model refactoring
7	Federico Balaguer	Model checking the behavior of frameworks extended with other frameworks.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	object-oriented, frameworks, temporal logic, rewriting logic
7	Marko van Dooren, Eric Steegmans	Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations.	OOPSLA	2005	DBLP DOI BibTeX RDF	Cappuccino, anchored exception declaration, exception handling
7	Tom Ridge, James Margetson	A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic.	TPHOLs	2005	DBLP DOI BibTeX RDF
7	Christoph Benzmüller, Chad E. Brown	A Structured Set of Higher-Order Problems.	TPHOLs	2005	DBLP DOI BibTeX RDF
7	Lunjin Lu	Use of correctness assertions in declarative diagnosis.	SAC	2005	DBLP DOI BibTeX RDF	correctness assertions, declarative diagnosis, logic programs
7	Kenro Yatake, Toshiaki Aoki, Takuya Katayama	Implementing Application-Specific Object-Oriented Theories in HOL.	ICTAC	2005	DBLP DOI BibTeX RDF
7	Xian Xu 0002, Aidong Zhang	Selecting Informative Genes from Microarray Dataset by Incorporating Gene Ontology.	BIBE	2005	DBLP DOI BibTeX RDF
7	Xavier Allamigeon, Bruno Blanchet	Reconstruction of Attacks against Cryptographic Protocols.	CSFW	2005	DBLP DOI BibTeX RDF
7	Kohei Honda 0001, Nobuko Yoshida, Martin Berger 0001	An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules.	LICS	2005	DBLP DOI BibTeX RDF
7	José Ramón Méndez 0001, Eva Lorenzo Iglesias, Florentino Fdez-Riverola, Fernando Díaz 0001, Juan M. Corchado	Tokenising, Stemming and Stopword Removal on Anti-spam Filtering Domain.	CAEPIA	2005	DBLP DOI BibTeX RDF
7	Zhe Yang 0003, Min Liu	ZKp Based Identification Protocol on Conic Curve in Distributed Environment.	CIT	2005	DBLP DOI BibTeX RDF
7	Richard Cobbe, Matthias Felleisen	Environmental acquisition revisited.	POPL	2005	DBLP DOI BibTeX RDF	environmental acquisition, object containment, object-oriented languages, object composition
7	John Tang Boyland, William Retert	Connecting effects and uniqueness with adoption.	POPL	2005	DBLP DOI BibTeX RDF	adoption, ownership, uniqueness, permissions
7	Matthew J. Parkinson, Gavin M. Bierman	Separation logic and abstraction.	POPL	2005	DBLP DOI BibTeX RDF	modularity, abstract data types, classes, resources, separation logic
7	Juan Chen, David Tarditi	A simple typed intermediate language for object-oriented languages.	POPL	2005	DBLP DOI BibTeX RDF	class and object encoding, typed intermediate language
7	Hoeteck Wee	On Round-Efficient Argument Systems.	ICALP	2005	DBLP DOI BibTeX RDF
7	Bernhard Reus, Thomas Streicher	About Hoare Logics for Higher-Order Store.	ICALP	2005	DBLP DOI BibTeX RDF
7	Martín Abadi, Bogdan Warinschi	Password-Based Encryption Analyzed.	ICALP	2005	DBLP DOI BibTeX RDF
7	Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani	Sound Transaction-Based Reduction Without Cycle Detection.	SPIN	2005	DBLP DOI BibTeX RDF
7	Johan Dovland, Einar Broch Johnsen, Olaf Owe	Verification of Concurrent Objects with Asynchronous Method Calls.	SwSTE	2005	DBLP DOI BibTeX RDF
7	Ali Habibi, Sofiène Tahar	An Approach for the Verification of SystemC Designs Using AsmL.	ATVA	2005	DBLP DOI BibTeX RDF
7	Nick Benton	A Typed, Compositional Logic for a Stack-Based Abstract Machine.	APLAS	2005	DBLP DOI BibTeX RDF
7	Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han	A Path Sensitive Type System for Resource Usage Verification of C Like Languages.	APLAS	2005	DBLP DOI BibTeX RDF
7	Peter Thiemann 0001	Towards a Type System for Analyzing JavaScript Programs.	ESOP	2005	DBLP DOI BibTeX RDF
7	Henning Makholm, J. B. Wells	Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close.	ESOP	2005	DBLP DOI BibTeX RDF
7	Véronique Cortier, Bogdan Warinschi	Computationally Sound, Automated Proofs for Security Protocols.	ESOP	2005	DBLP DOI BibTeX RDF
7	Bernhard Reus, Jan Schwinghammer	Denotational Semantics for Abadi and Leino's Logic of Objects.	ESOP	2005	DBLP DOI BibTeX RDF
7	Yunlei Zhao, Shirley H. C. Cheung, Binyu Zang, Bin B. Zhu	A Note on the Cramer-Damgård Identification Scheme.	WINE	2005	DBLP DOI BibTeX RDF	?OR, Cryptography, identification scheme, man-in-the- middle attacks
7	Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales	An Approximation of Action Theories of and Its Application to Conformant Planning.	LPNMR	2005	DBLP DOI BibTeX RDF
7	Arild Waaler, Bjørnar Solhaug	Semantics for multi-agent only knowing: extended abstract.	TARK	2005	DBLP BibTeX RDF
7	Qutaibah Althebyan, Henry Hexmoor	A New Parameter for Maintaining Consistency in an Agent's Knowledge Base Using Truth Maintenance Systems.	WRAC	2005	DBLP DOI BibTeX RDF
7	Hannah Bast, Georges Dupret, Debapriyo Majumdar, Benjamin Piwowarski	Discovering a Term Taxonomy from Term Similarities Using Principal Component Analysis.	EWMF/KDO	2005	DBLP DOI BibTeX RDF	Taxonomy Extraction, Eigenvector Decomposition, Principal Component Analysis, Latent Semantic Indexing, Semantic Tagging, Ontology Extraction
7	Chunping Li	Representing the Process Semantics in the Situation Calculus.	RSFDGrC (1)	2005	DBLP DOI BibTeX RDF
7	Charles Smith, Sophia Drossopoulou	Chai: Traits for Java-Like Languages.	ECOOP	2005	DBLP DOI BibTeX RDF
7	Amal J. Ahmed 0001, Matthew Fluet, Greg Morrisett	A step-indexed model of substructural state.	ICFP	2005	DBLP DOI BibTeX RDF	mutable references, stepindexed model, substructural type system
7	Hans-Joachim Lenz, Bernhard Thalheim	OLAP Schemata for Correct Applications.	TEAA	2005	DBLP DOI BibTeX RDF
7	Ricardo H. Medel, Adriana B. Compagnoni, Eduardo Bonelli	A Typed Assembly Language for Non-interference.	ICTCS	2005	DBLP DOI BibTeX RDF
7	Gang Yin, Huaimin Wang, Tao Liu, Ming-Feng Chen, Dian-xi Shi	Trust Management with Safe Privilege Propagation.	APPT	2005	DBLP DOI BibTeX RDF
7	Hak-Sung Lee, Dongil Han	A Real Time Color Gamut Mapping Method Using a Neural Network.	ICNC (2)	2005	DBLP DOI BibTeX RDF
7	Pedro Comesaña, Luis Pérez-Freire, Fernando Pérez-González	The Return of the Sensitivity Attack.	IWDW	2005	DBLP DOI BibTeX RDF
7	Roger Antonsen, Arild Waaler	Consistency of Variable Splitting in Free Variable Systems of First-Order Logic.	TABLEAUX	2005	DBLP DOI BibTeX RDF
7	Yungbum Jung, Jaehwang Kim, Jaeho Shin 0001, Kwangkeun Yi	Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis.	SAS	2005	DBLP DOI BibTeX RDF
7	Phan Cong Vinh, Jonathan P. Bowen	A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing.	SEW	2005	DBLP DOI BibTeX RDF
7	Bo Meng, Huanguo Zhang, Qianxing Xiong	The Practical Detailed Requirements of Accountability and Its Application in the Electronic Payment Protocols.	EEE	2005	DBLP DOI BibTeX RDF
7	Pawel T. Wojciechowski	Isolation-only transactions by typing and versioning.	PPDP	2005	DBLP DOI BibTeX RDF	declarative synchronization, singleton kinds, concurrency, programming languages, transactions, lambda calculus, type theory, isolation, abstract types
7	Hariolf Betz, Thom W. Frühwirth	A Linear-Logic Semantics for Constraint Handling Rules.	CP	2005	DBLP DOI BibTeX RDF
7	Minghong Zhou, Huaming Liao, Feng Li	Schema Adaptation Under Multi-relation Dependencies.	GCC	2005	DBLP DOI BibTeX RDF
7	Andrew D. Gordon 0001, Alan Jeffrey	Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus.	CONCUR	2005	DBLP DOI BibTeX RDF
7	Jim Laird	A Game Semantics of the Asynchronous pi-Calculus.	CONCUR	2005	DBLP DOI BibTeX RDF
7	JiDong Ge, Haiyang Hu, Ping Lu, Hao Hu 0001, Jian Lü 0001	Translation of Nets Within Nets in Cross-organizational Software Process Modeling.	ISPW	2005	DBLP DOI BibTeX RDF
7	Rohit Gheyi, Tiago Massoni, Paulo Borba	A rigorous approach for proving model refactorings.	ASE	2005	DBLP DOI BibTeX RDF	theorem proving, model refactoring
7	Mariemma Inmaculada Yagüe del Valle, María-del-Mar Gallardo, Antonio Mana	Semantic Access Control Model: A Formal Specification.	ESORICS	2005	DBLP DOI BibTeX RDF	Formal Methods in security, Access Control, Authorization, Distributed Systems Security
7	Federico Banti, José Júlio Alferes, Antonio Brogi	Operational Semantics for DyLPs.	EPIA	2005	DBLP DOI BibTeX RDF
7	Federico De Marchi	On the Semantics of Coinductive Types in Martin-Löf Type Theory.	CALCO	2005	DBLP DOI BibTeX RDF
7	Dennis Dams, Kedar S. Namjoshi	Automata as Abstractions.	VMCAI	2005	DBLP DOI BibTeX RDF
7	Xian Zhu, Shaobin Wang, Fan Hong, Junguo Liao	Distributed Credential Chain Discovery in Trust-Management with Parameterized Roles.	CANS	2005	DBLP DOI BibTeX RDF
7	Esfandiar Haghverdi, Philip J. Scott	Towards a Typed Geometry of Interaction.	CSL	2005	DBLP DOI BibTeX RDF
7	Hamdi A. Awad, Magdi A. Koutb, Mohamed A. Al-Zorkany	Multiple Mobile Robots Navigation in a Cluttered Environment using Neuro-Fuzzy Controller.	WSTST	2005	DBLP DOI BibTeX RDF	Neural networks, Fuzzy logic, Neuro-fuzzy, Mobile robot navigation
7	Peter Thiemann 0001	A Type Safe DOM API.	DBPL	2005	DBLP DOI BibTeX RDF
7	Eduardo Bonelli, Adriana B. Compagnoni, Ricardo H. Medel	Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks.	CASSIS	2005	DBLP DOI BibTeX RDF
7	Rafael del Vado Vírseda	Declarative Constraint Programming with Definitional Trees.	FroCoS	2005	DBLP DOI BibTeX RDF
7	Yehia Thabet Kotb, Essameddin Badreddin	Synchronization among Activities in a Workflow Using Extended Workflow Petri Nets.	CEC	2005	DBLP DOI BibTeX RDF
7	Nabil Hameurlain	On Compatibility and Behavioural Substitutability of Component Protocols.	SEFM	2005	DBLP DOI BibTeX RDF
7	Kerry Trentelman	Proving Correctness of JavaCard DL Taclets using Bali.	SEFM	2005	DBLP DOI BibTeX RDF
7	Frédéric Benhamou, Frédéric Goualard, Éric Languénou, Marc Christie	Interval constraint solving for camera control and motion planning.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	inner approximation, interval constraint, universal quantifier, Camera control
7	Takeyuki Uehara, Reihaneh Safavi-Naini, Philip Ogunbona	A secure and flexible authentication system for digital images.	Multim. Syst.	2004	DBLP DOI BibTeX RDF	Compression tolerance, JPEG, Image authentication
7	Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav	Predicate Abstraction of ANSI-C Programs Using SAT.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	ANSI-C, SAT, predicate abstraction
7	Alexander S. Kossatchev, P. Kutter, Mikhail Posypkin	Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language.	Program. Comput. Softw.	2004	DBLP DOI BibTeX RDF
7	Xavier Rival	Certification of compiled assembly code by invariant translation.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Abstract interpretation, Static program analysis, Certified compilation
7	Carlo Alberto Magni, Giovanni Mastroleo, Marina Vignola, Gisella Facchinetti	Strategic options and expert systems: a fruitful marriage.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Strategic, Sensitivity analysis, Real options, Fuzzy expert system
7	Simon Helsen	Bisimilarity for the Region Calculus.	High. Order Symb. Comput.	2004	DBLP DOI BibTeX RDF	region calculus, bisimulation, equational theory, contextual equivalence
7	Eric E. Allen, Robert Cartwright	Safe instantiation in generic Java.	PPPJ	2004	DBLP DOI BibTeX RDF
7	Lopamudra Choudhury, Mihir K. Chakraborty	On Extending Venn Diagram by Augmenting Names of Individuals.	Diagrams	2004	DBLP DOI BibTeX RDF
7	Shiyan Hu	Document Image Watermarking Based on Weight-Invariant Partition Using Support Vector Machine.	Document Analysis Systems	2004	DBLP DOI BibTeX RDF
7	Stephen Neuendorffer, Edward A. Lee	Hierarchical reconfiguration of dataflow models.	MEMOCODE	2004	DBLP DOI BibTeX RDF
7	M. Jamshid Bagherzadeh, S. Arun-Kumar	Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals.	LPAR	2004	DBLP DOI BibTeX RDF	proof method, multi-agent systems, resolution, belief revision, multi-modal logic
7	Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli	Abstract DPLL and Abstract DPLL Modulo Theories.	LPAR	2004	DBLP DOI BibTeX RDF
7	Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, Sungwoo Park	The Inverse Method for the Logic of Bunched Implications.	LPAR	2004	DBLP DOI BibTeX RDF
7	Floriana Esposito, Nicola Fanizzi, Luigi Iannone, Ignazio Palmisano, Giovanni Semeraro	Knowledge-Intensive Induction of Terminologies from Metadata.	ISWC	2004	DBLP DOI BibTeX RDF
7	David Aspinall 0001, Lennart Beringer, Martin Hofmann 0001, Hans-Wolfgang Loidl, Alberto Momigliano	A Program Logic for Resource Verification.	TPHOLs	2004	DBLP DOI BibTeX RDF
7	Michael Barnett 0001, David A. Naumann	Friends Need a Bit More: Maintaining Invariants Over Shared State.	MPC	2004	DBLP DOI BibTeX RDF
7	Samuel Colin, Georges Mariano, Vincent Poirriez	Duration Calculus: A Real-Time Semantic for B.	ICTAC	2004	DBLP DOI BibTeX RDF
7	Young-Gook Ra	Relational Schema Evolution for Program Independency.	CIT	2004	DBLP DOI BibTeX RDF	program independency, capacity-augmenting schema change, type mismatch, shared database, relational database, data model, schema evolution, schema version, database schema, database view
7	Peep Küngas, Mihhail Matskin	Partial Deduction for Linear Logic-The Symbolic Negotiation Perspective.	DALT	2004	DBLP DOI BibTeX RDF