Art

J-GLOBAL ID：201802216367167752   Reference number：18A1365212

Counting Algorithms for Recognizable and Algebraic Series

認識可能級数と代数的級数のための計数アルゴリズム

Author (3)： CHU Bao Trung (Nagoya University) ,  HASHIMOTO Kenji (Nagoya University) ,  SEKI Hiroyuki (Nagoya University)
Material： IEICE Transactions on Information and Systems (Web)  (IEICE Trans Inf Syst (Web))
Volume： E101.D  Issue： 6  Page： 1479-1490(J-STAGE)  Publication year： 2018 
JST Material Number： U0469A  ISSN： 1745-1361  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： ENGLISH (EN)

Thesaurus term： *measurement ,  *character string ,  formal language ,  series ,  quantitative analysis (analytical chemistry) ,  *algorithm ,  context free grammar ,  analysis (separation) ,  software ,  automaton ,  state transition matrix ,  *counting ,  vulnerability analysis
Semi thesaurus term： state transition matrix

Author keywords (4)： string counting ,  recognizable series ,  algebraic series ,  context-free grammar

JST classification (2)： Other computer utilization technology  (JE14000C) ,  Data protection  (JD01020V)

Reference (35)：

• [1] P.A. Abdulla, M.F. Atig, Y.-F. Chen, L. Holík, A. Rezine, P. Rümmer, and J. Stenman, “String constraints for verification,” 26th International Conference on Computer Aided Verification (CAV 2014), pp.150-166, 2014. 10.1007/978-3-319-08867-9_10
• [2] P.A. Abdulla, M.F. Atig, Y.-F. Chen, L. Holík, A. Rezine, P. Rümmer, and J. Stenman, “Norn: an SMT solver for string constraints,” 27th International Conference on Computer Aided Verification (CAV 2015), pp.462-469, 2015. 10.1007/978-3-319-21690-4_29
• [3] M. Alkhalaf, T. Bultan, and J.L. Gallegos, “Verifying client-side input validation functions using string analysis,” 34th International Conference on Software Engineering (ICSE 2012), pp.947-957, 2012. 10.1109/icse.2012.6227124
• [4] A. Aydin, L. Bang, and T. Bultan, “Automata-based model counting for string constraints,” 27th International Conference on Computer Aided Verification (CAV 2015), pp.255-272, 2015. 10.1007/978-3-319-21690-4_15
• [5] L. Bang, A. Aydin, Q.-S. Phan, C.S. Păsăreanu, and T. Bultan, “String analysis for side channels with segmented oracles,” ACM International Symposium on the Foundations of Software Engineering (FSE 2016), pp.193-204, 2016. 10.1145/2950290.2950362

Terms in the title (3)： 級数 ,  計数 ,  アルゴリズム