Search results for "decision procedure"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Pieter Hooimeijer, Westley Weimer	A decision procedure for subset constraints over regular languages.	PLDI	2009	DBLP DOI BibTeX RDF	decision procedure, regular language
3	Jason Belt, Robby, Xianghua Deng	Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	program analysis, symbolic execution, decision procedure
3	Domenico Cantone, Calogero G. Zarba, Rosa Ruggeri Cannata	A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership.	J. Autom. Reasoning	2005	DBLP DOI BibTeX RDF	semantic tableau, set theory, decision procedure
2	Philippe Suter, Mirco Dotta, Viktor Kuncak	Decision procedures for algebraic data types with abstractions.	POPL	2010	DBLP DOI BibTeX RDF	data structure, decision procedure, algebraic data type, catamorphism
2	Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady	An abstraction-based decision procedure for bit-vector arithmetic.	STTT	2009	DBLP DOI BibTeX RDF	Decision-procedures, Bit-vector
2	Malay K. Ganai, Franjo Ivancic	Efficient decision procedure for non-linear arithmetic constraints using CORDIC.	FMCAD	2009	DBLP DOI BibTeX RDF
2	Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps	A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks.	SPIN	2009	DBLP DOI BibTeX RDF
2	David Monniaux	On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure.	CAV	2009	DBLP DOI BibTeX RDF
2	Valentin Goranko, Dmitry Shkatov	Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time.	AAMAS	2009	DBLP DOI BibTeX RDF	logics for multi-agent systems, decision procedures, tableaux
2	Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer	Unifying type checking and property checking for low-level code.	POPL	2009	DBLP DOI BibTeX RDF	assertion checking, low-level code, decision procedure, type checking, smt solver, property checking
2	Zhenhua Duan, Cong Tian, Li Zhang	A decision procedure for propositional projection temporal logic with infinite models.	Acta Inf.	2008	DBLP DOI BibTeX RDF
2	Yevgeny Kazakov, Boris Motik	A Resolution-Based Decision Procedure for SHOIQ.	J. Autom. Reasoning	2008	DBLP DOI BibTeX RDF	Resolution decision procedures, Description logics, Nominals
2	Khalil Djelloul	An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints.	CSCLP	2008	DBLP DOI BibTeX RDF
2	Rayna Dimitrova, Andreas Podelski	Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?	VMCAI	2008	DBLP DOI BibTeX RDF
2	Melanie Achatz, Scott McCallum, Volker Weispfenning	Deciding polynomial-exponential problems.	ISSAC	2008	DBLP DOI BibTeX RDF	exponential polynomials, decision procedure
2	Jochen Eisinger, Felix Klaedtke	Don't care words with an application to the automata-based approach for real addition.	Formal Methods in System Design	2008	DBLP DOI BibTeX RDF	Mixed linear arithmetic over the integers and reals, Verification of infinite-state systems, Decision procedure, Automata theory
2	Davide Bresolin, Angelo Montanari, Guido Sciavicco	An Optimal Decision Procedure for Right Propositional Neighborhood Logic.	J. Autom. Reasoning	2007	DBLP DOI BibTeX RDF	tableaux-based decision procedures, right propositional neighborhood logic, interval temporal logic
2	Ian Horrocks, Ulrike Sattler	A Tableau Decision Procedure for SHOIQ.	J. Autom. Reasoning	2007	DBLP DOI BibTeX RDF	Description logic, Decision procedures
2	Miguel A. Ballester, José Luis García-Lapresta	A Recursive Group Decision Procedure Based on EOWA Operators.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
2	Vijay Ganesh, David L. Dill	A Decision Procedure for Bit-Vectors and Arrays.	CAV	2007	DBLP DOI BibTeX RDF
2	Zvonimir Rakamaric, Jesse D. Bingham, Alan J. Hu	An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures.	VMCAI	2007	DBLP DOI BibTeX RDF
2	Silvio Ranise, Calogero G. Zarba	A Theory of Singly-Linked Lists and its Extensible Decision Procedure.	SEFM	2006	DBLP DOI BibTeX RDF
2	Erik Reeber, Warren A. Hunt Jr.	A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA).	IJCAR	2006	DBLP DOI BibTeX RDF
2	Yevgeny Kazakov, Boris Motik	A Resolution-Based Decision Procedure for SHOIQ.	IJCAR	2006	DBLP DOI BibTeX RDF
2	Domenico Cantone, Calogero G. Zarba	A Decision Procedure for Monotone Functions over Bounded and Complete Lattices.	Theory and Applications of Relational Structures as Knowledge Instruments	2006	DBLP DOI BibTeX RDF
2	Jesse D. Bingham, Zvonimir Rakamaric	A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs.	VMCAI	2006	DBLP DOI BibTeX RDF
2	Bernard Boigelot, Sébastien Jodogne, Pierre Wolper	An effective decision procedure for linear arithmetic over the integers and reals.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	finite-state representations, integer and real arithmetic, weak ?-automata, Decision procedure
2	Regimantas Pliuskevicius, Aida Pliuskeviciene	Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables.	CLIMA	2005	DBLP DOI BibTeX RDF
2	Shuvendu K. Lahiri, Madanlal Musuvathi	An Efficient Decision Procedure for UTVPI Constraints.	FroCos	2005	DBLP DOI BibTeX RDF
2	Davide Bresolin, Angelo Montanari	A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic.	TABLEAUX	2005	DBLP DOI BibTeX RDF
2	Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya	A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus.	TABLEAUX	2005	DBLP DOI BibTeX RDF
2	Alessandro Armando, Luca Compagna, Silvio Ranise	Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
2	Orly Meir, Ofer Strichman	Yet Another Decision Procedure for Equality Logic.	CAV	2005	DBLP DOI BibTeX RDF
2	Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller	Formal Methods Meet Domain Specific Languages.	IFM	2005	DBLP DOI BibTeX RDF	scheduling, formal methods, refinements, decision procedure, DSL
2	Calogero G. Zarba	Combining Sets with Cardinals.	J. Autom. Reasoning	2005	DBLP DOI BibTeX RDF	combining sets, set-theoretic language, decision procedure, cardinality
2	Calogero G. Zarba, Domenico Cantone, Jacob T. Schwartz	A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case.	J. Autom. Reasoning	2004	DBLP DOI BibTeX RDF	Nelson-Oppen procedure, set theory, decision procedure
2	Liana Bozga, Cristian Ene, Yassine Lakhnech	A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps (Extended Abstract).	CONCUR	2004	DBLP DOI BibTeX RDF
2	Yevgeny Kazakov, Hans de Nivelle	A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.	IJCAR	2004	DBLP DOI BibTeX RDF
2	Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea	A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF
2	Julien Narboux	A Decision Procedure for Geometry in Coq.	TPHOLs	2004	DBLP DOI BibTeX RDF
2	Shuvendu K. Lahiri, Sanjit A. Seshia	The UCLID Decision Procedure.	CAV	2004	DBLP DOI BibTeX RDF
2	Sergey Berezin, Vijay Ganesh, David L. Dill	An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic.	TACAS	2003	DBLP DOI BibTeX RDF
2	David A. Cohen	A New Classs of Binary CSPs for which Arc-Constistency Is a Decision Procedure.	CP	2003	DBLP DOI BibTeX RDF
2	Jonathan Ford, Natarajan Shankar	Formal Verification of a Combination Decision Procedure.	CADE	2002	DBLP DOI BibTeX RDF
2	Tatiana Rybina, Andrei Voronkov	A decision procedure for term algebras with queues.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	trees, queues, words, term algebras
2	Alessandro Armando, Luca Compagna, Silvio Ranise	System Description: RDL : Rewrite and Decision Procedure Laboratory.	IJCAR	2001	DBLP DOI BibTeX RDF
2	Regimantas Pliuskevicius	Deduction-Based Decision Procedure for a Clausal Miniscoped Fragment of FTL.	IJCAR	2001	DBLP DOI BibTeX RDF
2	Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez	A Certified Polynomial-Based Decision Procedure for Propositional Logic.	TPHOLs	2001	DBLP DOI BibTeX RDF
2	Felix Klaedtke	Decision Procedure for an Extension of WS1S.	CSL	2001	DBLP DOI BibTeX RDF	word languages, weak monadic second-order logic of one successor, WS1S, tree automata
2	Tatiana Rybina, Andrei Voronkov	A Decision Procedure for Term Algebras with Queues.	LICS	2000	DBLP DOI BibTeX RDF
2	Michael Dierkes	An Application of Model Building in a Resolution Decision Procedure for Guarded Formulas.	Computational Logic	2000	DBLP DOI BibTeX RDF
2	Harald Ganzinger, Hans de Nivelle	A Superposition Decision Procedure for the Guarded Fragment with Equality.	LICS	1999	DBLP DOI BibTeX RDF
2	Hans de Nivelle	A Resolution Decision Procedure for the Guarded Fragment.	CADE	1998	DBLP BibTeX RDF
2	Paul Gastin, Raphaël Meyer, Antoine Petit	A (Non-elementary) Modular Decision Procedure for LTrL.	MFCS	1998	DBLP DOI BibTeX RDF
2	Domenico Cantone, Calogero G. Zarba	A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF
2	David Cyrluk, M. Oliver Möller, Harald Rueß	An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors.	CAV	1997	DBLP DOI BibTeX RDF
2	David Cyrluk, Patrick Lincoln, Natarajan Shankar	On Shostak's Decision Procedure for Combinations of Theories.	CADE	1996	DBLP DOI BibTeX RDF
2	Fausto Giunchiglia, Roberto Sebastiani	Building Decision Procedures for Modal Logics from Propositional Decision Procedure - The Case Study of Modal K.	CADE	1996	DBLP DOI BibTeX RDF
2	Christoph Dürr, Miklos Santha	A Decision Procedure for Unitary Linear Quantum Cellular Automata.	FOCS	1996	DBLP DOI BibTeX RDF	linear quantum, unitary, complexity, cellular automata, cellular automata, quantum computing, decision procedure
2	Teruo Higashino, Gregor von Bochmann	Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	test case derivation, LOTOS expressions, data parameters, automatic analysis method, P-LOTOS expressions, Boolean types, integer linear programming problems, deadlock detection problem, nonexecutable branch detection, nondeterministic behavior detection, simplified Session protocol, formal specification, linear programming, concurrency control, integer programming, specification languages, specification language, comparison, decision procedure, data types, addition, test selection, Presburger arithmetic, subtraction, integer, data values
2	Christian G. Fermüller, Gernot Salzer	Ordered Paramodulation and Resolution as Decision Procedure.	LPAR	1993	DBLP DOI BibTeX RDF
2	Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, G. Kutty	A Real-Time Interval Logic and Its Decision Procedure.	FSTTCS	1993	DBLP DOI BibTeX RDF
2	Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, G. Kutty	An Automata-Theoretic Decision Procedure for Future Interval Logic.	FSTTCS	1992	DBLP DOI BibTeX RDF
2	Charles Elkan	A Decision Procedure for Conjunctive Query Disjointness.	PODS	1989	DBLP DOI BibTeX RDF
2	Louise E. Moser	A Decision Procedure for Unquantified Formulas of Graph Theory.	CADE	1988	DBLP DOI BibTeX RDF	congruence closure, equivalence class representative, Directed graph, decision procedure, normal form
2	Ilkka Niemelä	Decision Procedure for Autoepistemic Logic.	CADE	1988	DBLP DOI BibTeX RDF	analytic tableaux, theorem proving, Nonmonotonic logic
1	Xingang Liu, Laurence Tianruo Yang, Kwanghoon Sohn	High-speed inter-view frame mode decision procedure for multi-view video coding.	Future Generation Comp. Syst.	2012	DBLP DOI BibTeX RDF
1	Mai Ajspur, Valentin Goranko, Dmitry Shkatov	Tableau-based decision procedure	CoRR	2012	DBLP BibTeX RDF
1	Arup K. Ghosh, Faraz Hussain, Sumit Kumar Jha, Christopher James Langmead, Susmit Jha	Decision procedure based discovery of rare behaviors in Stochastic Differential Equation models of biological systems.	ICCABS	2012	DBLP DOI BibTeX RDF
1	Martín Ochoa, Jan Jürjens, Daniel Warzecha	A Sound Decision Procedure for the Compositionality of Secrecy.	ESSoS	2012	DBLP DOI BibTeX RDF
1	Mark Reynolds	A tableau-based decision procedure for CTL.	Formal Asp. Comput.	2011	DBLP DOI BibTeX RDF
1	Bican Xia, Lu Yang, Naijun Zhan, Zhihai Zhang	Symbolic decision procedure for termination of linear programs.	Formal Asp. Comput.	2011	DBLP DOI BibTeX RDF
1	Cesar A. Acosta-Mejia	On the performance of the conditional decision procedure in geometric charts.	Computers & Industrial Engineering	2011	DBLP DOI BibTeX RDF
1	Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco	An Optimal Decision Procedure for MPNL over the Integers	GandALF	2011	DBLP DOI BibTeX RDF
1	Linh Anh Nguyen	A Cut-Free ExpTime Tableau Decision Procedure for the Logic Extending Converse-PDL with Regular Inclusion Axioms	CoRR	2011	DBLP BibTeX RDF
1	Jim Burton, Gem Stapleton, Ali Hamie	A decision procedure for a decidable fragment of generalized constraint diagrams.	J. Vis. Lang. Comput.	2011	DBLP DOI BibTeX RDF
1	Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps	A decision procedure for detecting atomicity violations for communicating processes with locks.	STTT	2011	DBLP DOI BibTeX RDF
1	Thomas Wies, Marco Muñiz, Viktor Kuncak	An Efficient Decision Procedure for Imperative Tree Data Structures.	CADE	2011	DBLP DOI BibTeX RDF
1	Thierry Coquand, Vincent Siles	A Decision Procedure for Regular Expression Equivalence in Type Theory.	CPP	2011	DBLP DOI BibTeX RDF
1	Linh Anh Nguyen	A Cut-Free ExpTime Tableau Decision Procedure for the Description Logic SHI.	ICCCI	2011	DBLP DOI BibTeX RDF
1	Bruno Conchinha, David A. Basin, Carlos Caleiro	FAST: An Efficient Decision Procedure for Deduction and Static Equivalence.	RTA	2011	DBLP DOI BibTeX RDF
1	Serenella Cerrito, Marta Cialdea Mayer	A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders.	TABLEAUX	2011	DBLP DOI BibTeX RDF
1	Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta	Security validation tool for business processes.	SACMAT	2011	DBLP DOI BibTeX RDF
1	Paola Bonizzoni	Constants and label-equivalence: A decision procedure for reflexive regular splicing languages.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov	Algorithm for Decision Procedure in Temporal Logic Treating Uncertainty, Plausibility, Knowledge and Interacting Agents.	IJIIT	2010	DBLP BibTeX RDF
1	Guido Fiorino	Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus.	Inf. Sci.	2010	DBLP DOI BibTeX RDF
1	Zhenhua Duan, Cong Tian	An Improved Decision Procedure for Propositional Projection Temporal Logic.	ICFEM	2010	DBLP DOI BibTeX RDF
1	Xingang Liu, Kwanghoon Sohn, Laurence Tianruo Yang, Wei Zhu	Intelligent Mode Decision Procedure for MVC Inter-view Frame.	CSE	2010	DBLP DOI BibTeX RDF
1	Nikolaj Bjørner	Linear Quantifier Elimination as an Abstract Decision Procedure.	IJCAR	2010	DBLP DOI BibTeX RDF
1	Elena Sherman, Brady J. Garvin, Matthew B. Dwyer	A Slice-Based Decision Procedure for Type-Based Partial Orders.	IJCAR	2010	DBLP DOI BibTeX RDF
1	Oliver Friedmann, Markus Latte, Martin Lange	A Decision Procedure for CTL* Based on Tableaux and Automata.	IJCAR	2010	DBLP DOI BibTeX RDF
1	Chih-Fan Lai, Jie-Hong R. Jiang, Kuo-Hua Wang	BooM: a decision procedure for boolean matching with abstraction and dynamic learning.	DAC	2010	DBLP DOI BibTeX RDF	satisfiability solving, learning, abstraction, Boolean matching
1	Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva	A Decision Procedure for Bisimilarity of Generalized Regular Expressions.	SBMF	2010	DBLP DOI BibTeX RDF
1	Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter	Complete functional synthesis.	PLDI	2010	DBLP DOI BibTeX RDF	bapa, synthesis procedure, decision procedure, presburger arithmetic
1	Siva Anantharaman, Hai Lin 0005, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch	Cap unification: application to protocol security modulo homomorphic encryption.	ASIACCS	2010	DBLP DOI BibTeX RDF	secrecy analysis, protocol, rewriting, unification
1	Jef Wijsen	On the first-order expressibility of computing certain answers to conjunctive queries over uncertain databases.	PODS	2010	DBLP DOI BibTeX RDF	first-order expressibility, primary keys, conjunctive queries, consistent query answering
1	Inanç Seylan, Riza Cenk Erdur	A Tableau Decision Procedure for ALC With Monotonic Modal Operators and Constant Domains.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Pietro Abate, Rajeev Goré, Florian Widmann	An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Dorota Leszczynska-Jasion	A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5.	J. Philosophical Logic	2009	DBLP DOI BibTeX RDF
1	Valentin Goranko, Dmitry Shkatov	Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time	CoRR	2009	DBLP BibTeX RDF