Amin Soltanieh

From MaRDI portal
Person:2145273



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Rate lifting for stochastic process algebra by transition context augmentation
ACM Transactions on Modeling and Computer Simulation
2024-11-15Paper
Rate lifting for stochastic process algebra -- exploiting structural properties
Quantitative Evaluation of Systems
2023-06-02Paper
Solving systems of bilinear equations for transition rate reconstruction2022-06-17Paper
It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models
Lecture Notes in Computer Science
2021-12-08Paper


Research outcomes over time


This page was built for person: Amin Soltanieh