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
33Huiqun Yu, Xudong He, Yi Deng 0001, Lian Mo Formal Analysis of Real-Time Systems with SAM. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF model, Real-time system, Petri net, temporal logic, analysis, SAM
32Martin Leucker, César Sánchez Regular Linear Temporal Logic. Search on Bibsonomy ICTAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Kousha Etessami, Moshe Y. Vardi, Thomas Wilke First-Order Logic with Two Variables and Unary Temporal Logic. Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
32André Platzer A Temporal Dynamic Logic for Verifying Hybrid System Invariants. Search on Bibsonomy LFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF logic for hybrid systems, deductive verification of embedded systems, temporal logic, dynamic logic, sequent calculus
32Zining Cao Model Checking for Real-Time Temporal, Cooperation and Epistemic Properties. Search on Bibsonomy Intelligent Information Processing The full citation details ... 2006 DBLP  DOI  BibTeX  RDF knowledge logic, model checking, cooperation, Real-time temporal logic
32Chuang Lin 0001, Zhiguang Shan, Ting Liu, Yang Qu, Fengyuan Ren Modeling and Inference of Extended Interval Temporal Logic for Nondeterministic Intervals. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part A The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Serenella Cerrito, Marta Cialdea Mayer, Sébastien Praud First Order Linear Temporal Logic over Finite Time Structures. Search on Bibsonomy LPAR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
32Rance Cleaveland Temporal Process Logic (Abstract). Search on Bibsonomy CONCUR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
31Laura K. Dillon, Y. S. Ramakrishna Generating Oracles from Your Favorite Temporal Logic Specifications. Search on Bibsonomy SIGSOFT FSE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF propositional temporal logic, specification-based test oracles, tableau methods, test validation, verification, formal specification
31Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi Execution of TILCO Temporal Logic Specifications. Search on Bibsonomy ICECCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF real-time systems, first order logic, formal specification language, temporal operators, temporal interval logic
31Jesper G. Henriksen, P. S. Thiagarajan A Product Version of Dynamic Linear Time Temporal Logic. Search on Bibsonomy CONCUR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
31Bernhard Heinemann An Application of Monodic First Order Temporal Logic to Reasoning about Knowledge. Search on Bibsonomy TIME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
31Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar The ForSpec Temporal Logic: A New Temporal Property-Specification Language. Search on Bibsonomy TACAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
31Alberto Rugnone, Francesco Poli, Enrico Vicario, Chris D. Nugent, Elena Tamburini, Cristiano Paggetti A Visual Editor to Support the Use of Temporal Logic for ADL Monitoring. Search on Bibsonomy ICOST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Activity Daily Living, Patient Behavior Models, Model Checking, Temporal Logic
31Jianchuan Xing, Zhishu Li, Liangyin Chen Using Simulation to Improve the Flexibility of Adaptive Workflow Models Based on Temporal Logic. Search on Bibsonomy SEAL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF simulation, temporal logic, flexibility, adaptive workflow
31Georgios E. Fainekos, George J. Pappas Robustness of Temporal Logic Specifications. Search on Bibsonomy FATES/RV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Timed State Sequences, Metric and Linear Temporal Logic, Robustness, Monitoring, Metric spaces
31Wil M. P. van der Aalst, H. T. de Beer, Boudewijn F. van Dongen Process Mining and Verification of Properties: An Approach Based on Temporal Logic. Search on Bibsonomy OTM Conferences (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF data mining, Petri nets, temporal logic, workflow management, business process management, Process mining
31Alper Sen 0001, Vijay K. Garg Detecting Temporal Logic Predicates on the Happened-Before Model. Search on Bibsonomy IPDPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF distributed systems, model checking, temporal logic, CTL, predicate detection
31Andrew Bernard, Peter Lee 0001 Temporal Logic for Proof-Carrying Code. Search on Bibsonomy CADE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF temporal logic, Proof-carrying code
31Khalil Ajami, Serge Haddad, Jean-Michel Ilié Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond. Search on Bibsonomy TACAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Büchi automata, Model Checking, Verification, Temporal Logic, Symmetries, LTL
Displaying result #81 - #100 of 3993 (20 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][>>]
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