The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Simone Tini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  31. Non Expansive epsilon-Bisimulations. [Citation Graph (, )][DBLP]


Search in 0.488secs, Finished in 0.490secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002