François Hantry

According to our database, François Hantry authored at least 7 papers between 2007 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

On the complexity of computing minimal unsatisfiable LTL formulas.

Lakhdar Saïs, Mohand-Said Hacid, François Hantry

Electron. Colloquium Comput. Complex., 2012

Causes-based problems in business process compliance based management.

François Hantry, Mohand-Said Hacid

Proceedings of the First International Workshop on European Software Services and Systems Research, 2012

2011

Handling Conflicts in Depth-First Search for LTL Tableau to Debug Compliance Based Languages

François Hantry, Mohand-Said Hacid

Proceedings of the Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2011

Querying and Splitting Techniques for SBA: A Model Checking Based Approach.

Yahia Chabane, François Hantry, Mohand-Said Hacid

Proceedings of the Emerging Intelligent Technologies in Industry, 2011

Detection of Conflicting Compliance Rules.

François Hantry, Mohand-Said Hacid, Romuald Thion

Proceedings of the Workshops Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, 2011

2010

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

Proceedings of the Service Research Challenges and Solutions for the Future Internet - S-Cube, 2010

2007

Relational Temporal Machines.

Nicole Bidoit, François Hantry

Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007