François Hantry

Publication Activity (10 Years)

Years Active: 2007-2012
Publications (10 Years): 0

Top Topics

Propositional Formulas

Hidden Structure

Top Venues

Electron. Colloquium Comput. Complex.

Publications

Lakhdar Saïs, Mohand-Said Hacid, François Hantry
On the complexity of computing minimal unsatisfiable LTL formulas. Electron. Colloquium Comput. Complex. 19 (2012)
François Hantry, Lakhdar Saïs, Mohand-Said Hacid
On the Complexity of Computing Minimal Unsatisfiable LTL formulas CoRR (2012)
François Hantry, Mohand-Said Hacid
Causes-based problems in business process compliance based management. S-Cube@ICSE (2012)
François Hantry, Mohand-Said Hacid
Handling Conflicts in Depth-First Search for LTL Tableau to Debug Compliance Based Languages FLACOS (2011)
François Hantry, Mohand-Said Hacid, Romuald Thion
Detection of Conflicting Compliance Rules. EDOCW (2011)
Yahia Chabane, François Hantry, Mohand-Said Hacid
Querying and Splitting Techniques for SBA: A Model Checking Based Approach. ISMIS Industrial Session (2011)
Nicole Bidoit, François Hantry
Relational Temporal Machines. TIME (2007)