Bahman Pourvatan
From MaRDI portal
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!
| Publication | Date of Publication | Type |
|---|---|---|
| CRYSTAL framework: cybersecurity assurance for cyber-physical systems Journal of Logical and Algebraic Methods in Programming | 2024-06-25 | Paper |
| Reo connectors and components as tagged signal models | 2021-06-03 | Paper |
| Automated analysis of Reo circuits using symbolic execution | 2017-05-19 | Paper |
| Symbolic execution of Reo circuits using constraint automata Science of Computer Programming | 2012-07-13 | Paper |
| An Alternative Algorithm for Constraint Automata Product Lecture Notes in Computer Science | 2008-07-01 | Paper |
Research outcomes over time
This page was built for person: Bahman Pourvatan
