Dipartimento di Informatica
Corso Svizzera 185
10149 Torino - Italia
+39 011 6706851
+39 011 751603
Master Degree in Computer Science (Università di Bologna), October 2002.
Ph.D. in Computer Science (Università di Pisa), June 2006.
Postdoc at LIX (École Polytechnique) and LSV (ENS Cachan), September 2006-September 2007.
Full-Time Researcher (Università di Torino) since October 2007.
Research Fields of Interest
Formal Description Techniques of Concurrent Systems.
Modelling and Verification of Real-Time and Probabilistic Systems.
Foundations of Security Analysis and Design.
Systems Biology and Computational Ecology.
List of Publications
Most of the papers available from this document appear in print, and the corresponding copyright is held by the publisher.
While the papers can be used for personal use, redistribution or reprinting for commercial purposes is prohibited.
L. Bioglio, C. Calcagno, M. Coppo, F. Damiani, E. Sciacca, S. Spinella, A. Troina A Spatial Calculus of Wrapped Compartments
5th International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'11), arXiv.org, arXiv:1108.3558v2, pp. 25-39, Paris (Fontainebleau), France, August 2011.
M. Aldinucci, M. Coppo, F. Damiani, M. Drocco, M. Torquati, A. Troina On Designing Multicore-aware Simulators for Biological Systems
19th Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP'11), IEEE Computer Society Press, pp. 318-325, Ayia Napa, Cyprus, February 2011.
M. Coppo, F. Damiani, M. Drocco, E. Grassi, E. Sciacca, S. Spinella, A. Troina Hybrid Calculus of Wrapped Compartments
4th International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'10), EPTCS 40, pp. 102-120, Jena, Germany, August 2010.
M. Coppo, F. Damiani, M. Drocco, E. Grassi, A. Troina Stochastic Calculus of Wrapped Compartments
8th Workshop on Quantitative Aspects of Programming Languages (QAPL'10), EPTCS 28, pp. 82-98, Paphos, Cyprus, March 2010.
S. Capecchi, A. Troina Types for BioAmbients
3rd Workshop "From Biology To Concurrency and back" (FBTC'10), EPTCS 19, pp. 103-115, Paphos, Cyprus, March 2010.
M. Coppo, F. Damiani, E. Grassi, M. Guether, A. Troina Modelling an Ammonium Transporter with SCLS
2nd International Workshop on Computational Models for Cell Processes (CompMod'09), EPTCS 6, pp. 77-92, Eindhoven, the Netherlands, November 2009.
M. Dezani-Ciancaglini, P. Giannini, A. Troina A Type System for a Stochastic CLS
3rd International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'09), EPTCS 11, pp. 91-106, Bologna, Italy, September 2009.
J. Krivine, R. Milner, A. Troina Stochastic Bigraphs
24th Conference on the Mathematical Foundations of Programming Semantics (MFPS'08), invited paper, Elsevier ENTCS 218, pp. 73-96, Philadelphia (PA), USA, May 2008.
J. Goubault-Larrecq, C. Palamidessi, A. Troina A Probabilistic Applied Pi-Calculus
5th Asian Symposium on Programming Languages and Systems (APLAS'07), Springer LNCS 4807, pp. 175-190, Singapore, November 2007.
R. Barbuti, S. Cataudella, A. Maggiolo-Schettini, P. Milazzo, A. Troina A Probabilistic Calculus for Molecular Systems
13th Int. Workshop on Concurrency Specification and Programming (CS&P'04), Humboldt-Univeristaet, Informatik-Berichte 170, pp. 202-216,
Caputh, Germany, September 2004.
R. Lanotte, A. Maggiolo-Schettini, S. Tini, A. Troina, E. Tronci Automatic Analysis of the NRL Pump
MEFISTO Project 2003 (Formal Methods for Security and Time), Elsevier ENTCS 99, pp. 245-266, November 2003.