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.

  • 9 Similar Profiles
Communication Engineering & Materials Science
Semantics Engineering & Materials Science
Actors Mathematics
Sensor networks Engineering & Materials Science
Model checking Engineering & Materials Science
Specifications Engineering & Materials Science
Model Mathematics
Monitoring Engineering & Materials Science

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: Research - peer-reviewArticle

Monitoring
Zigbee
Damage detection
Digital to analog conversion
Service oriented architecture (SOA)

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: ResearchConference contribution

Concurrent Systems
Open Problems
Reasoning
Model
Abstraction

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: ResearchConference contribution

Probabilistic Inference
Self-adaptation
Concurrent Systems
Monitoring
Specifications

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: Research - peer-reviewEditorial