Amin Soltanieh

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 5

Top Topics

Concurrent Programs

Process Algebra

Structural Properties

Top Venues

Publications

Markus Siegle, Amin Soltanieh
Rate Lifting for Stochastic Process Algebra: Exploiting Structural Properties. CoRR (2022)
Markus Siegle, Amin Soltanieh
Rate Lifting for Stochastic Process Algebra - Exploiting Structural Properties -. QEST (2022)
Amin Soltanieh, Markus Siegle
Solving Systems of Bilinear Equations for Transition Rate Reconstruction. FSEN (2021)
Amin Soltanieh, Markus Siegle
It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models. MMB (2020)
Amin Soltanieh, Markus Siegle
Compositional Model Checking and Model Repair for a Class of Product Form Models. PASM (2019)