External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL

Franck Cassez, Pablo González de Aledo, Peter Gjøl Jensen. WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL. In Luca Aceto, Giorgio Bacci, Giovanni Bacci 0001, Anna Ingólfsdóttir, Axel Legay, Radu Mardare, editors, Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Volume 10460 of Lecture Notes in Computer Science, pages 560-577, Springer, 2017. [doi]

Authors

Franck Cassez

This author has not been identified. Look up 'Franck Cassez' in Google

Pablo González de Aledo

This author has not been identified. Look up 'Pablo González de Aledo' in Google

Peter Gjøl Jensen

This author has not been identified. Look up 'Peter Gjøl Jensen' in Google
runs on