Sciweavers

3667 search results - page 24 / 734
» Software Rejuvenation - Modeling and Analysis
Sort
View
HIPEAC
2007
Springer
15 years 6 months ago
Bounds Checking with Taint-Based Analysis
Weihaw Chuang, Satish Narayanasamy, Brad Calder, R...
ASWEC
2006
IEEE
15 years 5 months ago
Model-based runtime analysis of distributed reactive systems
Andreas Bauer 0002, Martin Leucker, Christian Scha...
VMCAI
2005
Springer
15 years 5 months ago
Scalable Analysis of Linear Systems Using Mathematical Programming
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...