Daniel Aceituna

13 papers A* 1A 1C 2Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
2019 J jnl
Addressing the state explosion problem when visualizing off-nominal behaviors in a set of reactive requirements.
Requir. Eng.
Daniel Aceituna, Hyunsook Do
2019 — conf
Exposing off-nominal behaviors in multi-robot coordination.
RoSE@ICSE
Kaushik Madala, Hyunsook Do, Daniel Aceituna
2018 — conf
A Knowledge Acquisition Approach for Off-Nominal Behaviors.
RESACS@RE
Kaushik Madala, Hyunsook Do, Daniel Aceituna
2018 A* conf
A combinatorial approach for exposing off-nominal behaviors.
ICSE
Kaushik Madala, Hyunsook Do, Daniel Aceituna
2018 — conf
Deriving Functional Safety Requirements Using Undesired Combination State Templates.
RESACS@RE
Daniel Aceituna, Kaushik Madala, Hyunsook Do
2017 — conf
Hierarchical Model Exploration for Exposing Off-nominal Behaviors.
MoDELS (Satellite Events)
Kaushik Madala, Hyunsook Do, Daniel Aceituna
2015 A conf
Exposing the susceptibility of off-nominal behaviors in reactive system requirements.
RE
Daniel Aceituna, Hyunsook Do
2014 — conf
A systematic approach to transforming system requirements into model checking specifications.
ICSE Companion
Daniel Aceituna, Hyunsook Do, Sudarshan Srinivasan
2014 C conf
Evaluating the Use of Model-Based Requirement Verification Method: An Empirical Study.
SEKE
Munmun Gupta, Daniel Aceituna, Gursimran S. Walia, Hyunsook Do
2014 J jnl
Model-based requirements verification method: Conclusions from two controlled experiments.
Inf. Softw. Technol.
Daniel Aceituna, Gursimran S. Walia, Hyunsook Do, Seok-Won Lee
2011 — conf
Evaluating the use of model-based requirements verification method: A feasibility study.
EmpiRE
Daniel Aceituna, Hyunsook Do, Gursimran Singh Walia, Seok-Won Lee
2011 — conf
Interactive requirements validation for reactive systems through virtual requirements prototype.
MoDRE
Daniel Aceituna, Hyunsook Do, Seok-Won Lee
2010 C conf
SQ^(2)E: An Approach to Requirements Validation with Scenario Question.
APSEC
Daniel Aceituna, Hyunsook Do, Seok-Won Lee