Daniel Aceituna

13 papers A* 1A 1C 2Journal 2Unranked 7

Year	Rank	Type	Title / 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

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski