关注
Gul Agha
Gul Agha
Professor of Computer Science, University of Illinois at Urbana-Champaign and CEO Embedor
在 illinois.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Actors: A model of concurrent computation in distributed systems.
GA Agha
MIT Press, Cambridge, 1985
48121985
CUTE: A concolic unit testing engine for C
K Sen, D Marinov, G Agha
ACM SIGSOFT Software Engineering Notes 30 (5), 263-272, 2005
26312005
A foundation for actor computation
GA Agha, IA Mason, SF Smith, CL Talcott
Journal of functional programming 7 (1), 1-72, 1997
7041997
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
6152006
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
5792010
Concurrent object-oriented programming
G Agha
Communications of the ACM 33 (9), 125-141, 1990
5651990
Concurrent programming using actors: Exploiting large-scale parallelism
G Agha, C Hewitt
Readings in Distributed Artificial Intelligence, 398-407, 1988
4031988
Statistical model checking of black-box probabilistic systems
K Sen, M Viswanathan, G Agha
Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004
3722004
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
3491999
On statistical model checking of stochastic systems
K Sen, M Viswanathan, G Agha
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
3202005
A survey of statistical model checking
G Agha, K Palmskog
ACM Transactions on Modeling and Computer Simulation (TOMACS) 28 (1), 1-39, 2018
3082018
Programming dynamically reconfigurable open systems with SALSA
C Varela, G Agha
ACM SIGPLAN Notices 36 (12), 20-34, 2001
3052001
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
3012010
SENS: A sensor, environment and network simulator
S Sundresh, W Kim, G Agha
37th Annual Simulation Symposium, 2004. Proceedings., 221-228, 2004
2752004
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
2362009
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
2342003
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
2242004
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
2202005
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
2192006
系统目前无法执行此操作,请稍后再试。
文章 1–20