dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Andrea Maggiolo-Schettini (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina: Reachability results for timed automata with unbounded data structures. Acta Inf. 47(5-6): 279-311 (2010)
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina: Time and Probability-Based Information Flow Analysis. IEEE Trans. Software Eng. 36(5): 719-734 (2010)
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina: Weak bisimulation for Probabilistic Timed Automata. Theor. Comput. Sci. 411(50): 4291-4322 (2010)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina: Design and verification of long-running transactions in a timed framework. Sci. Comput. Program. 73(2-3): 76-94 (2008)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina: Parametric probabilistic transition systems for system design and analysis. Formal Asp. Comput. 19(1): 93-109 (2007)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina: Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata. FMOODS 2006: 108-122
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina: A Classification of Time and/or Probability Dependent Security Properties. Electr. Notes Theor. Comput. Sci. 153(2): 177-193 (2006)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina: Timed Automata with Data Structures for Distributed Systems Design and Analysis. SEFM 2005: 44-53
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina: Automatic Analysis of a Non-Repudiation Protocol. Electr. Notes Theor. Comput. Sci. 112: 113-129 (2005)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuggero Lanotte, Andrea Maggiolo-Schettini: Monotonic hybrid systems. J. Comput. Syst. Sci. 71(1): 34-69 (2005)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina: Information Flow Analysis for Probabilistic Timed Automata. Formal Aspects in Security and Trust 2004: 13-26
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci: Automatic Covert Channel Analysis of a Multilevel Secure Component. ICICS 2004: 249-261
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron: Structural Model Checking for Communicating Hierarchical Machines. MFCS 2004: 525-536
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina: Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security. SEFM 2004: 114-121
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini: Information flow in hybrid systems. ACM Trans. Embedded Comput. Syst. 3(4): 760-799 (2004)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuggero 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)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini: Epsilon-transitions in Concurrent Timed Automata. Inf. Process. Lett. 89(1): 1-7 (2004)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina: Weak Bisimulation for Probabilistic Timed Automata and Applications to Security. SEFM 2003: 34-43
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini: Dynamic Hierarchical Machines. Fundam. Inform. 54(2-3): 237-252 (2003)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini: Concurrency in timed automata. Theor. Comput. Sci. 309(1-3): 503-527 (2003)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini: Concurrency in Timed Automata. FCT 2001: 240-251
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini: Privacy in Real-Time Systems. Electr. Notes Theor. Comput. Sci. 52(3): 295-305 (2001)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo 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: 229-243 (2001)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Adriano Peron: Transformations of Timed Cooperating Automata. Fundam. Inform. 47(3-4): 271-282 (2001)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuggero Lanotte, Andrea Maggiolo-Schettini: Timed Automata with Monotonic Activities. MFCS 2000: 518-527
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron: Timed Cooperating Automata. Fundam. Inform. 43(1-4): 153-173 (2000)

Selection of 27 from 110 records - Andrea Maggiolo-Schettini has 46 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page