Performance Evaluation of Sensor Networks by Statistical Modeling and Euclidean Model CheckingKWON, Youngmin; AGHA, Gul.ACM transactions on sensor networks. 2013, Vol 9, Num 4, issn 1550-4859, 39.1-39.38Article

Using passive object garbage collection algorithms for garbage collection of active objectsVARDHAN, Abhay; AGHA, Gul.ACM SIGPLAN notices. 2003, Vol 38, Num 2, pp 213-220, issn 1523-2867, 8 p., SUPConference Paper

Supporting Reconfigurable Object Distribution for Customizable Web ApplicationsCHANG, Po-Hao; AGHA, Gul.Lecture notes in computer science. 2006, pp 32-33, issn 0302-9743, isbn 3-540-48269-5, 2 p.Conference Paper

Programming dynamically reconfigurable open systems with SALSA : Intriguing Technology from OOPSLA by John Vlissides and Doug LeaVARELA, Carlos; AGHA, Gul.ACM SIGPLAN notices. 2001, Vol 36, Num 12, pp 20-34, issn 1523-2867Article

Online efficient predictive safety analysis of multithreaded programsSEN, Koushik; ROSU, Grigore; AGHA, Gul et al.International journal on software tools for technology transfer (Print). 2006, Vol 8, Num 3, pp 248-260, issn 1433-2779, 13 p.Article

On computational complexity of counting fixed points in symmetric boolean graph automataTOSIC, Predrag T; AGHA, Gul A.Lecture notes in computer science. 2005, pp 191-205, issn 0302-9743, isbn 3-540-29100-8, 1Vol, 15 p.Conference Paper

SynchNet: A Petri net based coordination language for distributed objectsZIAEI, Reza; AGHA, Gul.Lecture notes in computer science. 2003, pp 324-343, issn 0302-9743, isbn 3-540-20102-5, 20 p.Conference Paper

Automated systematic testing of open distributed programsSEN, Koushik; AGHA, Gul.Lecture notes in computer science. 2006, pp 339-356, issn 0302-9743, isbn 3-540-33093-3, 1Vol, 18 p.Conference Paper

CUTE : A concolic unit testing engine for CSEN, Koushik; MARINOV, Darko; AGHA, Gul et al.European software engineering conferenceSymposium on the foundations of software engineering. 2005, pp 263-272, isbn 1-59593-014-0, 1Vol, 10 p.Conference Paper

SENS : A sensor, environment and network simulatorSUNDRESH, Sameer; KIM, Wooyoung; AGHA, Gul et al.IEEE annual simulation symposium. 2004, pp 221-228, isbn 0-7695-2110-X, 1Vol, 8 p.Conference Paper

Concurrent object-oriented programming and Petri nets (advances in Petri nets)Agha, Gul A; De Cindio, Fiorella; Rozenberg, Grzegorz et al.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-41942-X, VIII, 537 p, isbn 3-540-41942-XBook

Model-checking markov chains in the presence of uncertaintiesSEN, Koushik; VISWANATHAN, Mahesh; AGHA, Gul et al.Lecture notes in computer science. 2006, pp 394-410, issn 0302-9743, isbn 3-540-33056-9, 1Vol, 17 p.Conference Paper

Actor model and knowledge management systems : Social interaction as a framework for knowledge integrationBECERRA-FERNANDEZ, Irma; TEWEI WANG; AGHA, Gul et al.Lecture notes in computer science. 2005, pp 19-31, issn 0302-9743, isbn 3-540-30465-7, 1Vol, 13 p.Conference Paper

Towards a hierarchical taxonomy of autonomous agentsTOSIC, Predrag T; AGHA, Gul A.International Conference on Systems, Man and Cybernetics. 2004, isbn 0-7803-8566-7, vol4, 3421-3426Conference Paper

A theory of may testing for asynchronous calculi with locality and no name matchingTHATI, Prasannaa; ZIAEI, Reza; AGHA, Gul et al.Lecture notes in computer science. 2002, pp 223-238, issn 0302-9743, isbn 3-540-44144-1, 16 p.Conference Paper

Linear inequality LTL (iLTL): A model checker for Discrete Time Markov ChainsKWON, Youngmin; AGHA, Gul.Lecture notes in computer science. 2004, pp 194-208, issn 0302-9743, isbn 3-540-23841-7, 15 p.Conference Paper

Generating optimal Linear Temporal Logic monitors by coinductionSEN, Koushik; ROSU, Grigore; AGHA, Gul et al.Lecture notes in computer science. 2003, pp 260-275, issn 0302-9743, isbn 3-540-20632-9, 16 p.Conference Paper

CUTE and jCUTE : Concolic unit testing and explicit path model-checking toolsSEN, Koushik; AGHA, Gul.Lecture notes in computer science. 2006, pp 419-423, issn 0302-9743, isbn 3-540-37406-X, 1Vol, 5 p.Conference Paper

Detecting errors in multithreaded programs by generalized predictive analysis of executionsSEN, Koushik; ROSU, Grigore; AGHA, Gul et al.Lecture notes in computer science. 2005, pp 211-226, issn 0302-9743, isbn 3-540-26181-8, 16 p.Conference Paper

Online efficient predictive safety analysis of multithreaded programsSEN, Koushik; ROSU, Grigore; AGHA, Gul et al.Lecture notes in computer science. 2004, pp 123-138, issn 0302-9743, isbn 3-540-21299-X, 16 p.Conference Paper

Crawlets : Agents for high performance web search enginesTHATI, Prasannaa; CHANG, Po-Hao; AGHA, Gul et al.Lecture notes in computer science. 2001, pp 119-134, issn 0302-9743, isbn 3-540-42952-2Conference Paper

Adaptive agent allocation for massively multi-agent applicationsJANG, Myeong-Wuk; AGHA, Gul.Lecture notes in computer science. 2005, pp 25-39, issn 0302-9743, isbn 3-540-26974-6, 15 p.Conference Paper

Object oriented modelling with object petri netsLAKOS, Charles.Concurrent object-oriented programming and Petri nets (advances in Petri nets). Lecture notes in computer science. 2001, pp 1-37, issn 0302-9743, isbn 3-540-41942-XBook Chapter

Concurrency in communicating object petri netsVALK, Rüdiger.Concurrent object-oriented programming and Petri nets (advances in Petri nets). Lecture notes in computer science. 2001, pp 164-195, issn 0302-9743, isbn 3-540-41942-XBook Chapter

Control properties in object-oriented specificationsDIAGNE, A.Concurrent object-oriented programming and Petri nets (advances in Petri nets). Lecture notes in computer science. 2001, pp 514-533, issn 0302-9743, isbn 3-540-41942-XBook Chapter