Author: François Vernadat

François Vernadat

François Vernadat

Publications

Publication period start: 2004
Publication period end: 2009
Number of co-authors: 5

Co-authors

Number of publications with favourite co-authors
Pierre-Loïc Garoche
2
Xavier Crégut
2
Xavier Thirioux
2

Productive Colleagues

Most productive colleagues in number of publications
Xavier Thirioux
2
Benoît Combemale
3
Xavier Crégut
5

Publications

Pongas, Georges, Vernadat, François (2004): Developing a Corporate Information System Architecture: The Case of Eurostat. In: ICEIS 2004 , 2004, . pp. 21-29.

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. http://dx.doi.org/10.1007/978-3-540-88710-2_23