Mobile Agents Coordination in Mobadtl. - Gian-Luigi Ferrari 002; Carlo Montangero; Laura Semini; Simone Semprini (COORDINATION, 2000)

Mark, a Reasoning Kit for Mobility. - Gian-Luigi Ferrari 002; Carlo Montangero; Laura Semini; Simone Semprini (Autom. Softw. Eng., 2002)

Logic Based Coordination for Event-Driven Self-healing Distributed Systems. - Carlo Montangero; Laura Semini; Simone Semprini (COORDINATION, 2004)

For-LySa: UML for Authentication Analysis. - Mikael Buchholtz; Carlo Montangero; Lara Perrone; Simone Semprini (Global Computing, 2004)

Formal analysis of hardware requirements. - Ingo Pill; Simone Semprini; Roberto Cavada; Marco Roveri; Roderick Bloem; Alessandro Cimatti (DAC, 2006)

From PSL to NBA: a Modular Symbolic Encoding. - Alessandro Cimatti; Marco Roveri; Simone Semprini; Stefano Tonetta (FMCAD, 2006)

Symbolic Implementation of Alternating Automata. - Roderick Bloem; Alessandro Cimatti; Ingo Pill; Marco Roveri; Simone Semprini (CIAA, 2006)