| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2017 | J | jnl |
Int. J. Parallel Program.
|
| 2014 | J | jnl |
Concurr. Comput. Pract. Exp.
|
| 2008 | B | conf |
VEE
|
| 2007 | J | jnl |
Perform. Evaluation
|
| 2006 | C | conf |
ISMM
|
| 2004 | — | conf |
UML
|
| 2004 | C | conf |
ISMM
|
| 2004 | B | conf |
Performance Engineering with the UML Profile for Schedulability, Performance and Time: A Case Study.
MASCOTS
|
| 2002 | — | conf |
Euro-Par
|
| 2000 | A | conf |
ICFP
|
| 2000 | — | conf |
LCPC
|
| 1999 | J | jnl |
Eur. J. Oper. Res.
|
| 1998 | — | conf |
Automatic Generation of Verifiable Cache Coherence Simulation Models from High-Level Specifications.
CATS
|
| 1998 | — | conf |
Computer Performance Evaluation (Tools)
|
| 1997 | — | conf |
Euro-Par
|
| 1996 | J | jnl |
Perform. Evaluation
|
| 1995 | — | conf |
ICPP (1)
|
| 1993 | — | conf |
PARLE
|
| 1993 | — | conf |
ICPP (1)
|
| 1992 | — | conf |
ICPP (1)
|
| 1988 | — | book |
Functional Programming
|
| 1986 | A* | conf |
SIGMETRICS
|
| 1986 | — | ch. |
Logic Programming: Functions, Relations, and Equations
|
| 1985 | B | conf |
ICPP
|