The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase non-termination (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1983-1998 (18) 1999-2003 (15) 2004-2007 (15) 2008-2009 (21) 2010-2013 (19) 2014-2016 (15) 2017-2022 (20) 2023-2024 (13)
Publication types (Num. hits)
article(40) incollection(2) inproceedings(91) phdthesis(3)
Venues (Conferences, Journals, ...)
CoRR(28) RTA(6) LOPSTR(4) PLDI(4) TACAS (2)(4) CADE(3) ICALP(3) ICLP(3) RelMiCS(3) Theory Pract. Log. Program.(3) CAV(2) ESOP(2) FSTTCS(2) ICFEM(2) IJCAR(2) SAS(2) More (+10 of total 75)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 54 occurrences of 48 keywords

Results
Found 136 publication records. Showing 136 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
87Dean Voets, Danny De Schreye A New Approach to Non-termination Analysis of Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF non-termination analysis, program analysis
57Mengjun Li, Ti Zhou, Zhoujun Li 0001 SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming. Search on Bibsonomy Inscrypt The full citation details ... 2008 DBLP  DOI  BibTeX  RDF non-termination characterization and prediction, abstract and refinement, security protocol
50Alfons Geser Loops of Superexponential Lengths in One-Rule String Rewriting. Search on Bibsonomy RTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF uniform termination, one-rule, single-rule Submission category: Regular research paper, termination, loop, string rewriting, semi-Thue system
49Étienne Payet, Frédéric Mesnard Non-termination Inference for Constraint Logic Programs. Search on Bibsonomy SAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
46Frédéric Mesnard, Étienne Payet, Ulrich Neumerkel Detecting Optimal Termination Conditions of Logic Programs. Search on Bibsonomy SAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Jürgen Giesl, René Thiemann, Peter Schneider-Kamp Proving and Disproving Termination of Higher-Order Functions. Search on Bibsonomy FroCoS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
42Helga Velroyen, Philipp Rümmer Non-termination Checking for Imperative Programs. Search on Bibsonomy TAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Marieke Huisman, Bart Jacobs 0001 Java Program Verification via a Hoare Logic with Abrupt Termination. Search on Bibsonomy FASE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
37Indrakshi Ray, Indrajit Ray Detecting Termination of Active Database Rules Using Symbolic Model Checking. Search on Bibsonomy ADBIS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
36Ashutosh Gupta 0001, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu Proving non-termination. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF non-termination, recurrent sets, model checking, testing, program verification
32Alexander Serebrenik, Danny De Schreye Proving Termination with Adornments. Search on Bibsonomy LOPSTR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Dean Voets Termination and Non-Termination in Logic Programming (Terminatie en Non-terminatie van Logische Programmeertalen). (PDF / PS) Search on Bibsonomy 2013   RDF
30Étienne Payet Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator. Search on Bibsonomy LOPSTR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Otmane Aït Mohamed, Eduard Cerny, Xiaoyu Song MDG-based Verification by Retiming and Combinational Transformations. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Circuit Transformations, Non-termination, Formal Verification, Retiming, Multiway Decision Graphs
27Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi, Eric Koskinen, ThanhVu Nguyen DynamiTe: dynamic termination and non-termination proofs. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
27Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi, Eric Koskinen, ThanhVu Nguyen DynamiTe: Dynamic Termination and Non-termination Proofs. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
27Ton Chanh Le, Quang-Trung Ta, Wei-Ngan Chin HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction - (Competition Contribution). Search on Bibsonomy TACAS (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
27Cristina David, Daniel Kroening, Matt Lewis Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs. Search on Bibsonomy ESOP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
27Ton Chanh Le, Shengchao Qin, Wei-Ngan Chin Termination and non-termination specification inference. Search on Bibsonomy PLDI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
27Cristina David, Daniel Kroening, Matt Lewis Unrestricted Termination and Non-Termination Arguments for Bit-Vector Programs. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
27Ton Chanh Le, Cristian Gherghina, Aquinas Hobor, Wei-Ngan Chin A Resource-Based Logic for Termination and Non-termination Proofs. Search on Bibsonomy ICFEM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Ton Chanh Le Preliminary Notes on Termination and Non-Termination Reasoning. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
27Frédéric Mesnard, Étienne Payet, Ulrich Neumerkel Non-Termination Inference for Optimal Termination Conditions of Logic Programs. Search on Bibsonomy JFPLC The full citation details ... 2002 DBLP  BibTeX  RDF
26Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp Tyrolean Termination Tool 2. Search on Bibsonomy RTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF automation, termination, term rewriting
23Peter Höfner, Georg Struth Non-termination in Idempotent Semirings. Search on Bibsonomy RelMiCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Johannes Waldmann Matchbox: A Tool for Match-Bounded String Rewriting. Search on Bibsonomy RTA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
20Sumit Gulwani, Saurabh Srivastava 0001, Ramarathnam Venkatesan Program analysis as constraint solving. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF most-general counterexamples, non-termination analysis, strongest postcondition, program verification, constraint solving, weakest precondition, bounds analysis
20René Thiemann, Christian Sternagel Loops under Strategies. Search on Bibsonomy RTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
20Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik Proving Termination for Logic Programs by the Query-Mapping Pairs Approach. Search on Bibsonomy Program Development in Computational Logic The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
19Jörg Endrullis, Hans Zantema Proving Looping and Non-Looping Non-Termination by Finite Automata. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
19Federico Aschieri, Margherita Zorzi Non-determinism, Non-termination and the Strong Normalization of System T. Search on Bibsonomy TLCA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
19Fabian Emmes, Tim Enger, Jürgen Giesl Proving Non-looping Non-termination Automatically. Search on Bibsonomy IJCAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
16Arie Gurfinkel, Ou Wei, Marsha Chechik Model Checking Recursive Programs with Exact Predicate Abstraction. Search on Bibsonomy ATVA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Patrick Cousot, Radhia Cousot Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper). Search on Bibsonomy Formal Methods in Programming and Their Applications The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Relational semantics, Dependence-free and dependence-sensitive analysis, Widening, Abstract interpretation, Galois connection, Strictness analysis
16Reinhold Heckmann Power Domains Supporting Recursion and Failure. Search on Bibsonomy CAAP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
15Étienne Payet Non-termination in Term Rewriting and Logic Programming. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
15Étienne Payet Binary Non-Termination in Term Rewriting and Logic Programming. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
15Étienne Payet Non-Termination in Term Rewriting and Logic Programming. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
15Lukas Gerlach 0002, David Carral Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
15Yao Zhang, Xiaofei Xie, Yi Li 0008, Sen Chen 0001, Cen Zhang, Xiaohong Li 0001 EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
15Florian Frohn, Jürgen Giesl Proving Non-Termination by Acceleration Driven Clause Learning with LoAT. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
15Florian Frohn, Jürgen Giesl Proving Non-Termination by Acceleration Driven Clause Learning (Short WST Version). Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
15Ievgen Ivanov On Newman's Lemma and Non-termination. Search on Bibsonomy IT&I The full citation details ... 2023 DBLP  BibTeX  RDF
15Florian Frohn, Jürgen Giesl Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper). Search on Bibsonomy CADE The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
15Ravindra Metta, Prasanth Yeduru, Hrishikesh Karmarkar, Raveendra Kumar Medicherla VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). Search on Bibsonomy TACAS (2) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
15Yao Zhang, Xiaofei Xie, Yi Li 0008, Sen Chen 0001, Cen Zhang, Xiaohong Li 0001 EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software. Search on Bibsonomy ASE The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
15Lukas Gerlach 0002, David Carral Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination. Search on Bibsonomy KR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
15Zhilei Han, Fei He 0001 Data-driven Recurrent Set Learning For Non-termination Analysis. Search on Bibsonomy ICSE The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
15Florian Frohn, Carsten Fuhs A calculus for modular loop acceleration and non-termination proofs. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
15Florian Frohn, Jürgen Giesl Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description). Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  BibTeX  RDF
15Jaymon Furniss Proving False in Object-Oriented Verification Programs by Exploiting Non-Termination. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
15Xiuhan Shi, Xiaofei Xie, Yi Li 0008, Yao Zhang, Sen Chen 0001, Xiaohong Li 0001 Large-scale analysis of non-termination bugs in real-world OSS projects. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
15Florian Frohn, Jürgen Giesl Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description). Search on Bibsonomy IJCAR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
15Jera Hensel, Constantin Mensendiek, Jürgen Giesl AProVE: Non-Termination Witnesses for C Programs - (Competition Contribution). Search on Bibsonomy TACAS (2) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
15Hrishikesh Karmarkar, Raveendra Kumar Medicherla, Ravindra Metta, Prasanth Yeduru FuzzNT : Checking for Program Non-termination. Search on Bibsonomy ICSME The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
15Florian Frohn, Carsten Fuhs A Calculus for Modular Loop Acceleration and Non-Termination Proofs. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
15Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný 0001, Dorde Zikelic Proving Non-termination by Program Reversal. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
15Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný 0001, Dorde Zikelic Proving non-termination by program reversal. Search on Bibsonomy PLDI The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
15Florian Frohn, Jürgen Giesl Proving Non-Termination via Loop Acceleration. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
15Florian Frohn, Jürgen Giesl Proving Non-Termination via Loop Acceleration. Search on Bibsonomy FMCAD The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
15Viktor Malík, Stefan Marticek, Peter Schrammel, Mandayam K. Srivas, Tomás Vojnar, Johanan Wahlang 2LS: Memory Safety and Non-termination - (Competition Contribution). Search on Bibsonomy TACAS (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
15Bai Xue 0001, Naijun Zhan, Yangjia Li, Qiuye Wang Robust Non-termination Analysis of Numerical Software. Search on Bibsonomy SETTA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
15Yi Li Witness to non-termination of linear programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
15Thom W. Frühwirth Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
15David Carral, Irina Dragoste, Markus Krötzsch Restricted Chase (Non)Termination for Existential Rules with Disjunctions. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
15Thom W. Frühwirth Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints. Search on Bibsonomy RuleML The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
15Alexey Bakhirkin Recurrent sets for non-termination and safety of programs. Search on Bibsonomy 2016   RDF
15Fred Mesnard, Étienne Payet A second-order formulation of non-termination. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
15Jörg Endrullis, Hans Zantema Proving non-termination by finite automata. Search on Bibsonomy RTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
15K. N. Nimkar Methods for proving non-termination of programs. Search on Bibsonomy 2015   RDF
15Jörg Endrullis, Hans Zantema Non-termination using Regular Languages. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
15Étienne Payet, Fred Mesnard, Fausto Spoto Non-Termination Analysis of Java Bytecode. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
15Fred Mesnard, Étienne Payet A Second-Order Formulation of Non-Termination. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
15Étienne Payet, Frédéric Mesnard Non-termination of Dalvik bytecode via compilation to CLP. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
15Daniel Larraz, Kaustubh Nimkar, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio Proving Non-termination Using Max-SMT. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
15Senlin Liang, Michael Kifer A practical analysis of non-termination in large logic programs. Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
15Senlin Liang, Michael Kifer Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
15Liyun Dai, Bican Xia Non-Termination Sets of Simple Linear Loops Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
15Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, Akash Lal Detecting Fair Non-termination in Multithreaded Programs. Search on Bibsonomy CAV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
15Liyun Dai, Bican Xia Non-termination Sets of Simple Linear Loops. Search on Bibsonomy ICTAC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
15Senlin Liang Non-termination Analysis and Cost-Based Query Optimization of Logic Programs. Search on Bibsonomy RR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
15Geoffrey Smith 0001, Rafael Alpízar Non-termination and secure information flow. Search on Bibsonomy Math. Struct. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
15Antonio Bucciarelli Extensional Collapse Situations I: non-termination and unrecoverable errors Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
15Dean Voets, Danny De Schreye Non-termination Analysis of Logic Programs with Integer arithmetics Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
15Alexander Rand Improved Examples of Non-Termination for Ruppert's Algorithm Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
15Alexander Rand On the Non-Termination of Ruppert's Algorithm Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
15Dean Voets, Danny De Schreye Non-termination analysis of logic programs with integer arithmetics. Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
15Marc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode. Search on Bibsonomy FoVeOOS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
15Matthias Kuntz, Stefan Leue, Christoph Scheben Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs. Search on Bibsonomy WING@ETAPS/IJCAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
15Dean Voets, Danny De Schreye Non-termination Analysis of Logic Programs Using Types. Search on Bibsonomy LOPSTR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
15Étienne Payet, Fausto Spoto Experiments with Non-Termination Analysis for Java Bytecode. Search on Bibsonomy BYTECODE@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Étienne Payet, Frédéric Mesnard A non-termination criterion for binary constraint logic programs. Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Dean Voets Research Summary: Non-termination Analysis of Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Étienne Payet, Frédéric Mesnard A Non-Termination Criterion for Binary Constraint Logic Programs Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
15Étienne Payet, Frédéric Mesnard An Improved Non-Termination Criterion for Binary Constraint Logic Programs Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
15Walter Guttmann Non-termination in Unifying Theories of Programming. Search on Bibsonomy RelMiCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15Étienne Payet, Frédéric Mesnard An Improved Non-Termination Criterion for Binary Constraint Logic Programs. Search on Bibsonomy WLPE The full citation details ... 2005 DBLP  BibTeX  RDF
15Étienne Payet, Frédéric Mesnard Non-Termination Inference of Logic Programs Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
15Otmane Aït Mohamed, Xiaoyu Song, Eduard Cerny On the non-termination of M-based abstract state enumeration. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Reinhard Kahle, Thomas Studer Formalizing non-termination of recursive programs. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 136 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license