yr 〜
yr

Search results 17

Automated technology for verification and analysis : 11th international symposium, ATVA 2013 : Hanoi, Vietnam, October 15-18, 2013 : proceedings : Oct 2013, Hanoi, Vietnam. (Lecture Notes in Computer Science ; 8172)

Automated technology for verification and analysis : 11th international symposium, ATVA 2013 : Hanoi, Vietnam, October 15-18, 2013 : proceedings : Oct 2013, Hanoi, Vietnam. (Lecture Notes in Computer Science ; 8172)
Paper図書
Springerc2013.<M17-14-770>
National Diet Library
  • Author Heading...ung Van, 1950- Ogawa, Mizuhito. Vietnam National University, ...

Termination and Boundedness for Well-Structured Pushdown Systems

Termination and Boundedness for Well-Structured Pushdown Systems
Digital文書・図像類
Lei, Suhua, Cai, Xiaojuan, Ogawa, Mizuhito北陸先端科学技術大学院大学先端科学技術研究科情報科学系2016-05-17Research report (School of Information Science, Graduate School of Advanced Science and Technology, Japan Advanced Institute of Science and Technology)IS-RR-2016-001p.1-25
Other Libraries in Japan

Well-Structured Pushdown Systems, Part 2: On Reachability of Dense Timed Pushdown Automata

Well-Structured Pushdown Systems, Part 2: On Reachability of Dense Timed Pushdown Automata
Digital文書・図像類
Ogawa, Mizuhito, Cai, Xiaojuan北陸先端科学技術大学院大学情報科学研究科2013-08-19Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2013-005p.1-18
Other Libraries in Japan

Automatic analysis, verification, and generation of functional programs

Automatic analysis, verification, and generation of functional programs
Paper博士論文
小川瑞史 [著][小川瑞史]2002<UT51-2003-U667>
National Diet Library

Pushdown Model Generation of Malware

Pushdown Model Generation of Malware
Digital文書・図像類
Nguyen, Minh Hai, Ogawa, Mizuhito, Quan, Thanh Tho北陸先端科学技術大学院大学情報科学研究科2014-06-24Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2014-003p.1-18
Other Libraries in Japan

Well-Structured Pushdown Systems, Part 1: Decidable Classes for Coverability

Well-Structured Pushdown Systems, Part 1: Decidable Classes for Coverability
Digital文書・図像類
Cai, Xiaojuan, Ogawa, Mizuhito北陸先端科学技術大学院大学情報科学研究科2013-01-08Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2013-001p.1-19
Other Libraries in Japan

raSAT: SMT for Polynomial Inequality

raSAT: SMT for Polynomial Inequality
Digital文書・図像類
To, Van Khanh, Ogawa, Mizuhito北陸先端科学技術大学院大学情報科学研究科2013-05-27Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2013-003p.1-23
Other Libraries in Japan

Nested Timed Automata

Nested Timed Automata
Digital文書・図像類
Li, Guoqiang, Cai, Xiaojuan, Ogawa, Mizuhito, Yuen, Shoji北陸先端科学技術大学院大学情報科学研究科2013-06-11Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2013-004p.1-20
Other Libraries in Japan

Modular Stacking-based Context-Sensitive Program Analysis

Modular Stacking-based Context-Sensitive Program Analysis
Digital文書・図像類
Li, Xin, Ogawa, Mizuhito北陸先端科学技術大学院大学情報科学研究科2011-06-29Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2011-002p.1-22
Other Libraries in Japan

Combining Testing and Static Analysis to Overflow and Roundoff Error Detection

Combining Testing and Static Analysis to Overflow and Roundoff Error Detection
Digital文書・図像類
Do, Ngoc Thi Bich, Ogawa, Mizuhito北陸先端科学技術大学院大学情報科学研究科2010-06-21Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2010-004p.1-27
Other Libraries in Japan

Stacking-based Context-Sensitive Points-to Analysis for Java

Stacking-based Context-Sensitive Points-to Analysis for Java
Paper文書・図像類
Li, Xin, Ogawa, Mizuhito北陸先端科学技術大学院大学情報科学研究科2009-05-14Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2009-001p.1-18
Other Libraries in Japan

Proving Properties of Incremental Merkle Trees

Proving Properties of Incremental Merkle Trees
Digital文書・図像類
Ogawa, Mizuhito, Horita, Eiichi, Ono, Satoshi2009-09-22p.1-20
Other Libraries in Japan

Context-sensitive points-to analysis for Java as all-in-one weighted pushdown model checking

Context-sensitive points-to analysis for Java as all-in-one weighted pushdown model checking
Paper文書・図像類
Li, Xin, Ogawa, Mizuhito北陸先端科学技術大学院大学情報科学研究科2008-09-04Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2008-003p.1-10
Other Libraries in Japan

Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol

Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol
Digital文書・図像類
Li, Guoqiang, Ogawa, Mizuhito北陸先端科学技術大学院大学情報科学研究科2008-07-25Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2008-002p.1-22
Other Libraries in Japan

On-the-fly Model Checking Security Protocols and Its Implementation by Maude

On-the-fly Model Checking Security Protocols and Its Implementation by Maude
Digital文書・図像類
Li, Guoqiang, Ogawa, Mizuhito2006-11-29p.1-32
Other Libraries in Japan

Parameterized Points-to Analysis for Java based on Weighted Pushdown Model Checking

Parameterized Points-to Analysis for Java based on Weighted Pushdown Model Checking
Digital文書・図像類
Li, Xin, Ogawa, Mizuhito2006-11-27p.1-42
Other Libraries in Japan

Visibly Stack Automata

Visibly Stack Automata
Digital文書・図像類
Nguyen, Van Tang, Ogawa, Mizuhito2006-11-27p.1-24
Other Libraries in Japan

Reached to the end of result.