Actors: A model of concurrent computation in distributed systems. GA Agha MIT Press, Cambridge, 1985 | 4812 | 1985 |
CUTE: A concolic unit testing engine for C K Sen, D Marinov, G Agha ACM SIGSOFT Software Engineering Notes 30 (5), 263-272, 2005 | 2631 | 2005 |
A foundation for actor computation GA Agha, IA Mason, SF Smith, CL Talcott Journal of functional programming 7 (1), 1-72, 1997 | 704 | 1997 |
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools: (Tool Paper) K Sen, G Agha Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006 | 615 | 2006 |
Structural health monitoring of a cable-stayed bridge using smart sensor technology: deployment and evaluation S Jang, H Jo, S Cho, K Mechitov, JA Rice, SH Sim, HJ Jung, CB Yun, ... Smart Structures and systems 6 (5-6), 439-459, 2010 | 579 | 2010 |
Concurrent object-oriented programming G Agha Communications of the ACM 33 (9), 125-141, 1990 | 565 | 1990 |
Concurrent programming using actors: Exploiting large-scale parallelism G Agha, C Hewitt Readings in Distributed Artificial Intelligence, 398-407, 1988 | 403 | 1988 |
Statistical model checking of black-box probabilistic systems K Sen, M Viswanathan, G Agha Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004 | 372 | 2004 |
Apparatus and method for synchronizing execution of programs in a distributed real-time computing system M Saito, GA Agha US Patent 5,887,143, 1999 | 349 | 1999 |
On statistical model checking of stochastic systems K Sen, M Viswanathan, G Agha Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005 | 320 | 2005 |
A survey of statistical model checking G Agha, K Palmskog ACM Transactions on Modeling and Computer Simulation (TOMACS) 28 (1), 1-39, 2018 | 308 | 2018 |
Programming dynamically reconfigurable open systems with SALSA C Varela, G Agha ACM SIGPLAN Notices 36 (12), 20-34, 2001 | 305 | 2001 |
Flexible smart sensor framework for autonomous structural health monitoring JA Rice, K Mechitov, SH Sim, T Nagayama, S Jang, R Kim, BF Spencer Jr, ... Smart structures and Systems 6 (5_6), 423-438, 2010 | 301 | 2010 |
SENS: A sensor, environment and network simulator S Sundresh, W Kim, G Agha 37th Annual Simulation Symposium, 2004. Proceedings., 221-228, 2004 | 275 | 2004 |
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface M Abe, K Aoki, G Ateniese, R Avanzi, Z Beerliová, O Billet, A Biryukov, ... Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2006 | 262* | 2006 |
Actor frameworks for the JVM platform: a comparative analysis RK Karmani, A Shali, G Agha Proceedings of the 7th International Conference on Principles and Practice …, 2009 | 236 | 2009 |
Cooperative tracking with binary-detection sensor networks K Mechitov, S Sundresh, Y Kwon, G Agha Proceedings of the 1st international conference on Embedded networked sensor …, 2003 | 234 | 2003 |
Efficient decentralized monitoring of safety in distributed systems K Sen, A Vardhan, G Agha, G Rosu Proceedings. 26th International Conference on Software Engineering, 418-427, 2004 | 224 | 2004 |
Vesta: A statistical model-checker and analyzer for probabilistic systems K Sen, M Viswanathan, G Agha Second International Conference on the Quantitative Evaluation of Systems …, 2005 | 220 | 2005 |
PMaude: Rewrite-based specification language for probabilistic object systems G Agha, J Meseguer, K Sen Electronic Notes in Theoretical Computer Science 153 (2), 213-239, 2006 | 219 | 2006 |