| |
| 2007 | ||
|---|---|---|
| 3 | EE | Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev: RAT: A Tool for the Formal Analysis of Requirements. CAV 2007: 263-267 |
| 2006 | ||
| 2 | EE | Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri, Simone Semprini: Symbolic Implementation of Alternating Automata. CIAA 2006: 208-218 |
| 1 | EE | Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti: Formal analysis of hardware requirements. DAC 2006: 821-826 |
| 1 | Roderick Bloem | [1] [2] [3] |
| 2 | Roberto Cavada | [1] [3] |
| 3 | Alessandro Cimatti | [1] [2] |
| 4 | Marco Roveri | [1] [2] [3] |
| 5 | Simone Semprini | [1] [2] |
| 6 | Andrei Tchaltsev | [3] |