Francois Carcenac

According to our database, Francois Carcenac authored at least 3 papers between 2004 and 2017.

Collaborative distances:

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

2017

A Synchronous Look at the Simulink Standard Library.

Timothy Bourke, Francois Carcenac, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet

ACM Trans. Embed. Comput. Syst., 2017

2006

A formal framework for verifying distributed embedded systems based on abstraction methods.

Francois Carcenac, Frédéric Boniol

Int. J. Softw. Tools Technol. Transf., 2006

2004

Verification of an avionic system using timed model checking.

Francois Carcenac, Frédéric Boniol

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004