Search results for "fixpoint"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Nicoletta De Francesco, Luca Martini	Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
9	Éric Monfroy, Frédéric Saubion, Tony Lambert	Hybrid CSP Solving.	FroCoS	2005	DBLP DOI BibTeX RDF
9	Rajeev Alur, Sampath Kannan, Salvatore La Torre	Polyhedral Flows in Hybrid Automata.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	polyhedral dynamics, hybrid systems, reachability analysis
9	Hasan M. Jamil	Declarative Data Mining Using SQL3.	Database Support for Data Mining Applications	2004	DBLP DOI BibTeX RDF
9	Igor Walukiewicz	How to Fix It: Using Fixpoints in Different Contexts.	LPAR	2004	DBLP DOI BibTeX RDF
9	Martin Lange	Symbolic Model Checking of Non-regular Properties.	CAV	2004	DBLP DOI BibTeX RDF
9	Zoran Majkic	Meta Many-Valued Logic Programming for Incomplete and Locally Inconsistent Databases.	IDEAS	2004	DBLP DOI BibTeX RDF
9	Nils Anders Danielsson, Patrik Jansson	Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values.	MPC	2004	DBLP DOI BibTeX RDF
9	Huimin Lin	A Predicate Spatial Logic and Model Checking for Mobile Processes.	ICTAC	2004	DBLP DOI BibTeX RDF
9	Élodie-Jane Sims	Extending Separation Logic with Fixpoints and Postponed Substitution.	AMAST	2004	DBLP DOI BibTeX RDF
9	Jerome Vouillon, Paul-André Melliès	Semantic types: a fresh look at the ideal model for types.	POPL	2004	DBLP DOI BibTeX RDF	ideal model, inductive/coinductive principle, polymorphism, subtyping, realizability, recursive types
9	Antoine Miné	Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors.	ESOP	2004	DBLP DOI BibTeX RDF
9	Francesco Ranzato, Francesco Tapparo	Strong Preservation as Completeness in Abstract Interpretation.	ESOP	2004	DBLP DOI BibTeX RDF
9	Éric Monfroy, Frédéric Saubion, Tony Lambert	On Hybridization of Local Search and Constraint Propagation.	ICLP	2004	DBLP DOI BibTeX RDF
9	Yann Loyer, Umberto Straccia	Epistemic Foundation of the Well-Founded Semantics over Bilattices.	MFCS	2004	DBLP DOI BibTeX RDF
9	Taolue Chen, Tingting Han 0001, Jian Lu 0001	Towards a Model Logic for p-Calculus.	COMPSAC	2004	DBLP DOI BibTeX RDF	Symbolic Transition Graph, Model Checking Algorithm, Modal Logic, ?-calculus
9	Francisco Bueno, Pedro López-García 0001, Manuel V. Hermenegildo	Multivariant Non-failure Analysis via Standard Abstract Interpretation.	FLOPS	2004	DBLP DOI BibTeX RDF
9	Hajime Sawamura, Edwin D. Mares	How Agents Should Exploit Tetralemma with an Eastern Mind in Argumentation.	PRIMA	2004	DBLP DOI BibTeX RDF
9	Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga	Model Checking Discounted Temporal Properties.	TACAS	2004	DBLP DOI BibTeX RDF
9	Zhendong Su 0001, David A. Wagner 0001	A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings.	TACAS	2004	DBLP DOI BibTeX RDF
9	Carlos Viegas Damásio, Jesús Medina 0001, Manuel Ojeda-Aciego	Sorted Multi-adjoint Logic Programs: Termination Results and Applications.	JELIA	2004	DBLP DOI BibTeX RDF
9	Christian Schulte 0001, Peter J. Stuckey	Speeding Up Constraint Propagation.	CP	2004	DBLP DOI BibTeX RDF
9	Andreas Behrend, Rainer Manthey	Update Propagation in Deductive Databases Using Soft Stratification.	ADBIS	2004	DBLP DOI BibTeX RDF
9	Reinhard Wilhelm	Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone.	VMCAI	2004	DBLP DOI BibTeX RDF
9	Tobias Schüle, Klaus Schneider 0001	Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems.	SEFM	2004	DBLP DOI BibTeX RDF
9	Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer	From Pre-Historic to Post-Modern Symbolic Model Checking.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	forward traversal, regular specifications, symbolic model checking, calculus
9	David Cachera, David Pichardie	Embedding of Systems of Affine Recurrence Equations in Coq.	TPHOLs	2003	DBLP DOI BibTeX RDF
9	Sava Krstic, John Matthews	Inductive Invariants for Nested Recursion.	TPHOLs	2003	DBLP DOI BibTeX RDF
9	Serge Abiteboul, Mihai Preda, Gregory Cobena	Adaptive on-line page importance computation.	WWW	2003	DBLP DOI BibTeX RDF	web graph, hyperlink, page importance
9	Jesús Medina 0001, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás	Towards Biresiduated Multi-adjoint Logic Programming.	CAEPIA	2003	DBLP DOI BibTeX RDF
9	Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar	Discounting the Future in Systems Theory.	ICALP	2003	DBLP DOI BibTeX RDF
9	Xutao Du, Zhoujun Li	A Proof Assistant for Mobile Processes.	APPT	2003	DBLP DOI BibTeX RDF
9	Frédéric Besson, Thomas P. Jensen	Modular Class Analysis with DATALOG.	SAS	2003	DBLP DOI BibTeX RDF
9	Roberto Bagnara, Patricia M. Hill, Elisa Ricci 0002, Enea Zaffanella	Precise Widening Operators for Convex Polyhedra.	SAS	2003	DBLP DOI BibTeX RDF
9	Rajeev Alur, Salvatore La Torre, P. Madhusudan	Modular Strategies for Recursive Game Graphs.	TACAS	2003	DBLP DOI BibTeX RDF
9	Damien Massé	Property Checking Driven Abstract Interpretation-Based Static Analysis.	VMCAI	2003	DBLP DOI BibTeX RDF
9	Mila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher	Action Refinement from a Logical Point of View.	VMCAI	2003	DBLP DOI BibTeX RDF	verification, specification, modal logics, reactive systems, action refinement
9	Julian C. Bradfield	Parity of Imperfection of Fixing Independence.	CSL	2003	DBLP DOI BibTeX RDF
9	John P. Gallagher	A Program Transformation for Backwards Analysis of Logic Programs.	LOPSTR	2003	DBLP DOI BibTeX RDF
9	John Howard Eli Fiskio-Lasseter, Michal Young	Flow equations as a generic programming tool for manipulation of attributed graphs.	PASTE	2002	DBLP DOI BibTeX RDF
9	Dusan Guller	Procedural Semantics for Fuzzy Disjunctive Programs.	LPAR	2002	DBLP DOI BibTeX RDF	multivalued logic programming, logic in artificial intelligence, fuzzy logic, knowledge representation and reasoning, model theory, disjunctive logic programming
9	Ahmed Bouajjani, Tayssir Touili	Extrapolating Tree Transformations.	CAV	2002	DBLP DOI BibTeX RDF
9	Sergey Melnik 0001, Hector Garcia-Molina, Erhard Rahm	Similarity Flooding: A Versatile Graph Matching Algorithm and Its Application to Schema Matching.	ICDE	2002	DBLP DOI BibTeX RDF	Matching, Semistructured Data, Heterogeneous Databases, Model Management
9	Patrick Cousot, Radhia Cousot	Systematic design of program transformation frameworks by abstract interpretation.	POPL	2002	DBLP DOI BibTeX RDF
9	Carlo Zaniolo	Key Constraints and Monotonic Aggregates in Deductive Databases.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
9	Flemming Nielson, Hanne Riis Nielson, Helmut Seidl	Automatic Complexity Analysis.	ESOP	2002	DBLP DOI BibTeX RDF	automatic complexity analysis, Program analysis, sparseness, Horn clauses
9	Hasan M. Jamil, Gillian Dobbie	A Model Theoretic Semantics for Multi-level Secure Deductive Databases.	ICLP	2002	DBLP DOI BibTeX RDF	MLS databases, belief assertion, security, reasoning, deductive databases, soundness and completeness
9	Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski	Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP.	ICLP	2002	DBLP DOI BibTeX RDF
9	Markus Kaltenbach, Jayadev Misra	A Theory of Hints in Model Checking.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF
9	Dominique Larchey-Wendling	Combining Proof-Search and Counter-Model Construction for Deciding Gödel-Dummett Logic.	CADE	2002	DBLP DOI BibTeX RDF
9	Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi	BDD-Based Decision Procedures for K.	CADE	2002	DBLP DOI BibTeX RDF
9	Francesco Ranzato, Francesco Tapparo	Making Abstract Model Checking Strongly Preserving.	SAS	2002	DBLP DOI BibTeX RDF
9	Bertrand Jeannet	Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes.	SAS	2002	DBLP DOI BibTeX RDF
9	Julian C. Bradfield	Introduction to Modal and Temporal Mu-Calculi (Abstract).	CONCUR	2002	DBLP DOI BibTeX RDF
9	Roberta Gori, Giorgio Levi	An Experiment in Type Inference and Verification by Abstract Interpretation.	VMCAI	2002	DBLP DOI BibTeX RDF
9	Michael Schroeder 0001, Ralf Schweimeier	Fuzzy argumentation for negotiating agents.	AAMAS	2002	DBLP DOI BibTeX RDF	fuzzy unification, agent communication, fuzzy reasoning
9	Marina De Vos, Dirk Vermeir	Dynamic Decision-Making in Logic Programming and Game Theory.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF
9	Fosca Giannotti, Giuseppe Manco 0001, Mirco Nanni, Dino Pedreschi	Nondeterministic, Nonmonotonic Logic Databases.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	databases, Logic programming, nondeterminism, negation, stable models
9	Ricardo Pena, Clara Segura	A Polynomial-Cost Non-determinism Analysis.	IFL	2001	DBLP DOI BibTeX RDF
9	Luca de Alfaro	Model Checking the World Wide Web.	CAV	2001	DBLP DOI BibTeX RDF
9	Kedar S. Namjoshi	Certifying Model Checkers.	CAV	2001	DBLP DOI BibTeX RDF
9	Louise A. Dennis, Alan Smaill	Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain.	TPHOLs	2001	DBLP DOI BibTeX RDF
9	Antoine Miné	The Octagon Abstract Domain.	WCRE	2001	DBLP DOI BibTeX RDF	linear invariants, abstract interpretation, safety analysis, abstract domains, static analysis tools
9	Gérard Boudol	The Recursive Record Semantics of Objects Revisited.	ESOP	2001	DBLP DOI BibTeX RDF
9	Marc Denecker, Nikolay Pelov, Maurice Bruynooghe	Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates.	ICLP	2001	DBLP DOI BibTeX RDF
9	V. S. Subrahmanian	Probabilistic Databases and Logic Programming.	ICLP	2001	DBLP DOI BibTeX RDF
9	Patrick Cousot	Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations.	ICLP	2001	DBLP DOI BibTeX RDF
9	Damien Massé	Combining Forward and Backward Analyses of Temporal Properties.	PADO	2001	DBLP DOI BibTeX RDF
9	Bernd Finkbeiner	Language Containment Checking with Nondeterministic BDDs.	TACAS	2001	DBLP DOI BibTeX RDF
9	Anish Arora, Mikhail Nesterenko	Unifying Stabilization and Termination in Message-Passing Systems.	ICDCS	2001	DBLP DOI BibTeX RDF
9	Marc Frappier, Richard St-Denis	Towards a Computer-Aided Design of Reactive Systems.	EUROCAST	2001	DBLP DOI BibTeX RDF
9	José Emilio Labra Gayo, Juan Manuel Cueva Lovelle, María Cándida Luengo Díez, Bernardo Martín González Rodríguez	A Language Prototyping Tool Based on Semantic Building Blocks.	EUROCAST	2001	DBLP DOI BibTeX RDF
9	Jaroslav Pokorný, Peter Vojtás	A Data Model for Flexible Querying.	ADBIS	2001	DBLP DOI BibTeX RDF	vague linguistic expressions, fuzzy Datalog, fuzzy relational algebra, threshold computation, flexible querying, fuzzy similarities
9	Stephen Weeks	Understanding Trust Management Systems.	S&P	2001	DBLP DOI BibTeX RDF
9	Luca de Alfaro, Rupak Majumdar	Quantitative solution of omega-regular games.	STOC	2001	DBLP DOI BibTeX RDF
9	Ramesh Bharadwaj	Analysis of Agent-Based Systems Using Decision Procedures.	FAABS	2000	DBLP DOI BibTeX RDF
9	Lee Naish	A Three-Valued Semantic for Horn Clause Programs.	ACSC	2000	DBLP DOI BibTeX RDF
9	Valery Trifonov, Bratin Saha, Zhong Shao	Fully reflexive intensional type analysis.	ICFP	2000	DBLP DOI BibTeX RDF	runtime type dispatch, typed intermediate language, certified code
9	Marina De Vos, Dirk Vermeir	A Logic for Modeling Decision Making with Dynamic Preferences.	JELIA	2000	DBLP DOI BibTeX RDF
9	Mary Sheeran, Satnam Singh, Gunnar Stålmarck	Checking Safety Properties Using Induction and a SAT-Solver.	FMCAD	2000	DBLP DOI BibTeX RDF
9	Julian C. Bradfield	Independence: Logics and Concurrency.	CSL	2000	DBLP DOI BibTeX RDF
9	Huimin Lin, Wang Yi 0001	A Complete Axiomatisation for Timed Automata.	FSTTCS	2000	DBLP DOI BibTeX RDF
9	In-Ho Moon, James H. Kukula, Kavita Ravi, Fabio Somenzi	To split or to conjoin: the question in image computation.	DAC	2000	DBLP DOI BibTeX RDF
9	Tevfik Bultan, Richard Gerber 0001, William W. Pugh	Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	abstract interpretation, symbolic model checking, Presburger arithmetic
9	Viet Phan Luong	Between Well-Founded Semantics and Stable Model Semantics.	IDEAS	1999	DBLP DOI BibTeX RDF
9	Eric C. R. Hehner, Andrew M. Gravell	Refinement Semantics and Loop Rules.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
9	Rajeev Alur, Sampath Kannan, Salvatore La Torre	Polyhedral Flows in Hybrid Automata.	HSCC	1999	DBLP DOI BibTeX RDF
9	Y. Tachi, Satoshi Yamane	Real-Time Symbolic Model Checking for Hard Real-Time Systems.	RTCSA	1999	DBLP DOI BibTeX RDF	real-time symbolic model checking, real-time systems, timed automaton, real-time temporal logic
9	Thomas Lukasiewicz	Probabilistic and Truth-Functional Many-Valued Logic Programming.	ISMVL	1999	DBLP DOI BibTeX RDF	many-valued logic programming, logics of probability, truth-functional many-valued logics
9	Frank Neven, Martin Otto 0001, Jerzy Tyszkiewicz, Jan Van den Bussche	Adding For-Loops to First-Order Logic.	ICDT	1999	DBLP DOI BibTeX RDF
9	Helmut Seidl, Andreas Neumann 0001	On Guarding Nested Fixpoints.	CSL	1999	DBLP DOI BibTeX RDF
9	Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer	From Pre-historic to Post-modern Symbolic Model Checking.	CAV	1998	DBLP DOI BibTeX RDF
9	Fosca Giannotti, Giuseppe Manco 0001, Mirco Nanni, Dino Pedreschi	Query Answering in Nondeterministic, Nonmonotonic Logic Databases.	FQAS	1998	DBLP DOI BibTeX RDF
9	Giorgio Levi, Fausto Spoto	An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs.	PLILP/ALP	1998	DBLP DOI BibTeX RDF	logic programming, static analysis, Abstract interpretation, abstract domain, type analysis
9	Svetlozar Nestorov, Serge Abiteboul, Rajeev Motwani 0001	Extracting Schema from Semistructured Data.	SIGMOD Conference	1998	DBLP DOI BibTeX RDF
9	Florian Kammüller	Modular Structures as Dependent Types in Isabelle.	TYPES	1998	DBLP DOI BibTeX RDF
9	Fosca Giannotti, Giuseppe Manco 0001, Mirco Nanni, Dino Pedreschi	On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases.	CSL	1998	DBLP DOI BibTeX RDF
9	Thomas Lukasiewicz	Many-Valued First-Order Logics with Probabilistic Semantics.	CSL	1998	DBLP DOI BibTeX RDF
9	Tevfik Bultan, Richard Gerber 0001, William W. Pugh	Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic.	CAV	1997	DBLP DOI BibTeX RDF
9	Thomas Santen	A Theory of Structured Model-Based Specifications in Isabelle/HOL.	TPHOLs	1997	DBLP DOI BibTeX RDF