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
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems
Kwon, Y. M., Kim, E. & Agha, G., 2023, Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Proceedings. Jansen, N. & Tribastone, M. (eds.). Springer, p. 65-81 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14287 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Eventual consensus in Synod: verification using a failure-aware actor model
Paul, S., Agha, G., Patterson, S. & Varela, C., Dec 2023, In: Innovations in Systems and Software Engineering. 19, 4, p. 395-410 16 p.Research output: Contribution to journal › Article › peer-review
-
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., May 1 2023, In: IEEE Aerospace and Electronic Systems Magazine. 38, 5, p. 72-88 17 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 -
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