TINI SIMONE | Università degli studi dell'Insubria

E-mail

Numero telefonico

031 238 6270

Giugno 1995: Laurea con Lode in Scienze dell''Informazione, conseguita presso la Facoltà di Scienze MM.FF.NN. dell'' Università degli Studi di Pisa. Titolo della tesi: Equivalenze di Statecharts. Relatore: Prof. Andrea Maggiolo-Schettini.

Ottobre 1999: Dottorato di Ricerca in Informatica, conseguito presso il Dipartimento di Informatica dell'' Università degli Studi di Pisa. Titolo della tesi: Structural Operational Semantics for Synchronous Languages. Relatore: Prof. Andrea Maggiolo-Schettini. Revisori: Prof. Luca Aceto (Aalborg University), Prof. Rance Cleaveland (State University of New York).

Novembre 1999 - Settembre 2001: Titolare di un Assegno di Ricerca presso il Dipartimento di Informatica dell''Università degli Studi di Pisa.

Ottobre 2001 - Febraio 2005: Ricercatore (settore INF/01-Informatica) presso l''Università degli Studi dell''Insubria.

Da Marzo 2005: Professore Associato (settore INF/01-Informatica) presso l''Università degli Studi dell''Insubria.

Ricerca

Portale IRInSubria

Pubblicazioni in evidenza

A. Maggiolo-Schettini, S. Tini:
Applying Techniques of Asynchronous Concurrency to Synchronous Languages.
Fundam. Inform. 40(2-3), 1999, 221-250.
R. Lanotte, A. Maggiolo-Schettini, A. Peron, S. Tini:
Transformations of Timed Cooperating Automata.
Fundam. Inform. 47(3-4), 2001, 271-282.
S. Tini:
An Axiomatic Semantics for Esterel.
Theoret. Comput. Sci. 269(1-2), 2001, 231-282.
A. Maggiolo-Schettini, S. Tini:
On Disjunction of Literals in Triggering of Statecharts Transitions.
Inform. Proc. Lett. 84(6), 2002, 305-310.
R. Lanotte, A. Maggiolo-Schettini, A. Peron, S. Tini:
Dynamic Hierarchical Machines.
Fundam. Inform. 54(2-3), 2003, 237-252.
A. Maggiolo-Schettini, A. Peron, S. Tini:
Compartison of Statecharts Step Semantics.
Theoret. Comput. Sci. 290(1), 2003, 465-498.
R. Lanotte, A. Maggiolo-Schettini, S. Tini:
Concurrent Timed Automata.
Theoret. Comput. Sci. 309(1-3), 2003, 503-527.
S. Tini:
An Axiomatic Semantics for the Synchronous Language Gentzen.
J. Comput. Syst. Sci. 66(2), 2003, 316-348.
R. Lanotte, A. Maggiolo Schettini, S. Tini:
Epsilon Transitions in Concurrent Timed Automata.
Inform. Proc. Lett. 89(1), 2004, 1-7.
A. Maggiolo-Schettini, S. Tini:
Compositional Synthesis of Mealy Machines.
Fundam. Inform. 60(1-4), 2004, 367-382.
S. Tini:
Rule Formats for Compositional Non Interference Properties.
J. Logic Algebr. Prog. 60-61(3), 2004, 353-400.
S. Tini:
Timed CCP Compositionally Embeds Argos and Lustre.
Form. Asp. Comput. 16(3), 2004, 292-312.
R. Gorrieri, R. Lanotte, F. Martinelli, A. Maggiolo-Schettini, S. Tini, E. Tronci:
Automated Analysis of Timed Security.
Int. J. Inform. Security 2(3-4), 2004, 168-186.
R. Lanotte, A. Maggiolo-Schettini, S. Tini:
Information Flow in Hybrid Systems.
ACM TECS 3(4), 2004, 760-799.
R. Lanotte, S. Tini:
Taylor Approximation for Hybrid Systems.
Inf. Comput. 205(11), 2007, 1575-1607.
R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, S. Tini:
Compositional Semantics and Behavioral Equivalences for P Systems.
Theor. Comput. Sci. 395(1), 2008, 77-100.
R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, S. Tini:
A P Systems Flat Form Preserving Step-by-step Behaviour.
Fundam. Inform. 87(1), 2008, 1-34.
R. Lanotte, S. Tini:
Probabilistic Bisimulation as a Congruence.
ACM Trans. Comput. Log. 10(2), 2009.
R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, S. Tini:
P Systems with Transport and Diffusion Membrane Channels.
Fundam. Inform. 93(1-3), 2009, 17-31.
S. Tini:
Non-Expansive Epsilon-Bisimulations for Probabilistic Processes.
Theor. Comput. Sci. 411(22-24), 2010, 2202-2222.