Toktam Ramezanifarkhani

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 11

Top Topics

Object Oriented Technology

Software Development Process

Test Case Generation

Distributed Systems

Top Venues

J. Log. Algebraic Methods Program.

J. Inf. Sci. Eng.

Publications

Shukun Tokas, Olaf Owe, Toktam Ramezanifarkhani
Static checking of GDPR-related privacy compliance for object-oriented distributed systems. J. Log. Algebraic Methods Program. 125 (2022)
Alireza Nowroozi, Peyman Teymoori, Toktam Ramezanifarkhani, MohammadReza Besharati, Mohammad Izadi
A Crisis Situations Decision-Making Systems Software Development Process With Rescue Experiences. IEEE Access 8 (2020)
Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani
An evaluation of interaction paradigms for active objects. J. Log. Algebraic Methods Program. 103 (2019)
Shukun Tokas, Olaf Owe, Toktam Ramezanifarkhani
Language-Based Mechanisms for Privacy-by-Design. Privacy and Identity Management (2019)
Elahe Fazeldehkordi, Olaf Owe, Toktam Ramezanifarkhani
A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems. IOSec/MSTEC/FINSEC@ESORICS (2019)
Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani
Summary of: An Evaluation of Interaction Paradigms for Active Objects. IFM (2019)
Toktam Ramezanifarkhani, Peyman Teymoori
Securing the Internet of Things with Recursive InterNetwork Architecture (RINA). ICNC (2018)
Toktam Ramezanifarkhani, Olaf Owe, Shukun Tokas
A secrecy-preserving language for distributed and object-oriented systems. J. Log. Algebraic Methods Program. 99 (2018)
Olaf Owe, Toktam Ramezanifarkhani, Elahe Fazeldehkordi
Hoare-Style Reasoning from Multiple Contracts. IFM (2017)
Peyman Teymoori, Toktam Ramezanifarkhani
Game-theoretic analysis of Markovian play order in wireless networks. NetSys (2017)
Olaf Owe, Toktam Ramezanifarkhani
Confidentiality of Interactions in Concurrent Object-Oriented Systems. DPM/CBT@ESORICS (2017)
Toktam Ramezanifarkhani, Mohammadreza Razzazi
Principles of Data Flow Integrity: Specification and Enforcement. J. Inf. Sci. Eng. 31 (2) (2015)