Concepedia

Daniel Aceituna

DA

Statistics

Publications

7

Citations

124

H-Index

7

Active since

2010

Affiliations

North Dakota State University(Current)

University of Nebraska–Lincoln

Daniel Aceituna is an author at North Dakota State University specializing in requirements engineering, requirements analysis, and computer science.

Publications per year

2010–2018

7

Publications

7

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

Daniel Aceituna, Hyunsook Do, Gursimran Walia et al. · 2011 · 28 citations

Engineering, Computer Science, Formal Methods +16

Model-based requirements verification method: Conclusions from two controlled experiments

Daniel Aceituna, Gursimran Walia, Hyunsook Do et al. · Information and Software Technology · 2013 · 24 citations

Engineering, Systems Engineering, Model-based Systems Engineering +11

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

Daniel Aceituna, Hyunsook Do · 2015 · 22 citations

Engineering, Computer Science, Systems Engineering +12

A systematic approach to transforming system requirements into model checking specifications

Daniel Aceituna, Hyunsook Do, Sudarshan K. Srinivasan · 2014 · 13 citations

Computing, Computer Science, Systems Engineering +17

A combinatorial approach for exposing off-nominal behaviors

Kaushik Madala, Hyunsook Do, Daniel Aceituna · 2018 · 13 citations · Full text

Engineering, Computer Science, Systems Engineering +17

1–5 of 7