The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase temporal logic (changed automatically)

Publication years (Num. hits)
1977-1982 (29) 1983 (21) 1984 (22) 1985 (17) 1986 (21) 1987 (41) 1988 (36) 1989 (51) 1990 (40) 1991 (47) 1992 (54) 1993 (74) 1994 (89) 1995 (68) 1996 (87) 1997 (83) 1998 (84) 1999 (88) 2000 (92) 2001 (92) 2002 (118) 2003 (169) 2004 (159) 2005 (168) 2006 (200) 2007 (210) 2008 (168) 2009 (138) 2010 (75) 2011 (71) 2012 (96) 2013 (83) 2014 (113) 2015 (78) 2016 (110) 2017 (110) 2018 (124) 2019 (159) 2020 (169) 2021 (163) 2022 (119)
Publication types (Num. hits)
article(1243) book(9) incollection(34) inproceedings(2607) phdthesis(40) proceedings(3)
Venues (Conferences, Journals, ...)
CoRR(375) TIME(104) CAV(83) CDC(62) Theor. Comput. Sci.(62) ACC(57) CONCUR(55) ICRA(53) HSCC(39) LICS(38) TACAS(38) ICTL(34) J. Log. Comput.(32) IEEE Trans. Software Eng.(30) IROS(30) AAMAS(28) More (+10 of total 957)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2557 occurrences of 933 keywords

Results
Found 3936 publication records. Showing 3936 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
64E. Allen Emerson, Jai Srinivasan Branching time temporal logic. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Modal and Temporal Logic: Branching time temporal logic, linear time temporal logic, model checking - Logics of Programs: Reasoning about concurrent programs, specification of and reasoning about fairness - Software Engineering: Specification techniques, automated verification techniques - Computational Complexity, Automata Theory: Finite-state automata on infinite objects, program verification, satisfiability, decidability, expressiveness, decision procedures, dynamic logics, tree automata, axiomatics, program specification, mechanical synthesis
60Leslie Lamport "Sometime" is Sometimes "Not Never" - On the Temporal Logic of Programs. Search on Bibsonomy POPL The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
56E. Allen Emerson, Joseph Y. Halpern "Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time. Search on Bibsonomy POPL The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
55Marisa A. Sanchez, Juan Carlos Augusto Testing an Implementation of a Temporal Logic Language. Search on Bibsonomy SCCC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF temporal logic language, language implementation testing, Temporal Prolog, Hilbert model, formal specification, logic programming, temporal logic, temporal logic, PROLOG, program testing, specification-based testing, inference rules, axioms, program errors
54Gerald M. Karam, Raymond J. A. Buhr Temporal Logic-Based Deadlock Analysis For Ada. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF temporal logic-based specification language, deadlock analyzer, Timebench, concurrent system-design environment, COL, linear-time temporal logic, formal basis, axiomatic reasoning, deadlock analysis tool, reasoning power, Ada designs, systemwide deadlock-free, deadlock algorithm, finite systems, worst-case computational complexity, gas station, layered communications system, computational complexity, Ada, logic programming, temporal logic, Prolog, specification language, specification languages, inference mechanisms, system recovery, theorem prover, readers, dining philosophers, writers
53Guoxing Zhao, Jixin Ma 0001, Fuxing Shen, Miltos Petridis A Sound and Complete Reified Temporal Logic. Search on Bibsonomy SNPD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Reified Temporal Logic, Completeness
49Pierre Wolper On the Relation of Programs and Computations to Models of Temporal Logic. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
49Ruurd Kuiper Enforcing Nondeterminism via Linear Time Temporal Logic Specifications using Hiding. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
49Behnam Banieqbal, Howard Barringer Temporal Logic with Fixed Points. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
49Dov M. Gabbay The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
49Zhou Chaochen Specifying Communicating Systems with Temporal Logic. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
49Roger Hale Using Temporal Logic for Prototyping: The Design of a Lift Controller. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
49Ron Koymans Specifying Message Passing Systems Requires Extending Temporal Logic. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
49Shmuel Katz, Doron A. Peled Interleaving Set Temporal Logic. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
48Yih-Kuen Tsay, Yu-Fang Chen 0001, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan, Chi-Jian Luo, Jinn-Shu Chang Tool support for learning Büchi automata and linear temporal logic. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Büchi automata, QPTL, Model checking, GOAL, Linear temporal logic
48Seong-ick Moon, Kwang Hyung Lee, Doheon Lee Fuzzy branching temporal logic. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part B The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
47Ben C. Moszkowski Compositional reasoning about projected and infinite time. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF multiple time granularities, parallel programming, concurrency, temporal logic, temporal logic, concurrency control, theorem proving, multiprocessing systems, deadlock, commitments, concurrent system, assumptions, Interval Temporal Logic
45Norihiro Kamide Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic. Search on Bibsonomy CLIMA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
45Alexander Bolotov, Michael Fisher 0001 A Resolution Method For CTL Branching-Time Temporal Logic. Search on Bibsonomy TIME The full citation details ... 1997 DBLP  DOI  BibTeX  RDF resolution method, CTL branching-time temporal logic, clausal resolution method, extended CTL, fairness operators, step resolution, temporal resolution rule, linear-time temporal resolution, temporal logic, completeness, normal form, linear temporal logic, computation tree logic, CTL*
45John Håkansson, Bengt Jonsson 0001, Ola Lundqvist Generating online test oracles from temporal logic specifications. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Online test oracles, Temporal logic specifications, Case studies, Safety properties, Metric temporal logic
Displaying result #1 - #20 of 3936 (20 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license