No photo of Gul A Agha

View Scopus Profile

Gul A Agha

1985 …2018
If you made any changes in Pure these will be visible here soon.

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.

  • 10 Similar Profiles
Model checking Engineering & Materials Science
Semantics Engineering & Materials Science
Sensor networks Engineering & Materials Science
Smart sensors Engineering & Materials Science
Structural health monitoring Engineering & Materials Science
Communication Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Object oriented programming Engineering & Materials Science

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

Research Output 1985 2018

A survey of statistical model checking

Agha, G. & Palmskog, K. Jan 1 2018 In : ACM Transactions on Modeling and Computer Simulation. 28, 1, 6

Research output: Contribution to journal › Review article

Model checking
Model Checking
Statistical Model
Stochastic systems
Stochastic Systems

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

Khamespanah, E., Sirjani, M., Mechitov, K. & Agha, G. Nov 20 2017 (Accepted/In press) In : International Journal on Software Tools for Technology Transfer. 20, 5, p. 547-561 15 p.

Research output: Contribution to journal › Article

Model checking
Actuators
Sensors
Data acquisition
Scheduling

Next Generation Wireless Smart Sensors Toward Sustainable Civil Infrastructure

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

Research output: Contribution to journal › Article

Smart sensors
Structural health monitoring
Zigbee
Monitoring
Damage detection

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

Agha, G., Jan 1 2016, Software Engineering and Formal Methods - 14th International Conference, SEFM 2016 Held as Part of STAF 2016, Proceedings. Kuhn, E. & De Nicola, R. (eds.). Springer-Verlag, 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

Concurrent Systems
Internet of Things
Open Problems
Reasoning
Semantics

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

Agha, G., Jan 1 2016, Runtime Verification - 16th International Conference, RV 2016, Proceedings. Falcone, Y. & Sánchez, C. (eds.). Springer-Verlag, 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

Probabilistic Inference
Self-adaptation
Concurrent Systems
Runtime Verification
Monitoring