Silvia Bonomi

Ricercatore


bonomi@dis.uniroma1.it
Stanza: B111
Tel: +39 0677274017
Fax: +39 0677274106
Biografia: 

I am a PhD in Computer Engineering at Department of Computer and Systems Science, Sapienza University of Rome, and in Institut de Formation Supérieure en Informatique et Communication (IFSIC/IRISA) of Rennes (France).

Current Position: Fixed-term Assistant Professor at Dipartimento di Ingegneria Informatica Automatica e Gestionale Antonio Ruberti - SAPIENZA University of Rome .

Previous Academic Appointments 

  • July 2010 - November 2011 Research Fellow [Assegnista di Ricerca] at Dipartimento di Ingegneria Informatica Automatica e Gestionale Antonio Ruberti - SAPIENZA University of Rome
     
  • November 2006 - June 2010 Ph.D. student in the University of Rome "La Sapienza" and my advisor is Prof. Roberto Baldoni. 
    My Ph.D. is in agreement with the University of Rennes 1 and my advisor in Rennes is Prof. Michel Raynal.
     
  • - June 2006 - October 2006 Research Engineer at MIDLAB group, participating to the european SemanticGov project and to the italian ESTEEM project.
Pubblicazioni: 

 

International Journal

1.R. Baldoni, S. Bonomi, M. Raynal, Implementing a Regular Register in an Eventually Synchronous Distributed System prone to Continuous Churn, IEEE Transactions on Parallel and Distributed Systems (TPDS), 23(1): 102-109, 2012.

2.R. Baldoni, S. Bonomi, G. Lodi, M. Platania, L. Querzoni, Data Dissemination Supporting Complex Event Pattern Detection International Journal on Next Generation Computing, 2011

3.S. Montanelli, D. Bianchini, C. Aiello, R. Baldoni, C. Bolchini, S. Bonomi, S. Castano, T. Catarci, V. De Antonellis, A. Ferrara, M. Melchiori, E. Quintarelli, M. Scannapieco, F. A. Schreiber, L. Tanca, The ESTEEM platform: enabling P2P semantic collaboration through emerging collective knowledge, in Journal of Intelligent Information Systems, 36(2) pag. 167-195 (2011)

4.D. Bianchini, S. Montanelli, C. Aiello, R. Baldoni, C. Bolchini, S. Bonomi, S. Castano, T. Catarci, V. De Antonellis, A. Ferrara, M. Melchiori, E. Quintarelli, M. Scannapieco, F. A. Schreiber, L. Tanca, Emergent Semantics and Cooperation in Multi-knowledge Communities: the ESTEEM Approach, in World Wide Web Vol. 13 N. 1-2, pag. 3-31, 2010

5.R. Baldoni, S. Bonomi, L. Querzoni, S. Tucci Piergiovanni, Investigating the existence and the regularity of Logarithmic Harary Graphs, in Theoretical Computer Science 410(21-23), pag. 2110-2121 (2009)

 

International Conferences and Workshops

1.S. Bonomi, A. Klappenecker, H. Lee, J. Welch Stochastic Modeling of Dynamic Distributed Systems with Crash Recovery and Its Application to Atomic Registers (to appear) in Proceedings of the 16th International Conference on Principles of Distributed Systems (OPODIS), 2012.

2.G. Ateniese, R. Baldoni, S. Bonomi, G. A. Di Luna Oblivious Assignment with m Slots, in Proceedings of 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) 2012.

3.R. Baldoni, S. Bonomi, M. Platania, L. Querzoni Dynamic Message Ordering for Topic-Based Publish/Subscribe Systems, in Proceedings of the 26th IEEE International Parallel & Distributed Processing Symposium (IPDPS) 2012.

4.R. Baldoni, S. Bonomi, A. Cerocchi, L. Querzoni Virtual Tree: a Robust Overlay Network for Ensuring Interval Valid Queries in Dynamic Distributed Systems, Proceedings of the 13th International conference on distributed computing and networking (ICDCN), 2012.

5.R. Baldoni, S. Bonomi, Amir Soltani Nezhad, An Algorithm for implementing BFT Registers in Distributed Systems with Bounded Churn, in Proceedings of 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) 2011.

6.S. Bonomi, Amir Soltani Nezhad, Multi-writer Regular Registers in Dynamic Distributed Systems with Byzantine Failures, in Proceedings of 3rd Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS), 2011.

7.R, Baldoni, S, Bonomi, A, Soltani Nezhad, Brief Announcement: Validity Bound of Regular Registers with Churn and Byzantine Processes, in Proceedings of 30th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC11), June 2011.

8.R. Baldoni, S. Bonomi, M. Raynal, k-bounded Set Objects in Eventually Synchronous Distributed Systems with Churn and Continuous Accesses in Proceedings of 13th European Workshop on Dependable Computing (EWDC11), May 2011

9.R. Baldoni, S. Bonomi, M. Raynal Value-based Sequential Consistency for Set Objects in Dynamic Distributed Systems in Proceedings of 16th International Euro-Par Conference, 2010

10. R. Baldoni, S. Bonomi, A. Cerocchi, L. Querzoni Improving Validity of Query Answering in Dynamic Systems in Proceeding of 3rd ACM SIGOPS/SIGACT Workshop on Reliability, Availability, and Security (WRAS), July 2010

11. R. Baldoni, S. Bonomi, G. Lodi, L. Querzoni Data Dissemination supporting collaborative complex event processing: characteristics and open issues in Proceedings of Workshop on Data Distribution for Large-Scale Complex Critical Infrastructures (DD4LCCI), 2010

12.R. Baldoni, S. Bonomi, M. Raynal Joining a Distributed Shared Memory Computation in a Dynamic Distributed System Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) 2009

13.R. Baldoni , S Bonomi , Y. Busnel , R. Prakash FAROES: Fairness And Reliability using Overlay Expenseless Set-out for duty-cycle optimization in WSN in Proceeding of 22nd International Conference on Parallel and Distributed Computing and Communication Systems (PDCCS) 2009

14.R. Baldoni, S. Bonomi, M. Raynal Regular Register: an Implementation in a Churn Prone Environment In Proceeding of 16th International Colloquium on Structural Information (SIROCCO) 2009

15.R. Baldoni, S. Bonomi, A. M. Kermarrek, M. Raynal Implementing a Register in a Dynamic Distributed System In Proceeding of 29th International Conference on Distributed Computing Systems (ICDCS), 2009

16.M. Roy, F. Bonnet, L. Querzoni, S. Bonomi, M. Killijian, D. Powell Geo-registers : an abstraction for spatial-based distributed computing In Proceed- ing of 12th International Conference On Principles Of DIstributed Systems (OPODIS), 2008

17.R. Baldoni, S. Bonomi, L. Querzoni, S. Tucci Piergiovanni Investigating the Existence and the Regularity of Logarithmic Harary Graphs In Proceedings of the 27th IEEE International International Symposium on Reliable Distributed Systems (SRDS), 2008

18.S. Bonomi, V. Colaianni, F. Patrizi, D. Pozzi, R. Russo, M. Mecella SWSCE – An Automatic Web Service Composition Engine in Proceedings of the First International Workshop on Emergent Semantics and cooperaTion in opEn sys- tems (ESTEEM08) co-located with DEBS08, Roma, Italia

19.S. Bonomi, S. Tucci Piergiovanni Core-Based Reconfiguration for Reliable Overlay Networks in Proceedings of the First International Workshop on Emergent Semantics and cooperaTion in opEn systems (ESTEEM08) co-located with DEBS08, Roma, Italia

20.F. Bonnet, S. Bonomi, M. Killijian, L. Querzoni, S. Scipioni, S. Tucci Piergiovanni FADA: Formalisms and Algorithms for Resilient Services Design in Ambient Systems Fast Abstract of the 7th European Dependable Computing Conference (EDCC), 2008

21.The esteem team Emergent Semantics and Cooperation in MultiKnowledge En- vironments: the ESTEEM Architecture in Proceeding of International Workshop on Semantic Data and Service Integration (SDSI07) co-located with VLDB07, Vienna, Austria, 2007

22.R. Baldoni, S. Bonomi, L. Querzoni, A. Rippa, S. Tucci Piergiovanni, A. Virgillito Fighting Erosion in Dynamic Large-Scale Overlay Networks in Proceeding of IEEE 21st International Conference on Advanced Information Networking and Applications (AINA), 2007

Ph.D Dissertation

S. Bonomi Implementing Distributed Computing Abstractions in the presence of Churn, 2010

Area di ricerca: 
Sistemi distribuiti
Interessi di ricerca: 

Dynamic Distributed Systems: Distributed systems are rapidly evolving, and the advent of new classes of applications and technologies, such as VANET, Airborne Networks, Social Networks, Smart Environments, P2P, broad area supercomputing, and distributed cloud services, is radically changing the way we think about them. Dynamic distributed systems have structures that are self-defined at any instant by entities that might autonomously decide to par- ticipate in the same distributed application. These systems are characterized by dynamic arrival and departure of participating entities and normally it may not be possible to assume anything about the universe of participants, their identities, capabilities, or reliability. Understanding the fundamentals of how to master this dynamic dimension is of primary importance to design of robust, dependable, and predictable distributed systems. 

Publish/Subscribe Systems: The publish/subscribe paradigm provides commu- nication services where message addressing is implicitly handled by an Event Notification Service (ENS) that matches the content of events produced by pub- lishers against interests expressed by subscribers in the form of subscriptions. Such paradigm is characterized by the following fundamental properties: (i) asynchronous communication, (ii) decoupling between senders and receivers, (iii) decoupling in time and space. Several semantics have been defined con- cerning the possible structure of the ENS (i.e. topic vs. content) and a lot of research is now going in the direction of enriching such specifications with several Quality of Service (QoS) policies. 

Peer-to-peer Systems: In the last decade the advent of peer-to-peer (p2p) com- puting introduced a new model of distributed computation where (i) the scale of the system can be very large, comprising up to millions of users (peers), (ii) each peer acts independently from all the others, actually precluding any form of centralized network-wide administration or management, (iii) each peer acts as a client of the service and cooperates with other peers to enable services for other participants, and (iv) the system, due to its size and the autonomy of each peer, is intrinsically dynamic as peers can join in or leave at any time. In this context, one of the main issues to be addressed in order to build distributed applications is how to guarantee connectivity among participants. Connectivity is, in fact, the basic building block to enable network communications among peers. 
Other interests are: Cloud Computing, Dependable Middleware, Information Sys- tems, Distributed Computing, Mobile Computing.