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.

  • 7 Similar Profiles
Actors Mathematics
Communication Engineering & Materials Science
Semantics Engineering & Materials Science
Model Mathematics
Model checking Engineering & Materials Science
Sensor networks Engineering & Materials Science
Specifications Engineering & Materials Science
Computer programming languages Engineering & Materials Science

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

Research Output 1985 2017

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. p. 1-15 15 p.

Research output: Research - peer-reviewArticle

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: 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. Jan 1 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