Fatemeh Ghassemi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Efficient analysis of belief properties in process algebra Journal of Logical and Algebraic Methods in Programming	2024-10-08	Paper
Decentralized deadlock-free enforcement of message orderings in message-based systems Journal of Computer and System Sciences	2024-07-01	Paper
Decentralized runtime verification of message sequences in message-based systems Acta Informatica	2023-05-16	Paper
Purpose-based policy enforcement in actor-based systems	2022-11-04	Paper
scientific article; zbMATH DE number 7566069 (Why is no real title available?) (available as arXiv preprint)	2022-08-02	Paper
scientific article; zbMATH DE number 7566069 (Why is no real title available?)	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 Fundamenta Informaticae	2019-05-24	Paper
Verification of asynchronous systems with an unspecified component Acta Informatica	2019-03-14	Paper
Modeling and efficient verification of wireless ad hoc networks Formal Aspects of Computing	2018-01-08	Paper
Model checking mobile ad hoc networks Formal Methods in System Design	2017-07-26	Paper
Model checking MANETs with arbitrary mobility Fundamentals of Software Engineering	2015-09-30	Paper
Verification of mobile ad hoc networks: an algebraic approach Theoretical Computer Science	2011-07-07	Paper
Equational reasoning on mobile ad hoc networks Fundamenta Informaticae	2011-03-28	Paper
Equational reasoning on ad hoc networks Fundamentals of Software Engineering	2010-01-28	Paper
Modeling Routing Protocols in Adhoc Networks Communications in Computer and Information Science	2009-05-20	Paper

Research outcomes over time

This page was built for person: Fatemeh Ghassemi