Ali Movaghar

Available identifiers

zbMath Open movaghar.aliWikidataQ56553337 ScholiaQ56553337MaRDI QIDQ549193

List of research outcomes

Publication	Date of Publication	Type
Linear temporal public announcement logic: a new perspective for reasoning about the knowledge of multi-classifiers	2023-03-10	Paper
Compressive sensing of high betweenness centrality nodes in networks	2022-06-27	Paper
Cost-Efficient Scheduling for Deadline Constrained Grid Workflows	2021-01-21	Paper
Symbolic checking of fuzzy CTL on fuzzy program graph	2019-01-25	Paper
A uniformization-based algorithm for continuous-time stochastic games model checking	2019-01-02	Paper
Performance Optimization Based on Analytical Modeling in a Real-Time System with Constrained Time/Utility Functions	2017-07-27	Paper
Analytical Leakage-Aware Thermal Modeling of a Real-Time System	2017-06-20	Paper
Compositional failure-based equivalence of constraint automata	2016-06-06	Paper
Model Checking MANETs with Arbitrary Mobility	2015-09-30	Paper
Abstraction and approximation in fuzzy temporal logics and models	2015-07-23	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
Dynamic routing of real-time jobs among parallel EDF queues: a performance study	2010-11-25	Paper
Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca	2010-11-25	Paper
Symmetry and partial order reduction techniques in model checking Rebeca	2010-02-05	Paper
Equational Reasoning on Ad Hoc Networks	2010-01-28	Paper
AFAR: adaptive fuzzy ant-based routing for communication networks	2009-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q3635459	2009-07-06	Paper
Modeling Routing Protocols in Adhoc Networks	2009-05-20	Paper
Bandwidth-Delay Constrained Least Cost Multicast Routing for Multimedia Communication	2009-05-20	Paper
Challenges in Using Peer-to-Peer Structures in Order to Design a Large-Scale Web Search Engine	2009-05-20	Paper
A Review on Specifying Software Architectures Using Extended Automata-Based Models	2008-07-01	Paper
On Queueing with Customer Impatience Until the End of Service	2007-06-04	Paper
https://portal.mardi4nfdi.de/entity/Q4681459	2005-06-23	Paper
On queueing with customer impatience until the beginning of service	1999-07-19	Paper

Research outcomes over time

This page was built for person: Ali Movaghar