• 528 Citations
  • 11 h-Index
20062019
If you made any changes in Pure these will be visible here soon.

Research Output 2006 2019

  • 528 Citations
  • 11 h-Index
  • 33 Conference contribution
  • 2 Chapter
  • 2 Article
  • 2 Conference article
Filter
Conference contribution
2019

Practical hardening of crash-tolerant systems

Correia, M., Ferro, D. G., Junqueira, F. P. & Serafini, M., 1 Jan 2019, Proceedings of the 2012 USENIX Annual Technical Conference, USENIX ATC 2012. USENIX Association, p. 453-466 14 p. (Proceedings of the 2012 USENIX Annual Technical Conference, USENIX ATC 2012).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hardening
Error detection
Application programming interfaces (API)
Servers
Throughput
2018
4 Citations (Scopus)

P-store: An elastic database system with predictive provisioning

Taft, R., El-Sayed, N., Serafini, M., Lu, Y., Aboulnaga, A., Stonebraker, M., Mayerhofer, R. & Andrade, F., 27 May 2018, SIGMOD 2018 - Proceedings of the 2018 International Conference on Management of Data. Association for Computing Machinery, p. 205-219 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Servers
Industry
2017
1 Citation (Scopus)

Graph data mining with Arabesque

Hussein, E., Ghanem, A., Dos Santos Dias, V. V., Teixeira, C. H. C., Abuoda, G., Serafini, M., Siganos, G., Morales, G., Aboulnaga, A. & Zaki, M., 9 May 2017, SIGMOD 2017 - Proceedings of the 2017 ACM International Conference on Management of Data. Association for Computing Machinery, Vol. Part F127746. p. 1647-1650 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Data mining
Demonstrations
Processing
4 Citations (Scopus)

QFrag: Distributed graph search via subgraph isomorphism

Serafini, M., Morales, G. & Siganos, G., 24 Sep 2017, SoCC 2017 - Proceedings of the 2017 Symposium on Cloud Computing. Association for Computing Machinery, Inc, p. 214-228 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Graph Search
Subgraph
Isomorphism
Graph in graph theory
Processing
2016
35 Citations (Scopus)

When two choices are not enough: Balancing at scale in Distributed Stream Processing

Nasir, M. A. U., Morales, G., Kourtellis, N. & Serafini, M., 22 Jun 2016, 2016 IEEE 32nd International Conference on Data Engineering, ICDE 2016. Institute of Electrical and Electronics Engineers Inc., p. 589-600 12 p. 7498273

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Resource allocation
Processing
Throughput
Mathematical operators
Costs
2015
54 Citations (Scopus)

Arabesque: A system for distributed graph mining

Teixeira, C. H. C., Fonseca, A. J., Serafini, M., Siganos, G., Zaki, M. J. & Aboulnaga, A., 4 Oct 2015, SOSP 2015 - Proceedings of the 25th ACM Symposium on Operating Systems Principles. Association for Computing Machinery, Inc, p. 425-440 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Bioinformatics
Semantic Web
Application programming interfaces (API)
3 Citations (Scopus)

Scalable error isolation for distributed systems

Behrens, D., Serafini, M., Arnautov, S., Junqueira, F. P. & Fetzer, C., 2015, Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2015. USENIX, p. 605-620 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Data storage equipment
Outages
Hardening
Hardware
Processing
63 Citations (Scopus)

The power of both choices: Practical load balancing for distributed stream processing engines

Nasir, M. A. U., Morales, G., García-Soriano, D., Kourtellis, N. & Serafini, M., 26 May 2015, Proceedings - International Conference on Data Engineering. IEEE Computer Society, Vol. 2015-May. p. 137-148 12 p. 7113279

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Resource allocation
Engines
Processing
Throughput
2014
50 Citations (Scopus)

E-Store: Fine-grained elastic partitioning for distributed transaction processing systems

Taft, R., Mansour, E., Serafini, M., Duggan, J., Elmore, A. J., Aboulnaga, A., Pavlo, A. & Stonebraker, M., 1 Nov 2014, Proceedings of the VLDB Endowment. 3 ed. Association for Computing Machinery, Vol. 8. p. 245-256 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Processing
Industry
Throughput
2013
4 Citations (Scopus)

Efficient verification of distributed protocols using stateful model checking

Saissi, H., Bokor, P., Muftuoglu, C. A., Suri, N. & Serafini, M., 1 Dec 2013, Proceedings of the IEEE Symposium on Reliable Distributed Systems. p. 133-142 10 p. 6656269

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Distributed Protocol
Model checking
Model Checking
Message passing
Message Passing
3 Citations (Scopus)

On barriers and the gap between active and passive replication

Junqueira, F. P. & Serafini, M., 1 Dec 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8205 LNCS. p. 299-313 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8205 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Broadcast
Replication
Time Complexity
Broadcasting
Barrier Function
4 Citations (Scopus)

Towards transparent hardening of distributed systems

Behrens, D., Fetzer, C., Junqueira, F. P. & Serafini, M., 1 Jan 2013, Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013. Association for Computing Machinery

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hardening
Throughput
Concretes
Data storage equipment
2012

Brief announcement: Consensus and efficient passive replication

Junqueira, F. & Serafini, M., 9 Nov 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7611 LNCS. p. 425-426 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7611 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fault tolerance
Replication
Update
Replica
Fault Tolerance
4 Citations (Scopus)

Shepherding social feed generation with Sheep

Junqueira, F. P., Leroy, V., Serafini, M. & Silberstein, A., 14 May 2012, Proceedings of the 5th Workshop on Social Network Systems, SNS'12.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Agglomeration
Throughput
Bandwidth
Data storage equipment
1 Citation (Scopus)

Social piggybacking: Leveraging common friends to generate event streams

Gionis, A., Junqueira, F., Leroy, V., Serafini, M. & Weber, I., 14 May 2012, Proceedings of the 5th Workshop on Social Network Systems, SNS'12.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Throughput
2011
18 Citations (Scopus)

Efficient model checking of fault-tolerant distributed protocols

Bokor, P., Kinder, J., Serafini, M. & Suri, N., 26 Aug 2011, Proceedings of the International Conference on Dependable Systems and Networks. p. 73-84 12 p. 5958208

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Model checking
Network protocols
Data storage equipment
Costs
1 Citation (Scopus)

Leader election for replicated services using application scores

Becker, D., Junqueira, F. & Serafini, M., 23 Dec 2011, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7049 LNCS. p. 289-308 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7049 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Leader Election
Latency
Metric
Open Source
Broadcast
6 Citations (Scopus)

Supporting domain-specific state space reductions through local partial-order reduction

Bokor, P., Kinder, J., Serafini, M. & Suri, N., 1 Dec 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings. p. 113-122 10 p. 6100044

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Message passing
Model checking
Explosions
Network protocols
Experiments
114 Citations (Scopus)

Zab: High-performance broadcast for primary-backup systems

Junqueira, F. P., Reed, B. C. & Serafini, M., 26 Aug 2011, Proceedings of the International Conference on Dependable Systems and Networks. p. 245-256 12 p. 5958223

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Synchronization
Recovery
Experiments
2010
9 Citations (Scopus)

Eventually linearizable shared objects

Serafini, M., Dobre, D., Majuntke, M., Bokor, P. & Suri, N., 8 Sep 2010, Proceedings of the Annual ACM Symposium on Principles of Distributed Computing. p. 95-104 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Message passing
7 Citations (Scopus)

HP: Hybrid paxos for WANs

Dobre, D., Majuntke, M., Serafini, M. & Suri, N., 12 Jul 2010, EDCC-8 - Proceedings of the 8th European Dependable Computing Conference. p. 117-126 10 p. 5474190

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Wide area networks
Collision
Network protocols
Quorum
State Machine
7 Citations (Scopus)

On efficient models for model checking message-passing distributed protocols

Bokor, P., Serafini, M. & Suri, N., 21 Jul 2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6117 LNCS. p. 216-223 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6117 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Distributed Protocol
Message passing
Model checking
Message Passing
Model Checking
11 Citations (Scopus)

Scrooge: Reducing the costs of fast Byzantine replication in presence of unresponsive replicas

Serafini, M., Bokor, P., Dobre, D., Majuntke, M. & Suri, N., 20 Sep 2010, Proceedings of the International Conference on Dependable Systems and Networks. p. 353-362 10 p. 5544295

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Costs
3 Citations (Scopus)

Weak consistency as a last resort

Serafini, M. & Junqueira, F., 2 Dec 2010, Proceedings of the 4th ACM/SIGOPS Workshop on Large-Scale Distributed Systems and Middleware, LADIS 2010. p. 49-54 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Availability
Wide area networks
Servers
2009
10 Citations (Scopus)

Abortable fork-linearizable storage

Majuntke, M., Dobre, D., Serafini, M. & Suri, N., 31 Dec 2009, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5923 LNCS. p. 255-269 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5923 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Linearizability
Servers
Server
Emulation
Shared Memory
1 Citation (Scopus)

Efficient robust storage using secret tokens

Dobre, D., Majuntke, M., Serafini, M. & Suri, N., 1 Dec 2009, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5873 LNCS. p. 269-283 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5873 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Communication
Fault tolerance
Fault Tolerance
Time Complexity
Scalability

Reducing the costs of large-scale BFT replication

Serafini, M. & Suri, N., 1 Dec 2009, ACM International Conference Proceeding Series. Vol. 341. 1529993

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Costs
4 Citations (Scopus)

Role-based symmetry reduction of fault-tolerant distributed protocols with language support

Bokor, P., Serafini, M., Suri, N. & Veith, H., 1 Dec 2009, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5885 LNCS. p. 147-166 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5885 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Distributed Protocol
Symmetry Reduction
Fault-tolerant
Symmetry
Network protocols
2008

Dependable and cost-effective architecture for X-by-wire systems with membership middleware

Sakurai, K., Matsubara, M., Serafini, M. & Suri, N., 1 Dec 2008, FISITA World Automotive Congress 2008, Congress Proceedings - Electronics. Vol. 6. p. 160-169 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Middleware
Network architecture
Wire
Program processors
Costs
2007
12 Citations (Scopus)

A tunable add-on diagnostic protocol for time-triggered systems

Serafini, M., Suri, N., Vinter, J., Ademaj, A., Brandstätter, W., Tagliabò, F. & Koch, J., 16 Nov 2007, Proceedings of the International Conference on Dependable Systems and Networks. p. 164-173 10 p. 4272968

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Computer systems
Network protocols
Middleware
1 Citation (Scopus)

Sustaining property verification of synchronous dependable protocols over implementation

Bokor, P., Serafini, M., Sisak, Á., Pataricza, A. & Suri, N., 1 Dec 2007, Proceedings of IEEE International Symposium on High Assurance Systems Engineering. p. 169-178 10 p. 4404739

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Network protocols
Communication
5 Citations (Scopus)

The fail-heterogeneous architectural model

Serafini, M. & Suri, N., 1 Dec 2007, Proceedings of the IEEE Symposium on Reliable Distributed Systems. p. 103-113 11 p. 4365688

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Network protocols
Failure modes
Servers
Denial-of-service attack
2006
1 Citation (Scopus)

Modeling on-line tests in safety-critical systems

Serafini, M., Lollini, P. & Bondavalli, A., 1 Dec 2006, Proceedings of the European Safety and Reliability Conference 2006, ESREL 2006 - Safety and Reliability for Managing Risk. Vol. 1. p. 231-238 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

methodology
Error detection
hardware
Hardware
diagnostic