Laurent D. Michel

30 papers A* 2A 5B 2Misc 3Journal 8Unranked 9
YearRankTypeTitle / Venue / Authors
2023 Misc conf
ML and Network Traces to M.A.R.S.
CSR
Waldemar Cruz, Laurent D. Michel, Benjamin Drozdenko, Steven Roodbeen
2021 A ed.
27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021
CP
Laurent D. Michel
2021 J jnl
MiniCP: a lightweight solver for constraint programming.
Math. Program. Comput.
Laurent D. Michel, Pierre Schaus, Pascal Van Hentenryck
2017 J jnl
A microkernel architecture for constraint programming.
Constraints An Int. J.
Laurent D. Michel, Pascal Van Hentenryck
2017 A* conf
What's Hot in Constraint Programming.
AAAI
Laurent D. Michel, Michel Rueher
2016 B conf
Parallel Composition of Scheduling Solvers.
CPAIOR
Daniel Fontaine, Laurent D. Michel, Pascal Van Hentenryck
2014 — conf
A Systematic Approach to Analyzing Voting Terminal Event Logs.
EVT/WOTE
Laurent D. Michel, Alexander A. Shvartsman, Nikolaj Volgushev
2014 A conf
Constraint-Based Lagrangian Relaxation.
CP
Daniel Fontaine, Laurent D. Michel, Pascal Van Hentenryck
2014 A conf
Domain Views for Constraint Programming.
CP
Pascal Van Hentenryck, Laurent D. Michel
2013 — conf
Energy-efficient management of eco-communities.
CASE
Bing Yan, Peter B. Luh, Biao Sun, Chen Song, Chenhui Dong, Zhongxue Gan, Laurent D. Michel
2013 Misc conf
Malicious takeover of voting systems: arbitrary code execution on optical scan voting terminals.
SAC
Russell J. Jancewicz, Aggelos Kiayias, Laurent D. Michel, Alexander Russell, Alexander A. Shvartsman
2012 A conf
Constraint Programming and a Usability Quest.
CP
Laurent D. Michel
2012 A conf
Constraint Satisfaction over Bit-Vectors.
CP
Laurent D. Michel, Pascal Van Hentenryck
2011 J jnl
Activity-Based Search for Black-Box Contraint-Programming Solvers
CoRR
Laurent D. Michel, Pascal Van Hentenryck
2011 J jnl
Optimal deployment of eventually-serializable data services.
Ann. Oper. Res.
Laurent D. Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck
2010 J jnl
A framework for security assurance of access control enforcement code.
Comput. Secur.
Jaime A. Pavlich-Mariscal, Steven A. Demurjian, Laurent D. Michel
2010 J jnl
A framework of composable access control features: Preserving separation of access control concerns from models to code.
Comput. Secur.
Jaime A. Pavlich-Mariscal, Steven A. Demurjian, Laurent D. Michel
2010 — conf
Parallelizing constraint programs.
DAMP
Laurent D. Michel
2009 B conf
Bandwidth-Limited Optimal Deployment of Eventually-Serializable Data Services.
CPAIOR
Laurent D. Michel, Pascal Van Hentenryck, Elaine L. Sonderegger, Alexander A. Shvartsman, Martijn Moraal
2009 — conf
Optimizing Network Deployment of Formally-Specified Distributed Systems.
SEDE
Carleton Coffrin, Laurent D. Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck
2009 J jnl
Parallel and distributed local search in COMET.
Comput. Oper. Res.
Laurent D. Michel, Andrew See, Pascal Van Hentenryck
2009 Misc conf
Taking total control of voting systems: firmware manipulations on an optical scan voting terminal.
SAC
Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, Laurent D. Michel, Nicolas C. Nicolaou, Alexander Russell, Andrew See, Narasimha K. Shashidhar, Alexander A. Shvartsman
2008 — conf
A Framework of Composable Access Control Definition, Enforcement and Assurance.
SCCC
Jaime A. Pavlich-Mariscal, Steven A. Demurjian, Laurent D. Michel
2007 — conf
Coherent Modeling and Effective Coordination for Building Emergency Evacuation.
CASE
Bo Xiong, Peter B. Luh, Shi-Chung Chang, Laurent D. Michel, Andrew See
2007 A* conf
Synthesis of Constraint-Based Local Search Algorithms from High-Level Models.
AAAI
Pascal Van Hentenryck, Laurent D. Michel
2006 — conf
Transportation and HVAC Systems for Building Emergency Evacuation.
CASE
Andrew See, Laurent D. Michel, Bo Xiong, Peter B. Luh, Shi-Chung Chang
2005 — conf
A Framework for Composable Security Definition, Assurance, and Enforcement.
MoDELS (Satellite Events)
Jaime A. Pavlich-Mariscal, Steven A. Demurjian, Laurent D. Michel
2005 — conf
Stateful Design for Secure Information Systems.
WOSIS
Thuong Doan, Laurent D. Michel, Steven A. Demurjian, T. C. Ting
1999 — —
LOCALIZER A Modeling Language for Local Search.
Laurent D. Michel
1999 J jnl
Localizer: A Modeling Language for Local Search.
INFORMS J. Comput.
Laurent D. Michel, Pascal Van Hentenryck