Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for FLTL with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2000-2019 (10)
Publication types (Num. hits)
article(2) inproceedings(8)
Venues (Conferences, Journals, ...)
AIMSA(1) ASIAN(1) ETX(1) EUROMICRO(1) IEEE Trans. Syst. Man Cybern. ...(1) Int. J. Appl. Math. Comput. Sc...(1) ISSRE Workshops(1) PPDP(1) SCESM(1) SERVICES I(1)
Authors
Amelia Badica(2) Costin Badica(2) Sebastián Uchitel(2) Alessandra Russo(1) Carlos Olarte(1) Dalal Alrajeh(1) Dario Fischbein(1) Dirk W. Hoffmann(1) Doheon Lee(1) Frank D. Valencia(1) Franz Wotawa(1) Fuyuan Zhang(1) Haibing Guan(1) Hao Wang 0022(1) Howard Foster(1) Ingo Pill(1) More (+10 of total 26)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 10 keywords
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
162Carlos Olarte, Frank D. Valencia The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. Search on Bibsonomy PPDP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF first-order linear temporal logic, security protocols, closure operators, concurrent constraint programming
57Nicolás D'Ippolito, Dario Fischbein, Howard Foster, Sebastián Uchitel MTSA: Eclipse support for modal transition systems construction, analysis and elaboration. Search on Bibsonomy ETX The full citation details ... 2007 DBLP  DOI  BibTeX  RDF FLTL, synthesis, scenarios, Eclipse, MTS
49Martin Leucker On Model Checking Synchronised Hardware Circuits. Search on Bibsonomy ASIAN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
39Ingo Pill, Franz Wotawa Extending Automated FLTL Test Oracles with Diagnostic Support. Search on Bibsonomy ISSRE Workshops The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
39Amelia Badica, Costin Badica FSP and FLTL framework for specification and verification of middle-agents. Search on Bibsonomy Int. J. Appl. Math. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
39Zhengwei Qi, Liang Liu 0010, Fuyuan Zhang, Haibing Guan, Hao Wang 0022, Ying Chen 0004 FLTL-MC: Online High Level Program Analysis for Web Services. Search on Bibsonomy SERVICES I The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
33Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel Inferring operational requirements from scenarios and goal models using inductive learning. Search on Bibsonomy SCESM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF FLTL, scenarios, event calculus, inductive inference, goal-oriented requirements engineering
25Amelia Badica, Costin Badica Conceptualizing Interactions with Matchmakers and Front-Agents Using Formal Verification Methods. Search on Bibsonomy AIMSA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Seong-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
25Dirk W. Hoffmann, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel Simulation Meets Verification: Checking Temporal Properties in SystemC. Search on Bibsonomy EUROMICRO The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #10 of 10 (100 per page; Change: )
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