Laurent Michel

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 25

Top Topics

Constraint Programming

Constraint Solvers

Optimal Configuration

Top Venues

Astron. Comput.

Publications

Fabio Tardivo, Laurent Michel, Enrico Pontelli
Constraint Propagation on GPU: A Case Study for the Bin Packing Constraint. CoRR (2024)
Fabio Tardivo, Laurent Michel, Enrico Pontelli
CP for Bin Packing with Multi-Core and GPUs. CP (2024)
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
Constraint Propagation on GPU: A Case Study for the Cumulative Constraint. CPAIOR (2023)
Rebecca Gentzel, Laurent Michel, Willem-Jan van Hoeve
Optimization Bounds from Decision Diagrams in Haddock. CPAIOR (2023)
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
Constraint propagation on GPU: A case study for the AllDifferent constraint. J. Log. Comput. 33 (8) (2023)
Devon Callahan, Timothy Curry, Hazel Davidson, Heytem Zitoun, Benjamin Fuller, Laurent Michel
FASHION: Functional and Attack Graph Secured HybrId Optimization of Virtualized Networks. IEEE Trans. Dependable Secur. Comput. 20 (4) (2023)
Fanghui Liu, Waldemar Cruz, Laurent Michel
A comprehensive tolerant algebraic side-channel attack over modern ciphers using constraint programming. J. Cryptogr. Eng. 12 (2) (2022)
Timothy Curry, Gabriel De Pace, Benjamin Fuller, Laurent Michel, Yan Lindsay Sun
DUELMIPs: Optimizing SDN Functionality and Security. CP (2022)
Rebecca Gentzel, Laurent Michel, Willem-Jan van Hoeve
Heuristics for MDD Propagation in HADDOCK. CP (2022)
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
Constraints propagation on GPU: A case study for AllDifferent. CILC (2022)
Heytem Zitoun, Claude Michel, Laurent Michel, Michel Rueher
An efficient constraint based framework forhandling floating point SMT problems. CoRR (2020)
Rebecca Gentzel, Laurent Michel, Willem Jan van Hoeve
HADDOCK: A Language and Architecture for Decision Diagram Compilation. CP (2020)
Heytem Zitoun, Claude Michel, Laurent Michel, Michel Rueher
Bringing freedom in variable choice when searching counter-examples in floating point programs. CoRR (2020)
Devon Callahan, Timothy Curry, Daniel Davidson, Heytem Zitoun, Benjamin Fuller, Laurent Michel
FASHION: Functional and Attack graph Secured HybrId Optimization of virtualized Networks. CoRR (2019)
Timothy Curry, Devon Callahan, Benjamin Fuller, Laurent Michel
DOCSDN: Dynamic and Optimal Configuration of Software-Defined Networks. CoRR (2019)
Waldemar Cruz, Fanghui Liu, Laurent Michel
A Counting-Based Approach to Scalable Micro-service Deployment. CPAIOR (2019)
Timothy Curry, Devon Callahan, Benjamin Fuller, Laurent Michel
DOCSDN: Dynamic and Optimal Configuration of Software-Defined Networks. ACISP (2019)
Laurent Michel, Maciej Zworski
A Semiclassical Approach to the Kramers-Smoluchowski Equation. SIAM J. Math. Anal. 50 (5) (2018)
Fanghui Liu, Waldemar Cruz, Laurent Michel
A Complete Tolerant Algebraic Side-Channel Attack for AES with CP. CP (2018)
Waldemar Cruz, Fanghui Liu, Laurent Michel
Securely and Automatically Deploying Micro-services in an Hybrid Cloud Infrastructure. CP (2018)
Wei Yan, Daniel Fontaine, John A. Chandy, Laurent Michel
A design flow with integrated verification of requirements and faults in safety-critical systems. SoSE (2017)
Chujiao Ma, John A. Chandy, Laurent Michel, Fanghui Liu, Waldemar Cruz
Influence of Error on Hamming Weights for ASCA. Inscrypt (2017)
Fanghui Liu, Waldemar Cruz, Chujiao Ma, Greg Johnson, Laurent Michel
A Tolerant Algebraic Side-Channel Attack on AES Using CP. CP (2017)
Heytem Zitoun, Claude Michel, Michel Rueher, Laurent Michel
Search Strategies for Floating Point Constraint Systems. CP (2017)
Laurent Michel, Daniel Fontaine
Model Combinators in the Scheduling Domain. ISAIM (2016)
Laurent Michel
Introduction to the fast track issue for CPAIOR 2015. Constraints An Int. J. 20 (3) (2015)
Deoyani Nandrekar-Heinis, Laurent Michel, Mireille Louys, François Bonnarel
The Table Access Protocol: Providing standard access to astronomical data. Astron. Comput. (2014)
Laurent Michel, Christian Motch, Hoan Ngoc Nguyen, François-Xavier Pineau
Building an archive with Saada. Astron. Comput. (2014)
Laurent Michel, Marco Picasso, Daniel Farinotti, Martin Funk, Heinz Blatter
Estimating the ice thickness of shallow glaciers from surface topography and mass-balance data with a shape optimization algorithm. Comput. Geosci. 66 (2014)
Laurent Michel, Christian Motch, Hoan Ngoc Nguyen, François-Xavier Pineau
Building an Archive with Saada. CoRR (2014)
Pascal Van Hentenryck, Laurent Michel
Domain Views for Constraint Programming. CoRR (2014)
Laurent Michel, Pascal Van Hentenryck
A Microkernel Architecture for Constraint Programming. CoRR (2014)
Daniel Fontaine, Laurent Michel, Pascal Van Hentenryck
Model Combinators for Hybrid Optimization. CP (2013)
Pascal Van Hentenryck, Laurent Michel
The Objective-CP Optimization System. CP (2013)
Daniel Fontaine, Laurent Michel
A High Level Language for Solver Independent Model Manipulation and Generation of Hybrid Solvers. CPAIOR (2012)
Hang Dinh, Hieu T. Dinh, Laurent Michel, Alexander Russell
The Time Complexity of A* with Approximate Heuristics on Multiple-Solution Search Spaces. J. Artif. Intell. Res. 45 (2012)
Seda Davtyan, Aggelos Kiayias, Laurent Michel, Alexander Russell, Alexander A. Shvartsman
Integrity of electronic voting systems: fallacious use of cryptography. SAC (2012)
Laurent Michel, Pascal Van Hentenryck
Activity-Based Search for Black-Box Constraint Programming Solvers. CPAIOR (2012)
Pierre Schaus, Pascal Van Hentenryck, Jean-Noël Monette, Carleton Coffrin, Laurent Michel, Yves Deville
Solving Steel Mill Slab Problems with constraint-based techniques: CP, LNS, and CBLS. Constraints An Int. J. 16 (2) (2011)
Samir A. Mohamed Elsayed, Laurent Michel
Synthesis of Search Algorithms from High-Level CP Models. CP (2011)
Thuong Doan, Steven A. Demurjian, Laurent Michel, Solomon Berhe
Integrating Access Control into UML for Secure Software Modeling and Analysis. Int. J. Secur. Softw. Eng. 1 (1) (2010)
Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck
Load Balancing and Almost Symmetries for RAMBO Quorum Hosting. CP (2010)
Tigran Antonyan, Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, Laurent Michel, Nicolas C. Nicolaou, Alexander Russell, Alexander A. Shvartsman
State-wide elections, optical scan voting systems, and the pursuit of integrity. IEEE Trans. Inf. Forensics Secur. 4 (4) (2009)
Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel
Model-driven visualizations of constraint-based local search. Constraints An Int. J. 14 (3) (2009)
Tigran Antonyan, Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, Laurent Michel, Nicolas C. Nicolaou, Alexander Russell, Alexander A. Shvartsman
Automating Voting Terminal Event Log Analysis. EVT/WOTE (2009)
Laurent Michel, Andrew See, Pascal Van Hentenryck
Transparent Parallelization of Constraint Programming. INFORMS J. Comput. 21 (3) (2009)
Laurent Michel, Martijn Moraal, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck
Online Selection of Quorum Systems for RAMBO Reconfiguration. CP (2009)
Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, Laurent Michel, Nicolas C. Nicolaou, Alexander Russell, Andrew See, Narasimha Shashidhar, Alexander A. Shvartsman
Pre-Election Testing and Post-Election Audit of Optical Scan Voting Terminal Memory Cards. EVT (2008)
Pascal Van Hentenryck, Laurent Michel
The Steel Mill Slab Design Problem Revisited. CPAIOR (2008)
Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck
Optimal Deployment of Eventually-Serializable Data Services. CPAIOR (2008)
Laurent Michel, Andrew See, Pascal Van Hentenryck
Parallelizing Constraint Programs Transparently. CP (2007)
Aggelos Kiayias, Laurent Michel, Alexander Russell, Narasimha Shashidhar, Andrew See, Alexander A. Shvartsman, Seda Davtyan
Tampering with Special Purpose Trusted Computing Devices: A Case Study in Optical Scan E-Voting. ACSAC (2007)
Aggelos Kiayias, Laurent Michel, Alexander Russell, Narasimha Sashidar, Andrew See, Alexander A. Shvartsman
An Authentication and Ballot Layout Attack Against an Optical Scan Voting Terminal. EVT (2007)
Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel
Model-Driven Visualizations of Constraint-Based Local Search. CP (2007)
Aris Anagnostopoulos, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados
A simulated annealing approach to the traveling tournament problem. J. Sched. 9 (2) (2006)
Thuong Doan, Laurent Michel, Steven A. Demurjian
A Formal Framework for Secure Design and Constraint Checking in UML. ISSSE (2006)
Laurent Michel, Andrew See, Pascal Van Hentenryck
Distributed Constraint-Based Local Search. CP (2006)
Pascal Van Hentenryck, Laurent Michel
Nondeterministic Control for Hybrid Search. Constraints An Int. J. 11 (4) (2006)
Laurent Michel, Andrew See, Pascal Van Hentenryck
High-Level Nondeterministic Abstractions in. CP (2006)
Pascal Van Hentenryck, Laurent Michel
Differentiable Invariants. CP (2006)
Jaime A. Pavlich-Mariscal, Thuong Doan, Laurent Michel, Steven A. Demurjian, T. C. Ting
Role Slices: A Notation for RBAC Permission Assignment and Enforcement. DBSec (2005)
Pascal Van Hentenryck, Laurent Michel
Nondeterministic Control for Hybrid Search. CPAIOR (2005)
Peter B. Luh, Laurent Michel, Eugene Santos Jr., Danqing Yu, Andrew See, Bo Xiong, Greg Johnson, Shi-Chung Chang
Coherent configuration and operation of building transportation systems. CASE (2005)
Irit Katriel, Laurent Michel, Pascal Van Hentenryck
Maintaining Longest Paths Incrementally. Constraints An Int. J. 10 (2) (2005)
Laurent Michel, Pascal Van Hentenryck
Parallel Local Search in Comet. CP (2005)
Pascal Van Hentenryck, Laurent Michel, Liyuan Liu
Contraint-Based Combinators for Local Search. Constraints An Int. J. 10 (4) (2005)
Jaime A. Pavlich-Mariscal, Laurent Michel, Steven A. Demurjian
A Formal Enforcement Framework for Role-Based Access Control Using Aspect-Oriented Programming. MoDELS (2005)
Pascal Van Hentenryck, Laurent Michel
Control Abstractions for Local Search. Constraints An Int. J. 10 (2) (2005)
Laurent Michel, Pascal Van Hentenryck
The Comet Programming Language and System. CP (2005)
Laurent Michel, Pascal Van Hentenryck
A Modeling Layer for Constraint-Programming Libraries. INFORMS J. Comput. 17 (4) (2005)
Laurent Michel, Pascal Van Hentenryck
A decomposition-based implementation of search strategies. ACM Trans. Comput. Log. 5 (2) (2004)
Pascal Van Hentenryck, Laurent Michel
Scheduling Abstractions for Local Search. CPAIOR (2004)
Laurent Michel, Pascal Van Hentenryck
Iterative Relaxations for Iterative Flattening in Cumulative Scheduling. ICAPS (2004)
Pascal Van Hentenryck, Laurent Michel, Liyuan Liu
Constraint-Based Combinators for Local Search. CP (2004)
Laurent Michel, Pascal Van Hentenryck
A simple tabu search for warehouse location. Eur. J. Oper. Res. 157 (3) (2004)
Pascal Van Hentenryck, Laurent Michel
Control Abstractions for Local Search. CP (2003)
Laurent Michel, Pascal Van Hentenryck
Comet in Context. PCK50 (2003)
Aris Anagnostopoulos, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados
A Simulated Annealing Approach to the Travelling Tournament Problem. IJCAI (2003)
Laurent Michel, Pascal Van Hentenryck
Maintaining Longest Paths Incrementally. CP (2003)
Laurent Michel, Pascal Van Hentenryck
A constraint-based architecture for local search. OOPSLA (2002)
Laurent Michel, Pascal Van Hentenryck
Localizer. Constraints An Int. J. 5 (1/2) (2000)
Pascal Van Hentenryck, Laurent Michel, Philippe Laborie, Wim Nuijten, Jerome Rogerie
Combinatorial Optimization in OPL Studio. EPIA (1999)
Pascal Van Hentenryck, Laurent Michel, Laurent Perron, Jean-Charles Régin
Constraint Programming in OPL. PPDP (1999)
Pascal Van Hentenryck, Laurent Michel
OPL Script: Composing and Controlling Models. New Trends in Constraints (1999)
Pascal Van Hentenryck, Laurent Michel, Frédéric Benhamou
Newton - Constraint Programming over Nonlinear Constraints. Sci. Comput. Program. 30 (1-2) (1998)
Laurent Michel, Pascal Van Hentenryck
Localizer: A Modeling Language for Local Search. CP (1997)
Laurent Michel, Pascal Van Hentenryck
Helios: A Modeling Language for Global Optimization and its Implementation in Newton. Theor. Comput. Sci. 173 (1) (1997)
Laurent Michel, Jean-Francois Puget
Interval Methods for Non-linear Constraints. CP (1997)
Baudouin Le Charlier, Olivier Degimbe, Laurent Michel, Pascal Van Hentenryck
Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog. WSA (1993)
Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, Laurent Michel
The Impact of Granularity in Abstract Interpretation of Prolog. WSA (1993)