Ramzi Ben Salah

According to our database, Ramzi Ben Salah authored at least 5 papers between 2003 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Compositional timing analysis.

Ramzi Ben Salah, Marius Bozga, Oded Maler

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

2007

On timed components and their abstraction.

Ramzi Ben Salah, Marius Bozga, Oded Maler

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

On Timed Models of Gene Networks.

Grégory Batt, Ramzi Ben Salah, Oded Maler

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

2006

On Interleaving in Timed Automata.

Ramzi Ben Salah, Marius Bozga, Oded Maler

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2003

On Timing Analysis of Combinational Circuits.

Ramzi Ben Salah, Marius Bozga, Oded Maler

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003