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
Sensor networks Engineering & Materials Science
Semantics Engineering & Materials Science
Smart sensors Engineering & Materials Science
Structural health monitoring Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Specifications Engineering & Materials Science
Communication 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 journalReview 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. p. 1-15 15 p.

Research output: Contribution to journalArticle

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 journalArticle

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. 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 proceedingConference 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. 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 proceedingConference contribution

Probabilistic Inference
Self-adaptation
Concurrent Systems
Runtime Verification
Monitoring