Gul Agha
TitleCited byYear
Actors: a Model of Concurrent Computation in Distributed Systems, Series in Artificial Intelligence
G Agha
MIT Press 11 (12), 12, 1986
3895*1986
CUTE: a concolic unit testing engine for C
K Sen, D Marinov, G Agha
ACM SIGSOFT Software Engineering Notes 30 (5), 263-272, 2005
19532005
A foundation for actor computation
GA Agha, IA Mason, SF Smith, CL Talcott
Journal of Functional Programming 7 (1), 1-72, 1997
6331997
Concurrent object-oriented programming
G Agha
Communications of the ACM 33 (9), 125-141, 1990
4871990
CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools
K Sen, G Agha
International Conference on Computer Aided Verification, 419-423, 2006
4782006
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
3952010
Concurrent programming using actors: Exploiting large-scale parallelism
G Agha, C Hewitt
International Conference on Foundations of Software Technology and …, 1985
343*1985
Programming dynamically reconfigurable open systems with SALSA
C Varela, G Agha
ACM SIGPLAN Notices 36 (12), 20-34, 2001
2822001
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
2811999
Statistical model checking of black-box probabilistic systems
K Sen, M Viswanathan, G Agha
International Conference on Computer Aided Verification, 202-215, 2004
2612004
On statistical model checking of stochastic systems
K Sen, M Viswanathan, G Agha
International Conference on Computer Aided Verification, 266-280, 2005
2422005
SENS: A sensor, environment and network simulator
S Sundresh, W Kim, G Agha
Proceedings of the 37th annual symposium on Simulation, 221, 2004
2342004
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
2302010
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
2152003
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
2042009
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
1882005
Research directions in concurrent object-oriented programming
G Agha, P Wegner, A Yonezawa
Mit Press, 1993
1861993
An overview of actor languages
GA Agha
ACM Sigplan Notices 21 (10), 58-67, 1986
1711986
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
1672006
Efficient decentralized monitoring of safety in distributed systems
K Sen, A Vardhan, G Agha, G Rosu
Proceedings of the 26th International Conference on Software Engineering …, 2004
1672004
The system can't perform the operation now. Try again later.
Articles 1–20