Suchergebnisse - Ramezanifarkhani, Toktam | OPAC THWS

1

A Crisis Situations Decision-Making Systems Software Development Process With Rescue Experiences von Nowroozi, Alireza, Teymoori, Peyman, Ramezanifarkhani, Toktam, Besharati, Mohammad Reza, Izadi, Mohammad

Veröffentlicht in IEEE access

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Static checking of GDPR-related privacy compliance for object-oriented distributed systems von Tokas, Shukun, Owe, Olaf, Ramezanifarkhani, Toktam

Veröffentlicht in Journal of logical and algebraic methods in programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Securing the Internet of Things with Recursive InterNetwork Architecture (RINA) von Ramezanifarkhani, Toktam, Teymoori, Peyman

Volltext bestellen

Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Static checking of GDPR-related privacy compliance for object-oriented distributed systems von Tokas, Shukun, Owe, Olaf, Ramezanifarkhani, Toktam

Veröffentlicht in Journal of logical and algebraic methods in programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

An evaluation of interaction paradigms for active objects von Karami, Farzane, Owe, Olaf, Ramezanifarkhani, Toktam

Veröffentlicht in Journal of logical and algebraic methods in programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

A secrecy-preserving language for distributed and object-oriented systems von Ramezanifarkhani, Toktam, Owe, Olaf, Tokas, Shukun

Veröffentlicht in Journal of logical and algebraic methods in programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Hoare-Style Reasoning from Multiple Contracts von Owe, Olaf, Ramezanifarkhani, Toktam, Fazeldehkordi, Elahe

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Principles of Data Flow Integrity: Specification and Enforcement von RAMEZANIFARKHANI, TOKTAM, Razzazi, Mohammadreza

Veröffentlicht in Journal of Information Science and Engineering

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems von Fazeldehkordi, Elahe, Owe, Olaf, Ramezanifarkhani, Toktam

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Confidentiality of Interactions in Concurrent Object-Oriented Systems von Owe, Olaf, Ramezanifarkhani, Toktam

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Summary of: An Evaluation of Interaction Paradigms for Active Objects von Karami, Farzane, Owe, Olaf, Ramezanifarkhani, Toktam

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Language-Based Mechanisms for Privacy-by-Design von Tokas, Shukun, Owe, Olaf, Ramezanifarkhani, Toktam

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Proceedings of the PhD Symposium at iFM’19on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’19) von Pun, Ka I, Stolz, Volker, Fazeldehkordi, Elahe, Owe, Olaf, Ramezanifarkhani, Toktam, Damasceno, Carlos Diego Nascimento, Ahishakiye, Faustin, Kristensen, Lars Michael, Tabar, Asmae Heydari, Bubel, Richard, Hähnle, Reiner, Sagemüller, Justus, Verdier, Olivier

Volltext
Report

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Proceedings of the PhD Symposium at iFM’19on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’19) von Pun, Ka I, Stolz, Volker, Fazeldehkordi, Elahe, Owe, Olaf, Ramezanifarkhani, Toktam, Damasceno, Carlos Diego Nascimento, Ahishakiye, Faustin, Kristensen, Lars Michael, Tabar, Asmae Heydari, Bubel, Richard, Hähnle, Reiner, Sagemüller, Justus, Verdier, Olivier

Veröffentlicht in HVL-rapport

Volltext bestellen

Report

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: