Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content

    G. Agha

    University of Illinois at Urbana-Champaign, Computer Science, Faculty Member
    Papers
    Spécification comportementale par réseaux de Petri: Application aux systèmes distribués à objets et aux systèmes interactifsmore
    by G. Agha
    ... par Rémi Bastide Spécification comportementale par réseaux de Petri : ... J'ai défini dans ma thèse [Bastide, 92] le formalisme des Objets Coopératifs, que l'on peut présenter comme une unification des paradigmes « Objets... more
    ... par Rémi Bastide Spécification comportementale par réseaux de Petri : ... J'ai défini dans ma thèse [Bastide, 92] le formalisme des Objets Coopératifs, que l'on peut présenter comme une unification des paradigmes « Objets dans les RdP » et « RdP dans les Objets ». ...
    Reflecting on Adaptive Distributed Monitoringmore
    by G. Agha
    Publication Date: 2008
    Research Interests:
    Download (.pdf)
    Formal modeling: essays dedicated to carolyn talcott on the occasion of her 70th birthday (paperback)(series: lecture notes in computer sciencemore
    by G. Agha
    Publication Date: 2011
    Rebecca Montanari Kinji Mori W. Ng A. Prakash J. Putmanmore
    by G. Agha
    Page 1. xvi Reviewers Gul Agha Tamio Arai Doo-Hwan Bae Farokh B. Bastani Elisa Bertino Marion Ceruti Ing-Ray Chen Jackie CY Chen Randy Chow P. Chuang Jen-Yao Chung P. Ciancarini B. Cukic Klaus-Peter Eckert S. Eisenbach Domenico Ferrari M.... more
    Page 1. xvi Reviewers Gul Agha Tamio Arai Doo-Hwan Bae Farokh B. Bastani Elisa Bertino Marion Ceruti Ing-Ray Chen Jackie CY Chen Randy Chow P. Chuang Jen-Yao Chung P. Ciancarini B. Cukic Klaus-Peter Eckert S. Eisenbach Domenico Ferrari M. Fisher Masahiro Fujita Akira Fukuda V. Garg Arif Ghafoor A. Ghose Sumit Ghosh Michel Gien V. Gobel Teruo Higashino David Hislop Ichiro Iida Makoto Imase Yoshihide Ishiguro Koji Ito Yoshiaki Kakuda Kane Kim Hermann Kopetz Jeff Kramer L. LeLann Chung-Shyan Liu Michael Lyu ...
    Publication Name: computer.org
    Verifying the Evolution of Probability Distributions Governed by a DTMCmore
    by G. Agha
    Publisher: Institute of Electrical and Electronics Engineers (IEEE)
    Publication Date: 2011
    Publication Name: IEEE Transactions on Software Engineering
    Research Interests:
    Download (.pdf)
    Computational Models, Programming Languages and Algorithms for Sensor Networks: Towards a Paradigm Shift in Computer Sciencemore
    by G. Agha
    Physical devices are increasingly regulated by embedded computers rather than analog controllers. Embedded computers are essentially computational engines capable of sensing the environment, actuating physical devices, carrying out data... more
    Physical devices are increasingly regulated by embedded computers rather than analog controllers. Embedded computers are essentially computational engines capable of sensing the environment, actuating physical devices, carrying out data analysis and planning actions. Embedded computers can thus enable machines to become intelligent and autonomous. The next technological revolution will follow from the ability of intelligent machines to network with other
    Publisher: IEEE
    Publication Name: IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing -Vol 1 (SUTC'06)
    Research Interests:
    Towards optimizing energy costs of algorithms for shared memory architecturesmore
    by G. Agha
    Publisher: ACM
    Publication Date: 2010
    Publication Name: Proceedings of the twenty-second annual ACM symposium on Parallelism in algorithms and architectures
    Research Interests:
    Download (.pdf)
    A Robust Audit Mechanism to Prevent Malicious Behaviors in Multi-robot Systemsmore
    by G. Agha
    Publisher: IEEE
    Publication Date: 2008
    Publication Name: 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems
    Research Interests:
    Download (.pdf)
    Using Language Inference to Verify Omega-Regular Propertiesmore
    by G. Agha
    Publication Date: 2005
    Publication Name: Lecture Notes in Computer Science
    Research Interests:
    Download (.pdf)
    Scoped Synchronization Constraints for Large Scale Actor Systemsmore
    by G. Agha
    Publisher: Springer Berlin Heidelberg
    Publication Date: 2012
    Publication Name: Lecture Notes in Computer Science
    Research Interests:
    Download (.pdf)
    Scalable distributed garbage collection for systems of active objectsmore
    by G. Agha
    Publication Name: Lecture Notes in Computer Science
    Research Interests:
    Download (.pdf)
    Concurrent Programming Using Actors: Exploiting Large-Scale Parallelismmore
    by G. Agha
    Publisher: Elsevier
    Publication Date: 1988
    Publication Name: Readings in Distributed Artificial Intelligence
    Research Interests:
    Download (.pdf)
    Mutation Operators for Actor Systemsmore
    by G. Agha
    Publisher: IEEE
    Publication Date: 2010
    Publication Name: 2010 Third International Conference on Software Testing, Verification, and Validation Workshops
    Research Interests:
    Download (.pdf)
    Distributed Implementations of Component-based Systems with Prioritized Multiparty Interactionsmore
    by G. Agha
    Research Interests:
    A Language Framework for Multi-Object Coordinationmore
    by G. Agha
    Publisher: Springer Berlin Heidelberg
    Publication Name: ECOOP’ 93 — Object-Oriented Programming
    Research Interests:
    Download (.pdf)
    A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matchingmore
    by G. Agha
    We present a theory of may testing for asynchronous calculi with locality and no name matching. Locality is a non-interference property that is common in systems based on object-paradigm. Concurrent languages such as Join and Pict... more
    We present a theory of may testing for asynchronous calculi with locality and no name matching. Locality is a non-interference property that is common in systems based on object-paradigm. Concurrent languages such as Join and Pict disallow name matching, which is akin to pointer comparison in imperative languages, to provide for an abstract semantics that would allow useful program transformations.
    Publication Date: 2002
    Publication Name: Lecture Notes in Computer Science
    Research Interests:
    Actor frameworks for the JVM platformmore
    by G. Agha
    Publisher: ACM
    Publication Date: 2009
    Publication Name: Proceedings of the 7th International Conference on Principles and Practice of Programming in Java
    Research Interests:
    Download (.pdf)
    An overview of actor languagesmore
    by G. Agha
    Page 1. -5s An Overview of Actor Languages Gul Agha ... As in other object-oriented languages, actors en-capsulate procedural and declarative information into a single entity. Primitive actor languages are based on a pure message-passing... more
    Page 1. -5s An Overview of Actor Languages Gul Agha ... As in other object-oriented languages, actors en-capsulate procedural and declarative information into a single entity. Primitive actor languages are based on a pure message-passing semantics. ...
    Publisher: ACM Press
    Publication Date: 1986
    Publication Name: Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming -
    Research Interests:
    Concurrent object-oriented programming in Act 1more
    by G. Agha
    Publisher: Citeseer
    Publication Date: 1987
    Publication Name: Object-oriented concurrent programming
    A path-based framework for analyzing large markov modelsmore
    by G. Agha
    Publication Date: 2011
    Research Interests:
    Download (.pdf)
    Maximal Clique Based Distributed Group Formation Algorithm for Autonomous Agent Coalitionsmore
    by G. Agha
    Publication Date: 2004
    Reliable multi-hop communication for structural health monitoringmore
    by G. Agha
    Publisher: Techno-Press
    Publication Date: 2010
    Publication Name: Smart Structures and Systems
    Research Interests:
    Download (.pdf)
    Ambiancemore
    by G. Agha
    Publication Date: 2006
    Publication Name: Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06
    Research Interests:
    Download (.pdf)
    Design and Implementation of a Mobile Actor Platform for Wireless Sensor Networksmore
    by G. Agha
    Publication Date: 2014
    Publication Name: Lecture Notes in Computer Science
    Research Interests:
    Download (.pdf)
    Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chainsmore
    by G. Agha
    Publisher: Springer Berlin Heidelberg
    Publication Date: 2004
    Publication Name: Formal Methods and Software Engineering
    Research Interests:
    Download (.pdf)
    LTLC: Linear Temporal Logic for Controlmore
    by G. Agha
    Publisher: Springer Berlin Heidelberg
    Publication Name: Lecture Notes in Computer Science
    Research Interests:
    Download (.pdf)
    An Architecture for Dynamic Service-Oriented Computing in Networked Embedded Systemsmore
    by G. Agha
    Publication Date: 2012
    Publication Name: Lecture Notes in Computer Science
    Research Interests:
    Download (.pdf)
    Distributed execution of actor programsmore
    by G. Agha
    Publisher: Springer-Verlag
    Publication Name: Languages and Compilers for Parallel Computing
    Research Interests:
    Download (.pdf)
    An Actor-Based Framework for Heterogeneous Computing Systemsmore
    by G. Agha
    Publication Name: Proceedings. Workshop on Heterogeneous Processing
    Research Interests:
    Download (.pdf)
    Dynamic macroprogramming of wireless sensor networks with mobile agentsmore
    by G. Agha
    Publication Date: 2007
    Research Interests:
    Download (.pdf)
    Thin Middleware for Ubiquitous Computingmore
    by G. Agha
    Publication Date: 2020
    Research Interests:
    Download (.pdf)
    Research directions in concurrent object-oriented programmingmore
    by G. Agha
    Part 1 Language issues: abstraction and modularity mechanisms for concurrent computing, Gul Agha et al trade-offs between reasoning and modelling, Peter Wegner a survey of logic programming-based object-oriented languages, Andrew Davison... more
    Part 1 Language issues: abstraction and modularity mechanisms for concurrent computing, Gul Agha et al trade-offs between reasoning and modelling, Peter Wegner a survey of logic programming-based object-oriented languages, Andrew Davison analysis of inheritance anomaly in object-oriented concurrent programming languages, Satoshi Matsuoka and Akinori Yonezawa composing active objects, Oscar Nierstrasz. Part 2 Programming constructs: supporting modularity in highly-parallel programs, Andrew A. Chien multiple-concurrency control policies in an object-oriented programming system, Gail E. Kaiser et al ports for objects in concurrent logic programs, Sverker Janson et al. Part 3 Language design: specifying concurrent languages and systems with "delta"-grammars, Simon M. Kaplan et al interaction abstract machines, Jean-Marc Andreoli et al CC++ - a declarative concurrent object-oriented programming notation, K. Mani Chandy and Carl Kesselman a logical theory of concurrent objects a...
    Publication Date: 1993
    Research Interests:
    Abstracting Interaction Patterns: A Programming Paradigm for Open Distributed Systemsmore
    by G. Agha
    Publisher: Springer US
    Publication Date: 1997
    Publication Name: IFIP Advances in Information and Communication Technology
    Research Interests:
    Download (.pdf)
    Middleware services for structural health monitoring using smart sensorsmore
    by G. Agha
    Publisher: Techno-Press
    Publication Date: 2009
    Publication Name: Smart Structures and Systems
    Research Interests:
    Download (.pdf)
    Efficient algorithms for parallel sorting on mesh multicomputersmore
    by G. Agha
    ... V. Kumar, 2 G. Agha, 3 and C. Tomlinson 4 ... 1. t~ (where e stands for essential), which is the time spent on com-putations that would also be performed by an optimal sequential algorithm; and, 2. t~ (where o stands for overhead),... more
    ... V. Kumar, 2 G. Agha, 3 and C. Tomlinson 4 ... 1. t~ (where e stands for essential), which is the time spent on com-putations that would also be performed by an optimal sequential algorithm; and, 2. t~ (where o stands for overhead), which is the sum of time spent on communication ...
    Publisher: Springer Nature
    Publication Date: 1991
    Publication Name: International Journal of Parallel Programming
    Research Interests:
    A Parametric Model for Large Scale Agent Systemsmore
    by G. Agha
    Publisher: Defense Technical Information Center
    Publication Date: 2005
    Research Interests:
    Download (.pdf)
    IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing - Covermore
    by G. Agha
    Publisher: IEEE
    Publication Date: 2006
    Publication Name: IEEE International Conference on Sensor Networks Ubiquitous and Trustworthy Computing - Vol 2 - Workshops
    Research Interests:
    Download (.pdf)
    Abstraction and modularity mechanisms for concurrent computingmore
    by G. Agha
    Publisher: Institute of Electrical and Electronics Engineers (IEEE)
    Publication Date: 1993
    Publication Name: IEEE Parallel & Distributed Technology: Systems & Applications
    Research Interests:
    Download (.pdf)
    Model-Checking Markov Chains in the Presence of Uncertaintiesmore
    by G. Agha
    Publisher: Springer Berlin Heidelberg
    Publication Date: 2006
    Publication Name: Tools and Algorithms for the Construction and Analysis of Systems
    Research Interests:
    Download (.pdf)
    Efficient support of location transparency in concurrent object-oriented programming languagesmore
    by G. Agha
    Publication Date: 1995
    Publication Name: Proceedings of the 1995 ACM/IEEE conference on Supercomputing (CDROM) - Supercomputing '95
    Research Interests:
    Download (.pdf)
    Workshop 05+06: Programming languages and concurrent object-oriented programmingmore
    by G. Agha
    ABSTRACT Without Abstract
    Publication Date: 1997
    Publication Name: Lecture Notes in Computer Science
    Research Interests:
    State Aware Data Dissemination over Structured Overlaysmore
    by G. Agha
    Publication Name: Sixth IEEE International Conference on Peer-to-Peer Computing (P2P'06)
    Research Interests:
    Download (.pdf)
    Scalable agent distribution mechanisms for large-scale UAV simulationsmore
    by G. Agha
    Publication Name: International Conference on Integration of Knowledge Intensive Multi-Agent Systems, 2005.
    Research Interests:
    Download (.pdf)
    A reflective model of inheritancemore
    by G. Agha
    ABSTRACT
    Publication Name: Lecture Notes in Computer Science
    Software Technology Track Introductionmore
    by G. Agha
    Publisher: IEEE
    Publication Date: 2007
    Publication Name: 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07)
    Research Interests:
    Download (.pdf)
    The Relation Between Problems in Large-Scale Concurrent Systems and Distributed Databasesmore
    by G. Agha
    ABSTRACT
    Publication Date: 1988
    Research Interests:
    Specification of real-time interaction constraintsmore
    by G. Agha
    Publication Name: Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)
    Research Interests:
    Download (.pdf)
    An adaptive Programming framework for Cloud applicationsmore
    by G. Agha
    Case Studies in Security and Resource Management for Mobile Objectsmore
    by G. Agha
    Publication Date: 1998
    Publication Name: Lecture Notes in Computer Science
    Research Interests:
    Download (.pdf)
    A Hierarchical Model for Coordination of Concurrent Activitiesmore
    by G. Agha
    Publisher: Springer Berlin Heidelberg
    Publication Date: 1999
    Publication Name: Coordinatio Languages and Models
    Research Interests:
    Download (.pdf)

    And 135 more

    -
    by 30-day views
    -
    total views
    -
    followers
    Related Authors
    Jennifer Gidley
    David Seamon
    Lucien F Steil
    Roshan Chitrakar
    Lev Manovich
    Shabib H . Syed
    Lorenza Tromboni
    Elchin Suleymanov
    Avni Önder Hanedar
    Maidie Hilmo