Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog. - Baudouin Le Charlier; Olivier Degimbe; Laurent Michel; Pascal Van Hentenryck (WSA, 1993)

The Impact of Granularity in Abstract Interpretation of Prolog. - Pascal Van Hentenryck; Olivier Degimbe; Baudouin Le Charlier; Laurent Michel (WSA, 1993)

Numerica - A Modeling Language for Global Optimization. - Pascal Van Hentenryck; Laurent Michel; Yves Deville (MIT Press, 1997)

Interval Methods for Non-linear Constraints. - Laurent Michel; Jean-Francois Puget (CP, 1997)

Helios: A Modeling Language for Global Optimization and its Implementation in Newton. - Laurent Michel; Pascal Van Hentenryck (Theor. Comput. Sci., 1997)

Newton - Constraint Programming over Nonlinear Constraints. - Pascal Van Hentenryck; Laurent Michel; Frédéric Benhamou (Sci. Comput. Program., 1998)

OPL Script: Composing and Controlling Models. - Pascal Van Hentenryck; Laurent Michel (New Trends in Constraints, 1999)

Combinatorial Optimization in OPL Studio. - Pascal Van Hentenryck; Laurent Michel; Philippe Laborie; Wim Nuijten; Jerome Rogerie (EPIA, 1999)

Constraint Programming in OPL. - Pascal Van Hentenryck; Laurent Michel; Laurent Perron; Jean-Charles Régin (PPDP, 1999)

Localizer: A Modeling Language for Local Search. - Laurent D. Michel; Pascal Van Hentenryck (INFORMS J. Comput., 1999)

LOCALIZER A Modeling Language for Local Search. - Laurent D. Michel (1999)

Localizer. - Laurent Michel; Pascal Van Hentenryck (Constraints An Int. J., 2000)

A constraint-based architecture for local search. - Laurent Michel; Pascal Van Hentenryck (OOPSLA, 2002)

Comet in Context. - Laurent Michel; Pascal Van Hentenryck (PCK50, 2003)

Maintaining Longest Paths Incrementally. - Laurent Michel; Pascal Van Hentenryck (CP, 2003)

A Simulated Annealing Approach to the Travelling Tournament Problem. - Aris Anagnostopoulos; Laurent Michel; Pascal Van Hentenryck; Yannis Vergados (IJCAI, 2003)

Iterative Relaxations for Iterative Flattening in Cumulative Scheduling. - Laurent Michel; Pascal Van Hentenryck (ICAPS, 2004)

Constraint-Based Combinators for Local Search. - Pascal Van Hentenryck; Laurent Michel; Liyuan Liu (CP, 2004)

Scheduling Abstractions for Local Search. - Pascal Van Hentenryck; Laurent Michel (CPAIOR, 2004)

A simple tabu search for warehouse location. - Laurent Michel; Pascal Van Hentenryck (Eur. J. Oper. Res., 2004)

A decomposition-based implementation of search strategies. - Laurent Michel; Pascal Van Hentenryck (ACM Trans. Comput. Log., 2004)

Constraint-based local search. - Pascal Van Hentenryck; Laurent Michel (MIT Press, 2005)

Coherent configuration and operation of building transportation systems. - Peter B. Luh; Laurent Michel; Eugene Santos Jr.; Danqing Yu; Andrew See; Bo Xiong; Greg Johnson; Shi-Chung Chang (CASE, 2005)

Parallel Local Search in Comet. - Laurent Michel; Pascal Van Hentenryck (CP, 2005)

The Comet Programming Language and System. - Laurent Michel; Pascal Van Hentenryck (CP, 2005)

Role Slices: A Notation for RBAC Permission Assignment and Enforcement. - Jaime A. Pavlich-Mariscal; Thuong Doan; Laurent Michel; Steven A. Demurjian; T. C. Ting (DBSec, 2005)

Stateful Design for Secure Information Systems. - Thuong Doan; Laurent D. Michel; Steven A. Demurjian; T. C. Ting (WOSIS, 2005)

A Framework for Composable Security Definition, Assurance, and Enforcement. - Jaime A. Pavlich-Mariscal; Steven A. Demurjian; Laurent D. Michel (MoDELS (Satellite Events), 2005)

A Formal Enforcement Framework for Role-Based Access Control Using Aspect-Oriented Programming. - Jaime A. Pavlich-Mariscal; Laurent Michel; Steven A. Demurjian (MoDELS, 2005)

Control Abstractions for Local Search. - Pascal Van Hentenryck; Laurent Michel (Constraints An Int. J., 2005)

Contraint-Based Combinators for Local Search. - Pascal Van Hentenryck; Laurent Michel; Liyuan Liu (Constraints An Int. J., 2005)

Maintaining Longest Paths Incrementally. - Irit Katriel; Laurent Michel; Pascal Van Hentenryck (Constraints An Int. J., 2005)

A Modeling Layer for Constraint-Programming Libraries. - Laurent Michel; Pascal Van Hentenryck (INFORMS J. Comput., 2005)

Transportation and HVAC Systems for Building Emergency Evacuation. - Andrew See; Laurent D. Michel; Bo Xiong; Peter B. Luh; Shi-Chung Chang (CASE, 2006)

Differentiable Invariants. - Pascal Van Hentenryck; Laurent Michel (CP, 2006)

Distributed Constraint-Based Local Search. - Laurent Michel; Andrew See; Pascal Van Hentenryck (CP, 2006)

High-Level Nondeterministic Abstractions in. - Laurent Michel; Andrew See; Pascal Van Hentenryck (CP, 2006)

A Formal Framework for Secure Design and Constraint Checking in UML. - Thuong Doan; Laurent Michel; Steven A. Demurjian (ISSSE, 2006)

Nondeterministic Control for Hybrid Search. - Pascal Van Hentenryck; Laurent Michel (Constraints An Int. J., 2006)

A simulated annealing approach to the traveling tournament problem. - Aris Anagnostopoulos; Laurent Michel; Pascal Van Hentenryck; Yannis Vergados (J. Sched., 2006)

Constraints in Procedural and Concurrent Languages. - Thom W. Frühwirth; Laurent Michel; Christian Schulte 001 (Handbook of Constraint Programming, 2006)

Synthesis of Constraint-Based Local Search Algorithms from High-Level Models. - Pascal Van Hentenryck; Laurent D. Michel (AAAI, 2007)

Tampering with Special Purpose Trusted Computing Devices: A Case Study in Optical Scan E-Voting. - Aggelos Kiayias; Laurent Michel; Alexander Russell; Narasimha K. Shashidhar; Andrew See; Alexander A. Shvartsman; Seda Davtyan (ACSAC, 2007)

Coherent Modeling and Effective Coordination for Building Emergency Evacuation. - Bo Xiong; Peter B. Luh; Shi-Chung Chang; Laurent D. Michel; Andrew See (CASE, 2007)

Parallelizing Constraint Programs Transparently. - Laurent Michel; Andrew See; Pascal Van Hentenryck (CP, 2007)

An Authentication and Ballot Layout Attack Against an Optical Scan Voting Terminal. - Aggelos Kiayias; Laurent Michel; Alexander Russell; Narasimha Sashidar; Andrew See; Alexander A. Shvartsman (EVT, 2007)

The Steel Mill Slab Design Problem Revisited. - Pascal Van Hentenryck; Laurent Michel (CPAIOR, 2008)

A Framework of Composable Access Control Definition, Enforcement and Assurance. - Jaime A. Pavlich-Mariscal; Steven A. Demurjian; Laurent D. Michel (SCCC, 2008)

Pre-Election Testing and Post-Election Audit of Optical Scan Voting Terminal Memory Cards. - Seda Davtyan; Sotiris Kentros; Aggelos Kiayias; Laurent Michel; Nicolas C. Nicolaou; Alexander Russell; Andrew See; Narasimha K. Shashidhar; Alexander A. Shvartsman (EVT, 2008)

Online Selection of Quorum Systems for RAMBO Reconfiguration. - Laurent Michel; Martijn Moraal; Alexander A. Shvartsman; Elaine L. Sonderegger; Pascal Van Hentenryck (CP, 2009)

Bandwidth-Limited Optimal Deployment of Eventually-Serializable Data Services. - Laurent D. Michel; Pascal Van Hentenryck; Elaine L. Sonderegger; Alexander A. Shvartsman; Martijn Moraal (CPAIOR, 2009)

Taking total control of voting systems: firmware manipulations on an optical scan voting terminal. - Seda Davtyan; Sotiris Kentros; Aggelos Kiayias; Laurent D. Michel; Nicolas C. Nicolaou; Alexander Russell; Andrew See; Narasimha K. Shashidhar; Alexander A. Shvartsman (SAC, 2009)

Optimizing Network Deployment of Formally-Specified Distributed Systems. - Carleton Coffrin; Laurent D. Michel; Alexander A. Shvartsman; Elaine L. Sonderegger; Pascal Van Hentenryck (SEDE, 2009)

Automating Voting Terminal Event Log Analysis. - Tigran Antonyan; Seda Davtyan; Sotiris Kentros; Aggelos Kiayias; Laurent Michel; Nicolas C. Nicolaou; Alexander Russell; Alexander A. Shvartsman (EVT/WOTE, 2009)

Model-driven visualizations of constraint-based local search. - Grégoire Dooms; Pascal Van Hentenryck; Laurent Michel (Constraints An Int. J., 2009)

Parallel and distributed local search in COMET. - Laurent D. Michel; Andrew See; Pascal Van Hentenryck (Comput. Oper. Res., 2009)

Transparent Parallelization of Constraint Programming. - Laurent Michel; Andrew See; Pascal Van Hentenryck (INFORMS J. Comput., 2009)

State-wide elections, optical scan voting systems, and the pursuit of integrity. - Tigran Antonyan; Seda Davtyan; Sotiris Kentros; Aggelos Kiayias; Laurent Michel; Nicolas C. Nicolaou; Alexander Russell; Alexander A. Shvartsman (IEEE Trans. Inf. Forensics Secur., 2009)

Load Balancing and Almost Symmetries for RAMBO Quorum Hosting. - Laurent Michel; Alexander A. Shvartsman; Elaine L. Sonderegger; Pascal Van Hentenryck (CP, 2010)

Parallelizing constraint programs. - Laurent D. Michel (DAMP, 2010)

A framework of composable access control features: Preserving separation of access control concerns from models to code. - Jaime A. Pavlich-Mariscal; Steven A. Demurjian; Laurent D. Michel (Comput. Secur., 2010)

A framework for security assurance of access control enforcement code. - Jaime A. Pavlich-Mariscal; Steven A. Demurjian; Laurent D. Michel (Comput. Secur., 2010)

Integrating Access Control into UML for Secure Software Modeling and Analysis. - Thuong Doan; Steven A. Demurjian; Laurent Michel; Solomon Berhe (Int. J. Secur. Softw. Eng., 2010)

Synthesis of Search Algorithms from High-Level CP Models. - Samir A. Mohamed Elsayed; Laurent Michel (CP, 2011)

Optimal deployment of eventually-serializable data services. - Laurent D. Michel; Alexander A. Shvartsman; Elaine L. Sonderegger; Pascal Van Hentenryck (Ann. Oper. Res., 2011)

Solving Steel Mill Slab Problems with constraint-based techniques: CP, LNS, and CBLS. - Pierre Schaus; Pascal Van Hentenryck; Jean-Noël Monette; Carleton Coffrin; Laurent Michel; Yves Deville (Constraints An Int. J., 2011)

Activity-Based Search for Black-Box Contraint-Programming Solvers - Laurent D. Michel; Pascal Van Hentenryck (CoRR, 2011)

Constraint Programming and a Usability Quest. - Laurent D. Michel (CP, 2012)

Constraint Satisfaction over Bit-Vectors. - Laurent D. Michel; Pascal Van Hentenryck (CP, 2012)

A High Level Language for Solver Independent Model Manipulation and Generation of Hybrid Solvers. - Daniel Fontaine; Laurent Michel (CPAIOR, 2012)

Activity-Based Search for Black-Box Constraint Programming Solvers. - Laurent Michel; Pascal Van Hentenryck (CPAIOR, 2012)

Integrity of electronic voting systems: fallacious use of cryptography. - Seda Davtyan; Aggelos Kiayias; Laurent Michel; Alexander Russell; Alexander A. Shvartsman (SAC, 2012)

The Time Complexity of A* with Approximate Heuristics on Multiple-Solution Search Spaces. - Hang Dinh; Hieu T. Dinh; Laurent Michel; Alexander Russell (J. Artif. Intell. Res., 2012)

Energy-efficient management of eco-communities. - Bing Yan; Peter B. Luh; Biao Sun; Chen Song; Chenhui Dong; Zhongxue Gan; Laurent D. Michel (CASE, 2013)

Model Combinators for Hybrid Optimization. - Daniel Fontaine; Laurent Michel; Pascal Van Hentenryck (CP, 2013)

The Objective-CP Optimization System. - Pascal Van Hentenryck; Laurent Michel (CP, 2013)

Malicious takeover of voting systems: arbitrary code execution on optical scan voting terminals. - Russell J. Jancewicz; Aggelos Kiayias; Laurent D. Michel; Alexander Russell; Alexander A. Shvartsman (SAC, 2013)

Constraint-Based Lagrangian Relaxation. - Daniel Fontaine; Laurent D. Michel; Pascal Van Hentenryck (CP, 2014)

Domain Views for Constraint Programming. - Pascal Van Hentenryck; Laurent D. Michel (CP, 2014)

A Systematic Approach to Analyzing Voting Terminal Event Logs. - Laurent D. Michel; Alexander A. Shvartsman; Nikolaj Volgushev (EVT/WOTE, 2014)

Building an archive with Saada. - Laurent Michel; Christian Motch; Hoan Ngoc Nguyen; François-Xavier Pineau (Astron. Comput., 2014)

The Table Access Protocol: Providing standard access to astronomical data. - Deoyani Nandrekar-Heinis; Laurent Michel; Mireille Louys; François Bonnarel (Astron. Comput., 2014)

Estimating the ice thickness of shallow glaciers from surface topography and mass-balance data with a shape optimization algorithm. - Laurent Michel; Marco Picasso; Daniel Farinotti; Martin Funk; Heinz Blatter (Comput. Geosci., 2014)

Heterogeneous biological data integration with declarative query language. - Hoan Nguyen; Laurent Michel; Julie Dawn Thompson; Olivier Poch (IBM J. Res. Dev., 2014)

Introduction to the fast track issue for CPAIOR 2015. - Laurent Michel (Constraints An Int. J., 2015)

Parallel Composition of Scheduling Solvers. - Daniel Fontaine; Laurent D. Michel; Pascal Van Hentenryck (CPAIOR, 2016)

Model Combinators in the Scheduling Domain. - Laurent Michel; Daniel Fontaine (ISAIM, 2016)

What's Hot in Constraint Programming. - Laurent D. Michel; Michel Rueher (AAAI, 2017)

Influence of Error on Hamming Weights for ASCA. - Chujiao Ma; John A. Chandy; Laurent Michel; Fanghui Liu 002; Waldemar Cruz (Inscrypt, 2017)

A Tolerant Algebraic Side-Channel Attack on AES Using CP. - Fanghui Liu 002; Waldemar Cruz; Chujiao Ma; Greg Johnson; Laurent Michel (CP, 2017)

Search Strategies for Floating Point Constraint Systems. - Heytem Zitoun; Claude Michel; Michel Rueher; Laurent Michel (CP, 2017)

A design flow with integrated verification of requirements and faults in safety-critical systems. - Wei Yan 005; Daniel Fontaine; John A. Chandy; Laurent Michel (SoSE, 2017)

A microkernel architecture for constraint programming. - Laurent D. Michel; Pascal Van Hentenryck (Constraints An Int. J., 2017)

Securely and Automatically Deploying Micro-services in an Hybrid Cloud Infrastructure. - Waldemar Cruz; Fanghui Liu 002; Laurent Michel (CP, 2018)

A Complete Tolerant Algebraic Side-Channel Attack for AES with CP. - Fanghui Liu 002; Waldemar Cruz; Laurent Michel (CP, 2018)

A Semiclassical Approach to the Kramers-Smoluchowski Equation. - Laurent Michel; Maciej Zworski (SIAM J. Math. Anal., 2018)

Constraint-Based Local Search. - Laurent Michel; Pascal Van Hentenryck (Handbook of Heuristics, 2018)

DOCSDN: Dynamic and Optimal Configuration of Software-Defined Networks. - Timothy Curry; Devon Callahan; Benjamin Fuller 001; Laurent Michel (ACISP, 2019)

A Counting-Based Approach to Scalable Micro-service Deployment. - Waldemar Cruz; Fanghui Liu 002; Laurent Michel (CPAIOR, 2019)

FASHION: Functional and Attack graph Secured HybrId Optimization of virtualized Networks. - Devon Callahan; Timothy Curry; Daniel Davidson; Heytem Zitoun; Benjamin Fuller 001; Laurent Michel (CoRR, 2019)

HADDOCK: A Language and Architecture for Decision Diagram Compilation. - Rebecca Gentzel; Laurent Michel; Willem Jan van Hoeve (CP, 2020)

An efficient constraint based framework forhandling floating point SMT problems. - Heytem Zitoun; Claude Michel; Laurent Michel; Michel Rueher (CoRR, 2020)

Bringing freedom in variable choice when searching counter-examples in floating point programs. - Heytem Zitoun; Claude Michel; Laurent Michel; Michel Rueher (CoRR, 2020)

MiniCP: a lightweight solver for constraint programming. - Laurent D. Michel; Pierre Schaus; Pascal Van Hentenryck (Math. Program. Comput., 2021)

Constraints propagation on GPU: A case study for AllDifferent. - Fabio Tardivo; Agostino Dovier; Andrea Formisano 001; Laurent Michel; Enrico Pontelli (CILC, 2022)

DUELMIPs: Optimizing SDN Functionality and Security. - Timothy Curry; Gabriel De Pace; Benjamin Fuller 001; Laurent Michel; Yan Lindsay Sun (CP, 2022)

Heuristics for MDD Propagation in HADDOCK. - Rebecca Gentzel; Laurent Michel; Willem-Jan van Hoeve (CP, 2022)

A comprehensive tolerant algebraic side-channel attack over modern ciphers using constraint programming. - Fanghui Liu 002; Waldemar Cruz; Laurent Michel (J. Cryptogr. Eng., 2022)

Optimization Bounds from Decision Diagrams in Haddock. - Rebecca Gentzel; Laurent Michel; Willem-Jan van Hoeve (CPAIOR, 2023)

ML and Network Traces to M.A.R.S. - Waldemar Cruz; Laurent D. Michel; Benjamin Drozdenko; Steven Roodbeen (CSR, 2023)

FASHION: Functional and Attack Graph Secured HybrId Optimization of Virtualized Networks. - Devon Callahan; Timothy Curry; Hazel Davidson; Heytem Zitoun; Benjamin Fuller 001; Laurent Michel (IEEE Trans. Dependable Secur. Comput., 2023)

Constraint propagation on GPU: A case study for the AllDifferent constraint. - Fabio Tardivo; Agostino Dovier; Andrea Formisano 001; Laurent Michel; Enrico Pontelli (J. Log. Comput., 2023)

CP for Bin Packing with Multi-Core and GPUs. - Fabio Tardivo; Laurent Michel; Enrico Pontelli (CP, 2024)

CODD: A Decision Diagram-Based Solver for Combinatorial Optimization. - Laurent Michel; Willem-Jan van Hoeve (ECAI, 2024)

Constraint Propagation on GPU: A Case Study for the Bin Packing Constraint. - Fabio Tardivo; Laurent Michel; Enrico Pontelli (CoRR, 2024)

Constraint propagation on GPU: a case study for the cumulative constraint. - Fabio Tardivo; Agostino Dovier; Andrea Formisano 001; Laurent Michel; Enrico Pontelli (Constraints An Int. J., 2024)

Busting the Paper Ballot: Voting Meets Adversarial Machine Learning. - Kaleel Mahmood; Caleb Manicke; Ethan Rathbun; Aayushi Verma; Sohaib Ahmad; Nicholas Stamatakis; Laurent Michel; Benjamin Fuller 001 (CoRR, 2025)