Compositional Model Checking and Model Repair for a Class of Product Form Models. - Amin Soltanieh; Markus Siegle (PASM, 2019)

It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models. - Amin Soltanieh; Markus Siegle (MMB, 2020)

Solving Systems of Bilinear Equations for Transition Rate Reconstruction. - Amin Soltanieh; Markus Siegle (FSEN, 2021)

Rate Lifting for Stochastic Process Algebra - Exploiting Structural Properties -. - Markus Siegle; Amin Soltanieh (QEST, 2022)

Compositional Stochastic Process Algebra Models: A Focus on Model Repair and Rate Lifting. - Amin Soltanieh (Verlag Dr. Hut, 2023)

Rate Lifting for Stochastic Process Algebra by Transition Context Augmentation. - Amin Soltanieh; Markus Siegle (ACM Trans. Model. Comput. Simul., 2024)