Address
Research
Teaching
Short Curriculum

Address

Université Paul Sabatier
IRIT - MACAO
118, route de Narbonne
31062 Toulouse  - France
Tel : +(33) 5 61 55 7423
Fax : +(33) 5 61 55 6847
E-mail :

Office: 475 IRIT 2

back to top

Research

Topics

Model driven engineering

Domain specific languages
Analysis and design - languages and methods
Components
Real-time and embedded systems modelling and verification
Formalization of object oriented languages

Projects

TopCased - ongoing
Domino (ANR) – ongoing

OMEGA  (IST) - finished
UMsdL (ITEA) - finished
Wooddes (IST) - finished
Convergence (RNRT) - finished

Co-organized events

Co-chair  of the 11 th ACM/IEEE International MODELS Conference, Toulouse, October 2008

Models for Non-functional Aspects of Component-Based Software workshop at MoDELS Conference, Montego Bay, Jamaica, October, 2005
Specification and Validation of UML Models for Real Time and Embedded Systems workshop at UML 2004, Lisbon, Portugal, October, 2004
Models for Non-functional Aspects of Component-Based Software workshop at UML 2004, Lisbon, Portugal, October, 2004
Specification and Validation of UML Models for Real Time and Embedded Systems workshop at UML 2003, San Francisco, USA, October, 2003
Model Driven Architecture in Real-Time Systems workshop at UML 2003, San Francisco, USA, October, 2003
Quality of Service in Component-Based Software Engineering workshop at ADA 2003, Toulouse, France, June, 2003
Component-Based Software Engineering and Modeling Non-Functional Aspects workshop at UML 2002, Dresden, Germany, October 1st, 2002
Concurrency Issues in UML workshop at UML 2001, Toronto, Canada, October, 2001

Publications

From DBLP ....
From IRIT data base ...

other...

PhD Thesis : INP Toulouse, 2001  Harmonizing Design Languages with Object-Oriented Extensions and an Executable Semantics
UML /UML 2.0 tutorial at Artist Summer School, Naesslingen, Sweden, September 29-October 2^nd, 2005 (here)

statistics (H-Index, G-Index, ...)

back to top

Teaching

2008/2009
M1 : Modélisation des Composants Logiciels (Software component modelling - graduate level)
M2ISI : Modélisation des Systèmes Temps Réel (Real Time Systems Modelling - graduate level)
M2ISI : Modélisation et méta-modélisation (Modelling and Meta-modelling - graduate level)
M2 : Ingénierie de Modèles  (Model Drieven Engineering - graduate level)
L3 : Conception des Bases de Données (Database design - undergradute level)
L3 : Méthodologie de Développement : Tests de Logiciel (Developement Methodology : Software Testing - undergradute level)

2007/2008
M1    : Modélisation des Composants Logiciels (Software component modelling - graduate level)
M2    : Modélisation des Systèmes Temps Réel (Real Time Systems Modelling - graduate level)
M2    : Ingénierie de Modèles  (Model Drieven Engineering - graduate level)
L3     : Méthodologie de Développement : Tests de Logiciel (Developement Methodology : Software Testing - undergradute level)

back to top

Last update: January 2009