Ramzi Ben Salah

Publication Activity (10 Years)

Years Active: 2003-2009
Publications (10 Years): 0

Publications

Ramzi Ben Salah, Marius Bozga, Oded Maler
Compositional timing analysis. EMSOFT (2009)
Grégory Batt, Ramzi Ben Salah, Oded Maler
On Timed Models of Gene Networks. FORMATS (2007)
Ramzi Ben Salah, Marius Bozga, Oded Maler
On timed components and their abstraction. SAVCBS (2007)
Ramzi Ben Salah, Marius Bozga, Oded Maler
On Interleaving in Timed Automata. CONCUR (2006)
Ramzi Ben Salah, Marius Bozga, Oded Maler
On Timing Analysis of Combinational Circuits. FORMATS (2003)