If you made any changes in Pure, your changes will be visible here soon.

Research Output 1985 2019

Filter
Article
2018

Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking

Khamespanah, E., Sirjani, M., Mechitov, K. & Agha, G. A., Oct 1 2018, In : International Journal on Software Tools for Technology Transfer. 20, 5, p. 547-561 15 p.

Research output: Contribution to journalArticle

Model checking
Actuators
Sensors
Data acquisition
Scheduling
2016

Parameterized, concurrent session types for asynchronous multi-actor interactions

Charalambides, M., Dinges, P. & Agha, G., Jan 1 2016, In : Science of Computer Programming. 115-116, p. 100-126 27 p.

Research output: Contribution to journalArticle

Network protocols
Parameterization
Computer programming languages

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

Spencer, B. F., Jo, H., Mechitov, K. A., Li, J., Sim, S. H., Kim, R. E., Cho, S., Linderman, L. E., Moinzadeh, P., Giles, R. K. & Agha, G., Feb 1 2016, In : Journal of Civil Structural Health Monitoring. 6, 1, p. 17-41 25 p.

Research output: Contribution to journalArticle

Smart sensors
Monitoring
Structural health monitoring
Arsenals
Hardware

Victim Localization and Assessment System for Emergency Responders

Yoon, H., Shiftehfar, R., Cho, S., Spencer, B. F., Nelson, M. E. & Agha, G., Mar 1 2016, In : Journal of Computing in Civil Engineering. 30, 2, 04015011.

Research output: Contribution to journalArticle

Disasters
Wi-Fi
Smartphones
Earthquakes
Fires
2015

A novel technique for human traffic based radio map updating in Wi-Fi indoor positioning systems

Mo, Y., Zhang, Z., Lu, Y. & Agha, G. A., May 1 2015, In : KSII Transactions on Internet and Information Systems. 9, 5, p. 1881-1903 23 p.

Research output: Contribution to journalArticle

Wi-Fi
Telecommunication traffic
Rough set theory
Ray tracing
Statistics

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

Ricci, A., Agha, G., Bordini, R. H. & Marron, A., Feb 1 2015, In : Science of Computer Programming. 98, P2, p. 117-119 3 p.

Research output: Contribution to journalArticle

Decentralized control
Computer systems programming
2014
Sensor networks
Sensor Networks
Wireless Sensor Networks
Wireless sensor networks
Programming

Random Forest Based Coarse Locating and KPCA Feature Extraction for Indoor Positioning System

Mo, Y., Zhang, Z., Lu, Y., Meng, W. & Agha, G., 2014, In : Mathematical Problems in Engineering. 2014, 850926.

Research output: Contribution to journalArticle

Random Forest
Clustering algorithms
Principal component analysis
Feature Extraction
Positioning
2013
Model checking
Sensor networks
Wireless sensor networks
Trajectories
Network protocols
2012

The microelectronic wireless nitrate sensor network for environmental water monitoring

Gartia, M. R., Braunschweig, B., Chang, T. W., Moinzadeh, P., Minsker, B. S., Agha, G., Wieckowski, A., Keefer, L. L. & Liu, G. L., Dec 1 2012, In : Journal of Environmental Monitoring. 14, 12, p. 3068-3075 8 p.

Research output: Contribution to journalArticle

Environmental Monitoring
Microelectronics
Nitrates
Sensor networks
nitrate
2011

Enabling framework for structural health monitoring using smart sensors

Rice, J. A., Mechitov, K. A., Sim, S. H., Spencer, B. F. & Agha, G. A., Aug 1 2011, In : Structural Control and Health Monitoring. 18, 5, p. 574-587 14 p.

Research output: Contribution to journalArticle

Smart sensors
Structural health monitoring
Engineers
Service oriented architecture (SOA)
Repair

Energy-performance trade-off analysis of parallel algorithms for shared memory architectures

Korthikanti, V. A. & Agha, G. A., Sep 1 2011, In : Sustainable Computing: Informatics and Systems. 1, 3, p. 167-176 10 p.

Research output: Contribution to journalArticle

Memory architecture
Parallel algorithms
Energy utilization
Data storage equipment
Computer systems

Inferring ownership transfer for efficient message passing

Negara, S., Karmani, R. K. & Agha, G. A., Aug 2011, In : ACM SIGPLAN Notices. 46, 8, p. 81-90 10 p.

Research output: Contribution to journalArticle

Message passing
Semantics
Static analysis
Copying
Data storage equipment

Verifying the evolution of probability distributions governed by a DTMC

Kwon, Y. & Agha, G. A., Jan 1 2011, In : IEEE Transactions on Software Engineering. 37, 1, p. 126-141 16 p., 5557891.

Research output: Contribution to journalArticle

Model checking
Probability distributions
Software reliability
Temporal logic
Markov processes
2010

Flexible smart sensor framework for autonomous structural health monitoring

Rice, J. A., Mechitov, K., Sim, S. H., Nagayama, T., Jang, S., Kim, R., Spencer, B. F., Agha, G. & Fujino, Y., Jul 1 2010, In : Smart Structures and Systems. 6, 5-6, p. 423-438 16 p.

Research output: Contribution to journalArticle

Smart sensors
Structural health monitoring
Modal analysis
Hardware
Cable stayed bridges

Integrating encrypted mobile agents with smart spaces in a multi-agent simulator for resource management

Moussa, S. M. & Agha, G. A., Jul 2 2010, In : Journal of Software. 5, 6, p. 630-636 7 p.

Research output: Contribution to journalArticle

Mobile agents
Simulators
Data privacy
Ubiquitous computing
Sensor networks

Reliable multi-hop communication for structural health monitoring

Nagayama, T., Moinzadeh, P., Mechitov, K., Ushita, M., Makihata, N., Leiri, M., Agha, G. A., Spencer, B. F., Fujino, Y. & Seo, J. W., Jul 1 2010, In : Smart Structures and Systems. 6, 5-6, p. 481-504 24 p.

Research output: Contribution to journalArticle

Structural health monitoring
Communication
Network protocols
Smart sensors
Sensor networks

Resilient localization for sensor networks in outdoor environments

Kwon, Y., Mechitov, K., Sundresh, S., Kim, W. & Agha, G. A., Aug 1 2010, In : ACM Transactions on Sensor Networks. 7, 1, 3.

Research output: Contribution to journalArticle

Sensor networks
Wireless sensor networks
Acoustics
Distance measurement
Measurement errors

Structural health monitoring of a cable-stayed bridge using smart sensor technology: Deployment and evaluation

Jang, S., Jo, H., Cho, S., Mechitov, K., Rice, J. A., Sim, S. H., Jung, H. J., Yun, C. B., Spencer, B. F. & Agha, G. A., Jul 1 2010, In : Smart Structures and Systems. 6, 5-6, p. 439-459 21 p.

Research output: Contribution to journalArticle

Smart sensors
Cable stayed bridges
Structural health monitoring
Sensor networks
Base stations
2009

Middleware services for structural health monitoring using smart sensors

Nagayama, T., Spencer, B. F., Mechitov, K. A. & Agha, G. A., Mar 2009, In : Smart Structures and Systems. 5, 2, p. 119-137 19 p.

Research output: Contribution to journalArticle

Smart sensors
Structural health monitoring
Middleware
Packet loss
Communication
2008

Computing in pervasive cyberspace

Agha, G. A., Jan 1 2008, In : Communications of the ACM. 51, 1, p. 68-70 3 p.

Research output: Contribution to journalArticle

Temporal Constraints
Hardware
Software
Computing
2006

Agent framework services to reduce agent communication overhead in large-scale agent-based simulations

Jang, M. W. & Agha, G., Aug 1 2006, In : Simulation Modelling Practice and Theory. 14, 6, p. 679-694 16 p.

Research output: Contribution to journalArticle

Agent-based Simulation
Communication
Simulation
Message Passing
Message passing

Online efficient predictive safety analysis of multithreaded programs

Sen, K., Roşu, G. & Agha, G., Jun 1 2006, In : International Journal on Software Tools for Technology Transfer. 8, 3, p. 248-260 13 p.

Research output: Contribution to journalArticle

Specifications
Testing
Scalability
Clocks
Formal specification

PMaude: Rewrite-based Specification Language for Probabilistic Object Systems

Agha, G., Meseguer, J. & Sen, K., May 23 2006, In : Electronic Notes in Theoretical Computer Science. 153, 2 SPEC. ISS., p. 213-239 27 p.

Research output: Contribution to journalArticle

Specification languages
Specification Languages
Discrete event simulation
Technical writing
Discrete Event Simulation
2004
Formal languages
Finite automata
Learning algorithms
Automata
Learning systems

A formal model for reasoning about adaptive qos-enabled middleware

Venkatasubramanian, N., Talcott, C. & Agha, G. A., Jan 1 2004, In : ACM Transactions on Software Engineering and Methodology. 13, 1, p. 86-147 62 p.

Research output: Contribution to journalArticle

Middleware
Quality of service
Multimedia services
Multimedia systems
Semantics
Cellular automata
Configuration Space
Cellular Automata
Configuration
Update
Safety
Verify
Formal languages
Finite automata
Learning algorithms
Markov processes
Linear Inequalities
Markov chain
Discrete-time
Network protocols
Safety Analysis
Trace
Model checking
Observer
Safety
Model checking
Black Box
Model Checking
Statistical Model
Stochastic systems
Diagram
Reasoning
Equivalence
Specification
Specifications
2003
Rewriting
Nondeterminism
Statistical methods
Servers
Semantics
Coinduction
Linear Temporal Logic
Temporal logic
Monitor
Requirements Specification
Petri nets
Petri Nets
Semantics
Object
Language

Using passive object garbage collection algorithms for garbage collection of active objects

Vardhan, A. & Agha, G. A., Feb 1 2003, In : ACM SIGPLAN Notices. 38, 2 SUPPL., p. 213-220 8 p.

Research output: Contribution to journalArticle

Object oriented programming
Costs
2002

Adaptive Middleware

Agha, G. A., Jun 2002, In : Communications of the ACM. 45, 6, p. 30-32 3 p.

Research output: Contribution to journalArticle

Customization
Middleware
Embedded systems
Embedded Systems
Policy
Locality
Calculus
Testing
Noninterference
Program Transformation

Case studies in security and resource management for mobile object systems

Milojicic, D., Agha, G., Bernadat, P., Chauhan, D., Guday, S., Jamali, N., Lambright, D. & Travostino, F., Dec 1 2002, In : Autonomous Agents and Multi-Agent Systems. 5, 1, p. 45-79 35 p.

Research output: Contribution to journalArticle

Middleware
Active networks
Mach number
Quality of service
Network protocols
2001

Customizable middleware for modular distributed software

Astley, M., Sturman, D. C. & Agha, G. A., May 1 2001, In : Communications of the ACM. 44, 5, p. 99-107 9 p.

Research output: Contribution to journalArticle

Middleware

Programming dynamically reconfigurable open systems with SALSA

Varela, C. & Agha, G. A., Dec 2001, In : SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 36, 12, p. 20-32 13 p.

Research output: Contribution to journalArticle

Open systems
Computer programming
Internet
Communication
1999

Actors: A unifying model for parallel and distributed computing

Agha, G. A. & Kim, W., Sep 1999, In : Journal of Systems Architecture. 45, 15, p. 1263-1277 15 p.

Research output: Contribution to journalArticle

Distributed computer systems
Parallel processing systems
Middleware
Availability
Internet

An Actor-Based Architecture for Customizing and Controlling Agent Ensembles

Jamali, N., Thati, P. & Agha, G. A., Dec 1 1999, In : IEEE Intelligent Systems and Their Applications. 14, 2, p. 45-52 8 p.

Research output: Contribution to journalArticle

Towards reusable real-time objects

Nielsen, B. & Agha, G., Dec 1 1999, In : Annals of Software Engineering. 7, 1-4, p. 257-282 26 p.

Research output: Contribution to journalArticle

Synchronization
Real time systems
Middleware
Scheduling
Specifications
1997

A foundation for actor computation

Agha, G. A., Mason, I. A., Smith, S. F. & Talcott, C. L., Jan 1997, In : Journal of Functional Programming. 7, 1, p. 1-72 72 p.

Research output: Contribution to journalArticle

Semantics
Specifications
Testing
Formal methods
Software engineering
Computer systems
Testing
1996

A modular approach to programming distributed real-time systems

Ren, S., Agha, G. A. & Saito, M., Jul 10 1996, In : Journal of Parallel and Distributed Computing. 36, 1, p. 4-12 9 p.

Research output: Contribution to journalArticle

Real time systems
Computer programming
Computer programming languages
Distributed Systems
Synchronization

A visualization model for concurrent systems

Astley, M. & Agha, G. A., Aug 1996, In : Information Sciences. 93, 1-2, p. 107-131 25 p.

Research output: Contribution to journalArticle

Concurrent Systems
Visualization
Concurrent
Interaction
Reasoning

Linguistic paradigms for programming complex distributed systems

Agha, G. A., Jun 1996, In : ACM Computing Surveys. 28, 2

Research output: Contribution to journalArticle

Linguistics
Distributed Systems
Complex Systems
Programming
Paradigm