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.

  • 10 Similar Profiles
Model checking Engineering & Materials Science
Semantics Engineering & Materials Science
Sensor networks Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Communication Engineering & Materials Science
Specifications Engineering & Materials Science
Smart sensors 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 2019

Types for progress in actor programs

Charalambides, M., Palmskog, K. & Agha, G. A., Jan 1 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, p. 315-339 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11665 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapter

Message passing
Liveness
Requirements
Message Passing
Type Systems

A survey of statistical model checking

Agha, G. A. & Palmskog, K., Jan 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

Concurrent garbage collection in the actor model

Plyukhin, D. & Agha, G. A., Nov 5 2018, AGERE 2018 - Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, co-located with SPLASH 2018. Bergenti, F., De Koster, J. & Franco, J. (eds.). Association for Computing Machinery, Inc, p. 44-53 10 p.

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

Computer programming languages
Data storage equipment

DROPLET: Distributed Operator Placement for IoT Applications Spanning Edge and Cloud Resources

Elgamal, T., Sandur, A., Nguyen, P., Nahrstedt, K. & Agha, G. A., Sep 7 2018, Proceedings - 2018 IEEE International Conference on Cloud Computing, CLOUD 2018 - Part of the 2018 IEEE World Congress on Services. IEEE Computer Society, p. 1-8 8 p. 8457776. (IEEE International Conference on Cloud Computing, CLOUD; vol. 2018-July).

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

Internet of things
Dynamic programming
Learning systems
Image processing
Processing

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