Concepedia

Xavier Crégut

XC

12

Publications

429

Citations

11

H-Index

2003

Active since

Affiliations

Institut de Recherche en Informatique de Toulouse(Current)

Université Toulouse III - Paul Sabatier

Institut National Polytechnique de Toulouse

Université Toulouse-I-Capitole

Université Toulouse - Jean Jaurès

Xavier Crégut is an author at Institut de Recherche en Informatique de Toulouse specializing in engineering, formal methods, and software design.

Top concepts

EngineeringFormal MethodsSoftware DesignSoftware AnalysisFormal VerificationProgram AnalysisSoftware EngineeringSystem SoftwareSystems EngineeringSoftware Testing

Publications per year

2003–2015

12

Publications

12

The TOPCASED project: a Toolkit in Open source for Critical Aeronautic SystEms Design

Patrick Farail, Pierre Gaufillet, Agustí Canals et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2006 · 84 citations · Full text

Definition of an Executable SPEM 2.0

Reda Bendraou, Benoît Combemale, Xavier Crégut et al. · Proceedings - Asia Pacific Software Engineering Conference/Proceedings · 2007 · 64 citations

Software Maintenance, Engineering, Spem2.0 Process Models +21

Definition of an Executable SPEM 2.0

Reda Bendraou, Benoît Combemale, Xavier Crégut et al. · 2007 · 59 citations

Software Maintenance, Engineering, Spem2.0 Process Models +21

Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification

Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche et al. · Journal of Software · 2009 · 56 citations

French, Engineering, Research Institutions +23

A Design Pattern to Build Executable DSMLs and Associated V&amp;amp;V Tools

Benoît Combemale, Xavier Crégut, Marc Pantel · 2012 · 41 citations

Engineering, Verification, Computer Architecture +26

Rows per page

1–5 of 12