Search results for "predicate"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich	The synergy of precise and fast abstractions for program verification.	SAC	2009	DBLP DOI BibTeX RDF	CEGAR, predicate abstraction, abstraction refinement
25	Dirk Beyer 0001, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko	Path invariants.	PLDI	2007	DBLP DOI BibTeX RDF	invariant synthesis, formal verification, software model checking, predicate abstraction, abstraction refinement
25	Melvin Fitting	FOIL Axiomatized.	Stud Logica	2006	DBLP DOI BibTeX RDF	modal logic, predicate abstraction, axiomatization, tableaux, intensional logic
25	Matthias Baaz, Rosalie Iemhoff	On Interpolation in Existence Logics.	LPAR	2005	DBLP DOI BibTeX RDF	existence predicate, Gentzen calculus, Beth definability, truth-value logics, Gödel logics, Scott logics, interpolation, cut-elimination, Intuitionistic logic, Kripke models, Skolemization
25	Mangala Gowri Nanda, Christian Grothoff, Satish Chandra 0001	Deriving object typestates in the presence of inter-object references.	OOPSLA	2005	DBLP DOI BibTeX RDF	Java, predicate abstraction, alias analysis, interface specification, heap analysis
25	Wei Zhang, Tok Wang Ling, Zhuo Chen, Gillian Dobbie	XDO2: A Deductive Object-Oriented Query Language for XML.	DASFAA	2005	DBLP DOI BibTeX RDF	XML query language, not-predicate negation, fixpoint semantics, deductive rule
25	Songtao Xia, Ben Di Vito, César A. Muñoz	Automated test generation for engineering applications.	ASE	2005	DBLP DOI BibTeX RDF	model-checking, test case generation, predicate abstraction
25	Neeraj Mittal, Vijay K. Garg	Finding missing synchronization in a distributed computation using controlled re-execution.	Distributed Comput.	2004	DBLP DOI BibTeX RDF	Controlled re-execution, Predicate control, Distributed system, Debugging, Software-fault tolerance
25	Kun-Lung Wu, Shyh-Kwei Chen, Philip S. Yu	VCR indexing for fast event matching for highly-overlapping range predicates.	SAC	2004	DBLP DOI BibTeX RDF	VCR indexing, event matching, predicate indexing, virtual construct rectangles, continual queries, Pub/Sub
25	Sagar Chaki, Alex Groce, Ofer Strichman	Explaining abstract counterexamples.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	model checking, fault localization, predicate abstraction
25	Roberto Giacobazzi, Isabella Mastroeni	Domain Compression for Complete Abstractions.	VMCAI	2003	DBLP DOI BibTeX RDF	domain refinement, abstract model-checking, program analysis, Abstract interpretation, completeness, predicate abstraction, abstract domains
25	Markus Müller-Olm, Andreas Wolf 0004	On the Translation of Procedures to Finite Machines.	ESOP	2000	DBLP DOI BibTeX RDF	resource-limitation, verification, compiler, refinement, correctness, procedure, predicate transformer
25	Albert Atserias	The Descriptive Comlexity of the Fixed-Points of Bounded Formulas.	CSL	2000	DBLP DOI BibTeX RDF	Circuit uniformity, BIT predicate, logarithmic-time hierarchy, rudimentary languages, integer division
25	Markus Müller-Olm, Andreas Wolf 0004	On Excusable and Inexcusable Failures.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF	runtime-error, verification, compiler, refinement, correctness, divergence, predicate transformer
25	Craig M. Chase, Vijay K. Garg	Detection of Global Predicates: Techniques and Their Limitations.	Distributed Comput.	1998	DBLP DOI BibTeX RDF	Unstable predicates, Distributed debugging, Predicate detection
25	Maria Brielmann, Joachim Stroop, Uwe Honekamp, Peter Wältermann	Simulation of hybrid mechatronic systems: a case study.	ECBS	1997	DBLP DOI BibTeX RDF	hybrid mechatronic systems, continuous system parts, discrete system parts, car electric windows, extended predicate/transition nets, hardware-in-the-loop simulation, hybrid simulation parallelisation, interconnections, complex systems, DSL, automaton, mechatronics, specification techniques, block diagram, simulation techniques
25	Scott D. Stoller	Detecting Global Predicates in Distributed Systems with Clocks.	WDAG	1997	DBLP DOI BibTeX RDF	distributed debugging, real-time monitoring, consistent global states, partially-synchronous systems, global predicate detection
25	Aris Zakinthinos, E. Stewart Lee	A General Theory of Security Properties.	S&P	1997	DBLP DOI BibTeX RDF	possibilistic security properties, low level event sequence, security predicate, high level users, low level users, Selective Interleaving Functions framework, information theory, information flow, security of data, partial ordering, data confidentiality, event systems
25	Vijay K. Garg, Brian Waldecker	Detection of Strong Unstable Predicates in Distributed Programs.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	Unstable predicates, distributed algorithms, distributed debugging, predicate detection
25	David Guaspari, Carla Marceau, Wolfgang Polak	Formal Verification of Ada Programs.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Penelope verification editor, formal basis, interactive development, logical soundness, interface languages, software engineering, Ada, program verification, correctness proof, prototype system, predicate transformers, Ada programs
25	George Peterka, Tadao Murata	Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	proof procedure, Horn clause subset, firing sequence, goal transition, Petri nets, logic programs, logic programming, theorem proving, programming theory, Petri net model, first-order predicate logic, answer extraction
25	Marloes Venema, Leon Botros	Using Predicate Extension for Predicate Encryption to Generically Obtain Chosen-Ciphertext Security and Signatures.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
25	Li Li 0091, Chenwei Wang, You Qin, Wei Ji 0008, Renjie Liang	Biased-Predicate Annotation Identification via Unbiased Visual Predicate Representation.	ACM Multimedia	2023	DBLP DOI BibTeX RDF
25	Yuichiroh Matsubayashi, Kentaro Inui	Distance-Free Modeling of Multi-Predicate Interactions in End-to-End Japanese Predicate-Argument Structure Analysis.	CoRR	2018	DBLP BibTeX RDF
25	Sikhar Patranabis, Debdeep Mukhopadhyay	New Lower Bounds on Predicate Entropy for Function Private Public-Key Predicate Encryption.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
25	Federico Flaviani	Inference of the Definition of the Predicate Transformer wp with Occurrences of the Predicate Domain Based on Denotational Semantics of GCL on ZF Set Theory.	CLEI	2018	DBLP DOI BibTeX RDF
25	Yuichiroh Matsubayashi, Kentaro Inui	Distance-Free Modeling of Multi-Predicate Interactions in End-to-End Japanese Predicate-Argument Structure Analysis.	COLING	2018	DBLP BibTeX RDF
25	Hiroki Ouchi, Hiroyuki Shindo, Yuji Matsumoto 0001	Neural Modeling of Multi-Predicate Interactions for Japanese Predicate Argument Structure Analysis.	ACL (1)	2017	DBLP DOI BibTeX RDF
25	Maddalen Lopez de Lacalle, Egoitz Laparra, Itziar Aldabe, German Rigau	Predicate Matrix: automatically extending the semantic interoperability between predicate resources.	Lang. Resour. Evaluation	2016	DBLP DOI BibTeX RDF
25	Mohsen Khani	The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two.	Arch. Math. Log.	2015	DBLP DOI BibTeX RDF
25	Ken Kaneiwa, Philip H. P. Nguyen	An order-sorted query system for sort, predicate, and meta-predicate hierarchies.	Knowl. Inf. Syst.	2013	DBLP DOI BibTeX RDF
25	Shota Yamada 0001, Nuttapong Attrapadung, Bagus Santoso, Jacob C. N. Schuldt, Goichiro Hanaoka, Noboru Kunihiro	Verifiable Predicate Encryption and Applications to CCA Security and Anonymous Predicate Authentication.	Public Key Cryptography	2012	DBLP DOI BibTeX RDF
25	Friedrich Gräter, Sebastian Götz, Julian Stecklina	Predicate-C: an efficient and generic runtime system for predicate dispatch.	ICOOOLPS@ECOOP	2011	DBLP DOI BibTeX RDF
25	Koichi Takeuchi, Suguru Tsuchiyama, Masato Moriya, Yuuki Moriyasu, Koichi Satoh	Verb Sense Disambiguation based on Thesaurus of Predicate-argument Structure - An Evaluation of Thesaurus of Predicate-argument Structure for Japanese Verbs.	KEOD	2011	DBLP BibTeX RDF
25	Jinji Li, Jungi Kim, Jong-Hyeok Lee	Chinese Syntactic Reordering through Contrastive Analysis of Predicate-predicate Patterns in Chinese-to-Korean SMT.	AMTA	2010	DBLP BibTeX RDF
25	Petr Hájek 0001, Jeff B. Paris, John C. Shepherdson	Rational Pavelka Predicate Logic Is A Conservative Extension of Lukasiewicz Predicate Logic.	J. Symb. Log.	2000	DBLP DOI BibTeX RDF
25	Mohammad Ardeshir	A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic.	Stud Logica	1999	DBLP DOI BibTeX RDF
25	Hiroyuki Yamauchi	Processing Of Syntax And Semantics Of Natural Language By Predicate Logic Of Predicate Logic.	COLING	1980	DBLP BibTeX RDF
25	Benjamin Weiß 0001	Predicate Abstraction in a Program Logic Calculus.	IFM	2009	DBLP DOI BibTeX RDF
25	Adam Bakewell, Dan R. Ghica	Compositional Predicate Abstraction from Game Semantics.	TACAS	2009	DBLP DOI BibTeX RDF
25	Sumit Gulwani, Saurabh Srivastava 0001, Ramarathnam Venkatesan	Constraint-Based Invariant Inference over Predicate Abstraction.	VMCAI	2009	DBLP DOI BibTeX RDF
25	Arie Gurfinkel, Sagar Chaki	Combining Predicate and Numeric Abstraction for Software Model Checking.	FMCAD	2008	DBLP DOI BibTeX RDF
25	Xiaole Bai, Wenjun Gu, Sriram Chellappan, Xun Wang, Dong Xuan, Bin Ma 0002	PAS: Predicate-Based Authentication Services Against Powerful Passive Adversaries.	ACSAC	2008	DBLP DOI BibTeX RDF
25	Lukasz Golab, Theodore Johnson, Oliver Spatscheck	Prefilter: predicate pushdown at streaming speeds.	SSPS	2008	DBLP DOI BibTeX RDF	data stream query optimization, data stream management systems, multi-query optimization
25	Thomas Eiter, Wolfgang Faber 0001, Michael Fink 0001, Stefan Woltran	Complexity results for answer set programming with bounded predicate arities and implications.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68N17, 68Q17
25	Royi Ronen, Oded Shmueli	Evaluation of datalog extended with an XPath predicate.	WIDM	2007	DBLP DOI BibTeX RDF	XML and relational processing, XML, datalog
25	Michele Nasu Tomiyama, Stéphane Julia	Modelling biological processes using differential predicate transition Petri nets.	SMC	2007	DBLP DOI BibTeX RDF
25	Monika Záková, Filip Zelezný	Exploiting Term, Predicate, and Feature Taxonomies in Propositionalization and Propositional Rule Learning.	ECML	2007	DBLP DOI BibTeX RDF
25	Stanley Kok, Pedro M. Domingos	Statistical predicate invention.	ICML	2007	DBLP DOI BibTeX RDF
25	Ingrid Rewitzky, Chris Brink	Monotone Predicate Transformers as Up-Closed Multirelations.	RelMiCS	2006	DBLP DOI BibTeX RDF
25	Daniel Kroening, Georg Weissenbacher	Counterexamples with Loops for Predicate Abstraction.	CAV	2006	DBLP DOI BibTeX RDF
25	Jörg Hoffmann 0001, Jan-Georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid, Andreas Podelski	Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL.	MoChArt	2006	DBLP DOI BibTeX RDF
25	Yifeng Chen	Hierarchical Organisation of Predicate-Semantic Models.	UTP	2006	DBLP DOI BibTeX RDF
25	Janusz Borkowski, Damian Kopanski, Marek Tudruj	Parallel Irregular Computations Control Based on Global Predicate Monitoring.	PARELEC	2006	DBLP DOI BibTeX RDF
25	David A. Schmidt	Underapproximating Predicate Transformers.	SAS	2006	DBLP DOI BibTeX RDF
25	Alina Andreevskaia, Zhuoyan Li, Sabine Bergler	Partial Predicate Argument Structure Matching for Entailment Determination.	MLCW	2005	DBLP DOI BibTeX RDF
25	Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai	Localization and Register Sharing for Predicate Abstraction.	TACAS	2005	DBLP DOI BibTeX RDF
25	Alexei Lisitsa 0001, Igor Potapov	Temporal Logic with Predicate lambda-Abstraction.	TIME	2005	DBLP DOI BibTeX RDF
25	Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv	Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists.	VMCAI	2005	DBLP DOI BibTeX RDF
25	Ittai Balaban, Amir Pnueli, Lenore D. Zuck	Shape Analysis by Predicate Abstraction.	VMCAI	2005	DBLP DOI BibTeX RDF
25	Daniel Kroening, Edmund M. Clarke	Checking consistency of C and Verilog using predicate abstraction and induction.	ICCAD	2004	DBLP DOI BibTeX RDF
25	Thomas Ball	A Theory of Predicate-Complete Test Coverage and Generation.	FMCO	2004	DBLP DOI BibTeX RDF
25	Michael Bain 0001	Predicate Invention and the Revision of First-Order Concept Lattices.	ICFCA	2004	DBLP DOI BibTeX RDF
25	Kyonam Choo, Seokhoon Kang, Hongki Min, Yoseop Woo	Automatic Extension of Korean Predicate-Based Sub-categorization Dictionary from Sense Tagged Corpora.	ICCSA (3)	2004	DBLP DOI BibTeX RDF
25	Naghmeh Ghafari, Rudolph E. Seviora	A Signal Processing Approach to Global Predicate Monitoring.	SRDS	2004	DBLP DOI BibTeX RDF
25	Raúl Monroy	Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm.	Autom. Softw. Eng.	2003	DBLP DOI BibTeX RDF	faulty specifications, program synthesis/transformation, abduction, proof planning
25	Shuvendu K. Lahiri, Randal E. Bryant, Byron Cook	A Symbolic Approach to Predicate Abstraction.	CAV	2003	DBLP DOI BibTeX RDF
25	Rajeev Alur, Thao Dang 0001, Franjo Ivancic	Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction.	HSCC	2003	DBLP DOI BibTeX RDF
25	Robert Saxon Milnikel	A Sequent Calculus for Skeptical Reasoning in Predicate Default Logic (Extended Abstract).	ECSQARU	2003	DBLP DOI BibTeX RDF
25	Alper Sen 0001, Vijay K. Garg	On Checking Whether a Predicate Definitely Holds.	FATES	2003	DBLP DOI BibTeX RDF
25	Punit Chandra, Ajay D. Kshemkalyani	Global Predicate Detection under Fine-Grained Modalities.	ASIAN	2003	DBLP DOI BibTeX RDF
25	Dennis Dams, Kedar S. Namjoshi	Shape Analysis through Predicate Abstraction and Model Checking.	VMCAI	2003	DBLP DOI BibTeX RDF
25	Botao Wang, Wang Zhang, Masaru Kitsuregawa	Design of B+Tree-Based Predicate Index for Efficient Event Matching.	APWeb	2003	DBLP DOI BibTeX RDF
25	Duminda Wijesekera, Sushil Jajodia	Policy algebras for access control the predicate case.	CCS	2002	DBLP DOI BibTeX RDF
25	Inseok Hwang 0002, Hamsa Balakrishnan, Ronojoy Ghosh, Claire J. Tomlin	Reachability Analysis of Delta-NotchLateral Inhibition Using Predicate Abstraction.	HiPC	2002	DBLP DOI BibTeX RDF
25	Rajeev Alur, Thao Dang 0001, Franjo Ivancic	Reachability Analysis of Hybrid Systems via Predicate Abstraction.	HSCC	2002	DBLP DOI BibTeX RDF
25	Sridhar Alagar, Subbarayan Venkatesan	Techniques to Tackle State Explosion in Global Predicate Detection.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	global intervals, Distributed systems, lattice, space complexity, global states, global predicates
25	Holger Sturm, Frank Wolter, Michael Zakharyaschev	Monodic Epistemic Predicate Logic.	JELIA	2000	DBLP DOI BibTeX RDF
25	David J. Pym	On Bunched Predicate Logic.	LICS	1999	DBLP DOI BibTeX RDF
25	Haoxun Chen, Hans-Michael Hanisch	Control Synthesis of Hybrid Systems Based on Predicate Invariance.	Hybrid Systems	1997	DBLP DOI BibTeX RDF
25	Marcello M. Bonsangue, Joost N. Kok, Erik P. de Vink	Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency.	CONCUR	1995	DBLP DOI BibTeX RDF
25	Alexander Borgida	On The Relationship Between Description Logic and Predicate Logic.	CIKM	1994	DBLP DOI BibTeX RDF
25	David H. Lorenz	Derivative Operators for Preference Predicate Evolution.	PPSN	1994	DBLP DOI BibTeX RDF
25	Hans Jürgen Ohlbach	Optimized Translation of Multi Modal Logic into Predicate Logic.	LPAR	1993	DBLP DOI BibTeX RDF
25	Michel Langevin	Automated RTL Verification Based on Predicate Calculus.	CAV	1990	DBLP DOI BibTeX RDF
25	Peter T. Wood, Alberto O. Mendelzon, Paolo Atzeni	Idempotent Single-Predicate Horn Clauses.	ICDT	1988	DBLP DOI BibTeX RDF
25	David Chaum	Demonstrating That a Public Predicate Can Be Satisfied Without Revealing Any Information About How.	CRYPTO	1986	DBLP DOI BibTeX RDF
25	Sten Andler	Predicate Path Expressions.	POPL	1979	DBLP DOI BibTeX RDF
25	Maarten H. van Emden, Robert A. Kowalski	The Semantics of Predicate Logic as a Programming Language.	J. ACM	1976	DBLP DOI BibTeX RDF
25	Józef Winkowski	Proving Properties of Programs by Means of Predicate Logic.	MFCS	1975	DBLP DOI BibTeX RDF
25	James R. Slagle	Interpolation Theorems for Resolution in Lower Predicate Calculus.	J. ACM	1970	DBLP DOI BibTeX RDF
25	Zohar Manna	Properties of Programs and the First-Order Predicate Calculus.	J. ACM	1969	DBLP DOI BibTeX RDF
24	Wanxiang Che, Min Zhang 0005, AiTi Aw, Chew Lim Tan, Ting Liu 0001, Sheng Li 0003	Using a Hybrid Convolution Tree Kernel for Semantic Role Labeling.	ACM Trans. Asian Lang. Inf. Process.	2008	DBLP DOI BibTeX RDF	Semantic role labeling, hybrid convolution tree kernel
24	Ken Kaneiwa	Description Logics with Contraries, Contradictories, and Subcontraries.	New Gener. Comput.	2007	DBLP DOI BibTeX RDF	Constructive Description Logic, Terminological Knowledge Representation, Strong Negation, Negative Information
24	Dirk Beyer 0001, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	The software model checker Blast.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Model checking, Software verification, Test-case generation, Software specification, Memory safety
24	Masaki Nakamura 0001, Kokichi Futatsugi	On Equality Predicates in Algebraic Specification Languages.	ICTAC	2007	DBLP DOI BibTeX RDF
24	Eduardo Quiñones, Joan-Manuel Parcerisa, Antonio González 0001	Improving Branch Prediction and Predicated Execution in Out-of-Order Processors.	HPCA	2007	DBLP DOI BibTeX RDF
24	Hyesoon Kim, José A. Joao, Onur Mutlu, Yale N. Patt	Diverge-Merge Processor (DMP): Dynamic Predicated Execution of Complex Control-Flow Graphs Based on Frequently Executed Paths.	MICRO	2006	DBLP DOI BibTeX RDF
24	Lars Birkedal, Søren Debois, Thomas T. Hildebrandt	Sortings for Reactive Systems.	CONCUR	2006	DBLP DOI BibTeX RDF
24	Silvio Valentini	The problem of the formalization of constructive topology.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF