Pubblicazioni

  • M. Bravetti; R. Gorrieri, Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time, AMSTERDAM, Elsevier, 2004 (Electronic Notes in Theoretical Computer Science). [Curatela]

  • M. Bravetti; G. Zavattaro, Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), AMSTERDAM, Elsevier, 2004 (Electronic Notes in Theoretical Computer Science). [Curatela]

  • S. Martini, Provando e riprovando, in: P. COPPOLA S. MIZZARO, Laboratorio di programmazione in Java, MILANO, Apogeo, 2004, pp. ix - x [Breve introduzione]

  • P. Salomoni; S. Mirri, A Multimedia Broker for Ubiquitous and Accessible Rich Media Content Transcoding, in: GlobeCom 2004 - 1st International Workshop on Networking Issues in Multimedia Entertainment (NIME 2004), PISCATAWAY, NJ, IEEE Computer Society, 2004, pp. 186 - 191 (atti di: IEEE Global Telecommunications Conference 2004 (GlobeCom 2004), Dallas, Texas, USA, 29 novembre - 3 dicembre 2004) [Contributo in Atti di convegno]

  • A. Nandan; G. Pau; P. Salomoni, GhostShare - Reliable and Anonymous P2P Video Distribution, in: GlobeCom 2004 - 1st International Workshop on Networking Issues in Multimedia Entertainment (NIME 2004), PISCATAWAY, NJ, USA, IEEE Communication Society, 2004, pp. 200 - 210 (atti di: IEEE Global Telecommunications Conference 2004 (GlobeCom 2004), Dallas, Texas, USA, 29 novembre - 3 dicembre 2004) [Contributo in Atti di convegno]

  • Brevetto 0001321505, Metodo, e relativa apparecchiatura, per la rivelazione automatica di microcalcificazioni in segnali digitali di tessuto mammarico.

  • S. Balsamo; R. Mamprin; M. Marzolla, Performance Evaluation of Software Architectures with Queueing Network models, in: Proc. European Simulation and Modeling Conference 2004 (ESMc'04), s.l, EUROSIS-ETI, 2004, pp. 206 - 213 (atti di: European Simulation and Modeling Conference 2004 (ESMc'04), UNESCO, Paris, France, October 25—27, 2004) [Contributo in Atti di convegno]

  • M. Marzolla; S. Balsamo, UML-PSI: The UML Performance SImulator, in: Proc. of the First International Conference on the Quantitative Evaluation of Systems (QEST 2004), LOS ALAMITOS, IEEE Computer Society, 2004, pp. 27 - 30 (atti di: First International Conference on the Quantitative Evaluation of Systems (QEST 2004), Enschede, The Netherlands, September 27–30, 2004) [Contributo in Atti di convegno]

  • M. Marzolla, libcppsim: a Simula-like, Portable Process-Oriented simulation library in C++, in: Proceedings of ESM'04, the 18th European Simulation Multiconference, s.l, SCS, 2004, pp. 222 - 227 (atti di: ESM'04, the 18th European Simulation Multiconference, Magdeburg, Germany, jun 13–16 2004) [Contributo in Atti di convegno]

  • S. Balsamo; A. di Marco; P. Inverardi; M. Marzolla, Experimenting different Software Architectures Performance Techniques: A Case Study, in: WOSP'04, s.l, ACM Press, 2004, pp. 115 - 119 (atti di: Proceedings of the Fourth International Workshop on Software and Performance, WOSP 2004, Redwood Shores, CA, January 14-16, 2004) [Contributo in Atti di convegno]

  • BRUNI R.; FIADEIRO J. L.; LANESE I.; LOPES A.; MONTANARI U., New Insights on Architectural Connectors, in: Proceedings of IFIP TCS 2004, 3rd IFIP International Conference on Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics, ALPHEN AAN DEN RIJN, Kluwer Academics, «IFIP INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING», 2004, 155, pp. 367 - 379 (atti di: 3rd IFIP International Conference on Theoretical Computer Science, Toulose, France, 24-26/8/2004) [Contributo in Atti di convegno]

  • LANESE I.; MONTANARI U., Synchronization Algebras with Mobility for Graph Transformations, in: Proceedings of the Workshop on the Foundations of Global Ubiquitous Computing (FGUC 2004), Amsterdam, Elsevier B.V., 2004, 138, pp. 43 - 60 (atti di: FCUC'04, Joint 3rd workshop on the (SGUC) Grand Challenge and 3rd EATCS Workshop in the Foundations of Global Computing, London, UK, 3-4/9/2004,) [Contributo in Atti di convegno]

  • LANESE I.; MONTANARI U., A Graphical Fusion Calculus, in: Proceedings of the Workshop of the COMETA Project on Computational Metamodels, Amsterdam, Elsevier B.V., 2004, 104, pp. 199 - 215 (atti di: Workshop of the COMETA Project on Computational Metamodels, Udine, Italy, 15-17/12/2003) [Contributo in Atti di convegno]

  • Campari E.G. ; Levi G. ; Maniezzo V., Cellular automata and roundabout traffic simulation, in: Cellular Automata: 6th International Conference on Cellular Automata for Research and Industry, ACRI 2004, Berlin, Springer Verlag, 2004, pp. 202 - 210 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

  • D. Bottazzi; A.Corradi; R. Montanari, Context-Aware Group Communication in Mobile Ad-Hoc Networks, in: Wired/Wireless Internet Communications, Lecture Notes in Computer Science, 2004, DOI: 10.1007/978-3-540-24643-5_4, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, 2957, pp. 38 - 47 (atti di: 2nd Conference on Wired/Wireless Internet Communications (WWIC 2004),, Frankfurt, DE, February 4-6, 2004) [Contributo in Atti di convegno]

  • Troina, Angelo; Aldini, Alessandro; Gorrieri, Roberto, Approximating Imperfect Cryptography in a Formal Model, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2004, 99, pp. 183 - 203 [Articolo in rivista]

  • R. LANOTTE; A. MAGGIOLO-SCHETTINI; S. TINI; A. TROINA; E. TRONCI, Automatic Analysis of the NRL Pump, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2004, 99, pp. 245 - 266 [Articolo in rivista]

  • R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA, Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security, in: -, Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on, -, IEEE CSP, 2004, pp. 114 - 121 (atti di: Second International Conference on Software Engineering and Formal Methods (SEFM 2004), Beijing, China, September 2004) [Contributo in Atti di convegno]

  • R. LANOTTE; A. MAGGIOLO-SCHETTINI; S. TINI; A. TROINA; E. TRONCI, Automatic Covert Channel Analysis of a Multilevel Secure Component, in: Javier Lopez Sihan Qing Eiji Okamoto, Information and Communications Security - 6th International Conference, ICICS 2004, Malaga, Spain, October 27-29, 2004. Proceedings, BERLIN HEIDELBERG, Springer-Verlag, 2004, LNCS 3269, pp. 249 - 261 (atti di: 6th International Conference on Information and Communications Security (ICICS 2004), Malaga, Spain, October 27-29, 2004) [Contributo in Atti di convegno]

  • R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA, Information Flow Analysis for Probabilistic Timed Automata, in: Proc. of IFIP Workshop on Formal Aspects in Security and Trust (FAST), Springer US, 2004, IFIP 173, pp. 13 - 26 (atti di: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, Toulouse, France, August 22–27, 2004) [Contributo in Atti di convegno]