Gul A. Agha

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