Items where Author is "Serafini, M."

Journal Article

Serafini, M. and Bokor, P. and Suri, Neeraj and Vinter, J. and Ademaj, A. and Brandstätter, W. and Tagliabo, F. and Koch, J. (2011) Application-level diagnostic and membership protocols for generic time-triggered systems. IEEE Transactions on Dependable and Secure Computing, 8 (2). pp. 177-193. ISSN 1545-5971

Serafini, M. and Bondavalli, A. and Suri, Neeraj (2007) Online diagnosis and recovery : On the choice and impact of tuning parameters. IEEE Transactions on Dependable and Secure Computing, 4 (4). pp. 295-312. ISSN 1545-5971

Contribution in Book/Report/Proceedings

Saissi, H. and Bokor, P. and Muftuoglu, C.A. and Suri, Neeraj and Serafini, M. (2013) Efficient verification of distributed protocols using stateful model checking. In: 2013 IEEE 32nd International Symposium on Reliable Distributed Systems :. IEEE, pp. 133-142. ISBN 9780769551159

Bokor, P. and Kinder, J. and Serafini, M. and Suri, Neeraj (2011) Supporting domain-specific state space reductions through local partial-order reduction. In: 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) :. IEEE, pp. 113-122. ISBN 9781457716386

Bokor, P. and Kinder, J. and Serafini, M. and Suri, Neeraj (2011) Efficient model checking of fault-tolerant distributed protocols. In: 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN) :. IEEE, pp. 73-84. ISBN 9781424492329

Serafini, M. and Dobre, D. and Majuntke, M. and Bokor, P. and Suri, Neeraj (2010) Eventually linearizable shared objects. In: PODC '10 Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing :. ACM, pp. 95-104. ISBN 9781605588889

Serafini, M. and Bokor, P. and Dobre, D. and Majuntke, M. and Suri, Neeraj (2010) Scrooge : Reducing the costs of fast Byzantine replication in presence of unresponsive replicas. In: 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN) :. IEEE, pp. 353-362. ISBN 9781424475001

Dobre, D. and Majuntke, M. and Serafini, M. and Suri, Neeraj (2010) HP : Hybrid paxos for WANs. In: 2010 European Dependable Computing Conference :. IEEE, pp. 117-126. ISBN 9781424465934

Bokor, P. and Serafini, M. and Suri, Neeraj (2010) On efficient models for model checking message-passing distributed protocols. In: 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. Springer, pp. 216-223. ISBN 3642134637

Majuntke, M. and Dobre, D. and Serafini, M. and Suri, Neeraj (2009) Abortable fork-linearizable storage. In: Principles of Distributed Systems : 13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009. Proceedings. Springer, pp. 255-269. ISBN 3642108768

Dobre, D. and Majuntke, M. and Serafini, M. and Suri, Neeraj (2009) Efficient robust storage using secret tokens. In: Stabilization, Safety, and Security of Distributed Systems : 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings. Springer, pp. 269-283. ISBN 3642051170

Bokor, P. and Serafini, M. and Suri, Neeraj and Veith, H. (2009) Role-based symmetry reduction of fault-tolerant distributed protocols with language support. In: Formal Methods and Software Engineering : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings. Springer, pp. 147-166. ISBN 3642103723

Serafini, M. and Suri, Neeraj (2008) Reducing the costs of large-scale BFT replication. In: LADIS '08 Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware :. ACM. ISBN 9781605582962

Bokor, P. and Serafini, M. and Sisak, Á. and Pataricza, A. and Suri, Neeraj (2007) Sustaining property verification of synchronous dependable protocols over implementation. In: 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) :. IEEE, pp. 169-178. ISBN 0769530435

Serafini, M. and Suri, Neeraj (2007) The fail-heterogeneous architectural model. In: 2007 26th IEEE International Symposium on Reliable Distributed Systems (SRDS 2007) :. IEEE, pp. 103-113. ISBN 076952995X

Serafini, M. and Suri, Neeraj and Vinter, J. and Ademaj, A. and Brandstätter, W. and Tagliabò, F. and Koch, J. (2007) A tunable add-on diagnostic protocol for time-triggered systems. In: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) :. IEEE, pp. 164-173. ISBN 0769528554

Contribution to Conference

Sakurai, K. and Matsubara, M. and Serafini, M. and Suri, Neeraj (2008) Dependable and cost-effective architecture for X-by-wire systems with membership middleware. In: Other32nd FISITA World Automotive Congress 2008, 2008-09-14 - 2008-09-19.