Relational Temporal Machines. - Nicole Bidoit; François Hantry (TIME, 2007)

Business Process Management. - François Hantry; Mike P. Papazoglou; Willem-Jan van den Heuvel; Rafique Haque; Eoin Whelan; Noel Carroll; Dimka Karastoyanova; Frank Leymann; Christos Nikolaou; Winfried Lamersdorf; Mohand-Said Hacid (S-CUBE Book, 2010)

Detection of Conflicting Compliance Rules. - François Hantry; Mohand-Said Hacid; Romuald Thion (EDOCW, 2011)

Querying and Splitting Techniques for SBA: A Model Checking Based Approach. - Yahia Chabane; François Hantry; Mohand-Said Hacid (ISMIS Industrial Session, 2011)

Handling Conflicts in Depth-First Search for LTL Tableau to Debug Compliance Based Languages - François Hantry; Mohand-Said Hacid (FLACOS, 2011)

Causes-based problems in business process compliance based management. - François Hantry; Mohand-Said Hacid (S-Cube@ICSE, 2012)

On the complexity of computing minimal unsatisfiable LTL formulas. - Lakhdar Saïs; Mohand-Said Hacid; François Hantry (Electron. Colloquium Comput. Complex., 2012)