Skip to Main content Skip to Navigation

hal-00973849v1  Journal articles
Marie-Christine CostaDominique de WerraChristophe Picouleau. Minimum d-blockers and d-transversals in graphs
Journal of Combinatorial Optimization, Springer Verlag, 2011, 22 (4), pp.857-872. ⟨10.1007/s10878-010-9334-6⟩
hal-00672921v1  Conference papers
Nesrine HarrathBruno MonsuezJoelle Delacroix Gouin. Building SystemC waiting state automata
The 5th International Workshop on Verification and Evaluation of Computer and Communication Systems, Sep 2011, Tunis, Tunisia
hal-01203505v1  Conference papers
François PessauxVincent BenayounCatherine DuboisPhilippe Ayrault. ML Dependency Analysis for Assessors
Software Engineering and Formal Methods (SEFM) 2012, Oct 2012, Thessaloniki, Greece. pp.278-292, ⟨10.1007/978-3-642-33826-7_19⟩
hal-01811334v1  Conference papers
Sourour ElloumiOlivier HudryEstel MarieAgnès PlateauStephane Rovedakis. Optimization of wireless sensor networks deployment with coverage and connectivity constraints
2017 4th International Conference on Control, Decision and Information Technologies (CoDIT), Apr 2017, Barcelona, France. ⟨10.1109/CoDIT.2017.8102614⟩
hal-02987320v1  Book sections
Marc EtheveZacharie AlèsCôme BissuelSafia Kedad-SidhoumOlivier Juan. Reinforcement Learning for Variable Selection in a Branch and Bound Algorithm
Integration of Constraint Programming, Artificial Intelligence, and Operations Research. CPAIOR: International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, pp.176-185, 2020, ⟨10.1007/978-3-030-58942-4_12⟩
hal-02428735v1  Conference papers
Rémi LucasZacharie AlèsFrançois RamondSourour Elloumi. Reducing the Adaptation Costs of a Rolling Stock Schedule with Adaptive Solution: the Case of Demand Changes
RailNorrköping 2019. 8th International Conference on Railway Operations Modelling and Analysis (ICROMA), Jun 2019, Norrköping, Sweden. pp.857-876
hal-01811329v1  Journal articles
Alain BillionnetSourour ElloumiAmélie LambertAngelika Wiegele. Using a Conic Bundle Method to Accelerate Both Phases of a Quadratic Convex Reformulation
INFORMS Journal on Computing, Institute for Operations Research and the Management Sciences (INFORMS), 2017, 29 (2), pp.318 - 331. ⟨10.1287/ijoc.2016.0731⟩
hal-02455410v1  Conference papers
Sourour ElloumiAmélie LambertArnaud Lazare. Semidefinite programming relaxations through quadratic reformulation for box-constrained polynomial optimization problems
2019 6th International Conference on Control, Decision and Information Technologies (CoDIT), Apr 2019, Paris, France. pp.1498-1503, ⟨10.1109/CoDIT.2019.8820690⟩
hal-01225698v1  Conference papers
Liang ZhouBaoyu ZhengJingwu CuiBenoit GellerAnne Wei et al.  Cross Layer Rate Control, Medium Access Control and Routing Design in Cooperative Multi-Hop Wireless Networks
9th International Conference on Intelligent Transport Systems Telecommunications,(ITST), 2009 , 2009, Lille, France. ⟨10.1109/ITST.2009.5399303⟩
hal-01225692v1  Journal articles
Liang ZhouBenoit GellerBaoyu ZhengAnne WeiJingwu Cui. System Scheduling for Multi-Description Video Streaming Over Wireless Multi-Hop Networks
IEEE Transactions on Broadcasting, Institute of Electrical and Electronics Engineers, 2009, 55 (4), pp.731-741. ⟨10.1109/TBC.2009.2032795⟩