Simone Semprini

Publication Activity (10 Years)

Years Active: 2000-2006
Publications (10 Years): 0

Publications

Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti
Formal analysis of hardware requirements. DAC (2006)
Alessandro Cimatti, Marco Roveri, Simone Semprini, Stefano Tonetta
From PSL to NBA: a Modular Symbolic Encoding. FMCAD (2006)
Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri, Simone Semprini
Symbolic Implementation of Alternating Automata. CIAA (2006)
Carlo Montangero, Laura Semini, Simone Semprini
Logic Based Coordination for Event-Driven Self-healing Distributed Systems. COORDINATION (2004)
Mikael Buchholtz, Carlo Montangero, Lara Perrone, Simone Semprini
For-LySa: UML for Authentication Analysis. Global Computing (2004)
Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini
Mark, a Reasoning Kit for Mobility. Autom. Softw. Eng. 9 (2) (2002)
Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini
. COORDINATION (2000)