[OSL@UIUC]

Open Systems Laboratory

Department of Computer Science, University of Illinois at Urbana-Champaign
Research
People
Publications
Utilities
 
 Research Theme 
 Application Areas 
 Complex Systems 
 Dependable Systems 
 Multi-Agent Systems 
 P2P and Web Computing 
 Sensor Networks and Real-Time Systems 
 Concurrent and Distributed Systems 
 Coordination Algorithms 
 Formal Methods 
 Programming Languages and Systems 
 Software Engineering 
 Software and Data 
 Actor Systems 
 Sensor Networks 
 Software Analysis and Testing Tools 

Dependable Systems

[Bibliography in .bib format]
  1. Brown, Tom. "Decentralized Coordination with Crash Failures," , 2005. [pdf] [bib]
  2. Mohindra, Ajay, Apratim Purakayastha, Prasanna Thati. "Exploiting non-determinism for reliability of mobile agent systems," International Conference on Dependable Systems and Networks (DSN), 2000. [pdf] [ps] [bib]
  3. Agha, Gul, Reza Ziaei. "Security and Fault-Tolerance in Distributed Systems: An Actor Based Approach," in P. Amman et al. (eds.), Computer Security, Dependability, and Assurance, From Needs to Solutions, pp. 72-88, IEEE Computer Society, 1999. [pdf] [ps] [bib]
  4. Sturman, Daniel. "Fault-Adaptation for Systems in Unpredictable Environments," MS thesis, University of Illinois at Urbana-Champaign, 1994. [pdf] [ps] [bib]
  5. Agha, Gul, Daniel Sturman. "A Methodology for Adapting to Patterns of Faults," in G. M. Koob and C. G. Lau (editors), Foundations of Dependable Computing: Models and Frameworks for Dependable Systems, Chap. 2, vol. 1, pp 1-59, Kluwer Academic Publishers, 1994. [pdf] [ps] [bib]
  6. Agha, Gul, Svend Frølund, Rajendra Panwar, Daniel Sturman. "A Linguistic Framework for Dynamic Composition of Dependability Protocols," in C. E. Landwehr, B. Randell, and L. Simoncini (editors), Dependable Computing and Fault-Tolerant Systems VIII, pp 345-363, IFIP Transactions, Springer-Verlag, 1993. [pdf] [ps] [bib]
  7. Agha, Gul, Svend Frølund, Rajendra Panwar, Daniel Sturman. "A Linguistic Framework for Dynamic Composition of Fault-Tolerance Protocols," Conference on Dependable Computing for Critical Applications (DCCA-3), pp 197-207, International Federation of Information Processing Societies, Palermo (Sicily), Italy, September, 1992. [bib]