Dipartimento di Informatica

Elena Pagani - PUBLICATIONS

Journals

Conferences

Book Chapters

Presentations

Datasets

Technical Reports

PhD Thesis

Journals

Danilo Bruschi, Andrea Di Pasquale, Andrea Lanzi, Elena Pagani. ``Ensuring Cybersecurity for Industrial Networks: A Solution for ARP-based MITM Attacks''. Accepted for publication in J. Computer Security, IOS Press, Feb.2024. ISSN: 0926-227X. DOI: 10.3233/JCS-230023
Mattia Giovanni Campana, Marco Colussi, Franca Delmastro, Sergio Mascetti, Elena Pagani. ``A Transfer Learning and Explainable Solution to Detect mpox from Smartphone Images''. In J. Pervasive and Mobile Computing, vol.98, Elsevier, Feb.2024. ISSN: 1574-1192. DOI: 10.1016/j.pmcj.2023.101874
Mattia Giovanni Campana, Franca Delmastro, Elena Pagani. ``Transfer learning for the efficient detection of COVID-19 from smartphone audio data''. In J. Pervasive and Mobile Computing, vol.89, Elsevier, Feb.2023. ISSN: 1574-1192. DOI: 10.1016/j.pmcj.2023.101754
Theofanis P. Raptis, Andrea Formica, Elena Pagani, Andrea Passarella, Marco Conti. ``Toward a Detailed Evaluation of Wireless Industrial Data Distribution Approaches''. In Sensors 2022; 22(7):2533 (Mar.2022). DOI: 10.3390/s22072533
Danilo Bruschi, Andrea Di Pasquale, Silvio Ghilardi, Andrea Lanzi, Elena Pagani. ``A formal verification of ARPON - a tool for avoiding Man-in-the-Middle attacks in Ethernet networks''. In IEEE Transactions on Dependable and Secure Computing, 19(6), pp.4082-4098, Nov.-Dec.2022. DOI: 10.1109/TDSC.2021.3118448 -- Companion website
Silvio Ghilardi, Elena Pagani. ``Higher-Order Quantifier Elimination, Counter Simulations and Fault-Tolerant Systems''. In Springer Journal of Automated Reasoning. Springer (2020). DOI: 10.1007/s10817-020-09578-5 -- Companion website
Adriano Baratè, Goffredo Haus, Luca Ludovico, Elena Pagani, Nello Scarabottolo. ``5G Technology for Music Education: A Feasibility Study''. In IADIS International Journal on Computer Science and Information Systems, vol. 14(1), pp. 31–52. IADIS (2019). ISSN: 1646-3692
Francesco Alberti, Silvio Ghilardi, Elena Pagani. ``Cardinality constraints for arrays (decidability results and applications)''. In Formal Methods in System Design - An International Journal, Springer, Apr. 2017. DOI:10.1007/s10703-017-0279-6
Valerio Arnaboldi, Mattia Campana, Franca Delmastro, Elena Pagani. ``A personalized recommender system for pervasive social networks''. In Journal on Pervasive and Mobile Computing, Elsevier, vol.36, Apr.2017, pp. 3-24. DOI: 10.1016/j.pmcj.2016.08.010
Marco Conti, Chiara Boldrini, Salil Kanhere, Enzo Mingozzi, Elena Pagani, Pedro M. Ruiz, Mohamed Younis. ``From MANET to people-centric networking: milestones and open research challenges''. In Journal on Computer Communications, Elsevier, vol.71, Nov. 2015, pp.1-21. DOI: 10.1016/j.comcom.2015.09.007
Elena Pagani, Lorenzo Valerio, Gian Paolo Rossi. ``Weak social ties improve content delivery in behavior-aware opportunistic networks''. In Journal on Ad Hoc Networks, Elsevier, Vol. 25, Part B, Feb. 2015, pp. 314-329. DOI: 10.1016/j.adhoc.2014.07.005
Lorenzo Valerio, Andrea Passarella, Marco Conti, Elena Pagani. ``Scalable data dissemination in opportunistic networks through cognitive methods''. In Journal on Pervasive and Mobile Computing, Elsevier, Vol.16, Part A, Jan.2015, pp.115-135. DOI: 10.1016/j.pmcj.2014.05.005
Chiara Boldrini, Kyunghan Lee, Melek Önen, Joerg Ott, Elena Pagani. ``Opportunistic Networks''. In Journal of Computer Communications, Elsevier, Vol. 48, July 2014, pp. 1-4. DOI: 10.1016/j.comcom.2014.04.007
Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi. ``Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories''. In Journal on satisfiability, boolean modeling and computation (JSAT), Vol. 8, pp. 29-61. ISSN 1574-0617 (2012).
Bruno Apolloni, Simone Bassis, Elena Pagani, Gian Paolo Rossi, Lorenzo Valerio. ``Mobility Timing for Agent Communities, a Cue for Advanced Connectionist Systems''. In IEEE Transactions on Neural Networks, Vol. 22, No. 12. (December 2011), pp. 2032-2049. DOI:10.1109/TNN.2011.2168536
Sabrina Gaito, Elena Pagani, Gian Paolo Rossi. ``Strangers help friends to communicate in opportunistic networks''. In Computer Networks Journal, Elsevier (2010), in press, ISSN 1389-1286, DOI: 10.1016/j.comnet.2010.10.006
Francesco Giudici, Elena Pagani, Gian Paolo Rossi, ``Comparison of Policies for Epidemic Broadcast in DTNs under Different Mobility Models''. In International Journal of Business Data Communications and Networking, 5(2) (IGI Global), pp. 1-15, April-June 2009.
Elena Pagani, Gian Paolo Rossi, Enrico Pertoso, ``ORION - Ontology-based queRy routIng in Overlay Networks''. In Journal of Parallel and Distributed Computing, 69(1), pp.28-38, Elsevier, Jan.2009.
Andrea Borella, Giovanni Cancellieri, Elena Pagani, Gian Paolo Rossi, ``Implementation Schemes for Multicast Bandwidth Brokers in Multidomain Networks''. International Journal of Computer and Telecommunications Networking (Elsevier), Vol. 37, n.5, pp. 519-540, Nov. 2001.
Elena Pagani, Gian Paolo Rossi, ``A Set of Multicast Primitives for Fault Tolerant Distributed Systems''. Journal of High Speed Networks, Vol. 4, No. 3, (Sep. 1995), IOS Press, pp. 299-316.
Elena Pagani, Gian Paolo Rossi, ``Providing Reliable and Fault Tolerant Broadcast Delivery in Mobile ad-hoc Networks''. Special Issue "Mobile Ad Hoc Networking" of ACM Journal of Mobile Networks and Applications (MONET), Vol. 4, No. 3, 1999, pp. 175-192.
Elisa Bertino, Elena Pagani, Gian Paolo Rossi, Pierangela Samarati, ``Protecting Information On the Web''. Communications of the ACM, Vol. 43, No. 11es (Nov. 2000), pp. 189-199. Virtual Edition, http://www.acm.org/pubs/contents/journals/cacm/2000-43/#11es

Conferences

2022

Mattia G. Campana, Franca Delmastro, Elena Pagani, ``L³-Net Deep Audio Embeddings to Improve COVID-19 Detection from Smartphone Data''. In Proc. 22nd IEEE International Conference on Smart Computing (SMARTCOMP), June 2022, pp. 100-107. DOI: 10.1109/SMARTCOMP55677.2022.00029
Pre-print available in arXiv

2019

Theofanis P. Raptis, Andrea Formica, Elena Pagani, Andrea Passarella, ``On the Performance of Data Distribution Methods for Wireless Industrial Networks''. In Proc. IEEE 20th International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM), June 2019. DOI: 10.1109/WoWMoM.2019.8793020
Adriano Baratè, Goffredo Haus, Luca Ludovico, Elena Pagani, Nello Scarabottolo. ``5G Technology and Its Applications to Music Education''. In Proc. Multi Conference on Computer Science and Information Systems, MCCSIS 2019 - Proceedings of the International Conference on e-Learning 2019, pp. 65–72. IADIS Press (2019). ISBN: 978-989-8533-88-3. DOI: 10.33965/el2019_201909f009
Adriano Baratè, Goffredo Haus, Luca Ludovico, Elena Pagani, Nello Scarabottolo. ``5G Technology for Augmented and Virtual Reality in Education''. In Proc. International Conference on Education and New Developments 2019 (END 2019), vol. 1, pp. 512–516. InScience Press (2019). ISBN: 978-989-54312-5-0. ISSN: 2184-1489 (electronic version), 2184-044X (printed version). DOI:10.36315/2019v1end116
Adriano Baratè, Goffredo Haus, Luca Ludovico, Elena Pagani, Nello Scarabottolo. ``5G Technology and Its Application to E-Learning''. In Proc. EDULEARN 2019, pp. 3457–3466. IATED Academy. ISBN: 978-84-09-12031-4. ISSN: 2340-1117. (Full paper)
Adriano Baratè, Goffredo Haus, Luca Ludovico, Elena Pagani, Nello Scarabottolo. ``Scenari d’uso della tecnologia 5G per l’apprendimento dentro e fuori la scuola''. In Atti Convegno Nazionale DIDAMATICA 2019, pp. 97–106. AICA - Associazione Italiana per l'Informatica ed il Calcolo Automatico (2019). ISBN: 978-88-98091-50-8

2017

Silvio Ghilardi, Elena Pagani, ``Second Order Quantifier Elimination: Towards Verification Applications''. In Proc. Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), Dec. 6-8 2017. CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073), Volume 2013, pp. 36-50, Aachen, 2017.
Silvio Ghilardi, Elena Pagani, ``Counter Simulations via Higher Order Quantifier Elimination: a preliminary report''. In Proc. 5th International Workshop on Proof eXchange for Theorem Proving (PxTP 2017), Sep.23-24 2017. Electronic Proceedings in Theoretical Computer Science, Vol.262, pp.39-53. DOI: 10.4204/EPTCS.262.5
Danilo Bruschi, Andrea Di Pasquale, Silvio Ghilardi, Andrea Lanzi, Elena Pagani, ``Formal verification of ARP (Address Resolution Protocol) through SMT-based model checking - A case study''. In Proc. 13th International Conference on integrated Formal Methods (iFM 2017), Sep. 18-22 2017, pp. 391-406. DOI: 10.1007/978-3-319-66845-1_26 -- Companion website

2016

Valerio Arnaboldi, Mattia Campana, Franca Delmastro, Elena Pagani, ``PLIERS: A Popularity-Based Recommender System for Content Dissemination in Online Social Networks''. In Proc. 31st ACM Symposium on Applied Computing (SAC), Pisa (Italy), Apr. 2016, pp. 671-673.
Francesco Alberti, Silvio Ghilardi, Elena Pagani, ``Counting Constraints in Flat Array Fragments''. In Proc. International Joint Conference on Automated Reasoning (IJCAR), Coimbra (Portugal), 27 June - 2 July 2016, Volume 9706 of the series Lecture Notes in Computer Science, pp. 65-81.
- Extended version available in CoRR, arXiv:1602.00458, Feb.2016.
Francesco Alberti, Silvio Ghilardi, Andrea Orsini, Elena Pagani, ``Counter Abstractions in Model Checking of Distributed Broadcast Algorithms: some case studies''. In Proc. 31st Italian Conference on Computational Logic (CILC), Milano (Italy), June 20-22 2016. CEUR Workshop Proceedings, Vol-1645, pp. 102-117.

2015

Federico Pedersini, Andrea Toscano, Elena Pagani, ``Study and Experimentation of Control Policies to Dynamically Maintain Micro-UAV Flight Stability''. In Proc. 1st ACM Workshop on Micro Aerial Vehicle Networks, Systems, and Applications for Civilian Use (DroNet), Florence (Italy), May 2015.
Francesco Alberti, Silvio Ghilardi, Andrea Orsini, Elena Pagani, ``SMT-based approaches to Model Checking of Distributed Broadcast Algorithms -- Work in progress''. Presented at International Workshop on Formal Reasoning in Distributed Algorithms (FRIDA), Grenoble (France), Jun. 2015. [Unpublished]

2013

Elena Pagani, Gian Paolo Rossi, ``Content Dissemination on Location-based Communities: a Comparative Analysis''. In Proc. 6th International Conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications (Mobilware 2013), IEEE Computer Society, Bologna (Italy), November 2013.
Elena Pagani, Gian Paolo Rossi, ``Interest-driven Forwarding for Delay-tolerant Mobile Ad Hoc Networks''. In Proc. 9th IEEE International Wireless Communications and Mobile Computing Conference (IWCMC 2013), Cagliari (Italy), July 1-4, 2013, pp. 718-723.
Lorenzo Valerio, Marco Conti, Elena Pagani, Andrea Passarella, ``Autonomic Cognitive-based Data Dissemination in Opportunistic Networks''. In Proc. 14th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2013), Madrid (Spain), June 4-7, 2013. Best paper award

2012

Elena Pagani, Gian Paolo Rossi. ``Context Sensing for Autonomic Forwarding in Opportunistic Networks''. In Proc. 8th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), Oct. 2012, pp. 324-331.
Elena Pagani, Gian Paolo Rossi. ``Utility-based Forwarding: a Comparison in Different Mobility Scenarios''. In Proc. Third International ACM Workshop on Mobile Opportunistic Networks (MobiOpp), March 2012, pp. 29-36.
Sabrina Gaito, Elena Pagani, Gian Paolo Rossi, Matteo Zignani. ``Sensing Multi-dimensional Human Behavior in Opportunistic Networks''. In Proc. Third International ACM Workshop on Mobile Opportunistic Networks (MobiOpp) - Poster Session, March 2012, pp. 89-90.

2011

Elena Pagani, Gian Paolo Rossi. ``Reasoning about Multicast in Opportunistic Networks''. In Proc. 5th IEEE WoWMoM Workshop on Autonomic and Opportunistic Communications (AOC), June 2011.

2010

Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise and Gian Paolo Rossi. ``Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study''. In Proc. 24th International Symposium on Distributed Computing (DISC), Sep. 2010. Lecture Notes in Computer Science, Volume 6343/2010, pp. 392-394.
Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi. ``Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study''. Proc. 10th International Workshop on Automated Verification of Critical Systems (AVOCS), Sep.2010.
Paolo Meroni, Elena Pagani, Gian Paolo Rossi, Lorenzo Valerio, ``An Opportunistic Platform for Android-based Mobile Devices''. In Proc. 2nd ACM/SIGMOBILE International Workshop on Mobile Opportunistic Networking (MobiOpp) - Demo Session, Pisa (Italy), Feb. 22-23 2010. (source code available here)

2009

Sabrina Gaito, Dario Maggiorini, Elena Pagani, Gian Paolo Rossi, ``Distance Vector Routing for Public Transportation Vehicular Networks: Performance Evaluation on a Real Topology''. In Proc. 2nd IFIP Wireless Days, Paris (France), Dec. 15-17 2009.
Sabrina Gaito, Elena Pagani, Gian Paolo Rossi, ``Opportunistic Forwarding in Workplaces''. In Proc. 2nd ACM SIGCOMM Workshop on Online Social Networks, Barcelona (Spain), Aug. 17 2009, pp. 55-60.
Sabrina Gaito, Elena Pagani, Gian Paolo Rossi, ``Fine-Grained Tracking of Human Mobility in Dense Scenarios''. In 6th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON) - Poster Session, pp. 40-42, Roma (Italy), June 22-26 2009. (Poster pdf)
Francesco Giudici, Elena Pagani, Gian Paolo Rossi, ``Self-Adaptive and Stateless Broadcast in Delay and Disruption Tolerant Networks''. In Proc. Italian Networking Workshop, Cortina D'Ampezzo (Italy), Jan. 2009. http://cortina09.deis.unibo.it/

2008

Giorgio Gamberini, Francesco Giudici, Elena Pagani, Gian Paolo Rossi, ``Impact of History on Epidemic Broadcast in DTNs''. In Proc. 1st IFIP/IEEE Wireless Days Conference, Dubai (United Arab Emirates), Nov. 2008. ISBN/ISSN: 978-1-4244-2829-8.
Francesco Giudici, Elena Pagani, Gian Paolo Rossi, ``Impact of Mobility on Epidemic Broadcast in DTNs''. In Proc. 13th IFIP International Conference on Personal Wireless Communications, Toulouse (France), 30 Sep. - 2 Oct. 2008. http://www.irit.fr/PWC2008/
Francesco Giudici, Elena Pagani, Gian Paolo Rossi, ``Providing Privacy in Location Based Services''.Proceedings IADIS International Conference on Telecommunications, Networks and Systems, Amsterdam (The Netherlands), 22-24 July 2008, http://www.tns-conf.org/2008.
Philip Grew, Elena Pagani, Ivan Longhi, Andrea Cardinale, ``A Step from CAA toward MAA: A Test-Question Repository''. In Proc. IASTED International Conference on Web-Based Education (WBE 2008), Innsbruck (Austria), 17-19 Mar. 2008.

2007

Hooman Tahayori, Elena Pagani, Giovanni Degli Antoni, Sadegh Astaneh, ``Enhanced Sensor Network: A Specialized Infrastructure for Context-Aware Applications''. In Proc. IADIS International Conference on Applied Computing, Feb. 2007, http://www.iadis.org/confman_ac2007/accepted.asp
Hooman Tahayori, Giovanni Degli Antoni, Elena Pagani, Sadegh Astaneh, ``Context Network''. Proc. 20th Canadian Conference on Electrical and Computer Engineering (CCECE 2007), Apr. 2007, http://www.ewh.ieee.org/reg/7/ccece07/techprog.php
Giorgio Biacchi, Philip Grew, Elena Pagani, ``A Trusted Assessment Environment in a Network-Booted OS''. In Proc. IASTED International Conference on Web-Based Education (WBE 2007), Mar. 2007.

2006

Francesco Giudici, Elena Pagani, Gian Paolo Rossi, ``Adaptive Retransmission Policy for Reliable Warning Diffusion in Vehicular Networks''. In Proc. Third Annual IEEE/IFIP Conference on Wireless On demand Network Systems and Services (WONS'06), Les Menuires (France), Jan. 18-20 2006.
Philip Grew, Francesco Giudici, Elena Pagani, ``Specification of a Functional Architecture for E-Learning Supported by Wireless Technologies''. In Proc. 2nd IEEE International Workshop on PervasivE Learning (PerEL 2006), pp. 216-220, Mar. 2006.
Philip Grew, Elena Pagani, ``Channeling the bricks-and-mortar lesson onto students' devices''. In Proc. IASTED Intl. Conf. on Web-Based Education (WBE'06), Jan. 2006.

2005

Francesco Giudici, Elena Pagani, ``Spatial and Traffic-Aware Routing (STAR) for Vehicular Systems''.Proc. International Conference on High Performance Computing and Communications (HPCC'05), Sorrento, Sep. 21-24 2005, pp. 77-86 (http://dx.doi.org/10.1007/11557654_11).
- Extended version of this work included in Technical Report RT 07-05, Information and Communication Department, Universita' degli Studi di Milano, Jun. 2005. It is also included in Proc. 3rd Italian Networking Workshop (pdf version), Courmayeur, Jan. 11-13 2006.
Philip Grew, Elena Pagani, ``Towards a Wireless Architecture for Mobile Ubiquitous E-Learning'', Proc. Intl. Workshop on Learning Communities in the Era of Ubiquitous Computing, pp. 20-29, Milano, Jun. 13 2005. http://www.idi.ntnu.no/~divitini/ubilearn2005/
Philip Grew, Ivan Longhi, Elena Pagani, ``Functional Architecture of a Web-Based Distributed System for University Curricula Support'', Proc. IASTED Intl. Conf. on Web-Based Education (WBE'05), pp. 332-337, Grindelwald, Feb. 21-23 2005.

2004

Silvana Castano, Alfio Ferrara, Stefano Montanelli, Elena Pagani, Gian Paolo Rossi, Stefano Tebaldi,``On Combining a Semantic Engine and Flexible Network Policies for P2P Knowledge Sharing Networks'', Proc. 1st International Workshop on Grid and Peer-to-Peer Computing Impacts on Large Scale Heterogeneous Distributed Database Systems (GLOBE 2004), Zaragoza, Aug. 30 2004.
Elena Pagani, Stefano Tebaldi, Gian Paolo Rossi, ``A Service Discovery Infrastructure for Heterogeneous Wired/Bluetooth Networks'', Proc. International Workshop on Ubiquitous Computing (IWUC 2004) , Porto, Apr. 13-14 2004.
Elena Pagani, Gian Paolo Rossi, Stefano Tebaldi, ``An On-Demand Bluetooth Scatternet Formation Algorithm'', Proc. Wireless On-Demand Network Systems Conference (WONS 2004), Madonna di Campiglio (Tn), Jan. 21-23 2004, pp. 130-143.
Philip Grew, Ivan Longhi, Elena Pagani, Fiorella De Cindio, Laura Anna Ripamonti, ``An Open-Source LMS Evolves as Learning/Teaching/Testing Environment'', Proc. Intl. Conf. on Technology-Enhanced Learning (TEL'04), Milan, Nov. 18-19 2004.

2003

Silvana Castano, Alfio Ferrara, Stefano Montanelli, Elena Pagani, Gian Paolo Rossi, ``Ontology-Addressable Contents in P2P Networks'', Proc. 1st Workshop on Semantics in Peer-to-Peer and Grid Computing (SemPGRID'03), Budapest, May 20 2003, pp. 55-68.
Elena Pagani, Matteo Pelati, Gian Paolo Rossi, ``A Linux-Based Testbed for Multicast Sessions Set-up in Diff-Serv Networks''. Proceedings 2nd International Workshop on QoS in Multiservice IP Networks (QoS-IP 2003), Lecture Notes in Computer Science 2601 (Springer), pp.619-633, Milano, Feb 24-26 2003.

2002

Pierpaolo Baccichet, Elena Pagani, Gian Paolo Rossi, ``Quality of Service Multipath Multicast Protocol''. Proceedings 4th ACM International Workshop on Networked Group Communication (NGC'02), Boston, Oct. 23-25 2002, pp. 123-129.
Elena Pagani, Gian Paolo Rossi, ``Distributed Bandwidth Broker for QoS Multicast Traffic''.Proceedings 22nd IEEE International Conference on Distributed Computing Systems (ICDCS 2002), Vienna, Jul. 2-5 2002, pp. 319-326.
Elena Pagani, Gian Paolo Rossi, ``Measurement-Based Admission Control for Dynamic Multicast Groups in Diff-Serv Networks''. Proceedings 2nd International IFIP-TC6 Networking Conference (NETWORKING 2002), Lecture Notes in Computer Science Vol. 2345 (Springer), Pisa, May 19-24 2002, pp. 1184-1189.
- An extended version of this paper is included in the Proceedings of the Joint Planet-IP & Nebula Workshop, Courmayeur, Jan 9-11 2002.

2001

Elena Pagani, Gian Paolo Rossi, ``A Framework for the Admission Control of QoS Multicast Traffic in Mobile Ad Hoc Networks''. Proc. Fourth ACM International Workshop on Wireless Mobile Multimedia, Roma, Jul. 21 2001, pp. 3-12.
Elena Pagani, Gian Paolo Rossi, ``Analysis and Evaluation of QoS-Sensitive Multicast Routing Policies''. Proc. First IEEE International Conference on Networking (ICN'01), Lecture Notes in Computer Science Vol. 2093 (Springer), Colmar, Jul. 9-13 2001, pp. 468-477.
Elena Pagani, Gian Paolo Rossi, ``Implementing On-line Techniques to Allocate File Resources in Large Distributed Systems''. Proc. 9th IEEE Euromicro Workshop on Parallel and Distributed Processing, Mantova, Feb. 7-9 2001, pp. 377-384.
Andrea Borella, Giovanni Cancellieri, Elena Pagani, Gian Paolo Rossi, ``Quality-of-Service Guarantees for Multicast Traffic in Heterogeneous Multi-Service Networks''. Proc. International Workshop on QoS in Multiservice IP Networks. Lecture Notes in Computer Science Vol. 1989 (Springer), Rome, Jan. 24-26 2001, pp. 97-112.
Elena Pagani, Gian Paolo Rossi, Dario Maggiorini, ``A Multicast Transport Service with Bandwidth Guarantees for Diff-Serv Networks''. Proc. International Workshop on QoS in Multiservice IP Networks. Lecture Notes in Computer Science Vol. 1989 (Springer), Rome, Jan. 24-26 2001, pp. 129-140.

2000

Elena Pagani, Gian Paolo Rossi, ``A Functional Architecture for End-to-end Quality-of-Service in a Multi-domain Network''. Proc. 1st IEEE European Conference on Universal Multiservice Networks (ECUMN 2000), Colmar (France), Oct. 2-4 2000, pp. 20-34.
Dario Maggiorini, Elena Pagani, Gian Paolo Rossi, ``A Testbed Environment for the Performance Evaluation of Modular Network Architectures''. Proc. 1st IEEE European Conference on Universal Multiservice Networks (ECUMN 2000), Colmar (France), Oct. 2-4 2000, pp. 283-292.
Elena Pagani, Gian Paolo Rossi, ``Call Admission Multicast Protocol (CAMP) for End-to-end Quality-of-Service''. Proc. 5th Workshop ``Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi'', Ischia, 18-20 Sep. 2000.
Dario Maggiorini, Elena Pagani, Gian Paolo Rossi, ``A Buffering Strategy for End-to-end Quality-of-Service Using the Real Time Protocol''. Proc. 5th Workshop ``Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi'', Ischia, 18-20 Sep. 2000.
Elisa Bertino, Elena Pagani, Gian Paolo Rossi, ``An Adaptive Concurrency Control Protocol for Mobile Transactions''. Proc. DIMACS Workshop on Mobile Networks and Computing, March 25-27 1999. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 52, May 2000, pp. 31-49.

1999

Elena Pagani, Gian Paolo Rossi, ``A Functional Architecture for Quality-of-Service in Multi-domain Networks''. Proc. 4th Workshop ``Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi'', Fonte Cerreto (L'Aquila), 13-15 Sep. 1999, pp. 34-35.
Elena Pagani, Gian Paolo Rossi, ``An On-Demand Shared Tree with Hybrid State for Multicast Routing in Ad Hoc Mobile Wireless Networks''. Proc. IEEE 1999 International Workshop on Group Communication (IWGC'99), Aizu-Wakamatsu, Japan, 21-24 Sep. 1999, pp. 4-9.

1997

Danilo Bruschi, Elena Pagani, Gian Paolo Rossi, ``Group-Oriented Services in Asynchronous Systems''.Proceedings Secondo Workshop ``Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi'', Bertinoro, 23-25 Sep. 1997.
Elena Pagani, Gian Paolo Rossi, ``Reliable Broadcast in Mobile Multihop Packet Networks''.Proceedings 3rd ACM/IEEE International Conference on Mobile Computing and Networking (MOBICOM'97), Budapest, 26-30 Sep. 1997, pp. 34-42.
Elisa Bertino, Elena Pagani, Gian Paolo Rossi, ``Transaction Management in Mobile Computing Systems''. Proceedings Secondo Workshop ``Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi'', Bertinoro, 23-25 Sep. 1997.

1996

Elena Pagani, Gian Paolo Rossi, ``Comparing Performances and Quality of Service of Group Communication Protocols''. Proceedings 22nd Euromicro Conference ``Beyond 2000: Hardware and Software Design Strategies'', Prague, 2-5 Sep. 1996, pp. 451-458.

1994

Elena Pagani, Gian Paolo Rossi, ``A Ring Based Multicast Service over a High-Speed Deflection Network''. Proceedings 20th Euromicro Conference. System Architecture and Integration, Liverpool, UK, 5-8 Sep. 1994, pp. 404-411.

1993

Elena Pagani, Gian Paolo Rossi, ``Providing Circuit Service over a High-Speed Deflection Network''.Proceedings Euromicro '93 Symposium on Microprocessing and Microprogramming, Barcellona, Spain, 6-9 Sep. 1993, in ``Microprocessing and Microprogramming. The Euromicro Journal'', Vol. 38, n. 1-5, (Sep. 1993), pp. 733-739.
Rosario Aiello, Elena Pagani, Gian Paolo Rossi, ``Design of a Reliable Multicast Protocol''. Proceedings IEEE INFOCOM '93 Conference, San Francisco, CA, 28 Mar.-1 Apr. 1993, pp. 75-81.
Rosario Aiello, Elena Pagani, Gian Paolo Rossi, ``Causal Ordering in Reliable Group Communications''.Proceedings ACM SIGCOMM '93 Conference, San Francisco, CA, 13-17 Sep. 1993, in ``Computer Communication Review'', Vol. 23, n. 4, (Oct. 1993), pp. 106-115.
Rosario Aiello, Elena Pagani, Gian Paolo Rossi, ``An Efficient Algorithm for Group Communication''.Proceedings 5th IEEE Symposium on Parallel and Distributed Processing 1993, Dallas, TX, 1-4 Dec. 1993, pp. 226-232.

Book Chapters

Philip Grew, Elena Pagani, Francesco Giudici, ``From e-learning to m-learning: architectures to support university teaching''. Chapter IV in ``Architecture Solutions for E-Learning Systems'', ed. Claus Pahl, Idea Group Inc., Nov. 2007, ISBN: 978-1-59904-633-4. (not available due to copyright constraints).
Elisa Bertino, Elena Pagani, Gian Paolo Rossi, ``Fault-Tolerance and Recovery in Mobile Computing Systems''. In ``Recovery Mechanisms in Database Systems'', Ch. 24, Eds Prof. Vijay Kumar and Prof. Meichun Hsu, Ed. Prentice-Hall, 1998, pp. 661-696.

Presentations

Elena Pagani, From WSNs to VANETs: paradigms, technologies and open research issues for challenged networks. Keynote Talk in International Conference on Wireless, Intelligent, and Distributed Environment for Communication (WIDECOM 2019), Feb.11 2019, Milano (Italy). [slides]
Elena Pagani, Designing communication algorithms for opportunistic networks: the epidemic approach. Lecture for the 1st KES Doctoral School on Artificial Immune Systems. Sep.18, 2007, Vietri sul Mare (Italy). [Local copy]

Datasets

Elena Pagani, Marcello M. Bersani, Madalina Erascu, Francesco Marconi, Silvio Ghilardi. ``Formal Verification of Storm Topologies - Supplementary material''. Zenodo. April 2024. DOI: 10.5281/zenodo.10955819
Mattia Giovanni Campana, Marco Colussi, Franca Delmastro, Sergio Mascetti, Elena Pagani. ``Mpox Close Skin Images''. Zenodo. May 2023. DOI: 10.5281/zenodo.8360076
Mattia Giovanni Campana, Marco Colussi, Franca Delmastro, Sergio Mascetti, Elena Pagani. ``Mobile mpox detection system - Supplementary material''. Zenodo. May 2023. DOI: 10.5281/zenodo.8360122
Paolo Meroni, Sabrina Gaito, Elena Pagani, Gian Paolo Rossi, CRAWDAD unimi/pmtr. Dataset publicly available in IEEE DataPort. DOI: 10.15783/C7BS3T
The dataset contains mobility traces from 44 mobile devices, collected at the University of Milano in the period 13 November 2008 - 1 December 2008.

Technical Reports

Valerio Arnaboldi, Mattia Campana, Franca Delmastro, Elena Pagani, PLIERS: PopuLarity-based ItEm Recommender System. Technical Report TR-06-2015, Istituto di Informatica e Telematica, CNR (National Research Council), Jun. 2015.
Valerio Arnaboldi, Mattia Campana, Franca Delmastro, Elena Pagani, Tag-based Recommender System for Context-Aware Content Dissemination in Opportunistic Networks. Technical Report TR-07-2015, Istituto di Informatica e Telematica, CNR (National Research Council), Jun. 2015.
Sabrina Gaito, Elena Pagani, Gian Paolo Rossi, ``Contact Analysis in Workplaces''. Technical Report RT-30-09, Universita' degli Studi di Milano, Mar. 2009.
Francesco Giudici, Elena Pagani, Gian Paolo Rossi, ``Epidemic Diffusion of Data in Opportunistic Networks''. Technical Report RT-20-07, Universita' degli Studi di Milano, Sep. 2007.
Elena Pagani, Gian Paolo Rossi, Enrico Pertoso, ``ORION - Ontology-based Routing of querIes in Overlay Networks''. Rapporto Interno n. RT15-06, Dipartimento di Informatica e Comunicazione, Universita' degli Studi di Milano, Dic. 2006.
Elena Pagani, Gian Paolo Rossi, ``Architectural Requirements for the Transport of Multicast Packets with Maximum Delay Delivery Guarantees''. Technical Report 244-99, Computer Science Dept., University of Milan, Nov. 1999.
Elena Pagani, Gian Paolo Rossi, ``A Functional Architecture for End-to-end Quality-of-Service in a Multi-domain Network''. Technical Report 235-99, Computer Science Dept., University of Milan, Jun. 1999.
Elena Pagani, Gian Paolo Rossi, ``Comparison of Group Communication Protocols in a Faulty Environment''. Rapporto Interno n. 129-95, Dipartimento di Scienze dell'Informazione, Universita' degli Studi di Milano,Feb. 1995.
Elena Pagani, Gian Paolo Rossi, ``A Ring Based Multicast Service over a High-Speed Deflection Network''. Rapporto Interno n. 103-93, Dipartimento di Scienze dell'Informazione, Universita' degli Studi di Milano, Oct. 1993.
Elena Pagani, Gian Paolo Rossi, ``A Probabilistic Model to Evaluate the Performances of Deflection Networks''. Rapporto Interno n. 106-93, Dipartimento di Scienze dell'Informazione, Universita' degli Studi di Milano, Nov. 1993.

PhD Thesis

Elena Pagani, ``Primitive per la Comunicazione di Gruppo Affidabile in Sistemi Distribuiti con Stazioni Mobili''. Ph.D. Thesis, Computer Science Dept., Universita' degli Studi di Milano, 1998.

Suggestions and requests: Elena Pagani

Last updated: 23 May 2024