Research output per year
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.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Formal Verification of Safety-Critical Aerospace Systems
Paul, S., Cruz, E., Dutta, A., Bhaumik, A., Blasch, E., Agha, G., Patterson, S., Kopsaftopoulos, F. & Varela, C., 2023, (Accepted/In press) In: IEEE Aerospace and Electronic Systems Magazine. p. 1-14 14 p.Research output: Contribution to journal › Article › peer-review
-
A SCALABLE ALGORITHM FOR DECENTRALIZED ACTOR TERMINATION DETECTION
Plyukhin, D. & Agha, G., 2022, In: Logical Methods in Computer Science. 18, 1, p. 39:1-39:35Research output: Contribution to journal › Article › peer-review
Open Access -
Eventual consensus in Synod: verification using a failure-aware actor model
Paul, S., Agha, G., Patterson, S. & Varela, C., 2022, (Accepted/In press) In: Innovations in Systems and Software Engineering.Research output: Contribution to journal › Article › peer-review
-
Jarvis: Large-scale Server Monitoring with Adaptive Near-data Processing
Sandur, A., Park, C. H., Volos, S., Agha, G. & Jeon, M., 2022, Proceedings - 2022 IEEE 38th International Conference on Data Engineering, ICDE 2022. IEEE Computer Society, p. 1408-1422 15 p. (Proceedings - International Conference on Data Engineering; vol. 2022-May).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Streaming Analytics with Adaptive Near-data Processing
Sandur, A., Park, C. H., Volos, S., Agha, G. & Jeon, M., Apr 25 2022, WWW 2022 - Companion Proceedings of the Web Conference 2022. Association for Computing Machinery, Inc, p. 563-566 4 p. (WWW 2022 - Companion Proceedings of the Web Conference 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access