Stéphane Lafortune

Computational Theory and Mathematics · 2002–2013

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

Subfields

Whom Stéphane Lafortune trusts overall

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

  1. Albert Benveniste

Who trusts Stéphane Lafortune overall

  1. Wenbin Qiu
  2. Ratnesh Kumar

Papers from Stéphane Lafortune's perspective

Ordered by how strongly the researchers Stéphane Lafortune trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Diagnosis of asynchronous discrete event systems, a net unfolding approach (Sixth International Workshop on Discrete Event Systems, 2002. Proceedings.)
  2. Fault detection for discrete event systems using Petri nets with unobservable transitions (Proceedings of the 44th IEEE Conference on Decision and Control)
  3. The Architecture Analysis & Design Language (AADL): An Introduction
  4. Real Time Scheduling Theory: A Historical Perspective (Real-time systems)
  5. The unified modeling language reference manual
  6. Interface Theories for Component-Based Design (International Conference on Embedded Software)
  7. Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems (European Journal of Control)
  8. Modal I/O Automata for Interface and Product Line Theories (European Symposium on Programming)
  9. Interface automata (ESEC/FSE-9)
  10. Giotto: a time-triggered language for embedded programming (Proceedings of the IEEE)

Their papers