| 2019 | ICSE | Exposing off-nominal behaviors in multi-robot coordination. | Kaushik Madala, Hyunsook Do, Daniel Aceituna |
| 2018 | ICSE | A combinatorial approach for exposing off-nominal behaviors. | Kaushik Madala, Hyunsook Do, Daniel Aceituna |
| 2018 | RE | Deriving Functional Safety Requirements Using Undesired Combination State Templates. | Daniel Aceituna, Kaushik Madala, Hyunsook Do |
| 2018 | RE | A Knowledge Acquisition Approach for Off-Nominal Behaviors. | Kaushik Madala, Hyunsook Do, Daniel Aceituna |
| 2017 | MODELS | Hierarchical Model Exploration for Exposing Off-nominal Behaviors. | Kaushik Madala, Hyunsook Do, Daniel Aceituna |
| 2015 | RE | Exposing the susceptibility of off-nominal behaviors in reactive system requirements. | Daniel Aceituna, Hyunsook Do |
| 2014 | ICSE | A systematic approach to transforming system requirements into model checking specifications. | Daniel Aceituna, Hyunsook Do, Sudarshan Srinivasan |
| 2014 | SEKE | Evaluating the Use of Model-Based Requirement Verification Method: An Empirical Study. | Munmun Gupta, Daniel Aceituna, Gursimran S. Walia, Hyunsook Do |
| 2011 | RE | Interactive requirements validation for reactive systems through virtual requirements prototype. | Daniel Aceituna, Hyunsook Do, Seok-Won Lee |
| 2011 | RE | Evaluating the use of model-based requirements verification method: A feasibility study. | Daniel Aceituna, Hyunsook Do, Gursimran Singh Walia, Seok-Won Lee |
| 2010 | APSEC | SQ^(2)E: An Approach to Requirements Validation with Scenario Question. | Daniel Aceituna, Hyunsook Do, Seok-Won Lee |