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
5Glenn Bruns, Michael Huth, Kumar Avijit Program synthesis in administration of higher-order permissions. Search on Bibsonomy SACMAT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
5Monika Heiner, Sebastian Lehrack, David R. Gilbert, Wolfgang Marwan Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments. Search on Bibsonomy Trans. Comp. Sys. Biology The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
5Laura Bozzelli, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek On decidability of LTL model checking for process rewrite systems. Search on Bibsonomy Acta Informatica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
5Michael Fisher 0001, Boris Konev, Alexei Lisitsa 0001 Temporal Verification of Fault-Tolerant Protocols. Search on Bibsonomy Methods, Models and Tools for Fault Tolerance The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
5Shuai Luan, Yuliang Shi, Haiyang Wang A Mechanism of Modeling and Verification for SaaS Customization Based on TLA. Search on Bibsonomy WISM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Verification, Customization, SaaS, TLA
5Yang Liu 0003, Jun Sun 0001, Jin Song Dong Scalable Multi-core Model Checking Fairness Enhanced Systems. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
5Morteza Lahijanian, Marius Kloetzer, Sara Itani, Calin Belta, Sean B. Andersson Automatic deployment of autonomous cars in a Robotic Urban-Like Environment (RULE). Search on Bibsonomy ICRA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
5Alexander Schimpf, Stephan Merz, Jan-Georg Smaus Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL. Search on Bibsonomy TPHOLs The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
5Noureddine Adjir, Pierre de Saqui-Sannes, Kamel Mustapha Rahmouni Testing Real-Time Systems Using TINA. Search on Bibsonomy TestCom/FATES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Prioritized Time Petri Nets, time optimal test cases, Real-time system, conformance testing
5Min Wu, Gangfeng Yan, Zhiyun Lin, Ying Lan Synthesis of output feedback control for motion planning based on LTL specifications. Search on Bibsonomy IROS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
5Sylvain Hallé, Roger Villemaire Runtime monitoring of web service choreographies using streaming XML. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF streaming XML, web services, runtime monitoring
5Edmund M. Clarke My 27-year Quest to Overcome the State Explosion Problem. Search on Bibsonomy LICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
5Stefan Göller, Richard Mayr, Anthony Widjaja To On the Computational Complexity of Verifying One-Counter Processes. Search on Bibsonomy LICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
5Christian Dax, Felix Klaedtke, Martin Lange On Regular Temporal Logics with Past, . Search on Bibsonomy ICALP (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
5António Eduardo Martins, Felipa lopes dos Reis Virtual teaching in a society of learning. Search on Bibsonomy W4A The full citation details ... 2009 DBLP  DOI  BibTeX  RDF virtual teaching, e-learning
5Marta Z. Kwiatkowska On Quantitative Software Verification. Search on Bibsonomy SPIN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
5Hong P. Liu, David P. Gluch Formal verification of AADL behavior models: a feasibility investigation. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF architecture analysis & design language, model checking, tool integration, computational tree logic
5Geng-Dian Huang, Lin-Zan Cai, Farn Wang LTL Model Checking for Recursive Programs. Search on Bibsonomy ATVA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
5Franz Baader, Andreas Bauer 0002, Alwen Tiu Matching Trace Patterns with Regular Policies. Search on Bibsonomy LATA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
5Benedikt Bollig, Paul Gastin Weighted versus Probabilistic Logics. Search on Bibsonomy Developments in Language Theory The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #20 of 3993 (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