Elahe Fazeldehkordi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2017–2019
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ESORICS | A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems. | Elahe Fazeldehkordi, Olaf Owe, Toktam Ramezanifarkhani |
| 2019 | MODELSWARD | A Framework for Flexible Program Evolution and Verification of Distributed Systems. | Olaf Owe, Elahe Fazeldehkordi, Jia-Chun Lin |
| 2019 | MODELSWARD | A Flexible Framework for Program Evolution and Verification. | Olaf Owe, Jia-Chun Lin, Elahe Fazeldehkordi |
| 2019 | PST | Security and Privacy Functionalities in IoT. | Elahe Fazeldehkordi, Olaf Owe, Josef Noll |
| 2017 | IFM | Hoare-Style Reasoning from Multiple Contracts. | Olaf Owe, Toktam Ramezanifarkhani, Elahe Fazeldehkordi |