Author: Xavier Crégut
Publications
Co-authors
Productive Colleagues
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