Publications list from the IRIT database (since 2005)

For publications prior to 2005, please refer to the list below...

Publications list at DBLP (note that several important publications are missing from this list, for reasons unknown)

The manually edited list below is no longer maintained since 2013

International Journals (reviewed):

National Journals (reviewed):

Monograph chapters

Reviewed conference and workshop articles


Other book chapters

Co-edited proceedings :

PhD Thesis

I. Ober Specification and Validation of Timed Systems using Formal Description Languages. Institute National Polytechnique de Toulouse, France. September 21, 2001
[extended abstract (in French)] [full text (in English)]