Gul A. Agha

Publication Activity (10 Years)

Years Active: 1994-2021
Publications (10 Years): 5

Top Topics

Intelligent Software

Decentralized Control

Wireless Sensor

Denial Of Service Attacks

Top Venues

Sci. Comput. Program.

Publications

Saswata Paul, Gul A. Agha, Stacy Patterson, Carlos A. Varela
Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model. NFM (2021)
Saswata Paul, Gul A. Agha, Stacy Patterson, Carlos A. Varela
Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model. CoRR (2021)
Rick Kazman, Gul A. Agha
Introduction to the Software Technology Track. HICSS (2016)
Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani, Gul A. Agha
Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking. SPIN (2016)
Minas Charalambides, Peter Dinges, Gul A. Agha
Parameterized, concurrent session types for asynchronous multi-actor interactions. Sci. Comput. Program. (2016)
Yun Mo, Zhongzhao Zhang, Weixiao Meng, Gul A. Agha
Space division and dimensional reduction methods for indoor positioning system. ICC (2015)
Alessandro Ricci, Gul A. Agha, Rafael H. Bordini, Assaf Marron
Special issue on programming based on actors, agents and decentralized control. Sci. Comput. Program. 98 (2015)
YoungMin Kwon, Kirill Mechitov, Gul A. Agha
Design and Implementation of a Mobile Actor Platform for Wireless Sensor Networks. Concurrent Objects and Beyond (2014)
Peter Dinges, Gul A. Agha
Solving complex path conditions through heuristic search on induced polytopes. SIGSOFT FSE (2014)
Peter Dinges, Gul A. Agha
Targeted test input generation using symbolic-concrete backward execution. ASE (2014)
Reza Shiftehfar, Kirill Mechitov, Gul A. Agha
Towards a Flexible Fine-Grained Access Control System for Modern Cloud Applications. IEEE CLOUD (2014)
Ashish Vulimiri, Gul A. Agha, Philip Brighten Godfrey, Karthik Lakshminarayanan
How well can congestion pricing neutralize denial of service attacks? SIGMETRICS (2012)
Stas Negara, Rajesh K. Karmani, Gul A. Agha
Inferring ownership transfer for efficient message passing. PPOPP (2011)
Alessandro Ricci, Rafael H. Bordini, Gul A. Agha
AGERE! (actors and agents reloaded): splash 2011 workshop on programming systems, languages and applications based on actors, agents and decentralized control. OOPSLA Companion (2011)
YoungMin Kwon, Gul A. Agha
Verifying the Evolution of Probability Distributions Governed by a DTMC. IEEE Trans. Software Eng. 37 (1) (2011)
Sherin M. Moussa, Gul A. Agha
Integrating Encrypted Mobile Agents with Smart Spaces in a Multi-agent Simulator for Resource Management. J. Softw. 5 (6) (2010)
Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul A. Agha
A Framework for State-Space Exploration of Java-Based Actor Programs. ASE (2009)
Sherin M. Moussa, Mohamed H. Abdelaziz, Gul A. Agha
Integrating Encrypted Mobile Agents with Smart Homes. NTMS (2009)
MyungJoo Ham, Gul A. Agha
A Robust Audit Mechanism to Prevent Malicious Behaviors in Multi-robot Systems. SASO (2008)
Reza Razavi, Kirill Mechitov, Gul A. Agha, Jean-François Perrot
Ambiance: A Mobile Agent Platform for End-User Programmable Ambient Systems. AITamI@IJCAI (best papers) (2007)
Gul A. Agha, José Meseguer, Koushik Sen
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems. Electron. Notes Theor. Comput. Sci. 153 (2) (2006)
MyungJoo Ham, Gul A. Agha
A Study of Coordinated Dynamic Market-Based Task Assignment in Massively Multi-Agent Systems. MMAS/LSMAS/CCMMS (2006)
Sandeep Uttamchandani, Li Yin, Guillermo A. Alvarez, John Palmer, Gul A. Agha
CHAMELEON: A Self-Evolving, Fully-Adaptive Resource Arbitrator for Storage Systems. USENIX Annual Technical Conference, General Track (2005)
Predrag T. Tosic, Gul A. Agha
On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph Automata. UC (2005)
YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, Gul A. Agha
Resilient Localization for Sensor Networks in Outdoor Environments. ICDCS (2005)
Sandeep Uttamchandani, Xiaoxin Yin, John Palmer, Gul A. Agha
Monitormining: creating domain knowledge for system automation using a gray-box approach. Integrated Network Management (2005)
Christo Frank Devaraj, Indranil Gupta, Mahwish Nagda, Gul A. Agha
An underlay for sensor networks: localized protocols for maintenance and usage. MASS (2005)
YoungMin Kwon, Gul A. Agha
iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs. QEST (2005)
Li Yin, Sandeep Uttamchandani, John Palmer, Randy H. Katz, Gul A. Agha
AUTOLOOP: Automated Action Selection in the "Observe-Analyze-Act" Loop for Storage Systems. POLICY (2005)
Koushik Sen, Mahesh Viswanathan, Gul A. Agha
VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems. QEST (2005)
Irma Becerra-Fernandez, Te Wei Wang, Gul A. Agha
Actor Model and Knowledge Management Systems: Social Interaction as a Framework for Knowledge Integration. Wissensmanagement (2005)
Predrag T. Tosic, Gul A. Agha
Computational Complexity of Predicting Some Properties of Large-Scale Agent Ensembles' Dynamical Evolution. EUMAS (2005)
Predrag T. Tosic, Gul A. Agha
Maximal Clique Based Distributed Coalition Formation for Task Allocation in Large-Scale Multi-agent Systems. MMAS (2004)
Predrag T. Tosic, Gul A. Agha
Towards a hierarchical taxonomy of autonomous agents. SMC (4) (2004)
Nadeem Jamali, Prasanna Thati, Gul A. Agha
A actor-based architecture for customizing and controlling agent ensembles. IEEE Intell. Syst. 14 (2) (1999)
Gul A. Agha, WooYoung Kim
Actors: A unifying model for parallel and distributed computing. J. Syst. Archit. 45 (15) (1999)
WooYoung Kim, Gul A. Agha, Rajendra Panwar
Efficient compilation of concurrent call/return communication in actor-based programming languages. HiPC (1996)
Gul A. Agha
Strategic directions. IEEE Parallel Distributed Technol. Syst. Appl. 4 (4) (1996)
Gul A. Agha
Our magazine's new face. IEEE Parallel Distributed Technol. Syst. Appl. 4 (3) (1996)
Gul A. Agha
The mountains are in labor. IEEE Parallel Distributed Technol. Syst. Appl. 4 (1) (1996)
Gul A. Agha
The elusive goal of intelligence. IEEE Parallel Distributed Technol. Syst. Appl. 4 (2) (1996)
Gul A. Agha
Different approaches around the world. IEEE Parallel Distributed Technol. Syst. Appl. 3 (3) (1995)
Gul A. Agha, WooYoung Kim, Rajendra Panwar
Actor Languages for Specification of Parallel Computations. Specification of Parallel Algorithms (1994)