Advanced Search
Back to overview
Export results as [feed] RSS 1.0 [feed] RSS 2.0

Citation

Order by: Document Type | Year of publication | No order
Skip to: Article | Conference or workshop publication | Working paper
Number of items: 4.

Article

Freiling, Felix ; Jhumka, Arshad ; Fetzer, Christof ; Suri, Neeraj (2006) An approach to synthesize safe systems. International Journal of Security and Networks : IJSN Genève 62-74 [Article]

Conference or workshop publication

Freiling, Felix ; Jhumka, Arshad Global Predicate Detection in Distributed Systems with Small Faults. Masuzawa, Toshimitsu Lecture Notes in Computer Science 4838 296-310 In: Stabilization, safety, and security of distributed systems : 9th International Symposium, SSS 2007, Paris, France, November 14 - 16, 2007; proceedings (2007) Berlin [u.a.] [Conference or workshop publication]

Freiling, Felix ; Jhumka, Arshad Automating the addition of fail-safe fault-tolerance : Beyond fusion-closed specifications. Lakhnech, Yassine Lecture Notes in Computer Science 3253 183-198 In: Formal techniques, modelling and analysis of timed and fault-tolerant systems : FTRTFT 2004, Grenoble, France, September 22 - 24, 2004; proceedings (2004) Berlin [u.a.] [Conference or workshop publication]

Working paper

Jhumka, Arshad ; Freiling, Felix ; Fetzer, Christof ; Suri, Neeraj (2002) On Systematic Design of Fast and Perfect Detectors. Technical Report / Swiss Federal Institute of Technology (EPFL), School of Computer and Communication Sciences Lausanne 200263 [Working paper]

This list was created automatically on Sun Jul 12 04:54:47 2026 CEST