Gul Agha

Gul Agha

University of Illinois Urbana Champaign - Champaign / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1615628
person_outline Gul Agha's MOST POPULAR ARTICLES
1-) Actors: A model of concurrent computation in distributed systems. MIT Press, Cambridge, 1985
2-) CUTE: A concolic unit testing engine for C ACM SIGSOFT software engineering notes 30 (5), 263-272, 2005
3-) A foundation for actor computation Journal of functional programming 7 (1), 1-72, 1997
4-) CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools: (Tool Paper) Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
5-) Structural health monitoring of a cable-stayed bridge using smart sensor technology: deployment and evaluation Smart Structures and systems 6 (5_6), 439-459, 2010