Xavier Thirioux

A Taxonomy of MBSE Approaches by Languages, Tools and Methods

Pierre de Saqui‐Sannes, Rob Vingerhoeds, Christophe Garion et al. · IEEE Access · 2022 · 71 citations · Full text

Engineering, Computer Architecture, Software Engineering +31

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 Framework to Formalise the MDE Foundations

Xavier Thirioux, Benôıt Combemale, Xavier Crégut et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2007 · 23 citations · Full text

Simple and Efficient Translation from LTL Formulas to Büchi Automata

Xavier Thirioux · Electronic Notes in Theoretical Computer Science · 2002 · 14 citations · Full text

Engineering, Verification, Pushdown Automaton +17

Use of formal methods for building qualified code generator for safer automotive systems

Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel et al. · 2010 · 10 citations

Software Maintenance, Automotive Engineering, Engineering +23