Gul A. Agha - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 44 from 44

2021

Verification of Eventual Consensus in Synod Using a Failure-Aware Actor ModelSaswata Paul, Gul A. Agha, Stacy Patterson, Carlos A. Varela. NFM 2021: 249-267 [doi]

2016

Parameterized, concurrent session types for asynchronous multi-actor interactionsMinas Charalambides, Peter Dinges, Gul A. Agha. SCP, 115:100-126, 2016. [doi]

Introduction to the Software Technology TrackRick Kazman, Gul A. Agha. hicss 2016: 5358 [doi]

Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model CheckingEhsan Khamespanah, Kirill Mechitov, Marjan Sirjani, Gul A. Agha. spin 2016: 165-181 [doi]

2015

Space division and dimensional reduction methods for indoor positioning systemYun Mo, Zhongzhao Zhang, Weixiao Meng, Gul A. Agha. icc 2015: 3263-3268 [doi]

Special issue on programming based on actors, agents and decentralized controlAlessandro Ricci, Gul A. Agha, Rafael H. Bordini, Assaf Marron. SCP, 98:117-119, 2015. [doi]

2014

2012

How well can congestion pricing neutralize denial of service attacks?Ashish Vulimiri, Gul A. Agha, Philip Brighten Godfrey, Karthik Lakshminarayanan. sigmetrics 2012: 137-150 [doi]

2011

Verifying the Evolution of Probability Distributions Governed by a DTMCYoungmin Kwon, Gul A. Agha. TSE, 37(1):126-141, 2011. [doi]

Inferring ownership transfer for efficient message passingStas Negara, Rajesh K. Karmani, Gul A. Agha. ppopp 2011: 81-90 [doi]

AGERE! (actors and agents reloaded): splash 2011 workshop on programming systems, languages and applications based on actors, agents and decentralized controlAlessandro Ricci, Rafael H. Bordini, Gul A. Agha. OOPSLA 2011: 325-326 [doi]

2010

Integrating Encrypted Mobile Agents with Smart Spaces in a Multi-agent Simulator for Resource ManagementSherin M. Moussa, Gul A. Agha. jsw, 5(6):630-636, 2010. [doi]

2009

A Framework for State-Space Exploration of Java-Based Actor ProgramsSteven Lauterburg, Mirco Dotta, Darko Marinov, Gul A. Agha. ASE 2009: 468-479 [doi]

Integrating Encrypted Mobile Agents with Smart HomesSherin M. Moussa, Mohamed H. Abdelaziz, Gul A. Agha. ntms 2009: 1-5 [doi]

2008

A Robust Audit Mechanism to Prevent Malicious Behaviors in Multi-robot SystemsMyungJoo Ham, Gul A. Agha. saso 2008: 35-44 [doi]

2007

Ambiance: A Mobile Agent Platform for End-User Programmable Ambient SystemsReza Razavi, Kirill Mechitov, Gul A. Agha, Jean-François Perrot. IJCAI 2007: 81-106 [doi]

2006

PMaude: Rewrite-based Specification Language for Probabilistic Object SystemsGul A. Agha, José Meseguer, Koushik Sen. ENTCS, 153(2):213-239, 2006. [doi]

A Study of Coordinated Dynamic Market-Based Task Assignment in Massively Multi-Agent SystemsMyungJoo Ham, Gul A. Agha. atal 2008: 43-63 [doi]

2005

Actor Model and Knowledge Management Systems: Social Interaction as a Framework for Knowledge IntegrationIrma Becerra-Fernandez, Te-Wei Wang, Gul A. Agha. wm 2005: 19-29

An underlay for sensor networks: localized protocols for maintenance and usageChristo Frank Devaraj, Indranil Gupta, Mahwish Nagda, Gul A. Agha. mass 2005: [doi]

iLTLChecker: A Probabilistic Model Checker for Multiple DTMCsYoungmin Kwon, Gul A. Agha. qest 2005: 245-246 [doi]

Resilient Localization for Sensor Networks in Outdoor EnvironmentsYoungmin Kwon, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, Gul A. Agha. icdcs 2005: 643-652 [doi]

VESTA: A Statistical Model-checker and Analyzer for Probabilistic SystemsKoushik Sen, Mahesh Viswanathan, Gul A. Agha. qest 2005: 251-252 [doi]

On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph AutomataPredrag T. Tosic, Gul A. Agha. uc 2005: 191-205 [doi]

Computational Complexity of Predicting Some Properties of Large-Scale Agent Ensembles Dynamical EvolutionPredrag T. Tosic, Gul A. Agha. eumas 2005: 415-426

Monitormining: creating domain knowledge for system automation using a gray-box approachSandeep Uttamchandani, Xiaoxin Yin, John Palmer, Gul A. Agha. im 2005: 61-74 [doi]

CHAMELEON: A Self-Evolving, Fully-Adaptive Resource Arbitrator for Storage SystemsSandeep Uttamchandani, Li Yin, Guillermo A. Alvarez, John Palmer, Gul A. Agha. usenix 2005: 75-88 [doi]

AUTOLOOP: Automated Action Selection in the Observe-Analyze-Act Loop for Storage SystemsLi Yin, Sandeep Uttamchandani, John Palmer, Randy H. Katz, Gul A. Agha. policy 2005: 129-138 [doi]

2004

Maximal Clique Based Distributed Coalition Formation for Task Allocation in Large-Scale Multi-agent SystemsPredrag T. Tosic, Gul A. Agha. mmas 2005: 104-120 [doi]

Towards a hierarchical taxonomy of autonomous agentsPredrag T. Tosic, Gul A. Agha. SMC 2004: 3421-3426 [doi]

1999

Actors: A unifying model for parallel and distributed computingGul A. Agha, WooYoung Kim. jsa, 45(15):1263-1277, 1999. [doi]

A actor-based architecture for customizing and controlling agent ensemblesNadeem Jamali, Prasanna Thati, Gul A. Agha. expert, 14(2):38-44, 1999. [doi]

1996

The elusive goal of intelligenceGul A. Agha. ieeecc, 4(2):2-3, 1996. [doi]

Strategic directionsGul A. Agha. ieeecc, 4(4):2-3, 1996. [doi]

Our magazine's new faceGul A. Agha. ieeecc, 4(3):2-3, 1996. [doi]

The mountains are in laborGul A. Agha. ieeecc, 4(1):2-5, 1996. [doi]

Efficient compilation of concurrent call/return communication in actor-based programming languagesWooYoung Kim, Gul A. Agha, Rajendra Panwar. hipc 1996: 62-67 [doi]

1995

Different approaches around the worldGul A. Agha. ieeecc, 3(3):2-3, 1995. [doi]

1994

Actor Languages for Specification of Parallel ComputationsGul A. Agha, WooYoung Kim, Rajendra Panwar. dimacs 1994: 239-258

1990

ACTORS - a model of concurrent computation in distributed systemsGul A. Agha. MIT Press series in artificial intelligence, MIT Press, 1990.

1985

Actors: a Model of Concurrent Computation in Distributed Systems (Parallel Processing, Semantics, Open, Programming Languages, Artificial Intelligence)Gul A. Agha. PhD thesis, University of Michigan, USA, 1985. [doi]

Sign in or sign up to see more results.

runs on WebDSL