titoli, abstracts, parole chiave >>>
Browse by Author
Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Number of items: 5.

Bodei, Chiara and Brodo, Linda and Degano, Pierpaolo and Gao, Han (2010) Detecting and preventing type flaws at static time. Journal of Computer Security, Vol. 18 (2), p. 229-264. eISSN 1875-8924. Article.

Bodei, Chiara and Degano, Pierpaolo and Gao, Han and Brodo, Linda (2007) Detecting and preventing type flaws: a control flow analysis with tags. Electronic Notes in Theoretical Computer Science, Vol. 194 (1), p. 3-22. ISSN 1571-0661. Article.

Curti, Michele and Degano, Pierpaolo and Prandi, Davide and Priami, Corrado and Quaglia, Paola and Brodo, Linda (2005) Formal executable descriptions of biological systems. In: 2nd International Conference on the Quantitative Evaluation of Systems: Proceedings, 19-22 September 2005, Torino, Italy. Los Alamitos (CA), IEEE Computer Society. p. 2-11. ISBN 0-7695-2427-3. Conference or Workshop Item.

Bodei, Chiara and Brodo, Linda and Degano, Pierpaolo and Gao, Han (2008) Statically detecting message confusions in a multi-protocol setting. In: Proceedings of the International Workshop on Issues in the Theory of Security (WITS'08), 2008, Pittsburgh (PA), USA. [1-18]. Conference or Workshop Item.

Brodo, Linda and Degano, Pierpaolo and Priami, Corrado (2007) A Stochastic semantics for bioambients. In: Parallel Computing Technologies: 9th International Conference, PaCT 2007: proceedings, 3-7 September 2007, Pereslavl-Zalessky, Russia. Berlin - New York, Springer. p. 22-34. (Lecture Notes in Computer Science, 4671/2007). ISBN 978-3-540-73939-5. Conference or Workshop Item.

This list was generated on Fri Apr 23 04:07:21 2021 CEST.