 | 2012 |
|---|
| 8 |       | Jing Yang,
Gogul Balakrishnan,
Naoto Maeda,
Franjo Ivancic,
Aarti Gupta,
Nishant Sinha,
Sriram Sankaranarayanan,
Naveen Sharma:
Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis.
CC 2012: 144-164 |
| 7 | | Khalil Ghorbal,
Franjo Ivancic,
Gogul Balakrishnan,
Naoto Maeda,
Aarti Gupta:
Donut Domains: Efficient Non-convex Domains for Abstract Interpretation.
VMCAI 2012: 235-250 |
| 2011 |
|---|
| 6 | | Franjo Ivancic,
Gogul Balakrishnan,
Aarti Gupta,
Sriram Sankaranarayanan,
Naoto Maeda,
Hiroki Tokuoka,
Takashi Imoto,
Yoshiaki Miyazaki:
DC2: A framework for scalable, scope-bounded software verification.
ASE 2011: 133-142 |
| 5 | | Prakash Prabhu,
Naoto Maeda,
Gogul Balakrishnan,
Franjo Ivancic,
Aarti Gupta:
Interprocedural Exception Analysis for C++.
ECOOP 2011: 583-608 |
| 2010 |
|---|
| 4 | | Gogul Balakrishnan,
Malay K. Ganai,
Aarti Gupta,
Franjo Ivancic,
Vineet Kahlon,
Weihong Li,
Naoto Maeda,
Nadia Papakonstantinou,
Sriram Sankaranarayanan,
Nishant Sinha,
Chao Wang:
Scalable and precise program analysis at NEC.
FMCAD 2010: 273-274 |
| 2004 |
|---|
| 3 | | Naoto Maeda,
Toshio Tonouchi:
An Analysis Method for the Improvement of Reliability and Performance in Policy-Based Management Systems.
DSOM 2004: 88-99 |
| 2 | | Toshio Tonouchi,
Tomohiro Igakura,
Naoto Maeda,
Yoshiaki Kiriha:
Policy transition mechanism: a new approach to multi-mode management.
NOMS (2) 2004: 191-204 |
| 2003 |
|---|
| 1 |  | Toshio Tonouchi,
Tomohiro Igakura,
Naoto Maeda,
Yasuyuki Beppu,
Yoshiaki Kiriha:
Policy-based Cooperation of Services in Ubiquitous Environments.
Integrated Network Management 2003: 139-142 |
Data released under the ODC-BY 1.0 license — See also our legal information page