| 431 | -- | 432 | Cristina Ruiz Martin. Theory and foundations of modeling and simulation |
| 433 | -- | 454 | María Julia Blas, Silvio Gonnet. Metamodel-based formalization of DEVS atomic models |
| 455 | -- | 474 | Victorino Sanz, Alfonso Urquia. Combining PDEVS and Modelica for describing agent-based models |
| 475 | -- | 492 | Nikolaos G. Bourbakis, Stavros Mallios. A formal GSPN model of a virtual doctor dialogue system |
| 493 | -- | 502 | Thomas D. Pike, Samantha Golden, Daniel Lowdermilk, Brandon Luong, Benjamin Rosado. Growing the simulation ecosystem: introducing Mesa Data to provide transparent, accessible, and extensible data pipelines for simulation development |
| 503 | -- | 514 | Xinmin Tang, Xiaoqi Ji. Research on early runway incursion warning based on Petri net |
| 515 | -- | 535 | Qi Cao. Research on co-simulation of multi-resolution models based on HLA |