Daniel Aceituna

Publication Activity (10 Years)

Years Active: 2010-2019
Publications (10 Years): 7

Top Topics

Alternating Time Temporal Logic

Verification Method

Hierarchical Model

Top Venues

Inf. Softw. Technol.

Publications

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