On Timing Analysis of Combinational Circuits. - Ramzi Ben Salah; Marius Bozga; Oded Maler (FORMATS, 2003)

On Interleaving in Timed Automata. - Ramzi Ben Salah; Marius Bozga; Oded Maler (CONCUR, 2006)

On Timed Models of Gene Networks. - Grégory Batt; Ramzi Ben Salah; Oded Maler (FORMATS, 2007)

On timed components and their abstraction. - Ramzi Ben Salah; Marius Bozga; Oded Maler (SAVCBS, 2007)

Compositional timing analysis. - Ramzi Ben Salah; Marius Bozga; Oded Maler (EMSOFT, 2009)