Boris Madzar

Publication Activity (10 Years)

Years Active: 2015-2016
Publications (10 Years): 2

Top Topics

Database Machine

Fault Tolerance

Formal Analysis

Top Venues

Publications

Boris Madzar, Jalil Boudjadar, Juergen Dingel, Thomas E. Fuhrman, S. Ramesh
Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. FACS (2016)
Abdeldjalil Boudjadar, Juergen Dingel, Boris Madzar, Jin Hyun Kim
Compositional Predictability Analysis of Mixed Critical Real Time Systems. FTSCS (2015)