3 papers
cs.SE2026
Constraint-Driven Modeling Enabling Dual Model Checking and Simulation for Discrete Event Systems
Soroosh Gholami, Hessam S. Sarjoughian
Verification and validation (V&V) are crucial methods for evaluating the requirements and specifications of dynamical models that fulfill their intended purposes. Parallel Discrete…
cs.LG2026
LLM-based Framework for Generating and Verifying Parallel DEVS Statecharts
Vamsi Krishna Vasa, Hessam S. Sarjoughian, Edward J. Yellig
The development of models demands sound modeling and simulation knowledge as well as domain knowledge. Every model should accurately represent a system's dynamics and be verifiable…
cs.LG2024
A Benchmark Time Series Dataset for Semiconductor Fabrication Manufacturing Constructed using Component-based Discrete-Event Simulation Models
Vamsi Krishna Pendyala, Hessam S. Sarjoughian, Bala Potineni +1
Advancements in high-computing devices increase the necessity for improved and new understanding and development of smart manufacturing factories. Discrete-event models with simula…