Fatemeh Ghassemi

Available identifiers

Publication	Date of Publication	Type
Efficient analysis of belief properties in process algebra	2024-10-08	Paper
Decentralized deadlock-free enforcement of message orderings in message-based systems	2024-07-01	Paper
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

This page was built for person: Fatemeh Ghassemi