Fatemeh Ghassemi

Available identifiers

zbMath Open ghassemi.fatemehMaRDI QIDQ549192

List of research outcomes

Publication	Date of Publication	Type
Decentralized runtime verification of message sequences in message-based systems	2023-05-16	Paper
Purpose-based policy enforcement in actor-based systems	2022-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q5094142	2022-08-02	Paper
Reo connectors and components as tagged signal models	2021-06-03	Paper
Combining machine and automata learning for network traffic classification	2021-03-01	Paper
Reliable Restricted Process Theory	2019-05-24	Paper
Verification of asynchronous systems with an unspecified component	2019-03-14	Paper
Modeling and efficient verification of wireless ad hoc networks	2018-01-08	Paper
Model checking mobile ad hoc networks	2017-07-26	Paper
Model Checking MANETs with Arbitrary Mobility	2015-09-30	Paper
Verification of mobile ad hoc networks: an algebraic approach	2011-07-07	Paper
Equational Reasoning on Mobile Ad Hoc Networks	2011-03-28	Paper
Equational Reasoning on Ad Hoc Networks	2010-01-28	Paper
Modeling Routing Protocols in Adhoc Networks	2009-05-20	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Fatemeh Ghassemi