Upcoming Courses

go to course
UI Design Patterns for Successful Software
Starts tomorrow LAST CALL!
go to course
Psychology of Interaction Design: The Ultimate Guide
92% booked. Starts in 3 days

Featured chapter

Marc Hassenzahl explains the fascinating concept of User Experience and Experience Design. Commentaries by Don Norman, Eric Reiss, Mark Blythe, and Whitney Hess

User Experience and Experience Design !


Our Latest Books

The Social Design of Technical Systems: Building technologies for communities. 2nd Edition
by Brian Whitworth and Adnan Ahmad
start reading
Gamification at Work: Designing Engaging Business Software
by Janaki Mythily Kumar and Mario Herger
start reading
The Social Design of Technical Systems: Building technologies for communities
by Brian Whitworth and Adnan Ahmad
start reading
The Encyclopedia of Human-Computer Interaction, 2nd Ed.
by Mads Soegaard and Rikke Friis Dam
start reading

Xavier Thirioux


Publications by Xavier Thirioux (bibliography)

 what's this?
Edit | Del

Combemale, Benot, Crgut, Xavier, Garoche, Pierre-Loc, Thirioux, Xavier and Vernadat, Franois (2009): A Property-Driven Approach to Formal Verification of Process Models. In: Filipe, Joaquim, Cordeiro, Jos and 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

Edit | Del

Combemale, Benot, Garoche, Pierre-Loc, Crgut, Xavier, Thirioux, Xavier and Vernadat, Franois (2007): Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study. In: Cardoso, Jorge, Cordeiro, Jos and 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.

Add publication
Show list on your website

Join our community and advance:




Join our community!

Page Information

Page maintainer: The Editorial Team
URL: http://www.interaction-design.org/references/authors/xavier_thirioux.html