Metric spaces: iteration and application. Mathematical systems theory, 1985. ,
Introduction to algorithms, 2001. ,
An extensible sat solver, Proceedings of 6th. International Conference on Theory and Applications of Satisfiability Testing, SAT 2003, vol.2919, pp.502-518, 2003. ,
An abstract model of service discovery and binding, Formal Aspects of Computing, vol.23, issue.4, pp.433-463, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00636204
, Convex polytopes, vol.221, 1967.
The theory of hybrid automata, Proceedings of Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96, pp.278-292, 1996. ,
The theory of hybrid automata, Verification of Digital and Hybrid Systems, pp.265-292, 2000. ,
What's decidable about hybrid automata?, Journal of Computer and System Sciences, vol.57, issue.1, pp.94-124, 1998. ,
, IBM: IBM ILOG CPLEX Optimization Studio, 2004.
Satisfiability modulo theories: introduction and applications, Communications of the ACM, vol.54, issue.9, pp.69-77, 2011. ,
CalCS: SMT solving for non-linear convex constraints, ternational Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, pp.71-79, 2010. ,
Z3: An efficient smt solver ,
SMC: Satisfiability modulo convex optimization, Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, pp.19-28, 2017. ,
QoS-aware service composition: A survey, Proceedings of 8th IEEE European Conference on Web Services (ECOWS 2010), pp.67-74, 2010. ,
On the complexity of derivation in propositional calculus, Symbolic Computation, pp.466-483, 1983. ,