Nirman Kumar, Koushik Sen, José Meseguer, Gul
Agha.
A
Rewriting Based Model for Probabilistic Distributed Object
Systems (PS).
In Proceedings of 6th IFIP International Conference on Formal
Methods for Open Object-based Distributed Systems (FMOODS 2003),
Paris, France, Springer-Verlag LNCS, Vol. 2884, pages 32-46
November 2003.
Koushik Sen, Nirman Kumar, José Meseguer and Gul
Agha.
Probabilistic
Rewrite Theories: Unifying Models, Logics and Tools
(PS).
Technical Report UIUCDCS-R-2003-2347, University of Illinois
at Urbana Champaign, May 2003.
Koushik Sen, Nirman Kumar, José Meseguer and Gul Agha
Probabilistic
Rewrite Theories (PS).
Technical Report UIUCDCS-R-2003-2343, University of Illinois
at Urbana Champaign, May 2003.
Hui Ding, Can Zheng, Gul Agha and Lui Sha.
Automated
verification of the dependability of object-oriented real-time
systems.
In 9th IEEE InternationalWorkshop on
Object-Oriented Real-Time Dependable Systems (WORDS'03), IEEE
Computer Society Press, 2003.
Abhay Vardhan, Koushik Sen, Mahesh Viswanathan and Gul Agha.
Actively Learning to Verify Safety for
FIFO Automata (PS).
In the 24th
Conference on Foundations of Software Technology and Theoretical
Computer Science (FSTTCS2004), Chennai, India, Springer-Verlag
LNCS (To Appear), December 2004.
Abhay Vardhan, Koushik Sen, Mahesh Viswanathan and Gul
Agha.
Learning to Verify Safety
Properties (PS).
In the 6th
International Conference on Formal Engineering Methods (ICFEM
2004), Seattle, Washington, USA, Springer-Verlag LNCS (To Appear),
November 8-12 2004.
Koushik Sen, Mahesh Viswanathan and Gul Agha.
Learning Continuous Time Markov Chains
from Sample Executions (PS).
In the 1st International Conference on Quantitative Evaluation of
Systems (QEST 2004), University of Twente, Enschede, The
Netherlands, pages 146-155, September 2004, IEEE.
Koushik Sen, Mahesh Viswanathan and Gul Agha
Statistical
Model Checking of Black-Box Probabilistic Systems (PS).
In 16th International Conference on Computer Aided
Verification (CAV'04), 2004.
Prasad Naldurg, Koushik Sen and Prasanna Thati.
A
Temporal Logic Based Approach to Intrusion Detection
(PS).
International
Conference on Formal Techniques for Networked and Distributed
Systems (FORTE'04), Madrid, Spain, Springer-Verlag, Vol. 3235,
pages 359-376, September 2004.
Koushik Sen, Abhay Vardhan, Gul Agha and Grigore
Rosu.
On Specifying and Monitoring Epistemic
Properties of Distributed Systems (PS).
In the 2nd
International Workshop on Dynamic Analysis, Satellite workshop of
ICSE (WODA 2004), Edinburgh, UK, British Institution of Electrical
Engineers (IEE), pages 32-35, May 2004.
Koushik Sen, Abhay Vardhan, Gul Agha and Grigore Rosu.
Efficient
Decentralized Monitoring of Safety in Distributed
Systems (PS).
In Proceedings of
26th International Conference on Software Engineering (ICSE 2004),
Edinburgh, UK, pages 418-47, May 2004.
Grigore Rosu and Koushik Sen.
An Instrumentation Technique for Online
Analysis of Multithreaded Programs (PS).
Workshop on
Parallel and Distributed Systems: Testing and Debugging (PADTAD
2004), Santa Fe, New Mexico, USA, April 2004.
Koushik Sen, Grigore Rosu and Gul Agha.
Online
Efficient Predictive Safety Analysis of Multithreaded
Programs (PS).
In Proceedings of
10th International Conference on Tools and Algorithms for the
Construction and Analysis of Systems (TACAS 2004), Barcelona,
Spain, Springer-Verlag LNCS, Vol. 2988, pages 123-138, March
2004.
Prasanna Thati and Grigore Rosu.
Efficient
Monitoring of Metric Temporal Logic Formulae..
In Workshop on Runtime Verification, Electronic Notes in
Theoretical Computer Science, Elsevier, 2004.
Koushik Sen, Grigore Rosu, Gul Agha.
Generating
Optimal Linear Temporal Logic Monitors by Coinduction
(PS).
In Proceedings of 8th Asian Computing Science Conference
(ASIAN 2003), , Mumbai, India, Springer-Verlag LNCS, Vol. 2896,
pages 260-75, December 2003.
Koushik Sen, Grigore Rosu, Gul Agha.
Runtime
Safety Analysis of Multithreaded Programs (PS).
In Proceedings of the 10th European Software Engineering
Conference and the 11th ACM SIGSOFT Symposium on the Foundations
of Software Engineering (FSE/ESEC 03), Helsinki, Finland, pages
337-346, September 3-5 2003.
Koushik Sen and Grigore Rosu.
Generating
Optimal Monitors for Extended Regular Expressions (PS).
In Proceedings of 3rd Workshop on Runtime Verification (RV
03), Boulder, Colorado, USA, Electronic Notes in Theoretical
Computer Science, Vol. 89(2) , Elsevier Science, July 2003.
Myeong-Wuk Jang and Gul Agha.
On Efficient
Communication and Service Agent Discovery in Multi-agent Systems (PS).
In Proceedings of the 3rd International Workshop on Software Engineering for
Large-Scale Multi-Agent Systems (SELMAS'04), pp. 27-33, May 24-25, Edinburgh,
Scotland, 2004.
Pedrag Tosic and Gul Agha.
Concurrency vs.
Sequential Interleavings in 1-D Threshold Cellular Automata (PS).
In Proceedings of IEEE IPDPS 2004 APDCM Workshop, Santa Fe, New Mexico,
USA, April 26-30, 2004.
Nalini Venkatasubramanian, Gul Agha and Carolyn Talcott.
A Formal Model for Reasoning About Adaptive QoS-Enabled Middleware
(PS).
In Proceedings of the ACM Transactions onSoftware Engineering and
Methodology (TOSEM), 13(1), pp86-147 January, 2004.
Po-hao Chang, Wooyoung Kim and Gul Agha.
An
Adaptive Programming Framework for Web Applications (PS).
The IEEE/IPSJ Symposium on Applications and the Internet, 152-159, Tokyo,
Japan, January 26-30, 2004.
Gul Agha and Carlos Varela.
Worldwide
Computing Middleware..
Invited chapter in Practical Handbook of Internet Computing, Munindar P. Singh,
editor. Chapman Hall and CRC Press, 2004.
Pedrag Tosic and Gul Agha.
Understanding and
Modeling Agent Autonomy in Dynamic Multi-Agent, Multi-Task Environments
(PS).
In Proceedings of the 1st European Workshop onMulti-Agent Systems (EUMAS '03),
Oxford, England, December 18-19, 2003.
Myeong-Wuk Jang, Smitha Reddy, Pedrag Tosic, Liping Chen and Gul Agha.
An
Actor-based Simulation for Studying UAV Coordination (PS).
In Proceedings of the 15th European Simulation Symposium (ESS 2003), pp.
593-601, Delft, The Netherlands, October 26-29, 2003.
Reza Ziaei and Gul Agha.
SynchNet:
A Petri Net Based Coordination Language for Distributed
Objects (PS).
In Proceedings of the ACM 2nd International Conference on Generative Programming
and Component Engineering (Lecture Notes in Computer Science Vol. 2830), Erfurt,
Germany, September 22-25, 2003.
Hui Ding, Can Zheng, Lui Sha and Gul Agha.
Specification and
Validation of Fault-Tolerant Software Architectures Based on Actor Model: A Case
Study.
In Proceedings of the 15th International Conference on Software
Engineering and Knowledge Engineering, San Francisco, CA, July 1-3, 2003.
Gul Agha and Prasanna Thati.
An
Algebraic Theory of Actors and its Application to a Simple
Object-Based Language (PS).
In Festschrift in Honour of Ole-Johan
Dahl, Springer-Verlag LNCS, Vol. 2635, 2004.
Prasanna Thati, Koushik Sen and Narciso Martí-Oliet.
An
Executable Specification of Asynchronous Pi-Calculus and
May-Testing in Maude 2.0 (PS).
International Workshop on Rewriting Logic and its
Applications (WRLA), 2002.
Prasanna Thati, Reza Ziaei, and Gul Agha.
Theory
of May Testing for Asynchronous Calculi with Locality and No Name
Matching (PS).
International Conference on Algebraic Methodology and
Software Technology (AMAST), 2002.