Amin Soltanieh

According to our database, Amin Soltanieh authored at least 5 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Compositional Stochastic Process Algebra Models: A Focus on Model Repair and Rate Lifting.

Amin Soltanieh

PhD thesis, 2023

2022

Rate Lifting for Stochastic Process Algebra - Exploiting Structural Properties -.

Markus Siegle, Amin Soltanieh

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

2021

Solving Systems of Bilinear Equations for Transition Rate Reconstruction.

Amin Soltanieh, Markus Siegle

Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021

2020

It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models.

Amin Soltanieh, Markus Siegle

Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2020

2019

Compositional Model Checking and Model Repair for a Class of Product Form Models.

Amin Soltanieh, Markus Siegle

Proceedings of the Tenth International Workshop on the Practical Application of Stochastic Modelling, 2019