According to our database1, Francois Carcenac authored at least 3 papers between 2004 and 2017.
Legend:Book In proceedings Article PhD thesis Other
ACM Trans. Embed. Comput. Syst., 2017
A formal framework for verifying distributed embedded systems based on abstraction methods.
Int. J. Softw. Tools Technol. Transf., 2006
Verification of an avionic system using timed model checking.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004