Search results for: Nicolas Navet
Physica A: Statistical Mechanics and its Applications > 2016 > 461 > C > 148-157
Lecture Notes in Computer Science > Neural Information Processing > Financial Applications > 450-460
Studies in Computational Intelligence > Natural Computing in Computational Finance > Model Induction > 197-210
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Worst-Case Traversal Time (WCTT) > 122-136
IEEE Transactions on Industrial Electronics > 2012 > 59 > 10 > 3934 - 3942
ETFA2011 > 1 - 4
ETFA2011 > 1 - 8
Real-Time Systems > 2007 > 37 > 1 > 77-97
Real-Time Systems > 2005 > 31 > 1-3 > 5-31
Journal of Scheduling > 2003 > 6 > 5 > 457-482
Real-Time Systems > 2003 > 25 > 1 > 39-66