No photo of Gul A Agha

View Scopus Profile

Gul A Agha

1985 …2017

Fingerprint Fingerprint is based on mining the text of the expert's scholarly documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 5 Similar Profiles
Communication Engineering & Materials Science
Semantics Engineering & Materials Science
Testing Engineering & Materials Science
Sensor networks Engineering & Materials Science
Specifications Engineering & Materials Science
Model checking Engineering & Materials Science
Smart sensors Engineering & Materials Science
Model Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1985 2017

Next Generation Wireless Smart Sensors Toward Sustainable Civil Infrastructure

Spencer, B. F., Park, J. W., Mechitov, K. A., Jo, H. & Agha, G. 2017 In : Procedia Engineering. 171, p. 5-13 9 p.

Research output: Contribution to journal › Article

Structural health monitoring
Smart sensors
Monitoring
Zigbee
Damage detection

Abstractions, semantic models and analysis tools for concurrent systems: Progress and open problems

Agha, G. 2016 Software Engineering and Formal Methods - 14th International Conference, SEFM 2016 Held as Part of STAF 2016, Proceedings. Springer Verlag, Vol. 9763, p. 3-8 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9763)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Reasoning
Internet of things
Concurrency
Scale-up
Concurrent systems

Building dependable concurrent systems through probabilistic inference, predictive monitoring and self-adaptation

Agha, G. 2016 Runtime Verification - 16th International Conference, RV 2016, Proceedings. Springer Verlag, Vol. 10012 LNCS, p. XIII-XIV (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10012 LNCS)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Concurrent systems
Specifications
Runtime verification
Self-adaptation
Specification

Introduction to the software technology track

Kazman, R. & Agha, G. Mar 7 2016 In : Proceedings of the Annual Hawaii International Conference on System Sciences. 2016-March, p. 5358 1 p., 7427849

Research output: Contribution to journal › Editorial

Message from the CCGrid 2016 Program Chairs

Agha, G. & Navaux, P. O. A. Jul 18 2016 In : Proceedings - 2016 16th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing, CCGrid 2016. p. xvi 7515659

Research output: Contribution to journal › Editorial