• 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
Article
2011
11 Citations (Scopus)

Application-level diagnostic and membership protocols for generic time-triggered systems

Serafini, M., Bokor, P., Suri, N., Vinter, J., Ademaj, A., Brandstätter, W., Tagliabo, F. & Koch, J., 26 Jan 2011, In : IEEE Transactions on Dependable and Secure Computing. 8, 2, p. 177-193 17 p., 5692145.

Research output: Contribution to journalArticle

Computer systems
Network protocols
Model checking
Middleware
2007
20 Citations (Scopus)

Online diagnosis and recovery: On the choice and impact of tuning parameters

Serafini, M., Bondavalli, A. & Suri, N., 1 Oct 2007, In : IEEE Transactions on Dependable and Secure Computing. 4, 4, p. 295-312 18 p.

Research output: Contribution to journalArticle

Fault detection
Tuning
Recovery
Aerospace applications
Message passing