Research
What I'm interested in
My research activities in software engineering focus on software safety in the context of model-driven engineering (MDE). More precisely I investigate the following areas:- (meta/mega) Modeling, and Domain Specific Modeling Language,
- Formal behavioral semantics of languages,
- Models at runtime, and models Validation & Verification,
- Software Development Process & Business Process Management,
- System Engineering and Autonomic Computing.
Publications
Full list of publications. See also:- here for multi criteria search
- The DBLP Computer Science Bibliography
- amazon.com for my book about model simulation and verification using executable metamodeling.
Projects
- 2009-2011: OPEES (Open Platform for the Engineering of Embedded Systems) ITEA Project (WP3)
-
2005-2009:
TOPCASED (Toolkit in OPen source for Critical Applications & SystEms Development) project (WP1, WP2, WP3 & WP5)
- Models Simulation : generic model simulation techniques and tools.
- Tina Bridges : bridges from DSMLs to the TINA toolkit for formal behavioral verification of models.
- TopProcess : Environement for process management that support the OMG's SPEM process modeling language.
- xSPEM, an eXecutable SPEM2.0 metamodel, and tools to edit, simulate and verify xSPEM process models.
- 2005-2008: SCOrWare RNTL Project