Sciweavers

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