2009 |
35 | EE | Ruggero Lanotte,
Simone Tini:
Probabilistic bisimulation as a congruence.
ACM Trans. Comput. Log. 10(2): (2009) |
2008 |
34 | EE | Simone Tini:
Non Expansive epsilon-Bisimulations.
AMAST 2008: 362-376 |
33 | EE | Roberto Barbuti,
Andrea Maggiolo-Schettini,
Paolo Milazzo,
Simone Tini:
A P Systems Flat Form Preserving Step-by-step Behaviour.
Fundam. Inform. 87(1): 1-34 (2008) |
32 | EE | Roberto Barbuti,
Andrea Maggiolo-Schettini,
Paolo Milazzo,
Simone Tini:
Compositional semantics and behavioral equivalences for P Systems.
Theor. Comput. Sci. 395(1): 77-100 (2008) |
2007 |
31 | EE | Simone Tini:
Notes on Generative Probabilistic Bisimulation.
Electr. Notes Theor. Comput. Sci. 175(1): 77-88 (2007) |
30 | EE | Ruggero Lanotte,
Simone Tini:
Taylor approximation for hybrid systems.
Inf. Comput. 205(11): 1575-1607 (2007) |
2005 |
29 | EE | Ruggero Lanotte,
Simone Tini:
Probabilistic Congruence for Semistochastic Generative Processes.
FoSSaCS 2005: 63-78 |
28 | EE | Ruggero Lanotte,
Simone Tini:
Taylor Approximation for Hybrid Systems.
HSCC 2005: 402-416 |
2004 |
27 | EE | Ruggero Lanotte,
Andrea Maggiolo-Schettini,
Simone Tini,
Angelo Troina,
Enrico Tronci:
Automatic Covert Channel Analysis of a Multilevel Secure Component.
ICICS 2004: 249-261 |
26 | EE | Ruggero Lanotte,
Andrea Maggiolo-Schettini,
Simone Tini:
Information flow in hybrid systems.
ACM Trans. Embedded Comput. Syst. 3(4): 760-799 (2004) |
25 | EE | Ruggero Lanotte,
Andrea Maggiolo-Schettini,
Simone Tini,
Angelo Troina,
Enrico Tronci:
Automatic Analysis of the NRL Pump.
Electr. Notes Theor. Comput. Sci. 99: 245-266 (2004) |
24 | EE | Simone Tini:
Timed CCP compositionally embeds Argos and Lustre.
Formal Asp. Comput. 16(3): 292-312 (2004) |
23 | EE | Simone Tini,
Andrea Maggiolo-Schettini:
Compositional Synthesis of Generalized Mealy Machines.
Fundam. Inform. 60(1-4): 367-382 (2004) |
22 | EE | Ruggero Lanotte,
Andrea Maggiolo-Schettini,
Simone Tini:
Epsilon-transitions in Concurrent Timed Automata.
Inf. Process. Lett. 89(1): 1-7 (2004) |
21 | EE | Roberto Gorrieri,
Ruggero Lanotte,
Andrea Maggiolo-Schettini,
Fabio Martinelli,
Simone Tini,
Enrico Tronci:
Automated analysis of timed security: a case study on web privacy.
Int. J. Inf. Sec. 2(3-4): 168-186 (2004) |
20 | EE | Simone Tini:
Rule formats for compositional non-interference properties.
J. Log. Algebr. Program. 60-61: 353-400 (2004) |
2003 |
19 | EE | Simone Tini:
Rule Formats for Non Interference.
ESOP 2003: 129-143 |
18 | EE | Ruggero Lanotte,
Andrea Maggiolo-Schettini,
Adriano Peron,
Simone Tini:
Dynamic Hierarchical Machines.
Fundam. Inform. 54(2-3): 237-252 (2003) |
17 | EE | Simone Tini:
An axiomatic semantics for the synchronous language Gentzen.
J. Comput. Syst. Sci. 66(2): 316-348 (2003) |
16 | | Andrea Maggiolo-Schettini,
Adriano Peron,
Simone Tini:
A comparison of Statecharts step semantics.
Theor. Comput. Sci. 290(1): 465-498 (2003) |
15 | EE | Ruggero Lanotte,
Andrea Maggiolo-Schettini,
Simone Tini:
Concurrency in timed automata.
Theor. Comput. Sci. 309(1-3): 503-527 (2003) |
2002 |
14 | EE | Andrea Maggiolo-Schettini,
Simone Tini:
On disjunction of literals in triggers of statecharts transitions.
Inf. Process. Lett. 84(6): 305-310 (2002) |
2001 |
13 | EE | Ruggero Lanotte,
Andrea Maggiolo-Schettini,
Simone Tini:
Concurrency in Timed Automata.
FCT 2001: 240-251 |
12 | EE | Simone Tini:
An Axiomatic Semantics for the Synchronous Language Gentzen.
FoSSaCS 2001: 394-409 |
11 | EE | Ruggero Lanotte,
Andrea Maggiolo-Schettini,
Simone Tini:
Privacy in Real-Time Systems.
Electr. Notes Theor. Comput. Sci. 52(3): (2001) |
10 | EE | Riccardo Focardi,
Roberto Gorrieri,
Ruggero Lanotte,
Andrea Maggiolo-Schettini,
Fabio Martinelli,
Simone Tini,
Enrico Tronci:
Formal Models of Timing Attacks on Web Privacy.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
9 | | Ruggero Lanotte,
Andrea Maggiolo-Schettini,
Simone Tini,
Adriano Peron:
Transformations of Timed Cooperating Automata.
Fundam. Inform. 47(3-4): 271-282 (2001) |
8 | EE | Simone Tini:
An axiomatic semantics for Esterel.
Theor. Comput. Sci. 269(1-2): 231-282 (2001) |
2000 |
7 | EE | Simone Tini,
Andrea Maggiolo-Schettini:
A Causal Semantics for Timed Default Concurrent Constraint Programming.
AMAST 2000: 228-242 |
1999 |
6 | | Simone Tini,
Andrea Maggiolo-Schettini:
A Truly Concurrent Semantics for Timed Default Concurrent Constraint Programming.
ECOOP Workshops 1999: 256-258 |
5 | EE | Simone Tini:
On The Expressiveness of Timed Concurrent Constraint Programming.
Electr. Notes Theor. Comput. Sci. 27: (1999) |
4 | | Andrea Maggiolo-Schettini,
Simone Tini:
Applying Techniques of Asynchronous Concurrency to Synchronous Languages.
Fundam. Inform. 40(2-3): 221-250 (1999) |
1998 |
3 | EE | Simone Tini,
Andrea Maggiolo-Schettini:
Two semantics for Timed Default Concurrent Constraint Programming.
Electr. Notes Theor. Comput. Sci. 16(1): (1998) |
2 | EE | Andrea Maggiolo-Schettini,
Simone Tini:
Projectable Semantics for Statecharts.
Electr. Notes Theor. Comput. Sci. 18: (1998) |
1996 |
1 | | Andrea Maggiolo-Schettini,
Adriano Peron,
Simone Tini:
Equivalences of Statecharts.
CONCUR 1996: 687-702 |