Author

H. Sarjoughian

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

LLM-based Framework for Generating and Verifying Parallel DEVS Statecharts

An agentic PDEVS-LLM framework is introduced to assist human modelers in generating and verifying PDEVS statecharts for behavior modeling of atomic Parallel Discrete Event System Specification (PDEVS) models and shows a substantial improvement in the logical consistency of generated statecharts.

Vamsi Krishna Vasa, H. Sarjoughian, E. Yellig · 0 citations

Preprint Aug 2026

Constraint-Driven Modeling Enabling Dual Model Checking and Simulation for Discrete Event Systems

Constraint-DEVS is introduced, a method for creating bounded Parallel DEVS models that lend themselves, in addition to simulation, to model checking and the DEVS-Suite framework's hybrid model-checking and simulation engine is extended.

Soroosh Gholami, H. Sarjoughian · 0 citations