SQ^(2)E: An Approach to Requirements Validation with Scenario Question. - Daniel Aceituna; Hyunsook Do; Seok-Won Lee (APSEC, 2010)

Interactive requirements validation for reactive systems through virtual requirements prototype. - Daniel Aceituna; Hyunsook Do; Seok-Won Lee (MoDRE, 2011)

Evaluating the use of model-based requirements verification method: A feasibility study. - Daniel Aceituna; Hyunsook Do; Gursimran Singh Walia; Seok-Won Lee (EmpiRE, 2011)

A systematic approach to transforming system requirements into model checking specifications. - Daniel Aceituna; Hyunsook Do; Sudarshan Srinivasan (ICSE Companion, 2014)

Evaluating the Use of Model-Based Requirement Verification Method: An Empirical Study. - Munmun Gupta; Daniel Aceituna; Gursimran S. Walia; Hyunsook Do (SEKE, 2014)

Model-based requirements verification method: Conclusions from two controlled experiments. - Daniel Aceituna; Gursimran S. Walia; Hyunsook Do; Seok-Won Lee (Inf. Softw. Technol., 2014)

Exposing the susceptibility of off-nominal behaviors in reactive system requirements. - Daniel Aceituna; Hyunsook Do (RE, 2015)

Hierarchical Model Exploration for Exposing Off-nominal Behaviors. - Kaushik Madala; Hyunsook Do; Daniel Aceituna (MoDELS (Satellite Events), 2017)

A combinatorial approach for exposing off-nominal behaviors. - Kaushik Madala; Hyunsook Do; Daniel Aceituna (ICSE, 2018)

Deriving Functional Safety Requirements Using Undesired Combination State Templates. - Daniel Aceituna; Kaushik Madala; Hyunsook Do (RESACS@RE, 2018)

A Knowledge Acquisition Approach for Off-Nominal Behaviors. - Kaushik Madala; Hyunsook Do; Daniel Aceituna (RESACS@RE, 2018)

Exposing off-nominal behaviors in multi-robot coordination. - Kaushik Madala; Hyunsook Do; Daniel Aceituna (RoSE@ICSE, 2019)

Addressing the state explosion problem when visualizing off-nominal behaviors in a set of reactive requirements. - Daniel Aceituna; Hyunsook Do (Requir. Eng., 2019)