| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | YoungMin Kwon, Gul A. Agha |
Verifying the Evolution of Probability Distributions Governed by a DTMC.  |
IEEE Trans. Software Eng.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Stas Negara, Rajesh K. Karmani, Gul A. Agha |
Inferring ownership transfer for efficient message passing. |
PPOPP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajesh K. Karmani, Gul Agha |
Actors. |
Encyclopedia of Parallel Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay Anand Korthikanti, Gul Agha, Mark R. Greenstreet |
On the Energy Complexity of Parallel Algorithms. |
ICPP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Ricci, Gul Agha, Rafael H. Bordini |
Agere! (actors and agents reloaded): splash 2011 workshop on programming systems, languages and applications based on actors, agents and decentralized control. |
SPLASH Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gul Agha, Olivier Danvy, José Meseguer (eds.) |
Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday |
Formal Modeling: Actors, Open Systems, Biological Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon |
Model Checking MDPs with a Unique Compact Invariant Set of Distributions. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
Model Checking, Semantics, Markov Decision Processes, Probability Distributions |
| 1 | Sherin M. Moussa, Gul A. Agha |
Integrating Encrypted Mobile Agents with Smart Spaces in a Multi-agent Simulator for Resource Management. |
JSW |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dave Clarke, Gul A. Agha (eds.) |
Coordination Models and Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings |
COORDINATION |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, Gul Agha |
Resilient localization for sensor networks in outdoor environments. |
TOSN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha |
Mutation Operators for Actor Systems. |
ICST Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha |
Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. |
FASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay Anand Korthikanti, Gul Agha |
Avoiding energy wastage in parallel applications. |
Green Computing Conference |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay Anand Korthikanti, Gul Agha |
Towards optimizing energy costs of algorithms for shared memory architectures. |
SPAA |
2010 |
DBLP DOI BibTeX RDF |
performance, parallel algorithms, energy, shared memory architectures |
| 1 | Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon |
Reasoning about MDPs as Transformers of Probability Distributions. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha |
Basset: a tool for systematic testing of actor programs. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sherin M. Moussa, Mohamed H. Abdelaziz, Gul A. Agha |
Integrating Encrypted Mobile Agents with Smart Homes. |
NTMS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul A. Agha |
A Framework for State-Space Exploration of Java-Based Actor Programs. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay Anand Korthikanti, Gul Agha |
Analysis of Parallel Algorithms for Energy Conservation in Scalable Multicore Architectures. |
ICPP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajesh K. Karmani, Amin Shali, Gul Agha |
Actor frameworks for the JVM platform: a comparative analysis. |
PPPJ |
2009 |
DBLP DOI BibTeX RDF |
Java, performance, semantics, frameworks, abstractions, JVM, libraries, comparison, actors |
| 1 | Sherin M. Moussa, Mohamed Hashem, Gul Agha |
An agent-based framework for inhabitants' untraceability in ubiquitous environments. |
MoMM |
2009 |
DBLP DOI BibTeX RDF |
agent-based ubiquitous applications, simulation tool for evaluation, mobile agents, smart spaces, untraceability |
| 1 | MyungJoo Ham, Gul A. Agha |
A Robust Audit Mechanism to Prevent Malicious Behaviors in Multi-robot Systems. |
SASO |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gul Agha |
Computing in pervasive cyberspace. |
Commun. ACM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | YoungMin Kwon, Gul Agha |
Passive Localization: Large Size Sensor Network Localization Based on Environmental Events. |
IPSN |
2008 |
DBLP DOI BibTeX RDF |
Passive Localization, Projected Distance, Wireless Sensor Network, Localization, SVD, Spectrogram |
| 1 | YoungMin Kwon, Gul Agha |
LTLC: Linear Temporal Logic for Control. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajesh K. Karmani, Timo Latvala, Gul Agha |
On Scaling Multi-Agent Task Reallocation Using Market-Based Approach. |
SASO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | YoungMin Kwon, Gul Agha |
A Markov Reward Model for Software Reliability. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Po-Hao Chang, Gul Agha |
Towards Context-Aware Web Applications. |
DAIS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Po-Hao Chang, Gul Agha |
Supporting reconfigurable object distribution for customized web applications. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rick Kazman, Gul Agha |
Software Technology Track Introduction. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gul A. Agha, José Meseguer, Koushik Sen |
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | MyungJoo Ham, Gul A. Agha |
A Study of Coordinated Dynamic Market-Based Task Assignment in Massively Multi-Agent Systems. |
MMAS/LSMAS/CCMMS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Koushik Sen, Grigore Rosu, Gul Agha |
Online efficient predictive safety analysis of multithreaded programs. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
JMPaX, Multithreaded analysis, Runtime monitoring, Vector clock, Predictive analysis |
| 1 | Myeong-Wuk Jang, Gul Agha |
Agent framework services to reduce agent communication overhead in large-scale agent-based simulations. |
Simulation Modelling Practice and Theory |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Po-Hao Chang, Gul Agha |
Supporting Reconfigurable Object Distribution for Customizable Web Applications. |
OTM Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Koushik Sen, Mahesh Viswanathan, Gul Agha |
Model-Checking Markov Chains in the Presence of Uncertainties. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu |
Decentralized runtime analysis of multithreaded applications. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Liping Chen, Gul Agha |
State Aware Data Dissemination over Structured Overlays. |
Peer-to-Peer Computing |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bill Donkervoet, Gul Agha |
Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Koushik Sen, Gul Agha |
Automated Systematic Testing of Open Distributed Programs. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gul Agha |
Track Introduction. |
HICSS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Reza Razavi, Kirill Mechitov, Sameer Sundresh, Gul Agha, Jean-François Perrot |
Ambiance: adaptive object model-based platform for macroprogramming sensor networks. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
sensor networks, actors, adaptive object-models |
| 1 | Koushik Sen, Gul Agha |
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | YoungMin Kwon, Sameer Sundresh, Kirill Mechitov, Gul Agha |
ActorNet: an actor platform for wireless sensor networks. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Koushik Sen, Gul Agha |
A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs. |
Haifa Verification Conference |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | YoungMin Kwon, Gul Agha |
Scalable Modeling and Performance Evaluation of Wireless Sensor Networks. |
IEEE Real Time Technology and Applications Symposium |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Christo Frank Devaraj, Indranil Gupta, Mahwish Nagda, Gul A. Agha |
An underlay for sensor networks: localized protocols for maintenance and usage. |
MASS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Predrag T. Tosic, Gul A. Agha |
On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph Automata. |
UC |
2005 |
DBLP DOI BibTeX RDF |
Cellular and graph automata, sequential and synchronous dynamical systems, configuration space properties, #P-completeness, computational complexity |
| 1 | YoungMin Kwon, Gul A. Agha |
iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs. |
QEST |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Koushik Sen, Mahesh Viswanathan, Gul A. Agha |
VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems. |
QEST |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, Gul A. Agha |
Resilient Localization for Sensor Networks in Outdoor Environments. |
ICDCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Predrag T. Tosic, Gul A. Agha |
Computational Complexity of Predicting Some Properties of Large-Scale Agent Ensembles' Dynamical Evolution. |
EUMAS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Koushik Sen, Grigore Rosu, Gul Agha |
Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha |
Using Language Inference to Verify Omega-Regular Properties. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Irma Becerra-Fernandez, Te Wei Wang, Gul Agha, Thant Sin |
Actor Model and Knowledge Management Systems: Social Interaction as a Framework for Knowledge Integration. |
Wissensmanagement (LNCS Volume) |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | MyungJoo Ham, Gul Agha |
ARA: A Robust Audit to Prevent Free-Riding in P2P Networks. |
Peer-to-Peer Computing |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gul Agha |
Software Technology Track. |
HICSS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Koushik Sen, Mahesh Viswanathan, Gul Agha |
On Statistical Model Checking of Stochastic Systems. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Koushik Sen, Darko Marinov, Gul Agha |
CUTE: a concolic unit testing engine for C. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
data structure testing, explicit path model-checking, random testing, unit testing, testing C programs, concolic testing |
| 1 | Predrag T. Tosic, Gul A. Agha |
Towards a hierarchical taxonomy of autonomous agents. |
SMC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Predrag T. Tosic, Gul A. Agha |
Maximal Clique Based Distributed Coalition Formation for Task Allocation in Large-Scale Multi-agent Systems. |
MMAS |
2004 |
DBLP DOI BibTeX RDF |
large-scale multi-agent systems, distributed group formation, agent coalitions, distributed algorithms |
| 1 | Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha |
A formal model for reasoning about adaptive QoS-enabled middleware. |
ACM Trans. Softw. Eng. Methodol. |
2004 |
DBLP DOI BibTeX RDF |
meta-object models, quality-of-service, multimedia, reflection, actors, theoretical foundations, Middleware services |
| 1 | Sameer Sundresh, WooYoung Kim, Gul Agha |
SENS: A Sensor, Environment and Network Simulator. |
Annual Simulation Symposium |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandeep Uttamchandani, Guillermo A. Alvarez, Gul Agha |
DecisionQoS: An Adaptive, Self-Evolving QoS Arbitration Module for Storage Systems. |
POLICY |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | YoungMin Kwon, Gul Agha |
Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha |
Learning to Verify Safety Properties. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Koushik Sen, Grigore Rosu, Gul Agha |
Online Efficient Predictive Safety Analysis of Multithreaded Programs. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Predrag T. Tosic, Gul Agha |
Concurrency vs. Sequential Interleavings in 1-D Threshold Cellular Automata. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Prasanna Thati, Carolyn L. Talcott, Gul Agha |
Techniques for Executing and Reasoning about Specification Diagrams. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
Graphical specification languages, may testing, trace equivalence, rewriting logic, calculus |
| 1 | Predrag T. Tosic, Gul Agha |
Characterizing Configuration Spaces of Simple Threshold Cellular Automata. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Myeong-Wuk Jang, Gul Agha |
Adaptive Agent Allocation for Massively Multi-agent Applications. |
MMAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Myeong-Wuk Jang, Amr Abdel Momen, Gul Agha |
ATSpace: A Middle Agent to Support Application Oriented Matchmaking and Brokering Services. |
IAT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gul Agha |
Software Technology Track Introduction. (PDF / PS) |
HICSS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gul Agha, Prasanna Thati |
An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language. |
Essays in Memory of Ole-Johan Dahl |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Myeong-Wuk Jang, Amr Ahmed Momen, Gul Agha |
Efficient Agent Communication in Multi-agent Systems. |
SELMAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Koushik Sen, Mahesh Viswanathan, Gul Agha |
Statistical Model Checking of Black-Box Probabilistic Systems. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Koushik Sen, Mahesh Viswanathan, Gul Agha |
Learning Continuous Time Markov Chains from Sample Executions. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Po-Hao Chang, WooYoung Kim, Gul Agha |
An Adaptive Programming Framework for Web Applications. |
SAINT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadeem Jamali, Indratmo, Xinghui Zhao, Gul Agha |
Decentralized Resource Control for Multi-Agent Systems. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu |
Efficient Decentralized Monitoring of Safety in Distributed Systems. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha |
Actively Learning to Verify Safety for FIFO Automata. |
FSTTCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha |
A Rewriting Based Model for Probabilistic Distributed Object Systems. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
Rewrite theory, probability, nondeterminism, actors, Maude |
| 1 | Koushik Sen, Grigore Rosu, Gul Agha |
Generating Optimal Linear Temporal Logic Monitors by Coinduction. |
ASIAN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Kirill Mechitov, Sameer Sundresh, YoungMin Kwon, Gul Agha |
Cooperative tracking with binary-detection sensor networks. |
SenSys |
2003 |
DBLP DOI BibTeX RDF |
cooperative tracking, sensor networks, target tracking |
| 1 | Reza Ziaei, Gul Agha |
SynchNet: A Petri Net Based Coordination Language for Distributed Objects. |
GPCE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Ding, Can Zheng, Gul Agha, Lui Sha |
Automated Verification of the Dependability of Object-Oriented Real-Time Systems. |
WORDS Fall |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Ding, Can Zheng, Lui Sha, Gul Agha |
Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model. |
SEKE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Koushik Sen, Grigore Rosu, Gul Agha |
Runtime safety analysis of multithreaded programs. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
JMPaX, Java, runtime monitoring, safety analysis, LTL, vector clock, multithreaded program, predictive analysis |
| 1 | Gul Agha |
Introduction. |
Commun. ACM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dejan S. Milojicic, Gul Agha, Philippe Bernadat, Deepika Chauhan, Shai Guday, Nadeem Jamali, Dan Lambright, Franco Travostino |
Case Studies in Security and Resource Management for Mobile Object Systems. |
Autonomous Agents and Multi-Agent Systems |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Prasannaa Thati, Reza Ziaei, Gul Agha |
A Theory of May Testing for Actors. |
FMOODS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Prasannaa Thati, Reza Ziaei, Gul Agha |
A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhay Vardhan, Gul Agha |
Using passive object garbage collection algorithms for garbage collection of active objects. |
MSP/ISMM |
2002 |
DBLP DOI BibTeX RDF |
Java, agents, program transformation, garbage collection, actors, active objects |
| 1 | Carlos A. Varela, Gul Agha |
Programming Dynamically Reconfigurable Open systems with SALSA. |
SIGPLAN Notices |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Astley, Daniel C. Sturman, Gul Agha |
Customizable middleware for modular distributed software. |
Commun. ACM |
2001 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")