| 2007 |
|---|
| 4 | EE | Roderick Bloem,
Roberto Cavada,
Ingo Pill,
Marco Roveri,
Andrei Tchaltsev:
RAT: A Tool for the Formal Analysis of Requirements.
CAV 2007: 263-267 |
| 3 | EE | Roderick Bloem,
Alessandro Cimatti,
Ingo Pill,
Marco Roveri:
Symbolic Implementation of Alternating Automata.
Int. J. Found. Comput. Sci. 18(4): 727-743 (2007) |
| 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 |
