The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ruggero Lanotte: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
    Concurrency in Timed Automata. [Citation Graph (0, 0)][DBLP]
    FCT, 2001, pp:240-251 [Conf]
  2. Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
    Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2006, pp:108-122 [Conf]
  3. Ruggero Lanotte, Simone Tini
    Probabilistic Congruence for Semistochastic Generative Processes. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:63-78 [Conf]
  4. Ruggero Lanotte, Simone Tini
    Taylor Approximation for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2005, pp:402-416 [Conf]
  5. 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]
  6. Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
    Information Flow Analysis for Probabilistic Timed Automata. [Citation Graph (0, 0)][DBLP]
    Formal Aspects in Security and Trust, 2004, pp:13-26 [Conf]
  7. Ruggero Lanotte, Andrea Maggiolo-Schettini
    Timed Automata with Monotonic Activities. [Citation Graph (0, 0)][DBLP]
    MFCS, 2000, pp:518-527 [Conf]
  8. Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron
    Structural Model Checking for Communicating Hierarchical Machines. [Citation Graph (0, 0)][DBLP]
    MFCS, 2004, pp:525-536 [Conf]
  9. Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
    Weak Bisimulation for Probabilistic Timed Automata and Applications to Security. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:34-43 [Conf]
  10. Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
    Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:114-121 [Conf]
  11. Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
    Timed Automata with Data Structures for Distributed Systems Design and Analysis. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:44-53 [Conf]
  12. Ruggero Lanotte, Danièle Beauquier
    A Decidable Probability Logic for Timed Probabilistic Systems [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  13. 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]
  14. Ruggero Lanotte
    Expressive Power of Hybrid Systems with Variables, Parameters and Arrays. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:96, n:, pp:91-112 [Journal]
  15. 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]
  16. Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
    Automatic Analysis of a Non-Repudiation Protocol. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:113-129 [Journal]
  17. Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
    A Classification of Time and/or Probability Dependent Security Properties. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:177-193 [Journal]
  18. 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]
  19. Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron
    Timed Cooperating Automata. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:43, n:1-4, pp:153-173 [Journal]
  20. 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]
  21. 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]
  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. Ruggero Lanotte, Andrea Maggiolo-Schettini
    Monotonic hybrid systems. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2005, v:71, n:1, pp:34-69 [Journal]
  25. 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]
  26. 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]
  27. Catalin Dima, Ruggero Lanotte
    Distributed Time-Asynchronous Automata. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:185-200 [Conf]
  28. Danièle Beauquier, Ruggero Lanotte
    Hiding Information in Multi Level Security Systems. [Citation Graph (0, 0)][DBLP]
    Formal Aspects in Security and Trust, 2006, pp:250-269 [Conf]
  29. Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
    Parametric probabilistic transition systems for system design and analysis. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2007, v:19, n:1, pp:93-109 [Journal]

  30. Removing All Silent Transitions from Timed Automata. [Citation Graph (, )][DBLP]


  31. Complexity and Succinctness Issues for Linear-Time Hybrid Logics. [Citation Graph (, )][DBLP]


  32. Security Policies Enforcement Using Finite Edit Automata. [Citation Graph (, )][DBLP]


Search in 0.082secs, Finished in 0.083secs
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