رزومه علمی علی موقر

دکتر علی موقر

استاد دانشگاه صنعتی شریف

چاپ

معرفی

استان

تهران

شهر

تهران

عضویت علی موقر در مجامع و انجمنهای علمی

سمتهای علمی و اجرایی علی موقر در مجلات و ژورنال‌های معتبر ایران

مجله هوش مصنوعی و داده کاوی (هیات تحریریه)
مجله پیشرفت در تحقیقات کامپیوتری (سردبیر)
دوفصلنامه مجله کامپیوتر و رباتیک (مدیر مسئول)
دوفصلنامه مجله کامپیوتر و رباتیک (هیات تحریریه)
مجله بین المللی ارتباطات و فناوری اطلاعات (هیات تحریریه)

سمتهای علمی و اجرایی علی موقر در کنفرانس ها و نشستهای معتبر ایران

دانشگاه صنعتی شریف (عضو هیات علمی)
اولین کنفرانس ملی سیستم های پیچیده با محوریت علم شبکه (عضو کمیته علمی - هیات داوران)

مقالات بین المللی علی موقر

"Fixed-Point Iteration Approach to Spark Scalable Performance Modeling and Evaluation", Institute of Electrical and Electronics Engineers (IEEE), (2023), Vol 11, No 1: 897-910

"On the Performance Analysis of Epidemic Routing in Non-Sparse Delay Tolerant Networks", Institute of Electrical and Electronics Engineers (IEEE), (2023), Vol 22, No 7: 4134-4149

"Yuz: Improving Performance of Cluster-Based Services by Near-L4 Session-Persistent Load Balancing", Institute of Electrical and Electronics Engineers (IEEE), (2023), Vol , No : 1-1

"A Matrix Factorization Model for Hellinger-Based Trust Management in Social Internet of Things", Institute of Electrical and Electronics Engineers (IEEE), (2022), Vol 19, No 4: 2274-2285

"A novel approach for clustering and routing in WSN using genetic algorithm and equilibrium optimizer", Wiley, (2022), Vol 35, No 10:

"Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control", Institute of Electrical and Electronics Engineers (IEEE), (2022), Vol 48, No 8: 2732-2747

"Partial Order Reduction for Timed Actors", Springer International Publishing, (2022), Vol , No : 43-60

"Cost-aware Resource Recommendation for DAG-based Big Data Workflows: An Apache Spark Case Study", Institute of Electrical and Electronics Engineers (IEEE), (2022), Vol , No : 1-12

"Network and Application-Aware Cloud Service Selection in Peer-Assisted Environments", Institute of Electrical and Electronics Engineers (IEEE), (2021), Vol 9, No 1: 258-271

"Modeling and Evaluation of Multi-Hop Wireless Networks Using SRNs", Institute of Electrical and Electronics Engineers (IEEE), (2021), Vol 8, No 1: 662-679

"Modeling Epidemic Routing: Capturing Frequently Visited Locations While Preserving Scalability", Institute of Electrical and Electronics Engineers (IEEE), (2021), Vol 70, No 3: 2713-2727

"Processor Sharing Queues With Impatient Customers and State-Dependent Rates", Institute of Electrical and Electronics Engineers (IEEE), (2021), Vol 29, No 6: 2467-2477

"Modeling and Evaluation of Service Composition in Commercial Multiclouds Using Timed Colored Petri Nets", Institute of Electrical and Electronics Engineers (IEEE), (2020), Vol 50, No 3: 947-961

"Cache Subsidies for an Optimal Memory for Bandwidth Tradeoff in the Access Network", Institute of Electrical and Electronics Engineers (IEEE), (2020), Vol 38, No 4: 736-749

"Minimizing Data Access Latencies for Virtual Machine Assignment in Cloud Systems", Institute of Electrical and Electronics Engineers (IEEE), (2020), Vol 13, No 5: 857-870

"Designing a MapReduce performance model in distributed heterogeneous platforms based on benchmarking approach", Springer Science and Business Media LLC, (2020), Vol 76, No 9: 7177-7203

"Dandelion: A Unified Code Offloading System for Wearable Computing", Institute of Electrical and Electronics Engineers (IEEE), (2019), Vol 18, No 3: 546-559

"Performance Evaluation of Epidemic Content Retrieval in DTNs With Restricted Mobility", Institute of Electrical and Electronics Engineers (IEEE), (2019), Vol 16, No 2: 701-714

"Secure Overlay Routing for Large Scale Networks", Institute of Electrical and Electronics Engineers (IEEE), (2019), Vol 6, No 3: 501-511

"Hierarchical Stochastic Models for Performance, Availability, and Power Consumption Analysis of IaaS Clouds", Institute of Electrical and Electronics Engineers (IEEE), (2019), Vol 7, No 4: 1039-1056

"SLoPCloud: An Efficient Solution for Locality Problem in Peer-to-Peer Cloud Systems", MDPI AG, (2018), Vol 11, No 10: 150

"Modeling and Evaluation of Power-Aware Software Rejuvenation in Cloud Systems", MDPI AG, (2018), Vol 11, No 10: 160

"Throughput Analysis of IEEE 802.11 Multi-Hop Wireless Networks With Routing Consideration: A General Framework", Institute of Electrical and Electronics Engineers (IEEE), (2018), Vol 66, No 11: 5430-5443

"Fully distributed ECC-based key management for mobile ad hoc networks", Elsevier BV, (2017), Vol 113, No : 269-283

"Performance and power modeling and evaluation of virtualized servers in IaaS clouds", Elsevier BV, (2017), Vol 394-395, No : 106-122

"Coordinated Actors for Reliable Self-adaptive Systems", Springer International Publishing, (2017), Vol , No : 241-259

"HellRank: a Hellinger-based centrality measure for bipartite social networks", Springer Science and Business Media LLC, (2017), Vol 7, No 1:

"A multi-dimensional fairness combinatorial double-sided auction model in cloud environment", IEEE, (2016), Vol , No :

"Secure Overlay Routing Using Key Pre-Distribution: A Linear Distance Optimization Approach", Institute of Electrical and Electronics Engineers (IEEE), (2016), Vol 15, No 9: 2333-2344

"A learning automata and clustering-based routing protocol for named data networking", Springer Science and Business Media LLC, (2016), Vol 65, No 1: 9-29

"A Combined Analytical Modeling Machine Learning Approach for Performance Prediction of MapReduce Jobs in Cloud Environment", IEEE, (2016), Vol , No :

"Performance aware scheduling considering resource availability in grid computing", Springer Science and Business Media LLC, (2016), Vol 33, No 2: 191-206

"Distance metric learning for complex networks: Towards size-independent comparison of network structures", AIP Publishing, (2015), Vol 25, No 2: 023111

"Feature Extraction from Degree Distribution for Comparison and Analysis of Complex Networks", Oxford University Press (OUP), (2015), Vol 58, No 9: 2079-2091

"Abstraction and approximation in fuzzy temporal logics and models", Association for Computing Machinery (ACM), (2015), Vol 27, No 2: 309-334

"Probabilistic Key Pre-Distribution for Heterogeneous Mobile Ad Hoc Networks Using Subjective Logic", IEEE, (2015), Vol , No :

"Performability Evaluation of Grid Environments Using Stochastic Reward Nets", Institute of Electrical and Electronics Engineers (IEEE), (2015), Vol 12, No 2: 204-216

"PDC: Prediction-based data-aware clustering in wireless sensor networks", Elsevier BV, (2015), Vol 81-82, No : 24-35

"Noise-tolerant model selection and parameter estimation for complex networks", Elsevier BV, (2015), Vol 427, No : 100-112

"Minimizing latency in geo-distributed clouds", Springer Science and Business Media LLC, (2015), Vol 71, No 12: 4423-4445

"Fast Aggregation Scheduling in Wireless Sensor Networks", Institute of Electrical and Electronics Engineers (IEEE), (2015), Vol 14, No 6: 3402-3414

"EACHP: Energy Aware Clustering Hierarchy Protocol for Large Scale Wireless Sensor Networks", Springer Science and Business Media LLC, (2015), Vol 85, No 3: 765-789

"CS-ComDet", ACM, (2015), Vol , No :

"RDTP: reliable data transport protocol in wireless sensor networks", Springer Science and Business Media LLC, (2015), Vol 62, No 3: 611-623

"CGC: centralized genetic-based clustering protocol for wireless sensor networks using onion approach", Springer Science and Business Media LLC, (2015), Vol 62, No 4: 657-674

"Investigating the Customer Care based on Enhanced Telecom Operation Map Standard in Third Generation of Mobile Networks", Indian Society for Education and Environment, (2015), Vol 8, No 22:

"Improved Region-Based TCTL Model Checking of Time Petri Nets", Korean Institute of Information Scientists and Engineers, (2015), Vol 9, No 1: 9-19

"A Low-Cost Sparse Recovery Framework for Weighted Networks under Compressive Sensing", IEEE, (2015), Vol , No :

"Decentralized Social Networking Using Named-Data", Springer International Publishing, (2015), Vol , No : 421-430

"Quantification and comparison of degree distributions in complex networks", IEEE, (2014), Vol , No :

"Energy Efficient and High Speed Error Control Scheme for Real Time Wireless Sensor Networks", SAGE Publications, (2014), Vol 10, No 5: 698125

"Combined performance and availability analysis of distributed resources in grid computing", Springer Science and Business Media LLC, (2014), Vol 69, No 2: 827-844

"Analytical Leakage-Aware Thermal Modeling of a Real-Time System", Institute of Electrical and Electronics Engineers (IEEE), (2014), Vol 63, No 6: 1378-1392

"A novel human mobility model for MANETs based on real data", IEEE, (2014), Vol , No :

"A new fuzzy negotiation protocol for grid resource allocation", Elsevier BV, (2014), Vol 37, No : 89-126

"Optimal Capacity Allocation for Executing MapReduce Jobs in Cloud Systems", IEEE, (2014), Vol , No :

"Computer Networks and Distributed Systems", Springer International Publishing, (2014), Vol , No :

"A Rank-Based Hybrid Algorithm for Scheduling Data- and Computation-Intensive Jobs in Grid Environments", Springer India, (2014), Vol , No : 785-796

"Artificial Intelligence and Signal Processing", Springer International Publishing, (2014), Vol , No :

"Model Checking MANETs with Arbitrary Mobility", Springer Berlin Heidelberg, (2013), Vol , No : 217-232

"MC-MLAS: Multi-channel Minimum Latency Aggregation Scheduling in Wireless Sensor Networks", Elsevier BV, (2013), Vol 57, No 18: 3812-3825

"Market_based grid resource allocation using new negotiation model", Elsevier BV, (2013), Vol 36, No 1: 543-565

"Fully Distributed Self Certified Key Management for Large-Scale MANETs", IEEE, (2013), Vol , No :

"Expert key selection impact on the MANETs' performance using probabilistic key management algorithm", ACM, (2013), Vol , No :

"Availability Modeling and Evaluation of Cloud Virtual Data Centers", IEEE, (2013), Vol , No :

"A new extension of activity networks for modeling and verification of timed systems", The Scientific and Technological Research Council of Turkey (TUBITAK-ULAKBIM) - DIGITAL COMMONS JOURNALS, (2013), Vol 21, No : 1751-1779

"Formal process algebraic modeling, verification, and analysis of an abstract Fuzzy Inference Cloud Service", Springer Science and Business Media LLC, (2013), Vol 67, No 2: 345-383

"Bi-level fuzzy based advanced reservation of Cloud workflow applications on distributed Grid resources", Springer Science and Business Media LLC, (2013), Vol 67, No 1: 175-218

"A Novel Probabilistic Key Management Algorithm for Large-Scale MANETs", IEEE, (2013), Vol , No :

"Reduced Communications Fault Tolerant Task Scheduling Algorithm for Multiprocessor Systems", Elsevier BV, (2012), Vol 29, No : 3820-3825

"Network Layer Challenges of IEEE 802.11n Wireless Ad Hoc Networks", Springer Berlin Heidelberg, (2012), Vol , No : 377-388

"Interference-Aware Multipath Routing for Video Delivery in Wireless Multimedia Sensor Networks", IEEE, (2012), Vol , No :

"FOMA: Flexible overlay multi-path data aggregation in wireless sensor networks", IEEE, (2012), Vol , No :

"Experimental investigation of the fatigue strength of STÉF-1 fiberglass composite", Springer Science and Business Media LLC, (2012), Vol 44, No 2: 218-225

"Distributed QoS routing algorithm in large scale Wireless Sensor Networks", IEEE, (2012), Vol , No :

"Biogeography-based optimization of makespan and reliability in grid computing systems", IEEE, (2012), Vol , No :

"Negotiation strategies considering market, time and behavior functions for resource allocation in computational grid", Springer Science and Business Media LLC, (2012), Vol 66, No 3: 1350-1389

"DACA: Data-Aware Clustering and Aggregation in Query-Driven Wireless Sensor Networks", IEEE, (2012), Vol , No :

"A Hybrid Genetic Algorithm and Variable Neighborhood Search for Task Scheduling Problem in Grid Environment", Elsevier BV, (2012), Vol 29, No : 3808-3814

"S-NC", ACM, (2012), Vol , No :

"A Büchi automata based model checking framework for reo connectors", ACM, (2012), Vol , No :

"A Novel Contention Window Control Scheme for IEEE 802.11 WLANs", Medknow, (2012), Vol 29, No 3: 202

"Structure-free real-time data aggregation in wireless sensor networks", Elsevier BV, (2012), Vol 35, No 9: 1132-1140

"A probabilistic task scheduling method for grid environments", Elsevier BV, (2012), Vol 28, No 3: 513-524

"Verification of mobile ad hoc networks: An algebraic approach", Elsevier BV, (2011), Vol 412, No 28: 3262-3282

"Stochastic Restricted Broadcast Process Theory", Springer Berlin Heidelberg, (2011), Vol , No : 72-86

"RDAG: A Structure-Free Real-Time Data Aggregation Protocol for Wireless Sensor Networks", IEEE, (2011), Vol , No :

"Performance Optimization Based on Analytical Modeling in a Real-Time System with Constrained Time/Utility Functions", Institute of Electrical and Electronics Engineers (IEEE), (2011), Vol 60, No 8: 1169-1181

"Pancyclicity of OTIS (swapped) networks based on properties of the factor graph", Elsevier BV, (2011), Vol 111, No 23-24: 1114-1119

"On pancyclicity properties of OTIS-mesh", Elsevier BV, (2011), Vol 111, No 8: 353-359

"Long lifetime routing in unreliable wireless sensor networks", IEEE, (2011), Vol , No :

"Long lifetime real-time routing in unreliable Wireless Sensor Networks", IEEE, (2011), Vol , No :

"IMAC: An Interference-Aware Duty-Cycle MAC Protocol for Wireless Sensor Networks Employing Multipath Routing", IEEE, (2011), Vol , No :

"Analysis of a dynamic assignment of impatient customers to parallel queues", Springer Science and Business Media LLC, (2011), Vol 67, No 3: 251-273

"An Optimised Algorithm to Detect Faulty Readings along the Substrate Access Wireless Long-Thin Sensor Networks", IEEE, (2011), Vol , No :

"A new hierarchal and scalable architecture for performance enhancement of large scale underwater sensor networks", IEEE, (2011), Vol , No :

"A Bee Colony Task Scheduling Algorithm in Computational Grids", Springer Berlin Heidelberg, (2011), Vol , No : 200-210

"A Fault Tolerant Scheduling Algorithm for DAG Applications in Cluster Environments", Springer Berlin Heidelberg, (2011), Vol , No : 189-199

"Utility Accrual Dynamic Routing in Real-Time Parallel Systems", Institute of Electrical and Electronics Engineers (IEEE), (2010), Vol 21, No 12: 1822-1835

"Towards Performance Evaluation of Mobile Ad Hoc Network Protocols", IEEE, (2010), Vol , No :

"The Usage of Genetic Algorithm in Clustering and Routing in Wireless Sensor Networks", Springer Berlin Heidelberg, (2010), Vol , No : 95-103

"The Novel Contention Window Control Scheme for IEEE 802.11 Mac Protocol", IEEE, (2010), Vol , No :

"The Addition of Data Aggregation to SPEED Routing Algorithm While Keeping the Functionality of Available Techniques", IEEE, (2010), Vol , No :

"The addition of data aggregation to non cluster based SPEED routing algorithm while keeping the functionality of available techniques inorder to increase QoS", IEEE, (2010), Vol , No :

"Reducing the data transmission in Wireless Sensor Networks using the Principal Component Analysis", IEEE, (2010), Vol , No :

"Privacy consideration for trustworthy vehicular ad hoc networks", IEEE, (2010), Vol , No :

"Modeling security protocols using operational semantics", IEEE, (2010), Vol , No :

"Failure-based equivalence of constraint automata", Informa UK Limited, (2010), Vol 87, No 11: 2426-2443

"Equational Reasoning on Mobile Ad Hoc Networks", IOS Press, (2010), Vol 105, No 4: 375-415

"Equational Reasoning on Ad Hoc Networks", Springer Berlin Heidelberg, (2010), Vol , No : 113-128

"Bandwidth Adapted Hierarchical Multicast Overlay", IEEE, (2010), Vol , No :

"An Identity-Based Network Access Control Scheme for Single Authority MANETs", IEEE, (2010), Vol , No :

"An efficient distributed cluster-head election technique for load balancing in wireless sensor networks", IEEE, (2010), Vol , No :

"A Novel Approach for Improvement of Network Lifetime and Quality of Service in Wireless Sensor Networks", IEEE, (2010), Vol , No :

"A new deterministic fault tolerant wormhole routing strategy for k-ary 2-cubes", IEEE, (2010), Vol , No :

"A hybrid mesh-tree peer-to-peer overlay structure for layered video streaming", IEEE, (2010), Vol , No :

"A Genetic-Based Scheduling Algorithm to Minimize the Makespan of the Grid Applications", Springer Berlin Heidelberg, (2010), Vol , No : 22-31

"A distributed truthful routing protocol for Mobile Ad hoc Networks", IEEE, (2010), Vol , No :

"Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca", Elsevier BV, (2010), Vol 36, No 5: 874-885

"Dynamic routing of real-time jobs among parallel EDF queues: A performance study", Elsevier BV, (2010), Vol 36, No 5: 835-849

"Utilizing Network Coding for File Dissemination in Peer-to-Peer Systems", IEEE, (2009), Vol , No :

"Tree Optimization In Overlay Multicast Based on Location and Bandwidth", IEEE, (2009), Vol , No :

"SEAODV", ACM, (2009), Vol , No :

"Recovery of Sensors in Wireless Sensor Networks", IEEE, (2009), Vol , No :

"On the Uniform Sampling of the Web: An Improvement on Bucket Based Sampling", IEEE, (2009), Vol , No :

"Mobility Aware Distributed Topology Control in Mobile Ad-Hoc Networks Using Mobility Pattern Matching", IEEE, (2009), Vol , No :

"Maximizing the Accrued Utility of an Isochronal Soft Real-Time System Using Genetic Algorithms", IEEE, (2009), Vol , No :

"Joint Distributed Source and Network Coding for Multiple Wireless Unicast Sessions", IEEE, (2009), Vol , No :

"Intelligent Clustering in Wireless Sensor Networks", IEEE, (2009), Vol , No :

"Improvement of fault detection in wireless sensor networks", IEEE, (2009), Vol , No :

"An Evolutionary Approach to Generalized Mirror Sites Problem", AIP, (2009), Vol , No :

"An Efficient Method for Identifying IDS Agent Nodes by Discovering Compromised Nodes in MANET", IEEE, (2009), Vol , No :

"A novel approach for avoiding wormhole attacks in VANET", IEEE, (2009), Vol , No :

"A New Method for Coverage in Wireless Sensor Networks", IEEE, (2009), Vol , No :

"A New Approach to Improve Quality of Service in SPEED Routing Protocol in Wireless Sensor Network through Data Aggregation", IEEE, (2009), Vol , No :

"A Method for Dynamic Software Updating in Real-Time Systems", IEEE, (2009), Vol , No :

"A clustering algorithm to improve routing stability in mobile ad-hoc networks", IEEE, (2009), Vol , No :

"A Bayesian Game Approach for Preventing DoS Attacks in Wireless Sensor Networks", IEEE, (2009), Vol , No :

"Symmetry and partial order reduction techniques in model checking Rebeca", Springer Science and Business Media LLC, (2009), Vol 47, No 1: 33-66

"Compositional Failure-based Equivalence of Constraint Automata", Elsevier BV, (2009), Vol 250, No 1: 105-122

"PL-MAC: ProLonging Network Lifetime with a MAC Layer Approach in Wireless Sensor Networks", IEEE, (2008), Vol , No :

"Performance Modeling of Fault Tolerant Fully Adaptive Wormhole Switching 2-D Meshes in Presence of Virtual Channels", IEEE, (2008), Vol , No :

"Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps", IEEE, (2008), Vol , No :

"Improving Fault Tolerance in Ad-Hoc Networks by Using Residue Number System", Science Alert, (2008), Vol 8, No 18: 3273-3278

"DESIGN AND PERFORMANCE EVALUATION OF A FUZZY-BASED TRAFFIC CONDITIONER FOR MOBILE AD HOC NETWORKS", World Scientific Pub Co Pte Lt, (2008), Vol 17, No 06: 995-1014

"Bandwidth-Delay Constrained Least Cost Multicast Routing for Multimedia Communication", Springer Berlin Heidelberg, (2008), Vol , No : 737-740

"A study on routing method in P2P networks", IEEE, (2008), Vol , No :

"A joint packet coding and attaching scheme for wireless networks", IEEE, (2008), Vol , No :

"A Fuzzy Energy-based extension to AODV routing", IEEE, (2008), Vol , No :

"A Comparison of Various Routing Protocols in Mobile Ad-Hoc Networks (MANETs) with the Use of Fluid Flow Simulation Method", IEEE, (2008), Vol , No :

"Routing Algorithms Study and Comparing in Interconnection Networks", IEEE, (2008), Vol , No :

"3MOKAN: A Novel Mobility Management Mechanism Based on Keeping Alternative Nodes", IEEE, (2008), Vol , No :

"Identifying monitoring nodes in MANET by detecting unauthorized and malicious nodes", IEEE, (2008), Vol , No :

"Restricted Broadcast Process Theory", IEEE, (2008), Vol , No :

"Challenges in Using Peer-to-Peer Structures in Order to Design a Large-Scale Web Search Engine", Springer Berlin Heidelberg, (2008), Vol , No : 461-468

"A new routing rotocol in Mobile Ad hoc Networks with selfish nodes", IEEE, (2008), Vol , No :

"CEBAC: A Decentralized Cooperation Enforcement Based Access Control Framework in MANETs", Springer Berlin Heidelberg, (2008), Vol , No : 427-434

"Performance Analysis of SLTC  A Stable Path, Low Overhead, Truthful and Cost Efficient Routing Protocol in MANETs with Selfish Nodes", IEEE, (2008), Vol , No :

"MEHR: Multi-Hop Energy-Aware Hierarchical Routing for Wireless Sensor Networks", IEEE, (2008), Vol , No :

"ID-NAC: Identity-based network access control for MANETs", IEEE, (2008), Vol , No :

"A Novel Method for Modeling and Evaluation of Uncertain Information Systems", IEEE, (2008), Vol , No :

"Modeling Routing Protocols in Adhoc Networks", Springer Berlin Heidelberg, (2008), Vol , No : 419-426

"Notice of Violation of IEEE Publication Principles - A New Automatic Clustering Algorithm via Deadline Timer for Wireless Ad-hoc Sensor Networks", IEEE, (2008), Vol , No :

"Finding the sensors location and the number of sensors in sensor networks with a genetic algorithm", IEEE, (2008), Vol , No :

"AFAR: adaptive fuzzy ant-based routing for communication networks", Zhejiang University Press, (2008), Vol 9, No 12: 1666-1675

"MODEL CHECKING OF COMPONENT BASED SOFTWARE USING COMPOSITIONAL REDUCTIONS", World Scientific Pub Co Pte Lt, (2008), Vol 18, No 05: 683-712

"Stochastic DVS-based dynamic power management for soft real-time systems", Elsevier BV, (2008), Vol 32, No 3: 121-144

"Trusted secure routing for ad hoc networks", ACM, (2007), Vol , No :

"Supporting high mobility by end-host assistance - preventing overrunning of routing protocols", IEEE, (2007), Vol , No :

"Restricted Access to Exam Grades on the Web by HIP", IEEE, (2007), Vol , No :

"Reliable multicast routing with local recovery approach in Ad Hoc Network", IEEE, (2007), Vol , No :

"Model Checking of Component Connectors", IEEE, (2007), Vol , No :

"Exam HIP", IEEE, (2007), Vol , No :

"Compositional failure-based semantic equivalences for Reo specifications", ACM Press, (2007), Vol , No :

"Coin: A COverage INcreasing Algorithm in Mixed Sensor Network", IEEE, (2007), Vol , No :

"Characterizing the Web Using a New Uniform Sampling Approach", IEEE, (2007), Vol , No :

"A New Anti-Spam Protocol Using CAPTCHA", IEEE, (2007), Vol , No :

"Performance Evaluation of Mobile Ad Hoc Networks In the Presence of Energy-based Selfishness", IEEE, (2006), Vol , No :

"An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata", Elsevier BV, (2006), Vol 159, No : 171-186

"Clustering Ensembles Using Genetic Algorithm", IEEE, (2006), Vol , No :

"Efficient Evaluation of CSAN Models by State Space Analysis Methods", IEEE, (2006), Vol , No :

"Modeling and Evaluation of Software Systems with Object Stochastic Activity Networks", IEEE, (2006), Vol , No :

"A Method for Performance Analysis of Earliest-Deadline-First Scheduling Policy", Springer Science and Business Media LLC, (2006), Vol 37, No 2: 197-222

"Transformation of UML Models into Analyzable OSAN Models", Elsevier BV, (2006), Vol 159, No : 3-22

"Efficient Symmetry Reduction for an Actor-Based Model", Springer Berlin Heidelberg, (2005), Vol , No : 494-507

"A modelling tool for hierarchical stochastic activity networks", Elsevier BV, (2005), Vol 13, No 6: 505-524

"Optimal control of parallel queues with impatient customers", Elsevier BV, (2005), Vol 60, No 1-4: 327-343