| 2023 | CLOSER | Towards Security-Aware Microservices: On Extracting Endpoint Data Access Operations to Determine Access Rights. | Amr S. Abdelfattah, Micah Schiewe, Jacob Curtis, Toms Cern, Eunjee Song |
| 2017 | SMC | Efficient processing of large-scale sparse matrix-matrix multiplications on a single machine. | Yong-Yeon Jo, Kyuhwan Lee, Myung-Hwan Jang, Sang-Wook Kim, Eunjee Song |
| 2010 | ICECCS | An Approach to Verifying Security and Timing Properties in UML Models. | Vidhi Thapa, Eunjee Song, Hanil Kim |
| 2009 | ER | XMI2USE: A Tool for Transforming XMI to USE Specifications. | Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M. Simmonds |
| 2009 | SAC | Model interfaces for two-way obliviousness. | Nathan V. Roberts, Eunjee Song, Paul C. Grabow |
| 2009 | SAC | A property-based verification approach in aspect-oriented modeling. | Eunjee Song, Hanil Kim, Wuliang Sun |
| 2005 | SACMAT | Verifiable composition of access control and application features. | Eunjee Song, Raghu Reddy, Robert B. France, Indrakshi Ray, Geri Georg, Roger T. Alexander |
| 2003 | COMPSAC | A Role-Based Metamodeling Approach to Specifying Design Patterns. | Dae-Kyoo Kim, Robert B. France, Sudipto Ghosh, Eunjee Song |
| 2002 | ICECCS | Using Role-Based Modeling Language (RBML) to Characterize Model Families. | Dae-Kyoo Kim, Robert B. France, Sudipto Ghosh, Eunjee Song |