Emmanuel Letier

IEEE Trans. Software Eng. · 2000–2004

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

Whom Emmanuel Letier trusts overall

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

  1. Axel van Lamsweerde
  2. Marta Z. Kwiatkowska
  3. Paolo Giorgini
  4. Moshe Y. Vardi
  5. Gethin Norman
  6. David Parker

Who trusts Emmanuel Letier overall

  1. Axel van Lamsweerde
  2. Barbara Kordy
  3. Christos Kalloniatis
  4. Betty H. C. Cheng

Papers from Emmanuel Letier's perspective

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

  1. Probabilistic symbolic model checking with PRISM: a hybrid approach (International Journal on Software Tools for Technology Transfer (STTT))
  2. Reasoning with Goal Models (International Conference on Conceptual Modeling)
  3. Goal-oriented requirements engineering: a guided tour (Proceedings Fifth IEEE International Symposium on Requirements Engineering)
  4. Handling Obstacles in Goal-Oriented Requirements Engineering (IEEE Trans. Software Eng.)
  5. Branching vs. Linear Time: Final Showdown (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  6. Eliciting security requirements with misuse cases (Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000)
  7. GPS, a program that simulates human thought
  8. Stochastic Model Checking (International School on Formal Methods for the Design of Computer, Communication and Software Systems)
  9. PRISM: Probabilistic Symbolic Model Checker (Computer Performance Evaluation / TOOLS)
  10. Probabilistic ω-automata (JACM)

Their papers