Axel Legay

Computational Theory and Mathematics · 2010–2015

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

Subfields

Whom Axel Legay trusts overall

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

  1. Reid G. Simmons
  2. Christel Baier
  3. W. Hoeffding
  4. Kim Guldstrand Larsen
  5. Joost-Pieter Katoen

Who trusts Axel Legay overall

  1. Jie Fu

Papers from Axel Legay's perspective

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

  1. Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling (International Conference on Computer Aided Verification)
  2. A Tutorial on Uppaal (International School on Formal Methods for the Design of Computer, Communication and Software Systems)
  3. Probability inequalities for sum of bounded random variables
  4. Minimum-Cost Reachability for Priced Timed Automata (International Conference on Hybrid Systems: Computation and Control)
  5. Approximate Probabilistic Model Checking (International Conference on Verification, Model Checking and Abstract Interpretation)
  6. Model Checking
  7. THE USE OF CONFIDENCE OR FIDUCIAL LIMITS ILLUSTRATED IN THE CASE OF THE BINOMIAL
  8. Modal I/O Automata for Interface and Product Line Theories (European Symposium on Programming)
  9. Principles of model checking
  10. Software Product Lines: Practices and Patterns

Their papers