Jochen Eisinger
YOU?
Author Swipe
View article: Don’t care words with an application to the automata-based approach for real addition
Don’t care words with an application to the automata-based approach for real addition Open
Automata are a useful tool in infinite-state model checking, since they can represent infinite sets of integers and reals. However, analogous to the use of bdds to represent finite sets, the sizes of the automata are an obstacle in the aut…
View article: A Definition and Classification of Timing Anomalies
A Definition and Classification of Timing Anomalies Open
Timing Anomalies are characterized by counterintuitive timing behaviour. A locally faster execution leads to an increase of the execution time of the whole program. The presence of such behaviour makes WCET analysis more difficult: It is n…