| 2006 |
|---|
| 7 | EE | Roderick Bloem,
Alessandro Cimatti,
Ingo Pill,
Marco Roveri,
Simone Semprini:
Symbolic Implementation of Alternating Automata.
CIAA 2006: 208-218 |
| 6 | EE | Ingo Pill,
Simone Semprini,
Roberto Cavada,
Marco Roveri,
Roderick Bloem,
Alessandro Cimatti:
Formal analysis of hardware requirements.
DAC 2006: 821-826 |
| 5 | EE | Alessandro Cimatti,
Marco Roveri,
Simone Semprini,
Stefano Tonetta:
From PSL to NBA: a Modular Symbolic Encoding.
FMCAD 2006: 125-133 |
| 2004 |
|---|
| 4 | EE | Carlo Montangero,
Laura Semini,
Simone Semprini:
Logic Based Coordination for Event-Driven Self-healing Distributed Systems.
COORDINATION 2004: 248-263 |
| 3 | EE | Mikael Buchholtz,
Carlo Montangero,
Lara Perrone,
Simone Semprini:
For-LySa: UML for Authentication Analysis.
Global Computing 2004: 93-106 |
| 2002 |
|---|
| 2 | | Gian Luigi Ferrari,
Carlo Montangero,
Laura Semini,
Simone Semprini:
Mark, a Reasoning Kit for Mobility.
Autom. Softw. Eng. 9(2): 137-150 (2002) |
| 2000 |
|---|
| 1 | EE | Gian Luigi Ferrari,
Carlo Montangero,
Laura Semini,
Simone Semprini:
Mobile Agents Coordination in Mobadtl.
COORDINATION 2000: 232-248 |
