-
A WCET Estimation Workflow Based on the TWSA Model of SystemC Designs
International audience -
Building SystemC waiting state automata
International audience -
Symbolic Testing Approach of Composite Web Services
Web services are gaining industry-wide acceptance and usage by fostering the developmentof distributed applications out of the composition of simpler entities... -
Computation of the worst case execution time : formal analysis method that fi...
To ensure that a program will respect all its timing constraints we must be able to compute a safe estimation of its worst case execution time (WCET). However with the... -
Combining symbolic execution and model checking to reduce dynamic program ana...
By using symbolic execution techniques in the framework of the Java PathFinder model checker, we show that some Java program statements are unable to change the... -
Formal Analysis of CRT-RSA Vigilant's Countermeasure Against the BellCoRe Att...
International audience
