Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Marco
    Last name: Serafini
    DBLP: 02/6087
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 39 of 39  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Muhammad Anis Uddin Nasir, Gianmarco De Francisci Morales, Nicolas Kourtellis, Marco Serafini.
    When two choices are not enough: Balancing at scale in Distributed Stream Processing.
    32nd IEEE International Conference on Data Engineering, ICDE 2016, Helsinki, Finland, May 16-20, 2016 2016 (0) 2016
    Conference paper
    Marco Serafini, Rebecca Taft, Aaron J. Elmore, Andrew Pavlo, Ashraf Aboulnaga, Michael Stonebraker.
    Clay: Fine-Grained Adaptive Partitioning for General Database Schemas.
    PVLDB 2016, Volume 10 (0) 2016
    Journal article
    Muhammad Anis Uddin Nasir, Gianmarco De Francisci Morales, David García-Soriano, Nicolas Kourtellis, Marco Serafini.
    The Power of Both Choices: Practical Load Balancing for Distributed Stream Processing Engines.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Diogo Behrens, Marco Serafini, Flavio Paiva Junqueira, Sergei Arnautov, Christof Fetzer.
    Scalable Error Isolation for Distributed Systems.
    12th USENIX Symposium on Networked Systems Design and Implementation, NSDI 15, Oakland, CA, USA, May 4-6, 2015 2015 (0) 2015
    Conference paper
    Muhammad Anis Uddin Nasir, Gianmarco De Francisci Morales, David García-Soriano, Nicolas Kourtellis, Marco Serafini.
    The power of both choices: Practical load balancing for distributed stream processing engines.
    31st IEEE International Conference on Data Engineering, ICDE 2015, Seoul, South Korea, April 13-17, 2015 2015 (0) 2015
    Conference paper
    Carlos H. C. Teixeira, Alexandre J. Fonseca, Marco Serafini, Georgos Siganos, Mohammed J. Zaki, Ashraf Aboulnaga.
    Arabesque: a system for distributed graph mining.
    Proceedings of the 25th Symposium on Operating Systems Principles, SOSP 2015, Monterey, CA, USA, October 4-7, 2015 2015 (0) 2015
    Journal article
    Carlos H. C. Teixeira, Alexandre J. Fonseca, Marco Serafini, Georgos Siganos, Mohammed J. Zaki, Ashraf Aboulnaga.
    Arabesque: A System for Distributed Graph Mining - Extended version.
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Muhammad Anis Uddin Nasir, Gianmarco De Francisci Morales, Nicolas Kourtellis, Marco Serafini.
    When Two Choices Are not Enough: Balancing at Scale in Distributed Stream Processing.
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Muhammad Anis Uddin Nasir, Gianmarco De Francisci Morales, David García-Soriano, Nicolas Kourtellis, Marco Serafini.
    Partial Key Grouping: Load-Balanced Partitioning of Distributed Streams.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Marco Serafini, Essam Mansour, Ashraf Aboulnaga, Kenneth Salem, Taha Rafiq, Umar Farooq Minhas.
    Accordion: Elastic Scalability for Database Systems Supporting Distributed Transactions.
    PVLDB 2013, Volume 7 (0) 2014
    Conference paper
    Rebecca Taft, Essam Mansour, Marco Serafini, Jennie Duggan, Aaron J. Elmore, Ashraf Aboulnaga, Andrew Pavlo, Michael Stonebraker.
    E-Store: Fine-Grained Elastic Partitioning for Distributed Transaction Processing.
    PVLDB 2014, Volume 8 (0) 2014
    Conference paper
    Flavio Paiva Junqueira, Marco Serafini.
    On Barriers and the Gap between Active and Passive Replication (Full Version).
    CoRR 2013, Volume 0 (0) 2013
    Conference paper
    Aristides Gionis, Flavio Paiva Junqueira, Vincent Leroy, Marco Serafini, Ingmar Weber.
    Piggybacking on Social Networks.
    PVLDB 2012, Volume 6 (0) 2013
    Conference paper
    Flavio Paiva Junqueira, Marco Serafini.
    On Barriers and the Gap between Active and Passive Replication.
    Distributed Computing - 27th International Symposium, DISC 2013, Jerusalem, Israel, October 14-18, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Habib Saissi, Péter Bokor, Can Arda Muftuoglu, Neeraj Suri, Marco Serafini.
    Efficient Verification of Distributed Protocols Using Stateful Model Checking.
    IEEE 32nd Symposium on Reliable Distributed Systems, SRDS 2013, Braga, Portugal, 1-3 October 2013 2013 (0) 2013
    Conference paper
    Diogo Behrens, Christof Fetzer, Flavio Paiva Junqueira, Marco Serafini.
    Towards transparent hardening of distributed systems.
    Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013 2013 (0) 2013
    Conference paper
    Flavio Paiva Junqueira, Vincent Leroy, Marco Serafini, Adam Silberstein.
    Shepherding social feed generation with Sheep.
    Proceedings of the Fifth Workshop on Social Network Systems, Bern, Switzerland, April 10, 2012 2012 (0) 2012
    Conference paper
    Aristides Gionis, Flavio Paiva Junqueira, Vincent Leroy, Marco Serafini, Ingmar Weber.
    Social piggybacking: leveraging common friends to generate event streams.
    Proceedings of the Fifth Workshop on Social Network Systems, Bern, Switzerland, April 10, 2012 2012 (0) 2012
    Conference paper
    Flavio Paiva Junqueira, Marco Serafini.
    Brief Announcement: Consensus and Efficient Passive Replication.
    Distributed Computing - 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Miguel Correia, Daniel Gómez Ferro, Flavio Paiva Junqueira, Marco Serafini.
    Practical Hardening of Crash-Tolerant Systems.
    2012 USENIX Annual Technical Conference, Boston, MA, USA, June 13-15, 2012 2012 (0) 2012
    Journal article
    Marco Serafini, Péter Bokor, Neeraj Suri, Jonny Vinter, Astrit Ademaj, Wolfgang Brandstätter, Fulvio Tagliabo, Jens Koch.
    Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems.
    IEEE Trans. Dependable Sec. Comput. 2011, Volume 8 (0) 2011
    Conference paper
    Péter Bokor, Johannes Kinder, Marco Serafini, Neeraj Suri.
    Efficient model checking of fault-tolerant distributed protocols.
    Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2011, Hong Kong, China, June 27-30 2011 2011 (0) 2011
    Conference paper
    Flavio Paiva Junqueira, Benjamin C. Reed, Marco Serafini.
    Zab: High-performance broadcast for primary-backup systems.
    Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2011, Hong Kong, China, June 27-30 2011 2011 (0) 2011
    Conference paper
    Diogo Becker, Flavio Paiva Junqueira, Marco Serafini.
    Leader Election for Replicated Services Using Application Scores.
    Middleware 2011 - ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Péter Bokor, Johannes Kinder, Marco Serafini, Neeraj Suri.
    Supporting domain-specific state space reductions through local partial-order reduction.
    26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011 2011 (0) 2011
    Conference paper
    Dan Dobre, Matthias Majuntke, Marco Serafini, Neeraj Suri.
    HP: Hybrid Paxos for WANs.
    Eighth European Dependable Computing Conference, EDCC-8 2010, Valencia, Spain, 28-30 April 2010 2010 (0) 2010
    Conference paper
    Péter Bokor, Marco Serafini, Neeraj Suri.
    On Efficient Models for Model Checking Message-Passing Distributed Protocols.
    Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings 2010 (0) 2010
    Conference paper
    Marco Serafini, Dan Dobre, Matthias Majuntke, Péter Bokor, Neeraj Suri.
    Eventually linearizable shared objects.
    Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010 2010 (0) 2010
    Conference paper
    Marco Serafini.
    Fault Characterization and Diagnosis in Distributed Systems.
    Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, Algorithmic synthesis of reactive and discrete-continuous systems, AlgoSyn 2010, May 31 - June 2, 2010 (0) 2010
    Conference paper
    Marco Serafini, Péter Bokor, Dan Dobre, Matthias Majuntke, Neeraj Suri.
    Scrooge: Reducing the costs of fast Byzantine replication in presence of unresponsive replicas.
    Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010, Chicago, IL, USA, June 28 - July 1 2010 2010 (0) 2010
    Conference paper
    Marco Serafini.
    Effiziente Fehlertoleranz für Web-Basierte Systeme.
    Ausgezeichnete Informatikdissertationen 2010 2011 (0) 2010
    Conference paper
    Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith.
    Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support.
    Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Matthias Majuntke, Dan Dobre, Marco Serafini, Neeraj Suri.
    Abortable Fork-Linearizable Storage.
    Principles of Distributed Systems, 13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Dan Dobre, Matthias Majuntke, Marco Serafini, Neeraj Suri.
    Efficient Robust Storage Using Secret Tokens.
    Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith.
    Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction.
    Distributed Computing, 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Marco Serafini, Neeraj Suri, Jonny Vinter, Astrit Ademaj, Wolfgang Brandstätter, Fulvio Tagliabo, Jens Koch.
    A Tunable Add-On Diagnostic Protocol for Time-Triggered Systems.
    The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK, Proceedings 2007 (0) 2007
    Conference paper
    Péter Bokor, Marco Serafini, Áron Sisak, András Pataricza, Neeraj Suri.
    Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation.
    Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA 2007 (0) 2007
    Conference paper
    Marco Serafini, Neeraj Suri.
    The Fail-Heterogeneous Architectural Model.
    26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), Beijing, China, October 10-12, 2007 2007 (0) 2007
    Conference paper
    Marco Serafini, Andrea Bondavalli, Neeraj Suri.
    Online Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters.
    IEEE Trans. Dependable Sec. Comput. 2007, Volume 4 (0) 2007
    Show item 1 to 39 of 39  

    Your query returned 39 matches in the database.