Daniel Aceituna

A Knowledge Acquisition Approach for Off-Nominal Behaviors

Hyunsook Do, Daniel Aceituna, Kaushik Madala, 2018, 2018 4th International Workshop on Requirements Engineering for Self-Adaptive, Collaborative, and Cyber Physical Systems (RESACS).

Addressing the state explosion problem when visualizing off-nominal behaviors in a set of reactive requirements

Hyunsook Do, Daniel Aceituna, Hyunsook Do, 2019, Requirements Engineering.

Model-based requirements verification method: Conclusions from two controlled experiments

Seok-Won Lee, Hyunsook Do, Gursimran Singh Walia, 2014, Inf. Softw. Technol..

Interactive requirements validation for reactive systems through virtual requirements prototype

Seok-Won Lee, Hyunsook Do, Daniel Aceituna, 2011, 2011 Model-Driven Requirements Engineering Workshop.