Pubblicazioni
-
Venanzi R.; Montori F.; Bellavista P.; Foschini L., Industry 4.0 Solutions for Interoperability: A Use Case about Tools and Tool Chains in the Arrowhead Tools Project, in: Proceedings - 2020 IEEE International Conference on Smart Computing, SMARTCOMP 2020, Institute of Electrical and Electronics Engineers Inc., 2020, pp. 428 - 433 (atti di: 6th IEEE International Conference on Smart Computing, SMARTCOMP 2020, ita, 2020) [Contributo in Atti di convegno] Open Access
-
Aguilar Igartua, Monica; Bellavista, Paolo; Loureiro, Antonio A.F.; Giannelli, Carlo, MSWiM'20: 23rd International ACM Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (Alicante, Spain, November 16-20, 2020), in: Proceedings of ACM MSWiM 2020, New York, ACM, 2020, pp. 1 - 4 [Breve introduzione]
-
Ricci, Alessandro; Croatti, Angelo; Bordini, Rafael H.; Hübner, Jomi F.; Boissier, Olivier, Exploiting Simulation for MAS Development and Execution—The JaCaMo-Sim Approach, in: Engineering Multi-Agent Systems, Springer International Publishing, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2020, 12589, pp. 42 - 60 (atti di: EMAS: International Workshop on Engineering Multi-Agent Systems, Auckland, New Zealand, May 8–9, 2020) [Contributo in Atti di convegno]
-
Audrito G.; Beal J.; Damiani F.; Pianini D.; Viroli M., Field-based coordination with the share operator, «LOGICAL METHODS IN COMPUTER SCIENCE», 2020, 16, pp. 1 - 41 [Articolo in rivista] Open Access
-
Casadei R.; Viroli M.; Audrito G.; Damiani F., FScaFi : A Core Calculus for Collective Adaptive Systems Programming, in: ISoLA 2020: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, Heidebeld, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2020, 12477, pp. 344 - 360 (atti di: 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020, Rhodes, Greece, 20-30 October 2020) [Contributo in Atti di convegno] Open Access
-
Accattoli B.; Dal Lago U.; Vanoni G., The machinery of interaction, in: ACM International Conference Proceeding Series, New York, Association for Computing Machinery, 2020, pp. 1 - 15 (atti di: 22nd International Symposium on Principles and Practice of Declarative Programming, PPDP 2020 - Part of 2020 Bologna Federated Conference on Programming Languages, BOPL 2020, ita, 2020) [Contributo in Atti di convegno] Open Access
-
Barak B.; Crubille R.; Dal Lago U., On higher-order cryptography, in: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), Dagstuhl, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2020, 168, pp. 1 - 16 (atti di: 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, deu, 2020) [Contributo in Atti di convegno] Open Access
-
Ronchi Della Rocca S.; Dal Lago U.; Faggian C., Solvability in a probabilistic setting, in: 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Dagstuhl, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2020, 167, pp. 1 - 17 (atti di: 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, fra, 2020) [Contributo in Atti di convegno] Open Access
-
Dal Lago U.; Guerrieri G.; Heijltjes W., Decomposing Probabilistic Lambda-Calculi, in: Foundations of Software Science and Computation Structures. 23rd International Conference, FOSSACS 2020., Cham, Springer, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2020, 12077, pp. 136 - 156 (atti di: 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, irl, 2020) [Contributo in Atti di convegno] Open Access
-
Davide Berardi, Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, A Survey on Microservices Security: Preliminary Findings, in: Microservices 2020, 2020, pp. 1 - 3 (atti di: Microservices 2020, Bologna (IT), 7-10 September 2020) [Riassunto (Abstract)]
-
Edwin Brady, James Davenport, William M. Farmer, Cezary Kaliszyk, Andrea Kohlhase, Michael Kohlhase, Dennis Müller, Karol Pąk, Claudio Sacerdoti Coen, CICM-WS 2019: Workshop Papers at 12th Conference on Intelligent Computer Mathematics CICM 2019. Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019), Aachen, Sun SITE Central Europe, 2020, pp. 91 (CEUR WORKSHOP PROCEEDINGS). [Curatela] Open Access
-
Ciancarini P.; Nuzzolese A.G.; Presutti V.; Russo D., SQuAP-Ont: An ontology of software quality relational factors from financial systems, «SEMANTIC WEB», 2020, 11, pp. 1007 - 1021 [Articolo in rivista] Open Access
-
Ciancarini P.; Missiroli M., Teaching the Essence of Software Development, in: 2020 IEEE 32nd Conference on Software Engineering Education and Training, CSEE and T 2020, Institute of Electrical and Electronics Engineers Inc., 2020, pp. 299 - 300 (atti di: 32nd IEEE Conference on Software Engineering Education and Training, CSEE and T 2020, Munich, Germany, 9-12 November 2020) [Contributo in Atti di convegno] Open Access
-
Ciancarini P.; Russo D., The Strategic Technical Debt Management Model: An Empirical Proposal, in: IFIP Advances in Information and Communication Technology, Springer, «IFIP ADVANCES IN INFORMATION AND COMMUNICATION TECHNOLOGY», 2020, 582, pp. 131 - 140 (atti di: 16th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2020, rus, 2020) [Contributo in Atti di convegno]
-
Ciancarini P.; Missiroli M.; Poggi F.; Russo D., An Open Source Environment for an Agile Development Model, in: IFIP Advances in Information and Communication Technology, Springer, «IFIP ADVANCES IN INFORMATION AND COMMUNICATION TECHNOLOGY», 2020, 582, pp. 148 - 162 (atti di: 16th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2020, rus, 2020) [Contributo in Atti di convegno]
-
Ciancarini P.; Ergasheva S.; Kholmatova Z.; Kruglov A.; Succi G.; Vasquez X.; Zuev E., Analysis of energy consumption of software development process entities, «ELECTRONICS», 2020, 9, pp. 1 - 17 [Articolo in rivista] Open Access
-
Ciancarini P.; Kruglov A.; Sadovykh A.; Succi G.; Zuev E., Elaborating validation scenarios based on the context analysis and combinatorial method: Example of the power-efficiency framework innomterics, «ELECTRONICS», 2020, 9, pp. 1 - 14 [Articolo in rivista] Open Access
-
Ciancarini P.; Masyagin S.; Succi G., Software design as story telling: Reflecting on the work of Italo Calvino, in: SPLASH 2020 - Onward! Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software,, Association for Computing Machinery, Inc, 2020, pp. 195 - 208 (atti di: 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! SPLASH 2020, usa, 18 - 20 November 2020) [Contributo in Atti di convegno] Open Access
-
Adele Veschetti, Cosimo Laneve, A Formal Analysis of the Bitcoin Protocol, in: F. de Boer, J. Mauro, Recent Developments in the Design and Implementation of Programming Languages, Schloss Dagstuhl--Leibniz-Zentrum fur Informatik, «OPEN ACCESS SERIES IN INFORMATICS», 2020, 86, pp. 1 - 17 (atti di: Recent Developments in the Design and Implementation of Programming Languages, ONLINE, 27/11/2020) [Contributo in Atti di convegno] Open Access
-
mattia frapporti; roberto ventresca, THE LONG-LASTING ‘PROVINCIALIZATION’ OF EUROPE. AN INTERVIEW WITH DIPESH CHAKRABARTY, «SOFT POWER, REVISTA EURO-AMERICANA DE TEORÍA E HISTORIA DE LA POLÍTICA», 2020, 7, pp. 47 - 66 [Articolo in rivista] Open Access