Travelled to:1 × Estonia
1 × Germany
1 × Republic of China
1 × UK
2 × Portugal
2 × USA
3 × France
Collaborated with:B.Combemale B.Coulette M.Pantel F.Vernadat D.T.B.Thuy T.D.Thu P.Garoche X.Thirioux F.Zalila R.Lbath J.Bach P.Moreau F.Latombe J.DeAntoni R.Faudoux J.Pavei L.Broto M.J.Daydé D.Hagimont M.Nassar S.Ebersold A.Kriouile D.F.Bender J.Farines B.Berthomieu
Talks about:model (7) process (5) approach (3) formal (3) verif (3) base (3) properti (2) softwar (2) languag (2) toward (2)
Person: Xavier Crégut
DBLP: Cr=eacute=gut:Xavier
Contributed to:
2015
2013
2012
201020082008
20072007
2005200320012000Wrote 12 papers:
- SLE-2015-LatombeCCDP #concurrent #domain-specific language #execution #modelling #weaving
- Weaving concurrency in executable domain-specific modeling languages (FL, XC, BC, JD, MP), pp. 125–136.
- MoDELS-2013-ZalilaCP #approach #domain-specific language #integration #verification
- Formal Verification Integration Approach for DSML (FZ, XC, MP), pp. 336–351.
- LDTA-2012-BachCMP #model transformation
- Model transformations with Tom (JCB, XC, PEM, MP), p. 4.
- ECMFA-2010-CregutCPFP #animation #framework #generative #platform
- Generative Technologies for Model Animation in the TopCased Platform (XC, BC, MP, RF, JP), pp. 90–103.
- ECMDA-FA-2008-BenderCCFBV #metamodelling #petri net #validation
- Ladder Metamodeling and PLC Program Validation through Time Petri Nets (DFB, BC, XC, JMF, BB, FV), pp. 121–136.
- MoDELS-2008-CombemaleBCDH #domain-specific language #policy #specification #uml
- Autonomic Management Policy Specification: From UML to DSML (BC, LB, XC, MJD, DH), pp. 584–599.
- ICEIS-EIS-2007-CombemaleGCTV #case study #process #towards #verification
- Towards a Formal Verification of Process Model’s Properties SIMPLEPDL and TOCL Case Study (BC, PLG, XC, XT, FV), pp. 80–89.
- ICEIS-J-2007-CombemaleCGTV #approach #modelling #process #verification
- A Property-Driven Approach to Formal Verification of Process Models (BC, XC, PLG, XT, FV), pp. 286–300.
- SEKE-2005-LbathCC #approach #development #modelling #multi #process
- A Multi-Agent Approach to a SPEM-based Modeling and Enactment of Software Development Processes (RL, BC, XC), pp. 241–246.
- ICEIS-v3-2003-NassarCCEK #modelling #towards
- Towards a View Based Unified Modeling Language (MN, BC, XC, SE, AK), pp. 257–265.
- ICEIS-v2-2001-CouletteCTT #component #process #reuse
- Managing Processes through Base of Reusable Components (BC, XC, DTBT, TDT), pp. 608–618.
- ICEIS-2000-CouletteTCT #component #process #re-engineering
- RHODES, A Process Component Centered Software Engineering Environment (BC, TDT, XC, DTBT), pp. 253–260.