Search the dblp DataBase

Publications of Author

1. Takaaki Tateishi, Hisashi Miyashita, Kouichi Ono, Shin Saito
   Automated Verification Tool for DHTML. [Citation Graph (0, 0)][DBLP]
   ASE, 2006, pp:363-364 [Conf]
   
2. Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
   An Axiomatic Formalization of UML Models. [Citation Graph (0, 0)][DBLP]
   pUML, 2001, pp:13-28 [Conf]
   
3. Takaaki Tateishi, Hisashi Miyashita, Tabuchi Naoshi, Shin Saito, Kouichi Ono
   DHTML Accessibility Checking Based on Static JavaScript Analysis. [Citation Graph (0, 0)][DBLP]
   HCI (7), 2007, pp:167-176 [Conf]
   
4. Kouichi Ono, Yuichi Nakamura, Fumiko Satoh, Takaaki Tateishi
   Verifying the Consistency of Security Policies by Abstracting into Security Types. [Citation Graph (0, 0)][DBLP]
   ICWS, 2007, pp:497-504 [Conf]
   
5. 
   Reducing Unnecessary Conservativeness in Access Rights Analysis with String Analysis. [Citation Graph (, )][DBLP]
   
   
6. 
   Secure Behavior of Web Browsers to Prevent Information Leakages. [Citation Graph (, )][DBLP]
   
   
7. 
   Modular string-sensitive permission analysis with demand-driven precision. [Citation Graph (, )][DBLP]