Jan J. M. M. Rutten

Theoretical Computer Science · 2000–2004

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

Whom Jan J. M. M. Rutten trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Kim Guldstrand Larsen

Who trusts Jan J. M. M. Rutten overall

  1. H. Peter Gumm
  2. Jeroen Ketema

Papers from Jan J. M. M. Rutten's perspective

Ordered by how strongly the researchers Jan J. M. M. Rutten trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Bisimulation through Probabilistic Testing
  2. Interface Theories for Component-Based Design (International Conference on Embedded Software)
  3. The Architecture Analysis & Design Language (AADL): An Introduction
  4. Real Time Scheduling Theory: A Historical Perspective (Real-time systems)
  5. Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems (European Journal of Control)
  6. Modal I/O Automata for Interface and Product Line Theories (European Symposium on Programming)
  7. Abstract Interpretation Frameworks
  8. Model Checking
  9. A Tutorial on Uppaal (International School on Formal Methods for the Design of Computer, Communication and Software Systems)
  10. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION

Their papers