Francois Carcenac

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
A Synchronous Look at the Simulink Standard Library.
ACM Trans. Embed. Comput. Syst., 2017

2006
A formal framework for verifying distributed embedded systems based on abstraction methods.
Int. J. Softw. Tools Technol. Transf., 2006

2004
Verification of an avionic system using timed model checking.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004


  Loading...