If you made any changes in Pure, your changes 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.

  • 8 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. A. & 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. A., Oct 1 2018, In : International Journal on Software Tools for Technology Transfer. 20, 5, p. 547-561 15 p.

Research output: Contribution to journalArticle

Model checking
Actuators
Sensors
Data acquisition
Scheduling

Targeted test generation for actor systems

Li, S., Hariri, F. & Agha, G. A., Jul 1 2018, 32nd European Conference on Object-Oriented Programming, ECOOP 2018. Millstein, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 109.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Flow graphs
Static analysis
Feedback

Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces

Agha, G. A. & Palmskog, K., Jan 1 2018, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, p. 16-37 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10760 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapter

Concurrency
Thread
Trace
Data storage equipment
Message passing

Next Generation Wireless Smart Sensors Toward Sustainable Civil Infrastructure

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

Research output: Contribution to journalConference article

Smart sensors
Structural health monitoring
Zigbee
Monitoring
Damage detection