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 (90) 1995 (68) 1996 (87) 1997 (83) 1998 (84) 1999 (88) 2000 (92) 2001 (93) 2002 (118) 2003 (169) 2004 (160) 2005 (168) 2006 (200) 2007 (210) 2008 (169) 2009 (138) 2010 (75) 2011 (71) 2012 (95) 2013 (83) 2014 (113) 2015 (79) 2016 (109) 2017 (110) 2018 (124) 2019 (159) 2020 (168) 2021 (165) 2022 (172)
Publication types (Num. hits)
article(1275) book(9) incollection(34) inproceedings(2631) phdthesis(41) proceedings(3)
Venues (Conferences, Journals, ...)
CoRR(396) TIME(107) CAV(83) CDC(63) Theor. Comput. Sci.(62) ACC(58) 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 966)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2557 occurrences of 933 keywords

Results
Found 3993 publication records. Showing 3993 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
40Augustin Baziramwabo, Pierre McKenzie, Denis Thérien Modular Temporal Logic. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF semigroup theory, temporal logic, finite model theory
40Rajeev Alur, Thomas A. Henzinger, Orna Kupferman Alternating-time temporal logic. Search on Bibsonomy J. ACM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF temporaxl logic, model checking, games, Alternation
40Rajeev Alur, Thomas A. Henzinger, Orna Kupferman Alternating-time Temporal Logic. Search on Bibsonomy FOCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
40Rajeev Alur, Thomas A. Henzinger, Orna Kupferman Alternating-Time Temporal Logic. Search on Bibsonomy COMPOS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
40Vladimir V. Rybakov Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms. Search on Bibsonomy CSR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF consecutions, admissible rules, algorithms, inference rules, linear temporal logic, logic in computer science, logical consequence
40Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán Formalization of UML state machines using temporal logic. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF UML, specification, formal semantics, interval temporal logic, Statechart diagrams
40Arie Gurfinkel, Marsha Chechik, Benet Devereux Temporal Logic Query Checking: A Tool for Model Exploration. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF query checking, TLQSolver, model understanding, model checking, CTL, multi-valued logic
39Alexander Bolotov A Clausal Resolution Method for Extended Computation Tree Logic ECTL. Search on Bibsonomy TIME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
38Michael Bauland, Thomas Schneider 0002, Henning Schnoor, Ilka Schnoor, Heribert Vollmer The Complexity of Generalized Satisfiability for Linear Temporal Logic. Search on Bibsonomy FoSSaCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF computational complexity, linear temporal logic
38Todd Fine Defining Noninterference in the Temporal Logic of Actions. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 1996 DBLP  DOI  BibTeX  RDF noninterference properties, temporal logic of actions, multilevel secure systems, formal specification, formal methods, temporal logic, composition, security of data, covert channels, definitions, specification refinement
38Naoshi Uchihira, Shinichi Honiden Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. Search on Bibsonomy HICSS (2) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF fifth generation systems, compositional adjustment, correct concurrent program development, temporal logic constraints, MENDELS ZONE, program adjustment, finite-state process, arbiter process, partial serialization, imperfect processes, harmful nondeterministic behaviors, large-scale compound target processes, process equivalence theory, Multi-PSI, MENDEL concurrent programming language, kernel language, KL1, parallel computer, temporal logic, programming environments, programming environment, program debugging, high-level Petri net, constraint handling, multiprocessing programs, formal approach
38Michael Young, David L. Levine, Richard N. Taylor Comments on "Temporal Logic-Based Deadlock Analysis for Ada''. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF temporal logic-based deadlock analysis, axiomatic proof method, event-based models, computational complexity, computational complexity, Ada, Ada, temporal logic, concurrency control, nondeterminism, symbolic manipulation, symbol manipulation, state-based models
38Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny Semantics of Framed Temporal Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Temporal logic programming, semantics, framing, monotonicity, minimal model
38Dezhuang Zhang, Rance Cleaveland Efficient temporal-logic query checking for presburger systems. Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Presburger systems, on-the-fly symbolic model checking, query checking, model checking, formal methods
37Frank Dignum, Ruurd Kuiper Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines. Search on Bibsonomy HICSS (5) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
37Seiki Akama, Yasunori Nagata, Chikatoshi Yamada Three-Valued Temporal Logic Q t and Future Contingents. Search on Bibsonomy Stud Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Q, three-valued temporal logic Q t, future contingents, Kripke semantics, Prior
37Adrianna Alexander Composition of Temporal Logic Specifications. Search on Bibsonomy ICATPN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF verification, specification, temporal logic, partial order, compositional semantics
37Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps Temporal Logic for Scenario-Based Specifications. Search on Bibsonomy TACAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37Arkadi Estrin, Michael Kaminski The Expressive Power of Temporal Logic of Actions (Extended Abstract). Search on Bibsonomy CONCUR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
36Klaus Havelund, Grigore Rosu An Overview of the Runtime Verification Tool Java PathExplorer. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Java, dynamic programming, temporal logic, deadlocks, automata, rewriting logic, runtime verification, data races, trace analysis, program instrumentation, Maude
Displaying result #41 - #60 of 3993 (20 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][>>]
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