Year | DOI | Venue |
---|---|---|
2011 | 10.1109/SIES.2011.5953663 | SIES |
Keywords | Field | DocType |
worst case execution time,hardware,model checking,genetic algorithm,timing analysis,genetic algorithms,formal verification,real time systems,static program analysis,indexing terms | Static program analysis,Heuristic,Model checking,Worst-case execution time,Computer science,Real-time computing,Static timing analysis,Test data generation,Genetic algorithm,Formal verification | Conference |
Citations | PageRank | References |
1 | 0.36 | 16 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sven Bünte | 1 | 15 | 2.01 |
Michael Zolda | 2 | 42 | 3.57 |
Raimund Kirner | 3 | 372 | 40.22 |