 | 2006 |
|---|
| 7 |       | Roderick Bloem,
Alessandro Cimatti,
Ingo Pill,
Marco Roveri,
Simone Semprini:
Symbolic Implementation of Alternating Automata.
CIAA 2006: 208-218 |
| 6 | | Ingo Pill,
Simone Semprini,
Roberto Cavada,
Marco Roveri,
Roderick Bloem,
Alessandro Cimatti:
Formal analysis of hardware requirements.
DAC 2006: 821-826 |
| 5 | | Alessandro Cimatti,
Marco Roveri,
Simone Semprini,
Stefano Tonetta:
From PSL to NBA: a Modular Symbolic Encoding.
FMCAD 2006: 125-133 |
| 2004 |
|---|
| 4 | | Carlo Montangero,
Laura Semini,
Simone Semprini:
Logic Based Coordination for Event-Driven Self-healing Distributed Systems.
COORDINATION 2004: 248-263 |
| 3 | | 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 | | Gian Luigi Ferrari,
Carlo Montangero,
Laura Semini,
Simone Semprini:
Mobile Agents Coordination in Mobadtl.
COORDINATION 2000: 232-248 |
