1. C. Abela, A. Calafato & G.J. Pace: Extending WISE with Contract Management. In: WICT 2010.
  2. Joe Armstrong (2007): Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf.
  3. Fabio Barbon, Paolo Traverso, Marco Pistore & Michele Trainotti (2006): Run-Time Monitoring of Instances and Classes of Web Service Compositions. In: ICWS '06: Proceedings of the IEEE International Conference on Web Services. IEEE Computer Society, Washington, DC, USA, pp. 63–71, doi:10.1109/ICWS.2006.113.
  4. David Chappell (2004): Enterprise Service Bus. O'Reilly Media.
  5. Feng Chen & Grigore Rosu (2003): Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation. In: Runtime Verification (RV'03), ENTCS 89(2), pp. 108 – 127, doi:10.1016/S1571-0661(04)81045-4.
  6. Koen Claessen & Gordon J. Pace (2002): An Embedded Language Framework for Hardware Compilation. In: Designing Correct Circuits '02, Grenoble, France.
  7. T. Cook, D. Drusinksy & M.-T. Shing (2007): Specification, Validation and Run-time Moniroting of SOA Based System-of Systems Temporal Behaviors. In: System of Systems Engineering. IEEE Computer Society.
  8. Dorothy E. Denning (1987): An intrusion-detection model. IEEE Transactions on Software Engineering 13, pp. 222–232, doi:10.1109/TSE.1987.232894.
  9. Matthew Hennessy (2007): A Distributed Pi-Calculus. Cambridge University Press, New York, NY, USA.
  10. I. H. Krüger, M. Meisinger & M. Menarini (2010): Interaction-based Runtime Verification for Systems of Systems Integration. J Logic Computation 20(3), doi:10.1093/logcom/exn079.
  11. L. Lamport (1977): Proving the Correctness of Multiprocess Programs. IEEE Trans. Softw. Eng. 3, pp. 125–143, doi:10.1109/TSE.1977.229904.
  12. Masoud Mansouri-Samani & Morris Sloman (1997): GEM: a generalized event monitoring language for distributed systems. Distributed Systems Engineering 4(2), pp. 96–108, doi:10.1088/0967-1846/4/2/004.
  13. Koushik Sen, Abhay Vardhan, Gul Agha & Grigore Rosu (2004): Efficient Decentralized Monitoring of Safety in Distributed Systems. International Conference on Software Engineering, pp. 418–427.
  14. W. Zhou, O. Sokolsky, B. Thau Loo & I. Lee (2009): DMaC: Distributed Monitoring and Checking.. In: Runtime Verification 09, LNCS 5779. Springer, pp. 184–201, doi:10.1007/978-3-642-04694-0_13.

Comments and questions to:
For website issues: