Search filters

List of works by Gul Agha

Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems

Actors Programming for the Mobile Cloud

Computational Models, Programming Languages and Algorithms for Sensor Networks: Towards a Paradigm Shift in Computer Science

scholarly article

Design and Implementation of a Mobile Actor Platform for Wireless Sensor Networks

Performance evaluation of sensor networks by statistical modeling and euclidean model checking

article

Recent advances in wireless smart sensors for multi-scale monitoring and control of civil infrastructure

Reliable multi-hop communication for structural health monitoring

article

Resilient localization for sensor networks in outdoor environments

article published in 2010

Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking

Solving complex path conditions through heuristic search on induced polytopes

Space division and dimensional reduction methods for indoor positioning system

Special issue on programming based on actors, agents and decentralized control

Targeted test input generation using symbolic-concrete backward execution

The microelectronic wireless nitrate sensor network for environmental water monitoring

scientific article published on 08 November 2012

Towards a Flexible Fine-Grained Access Control System for Modern Cloud Applications

Paulina is supported by:

About Paulina

Help