2 papers
cs.SE2021
Simulation, Model Checking, and Execution of Activity Models
Abdurrahman Alshareef, Hessam S. Sarjoughian
This paper presents our findings for using activity modeling for simulation (validation), model checking (verification), and execution purposes. Each is needed to tackle system com…
cs.CE2018
Challenges of Achieving Efficient Simulations Through Model Abstraction
Hessam S. Sarjoughian, William A. Boyd, Miguel F. Acevedo
Coupled natural systems are generally modeled at multiple abstraction levels. Both structural scale and behavioral complexity of these models are determinants in the kinds of quest…