Research Output per year
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
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 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 journal › Review 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 proceeding › Conference 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 proceeding › Conference 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 journal › Article
Model checking
Actuators
Sensors
Data acquisition
Scheduling
Optimizing cost of serverless computing through function fusion and placement
Elgamal, T., Sandur, A., Nahrstedt, K. & Agha, G. A., Dec 6 2018, Proceedings - 2018 3rd ACM/IEEE Symposium on Edge Computing, SEC 2018. Institute of Electrical and Electronics Engineers Inc., p. 300-312 13 p. 08567675. (Proceedings - 2018 3rd ACM/IEEE Symposium on Edge Computing, SEC 2018).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Fusion reactions
Costs
Data storage equipment
Image processing