Laurent D. Michel

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 5

Top Topics

Search Heuristics

Constraint Solving

Constraint Programming

Top Venues

Constraints An Int. J.

Publications

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