Author

Soroosh Gholami

1 paper 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

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