Simone Semprini

According to our database, Simone Semprini authored at least 7 papers between 2000 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Symbolic Implementation of Alternating Automata.

Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri, Simone Semprini

Proceedings of the Implementation and Application of Automata, 2006

From PSL to NBA: a Modular Symbolic Encoding.

Alessandro Cimatti, Marco Roveri, Simone Semprini, Stefano Tonetta

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

Formal analysis of hardware requirements.

Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti

Proceedings of the 43rd Design Automation Conference, 2006

2004

For-LySa: UML for Authentication Analysis.

Mikael Buchholtz, Carlo Montangero, Lara Perrone, Simone Semprini

Proceedings of the Global Computing, IST/FET International Workshop, 2004

Logic Based Coordination for Event-Driven Self-healing Distributed Systems.

Carlo Montangero, Laura Semini, Simone Semprini

Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

2002

Mark, a Reasoning Kit for Mobility.

Gian-Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini

Autom. Softw. Eng., 2002

2000

Mobile Agents Coordination in Mob_<i>adtl</i>.

Gian-Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini

Proceedings of the Coordination Languages and Models, 4th International Conference, 2000