Daniel Aceituna

According to our database, Daniel Aceituna authored at least 13 papers between 2010 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

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

Daniel Aceituna, Hyunsook Do

Requir. Eng., 2019

Exposing off-nominal behaviors in multi-robot coordination.

Kaushik Madala, Hyunsook Do, Daniel Aceituna

Proceedings of the 2nd International Workshop on Robotics Software Engineering, 2019

2018

A Knowledge Acquisition Approach for Off-Nominal Behaviors.

Kaushik Madala, Hyunsook Do, Daniel Aceituna

Proceedings of the 4th International Workshop on Requirements Engineering for Self-Adaptive, 2018

Deriving Functional Safety Requirements Using Undesired Combination State Templates.

Daniel Aceituna, Kaushik Madala, Hyunsook Do

Proceedings of the 4th International Workshop on Requirements Engineering for Self-Adaptive, 2018

A combinatorial approach for exposing off-nominal behaviors.

Kaushik Madala, Hyunsook Do, Daniel Aceituna

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Hierarchical Model Exploration for Exposing Off-nominal Behaviors.

Kaushik Madala, Hyunsook Do, Daniel Aceituna

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

2015

Exposing the susceptibility of off-nominal behaviors in reactive system requirements.

Daniel Aceituna, Hyunsook Do

Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

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

Evaluating the Use of Model-Based Requirement Verification Method: An Empirical Study.

Munmun Gupta, Daniel Aceituna, Gursimran S. Walia, Hyunsook Do

Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

A systematic approach to transforming system requirements into model checking specifications.

Daniel Aceituna, Hyunsook Do, Sudarshan Srinivasan

Proceedings of the 36th International Conference on Software Engineering, 2014

2011

Evaluating the use of model-based requirements verification method: A feasibility study.

Daniel Aceituna, Hyunsook Do, Gursimran Singh Walia, Seok-Won Lee

Proceedings of the First International Workshop on Empirical Requirements Engineering, 2011

Interactive requirements validation for reactive systems through virtual requirements prototype.

Daniel Aceituna, Hyunsook Do, Seok-Won Lee

Proceedings of the First Model-Driven Requirements Engineering Workshop, 2011

2010

SQ^(2)E: An Approach to Requirements Validation with Scenario Question.

Daniel Aceituna, Hyunsook Do, Seok-Won Lee

Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010