☰

Daniel Aceituna, Ph.D. - Publications

Affiliations: 
2015 Computer Science North Dakota State University, Fargo, ND, United States 
Area:
Computer Engineering, Computer Science, Information Science
Tree Info Similar researchers PubMed Report error

10 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2019 Aceituna D, Do H. Addressing the state explosion problem when visualizing off-nominal behaviors in a set of reactive requirements Requirements Engineering. 24: 161-180. DOI: 10.1007/S00766-017-0281-Y  0.463
2016 Aceituna D. Elicitation Practices That Can Decrease Vulnerability to Off-Nominal Behaviors: Lessons from using the Causal Component Model Sae International Journal of Passenger Cars - Electronic and Electrical Systems. 10: 83-94. DOI: 10.4271/2016-01-8109  0.376
2015 Aceituna D, Do H. Exposing the susceptibility of off-nominal behaviors in reactive system requirements 2015 Ieee 23rd International Requirements Engineering Conference, Re 2015 - Proceedings. 136-145. DOI: 10.1109/RE.2015.7320416  0.495
2014 Aceituna D, Do H, Srinivasan S. A systematic approach to transforming system requirements into model checking specifications 36th International Conference On Software Engineering, Icse Companion 2014 - Proceedings. 165-174. DOI: 10.1145/2591062.2591183  0.401
2014 Aceituna D, Walia G, Do H, Lee SW. Model-based requirements verification method: Conclusions from two controlled experiments Information and Software Technology. 56: 321-334. DOI: 10.1016/J.Infsof.2013.11.004  0.412
2014 Gupta M, Aceituna D, Walia GS, Do H. Evaluating the use of model-based requirement verification method: An empirical study Proceedings of the International Conference On Software Engineering and Knowledge Engineering, Seke. 2014: 397-401.  0.463
2013 Aceituna D. Survey of Concerns in Embedded Systems Requirements Engineering Sae International Journal of Passenger Cars - Electronic and Electrical Systems. 7: 1-13. DOI: 10.4271/2013-01-2403  0.351
2011 Aceituna D, Do H, Lee SW. Interactive requirements validation for reactive systems through virtual requirements prototype 2011 Model-Driven Requirements Engineering Workshop, Modre 2011. 1-10. DOI: 10.1109/MoDRE.2011.6045361  0.308
2011 Aceituna D, Do H, Walia GS, Lee SW. Evaluating the use of model-based requirements verification method: A feasibility study Proceedings - 1st International Workshop On Empirical Requirements Engineering, Empire 2011. 13-20. DOI: 10.1109/EmpiRE.2011.6046248  0.498
2010 Aceituna D, Do H, Lee SW. SQ2E: An approach to requirements validation with scenario question Proceedings - Asia-Pacific Software Engineering Conference, Apsec. 33-42. DOI: 10.1109/APSEC.2010.14  0.47
Show low-probability matches.