Pubblicazioni

Corral L; Sillitti A; Succi G, Software Assurance Practices for Mobile Applications, «COMPUTING», 2015, 97, pp. 1001 - 1022 [Articolo in rivista]

Pedrycz W; Succi G; Sillitti A; Iljazi J, Data description: A general framework of information granules, «KNOWLEDGE-BASED SYSTEMS», 2015, 80, pp. 98 - 108 [Articolo in rivista]

Corral L; Georgiev A.B; Sillitti A; Succi G, A Study of Energy-Aware Implementation Techniques: Redistribution of Computational Jobs in Mobile Apps, «SUSTAINABLE COMPUTING», 2015, 7, pp. 11 - 23 [Articolo in rivista]

Rossi B; Sarci`a A.S; Sillitti A; Succi G, Lo sviluppo del software per la pubblica amministrazione e le forze armate. Aspetti contrattualistici, metodologie per lo sviluppo, architetture e sicurezza, Milano, FrancoAngeli, 2015, pp. 150 . [Monografia/Trattato scientifico in forma di libro]

Messina A; Ciancarini P; Sillitti A; Succi G, A-CASE ``Agile" Computer Aided Software Engineering environment, in: Proceedings of the 2015 CAE Conference, 2015, pp. 1 - 4 (atti di: 2015 CAE Conference, Pacengo del Garda,VR, Italy, October, 2015) [Contributo in Atti di convegno]

Pedrycz W; Iljazi J; Sillitti A; Succi G, Predicting the Fate of Requirements in Embedded Domains, in: Proceedings of 4th International Conference in Software Engineering for Defence Applications: SEDA 2015, CHE, Springer International Publishing Switzerland 2016, 2015, pp. 297 - 306 (atti di: 4th International Conference in Software Engineering for Defence Applications: SEDA 2015, Roma, 26 -27 of May) [Contributo in Atti di convegno]

Roccetti M.; Colombini S.; Zanichelli M., Some reflections on bolognese food: A digital perspective, with a lot of fun, in: Proceedings 16th International Conference on Intelligent Games and Simulation, 2015, pp. 34 - 37 (atti di: 978-907738191-5, Amsterdam, 2015) [Contributo in Atti di convegno]

Padovani, Luca, Type Reconstruction for the Linear π-Calculus with Composite Regular Types, «LOGICAL METHODS IN COMPUTER SCIENCE», 2015, 11, pp. 1 - 45 [Articolo in rivista]

Padovani, Luca; Novara, Luca, Types for Deadlock-Free Higher-Order Programs, in: Proceedings of the IFIP International Conference on Formal Methods and Techniques (FORTE'15), DEU, Springer, 2015, 9039, pp. 3 - 18 (atti di: IFIP International Conference on Formal Methods and Techniques, Grenoble, France, 2-5 June 2015) [Contributo in Atti di convegno]

Padovani, Luca; Chen, Tzu Chun; Tosatto, Andrea, Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi, in: Proceedings of the International Conference on Coordination Models and Languages (COORDINATION'15), DEU, Springer, 2015, 9037, pp. 83 - 98 (atti di: International Conference on Coordination Models and Languages, Grenoble, France, 2-5 June 2015) [Contributo in Atti di convegno]

Crafa, Silvia; Padovani, Luca, The Chemical Approach to Typestate-Oriented Programming, in: Proceedings of the ACM International Conference on ObjectOriented Programming Systems Languages & Applications (OOPSLA'15), USA, ACM, 2015, pp. 917 - 934 (atti di: ACM International Conference on Object Oriented Programming Systems Languages & Applications, Pittsburgh, PA, USA, 25-30 October 2015) [Contributo in Atti di convegno]

Coppo, Mario; Dezani-ciancaglini, Mariangiola; Padovani, Luca; Yoshida, Nobuko, A gentle introduction to multiparty asynchronous session types, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), DEU, Springer Verlag, 2015, pp. 146 - 178 [Capitolo/Saggio in libro]