Author: Xavier Crégut
Publication Overview
Publication period start: 2009
Number of co-authors: 8
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Combemale,
Benoît,
Crégut,
Xavier,
Caplain,
Alain,
Coulette,
Bernard
(2006):
Towards a Rigorous Process Modeling with SPEM.
In:
Manolopoulos,
Yannis,
Filipe,
Joaquim,
Constantopoulos,
Panos,
Cordeiro,
José
(eds.)
ICEIS 2006 - Proceedings of the Eighth International Conference on Enterprise Information Systems Databases and Information Systems Integration
May 23-27,
2006,
Paphos, Cyprus.
pp. 530-533.
Coulette,
Bernard,
Thu,
Tran Dan,
Crégut,
Xavier,
Thuy,
Dong Thi Bich
(2000):
RHODES, A Process Component Centered Software Engineering Environment.
In:
ICEIS 2000
,
2000,
.
pp. 253-260.
Coulette,
Bernard,
Crégut,
Xavier,
Thuy,
Dong Thi Bich,
Thu,
Tran Dan
(2001):
Managing Processes through Base of Reusable Components.
In:
ICEIS 2001
,
2001,
.
pp. 608-618.
Combemale,
Benoît,
Garoche,
Pierre-Loïc,
Crégut,
Xavier,
Thirioux,
Xavier,
Vernadat,
François
(2007):
Towards a Formal Verification of Process Model\'s Properties SIMPLEPDL and TOCL Case Study.
In:
Cardoso,
Jorge,
Cordeiro,
José,
Filipe,
Joaquim
(eds.)
ICEIS 2007 - Proceedings of the Ninth International Conference on Enterprise Information Systems Volume EIS
June 12-16,
2007,
Funchal, Portugal.
pp. 80-89.
Combemale,
Benoît,
Crégut,
Xavier,
Garoche,
Pierre-Loïc,
Thirioux,
Xavier,
Vernadat,
François
(2009):
A Property-Driven Approach to Formal Verification of Process Models.
In:
Filipe,
Joaquim,
Cordeiro,
José,
Cardoso,
Jorge
(eds.)
ICEIS 2007 - Enterprise Information Systems - 9th International Conference
June 12-16,
2009,
Funchal, Portugal.
pp. 286-300.
https://dx.doi.org/10.1007/978-3-540-88710-2_23