Colin Stirling

Texts in Computer Science · 2000–2001

A researcher in the Science corpus: 2 papers; trusts 0 researchers and is trusted by 9 researchers here, as inferred from the citation graph.

Who trusts Colin Stirling overall

  1. Babak Bagheri Hariri
  2. Michael F. Worboys
  3. Diego Calvanese
  4. Christel Baier
  5. Marco Montali

Papers from Colin Stirling's perspective

Ordered by how strongly the researchers Colin Stirling trusts endorse each paper. Same corpus, a different order for every researcher.

  1. "Sometime" is sometimes "not never": on the temporal logic of programs
  2. The Architecture Analysis & Design Language (AADL): An Introduction
  3. Real Time Scheduling Theory: A Historical Perspective (Real-time systems)
  4. THE USE OF CONFIDENCE OR FIDUCIAL LIMITS ILLUSTRATED IN THE CASE OF THE BINOMIAL
  5. Interface Theories for Component-Based Design (International Conference on Embedded Software)
  6. Probability inequalities for sum of bounded random variables
  7. Generative Programming: Methods, Tools, and Applications
  8. Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems (European Journal of Control)
  9. On the Design and Development of Program Families (IEEE Trans. Software Eng.)
  10. Modal I/O Automata for Interface and Product Line Theories (European Symposium on Programming)

Their papers