Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Three-level modeling of a speed-scaling supercomputer | Annals of Operations Research |
| 2022 | |
Compositional Analysis of Hierarchical UML Statecharts | IEEE Transactions on Software Engineering |
| 2022 | |
A Language for Agent-based Discrete-event Modeling and Simulation of Linked Lives | ACM Transactions on Modeling and Computer Simulation |
| 4 | 2022 |
Discrete-Event Stochastic Systems with Copula Correlated Input Processes | IISE Transactions |
| 2021 | |
When are stochastic transition systems tameable? | Journal of Logical and Algebraic Methods in Programming |
| 2 | 2018 |