Laurent D. Michel

According to our database, Laurent D. Michel authored at least 116 papers between 1993 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Constraint propagation on GPU: a case study for the cumulative constraint.

Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli

Constraints An Int. J., June, 2024

Constraint Propagation on GPU: A Case Study for the Bin Packing Constraint.

Fabio Tardivo, Laurent Michel, Enrico Pontelli

CoRR, 2024

CODD: A Decision Diagram-Based Solver for Combinatorial Optimization.

Laurent Michel, Willem-Jan van Hoeve

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

CP for Bin Packing with Multi-Core and GPUs.

Fabio Tardivo, Laurent Michel, Enrico Pontelli

Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024

2023

Constraint propagation on GPU: A case study for the AllDifferent constraint.

Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli

J. Log. Comput., December, 2023

FASHION: Functional and Attack Graph Secured HybrId Optimization of Virtualized Networks.

Devon Callahan, Timothy Curry, Hazel Davidson, Heytem Zitoun, Benjamin Fuller, Laurent Michel

IEEE Trans. Dependable Secur. Comput., 2023

ML and Network Traces to M.A.R.S.

Waldemar Cruz, Laurent D. Michel, Benjamin Drozdenko, Steven Roodbeen

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2023

Optimization Bounds from Decision Diagrams in Haddock.

Rebecca Gentzel, Laurent Michel, Willem-Jan van Hoeve

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2023

2022

A comprehensive tolerant algebraic side-channel attack over modern ciphers using constraint programming.

Fanghui Liu, Waldemar Cruz, Laurent Michel

J. Cryptogr. Eng., 2022

Heuristics for MDD Propagation in HADDOCK.

Rebecca Gentzel, Laurent Michel, Willem-Jan van Hoeve

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

DUELMIPs: Optimizing SDN Functionality and Security.

Timothy Curry, Gabriel De Pace, Benjamin Fuller, Laurent Michel, Yan Lindsay Sun

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

Constraints propagation on GPU: A case study for AllDifferent.

Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli

Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

2021

MiniCP: a lightweight solver for constraint programming.

Laurent D. Michel, Pierre Schaus, Pascal Van Hentenryck

Math. Program. Comput., 2021

2020

Bringing freedom in variable choice when searching counter-examples in floating point programs.

Heytem Zitoun, Claude Michel, Laurent Michel, Michel Rueher

CoRR, 2020

An efficient constraint based framework forhandling floating point SMT problems.

Heytem Zitoun, Claude Michel, Laurent Michel, Michel Rueher

CoRR, 2020

HADDOCK: A Language and Architecture for Decision Diagram Compilation.

Rebecca Gentzel, Laurent Michel, Willem Jan van Hoeve

Proceedings of the Principles and Practice of Constraint Programming, 2020

2019

FASHION: Functional and Attack graph Secured HybrId Optimization of virtualized Networks.

Devon Callahan, Timothy Curry, Daniel Davidson, Heytem Zitoun, Benjamin Fuller, Laurent Michel

CoRR, 2019

A Counting-Based Approach to Scalable Micro-service Deployment.

Waldemar Cruz, Fanghui Liu, Laurent Michel

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

DOCSDN: Dynamic and Optimal Configuration of Software-Defined Networks.

Timothy Curry, Devon Callahan, Benjamin Fuller, Laurent Michel

Proceedings of the Information Security and Privacy - 24th Australasian Conference, 2019

2018

Constraint-Based Local Search.

Laurent Michel, Pascal Van Hentenryck

Proceedings of the Handbook of Heuristics., 2018

A Semiclassical Approach to the Kramers-Smoluchowski Equation.

Laurent Michel, Maciej Zworski

SIAM J. Math. Anal., 2018

A Complete Tolerant Algebraic Side-Channel Attack for AES with CP.

Fanghui Liu, Waldemar Cruz, Laurent Michel

Proceedings of the Principles and Practice of Constraint Programming, 2018

Securely and Automatically Deploying Micro-services in an Hybrid Cloud Infrastructure.

Waldemar Cruz, Fanghui Liu, Laurent Michel

Proceedings of the Principles and Practice of Constraint Programming, 2018

2017

A microkernel architecture for constraint programming.

Laurent D. Michel, Pascal Van Hentenryck

Constraints An Int. J., 2017

A design flow with integrated verification of requirements and faults in safety-critical systems.

Wei Yan, Daniel Fontaine, John A. Chandy, Laurent Michel

Proceedings of the 12th System of Systems Engineering Conference, 2017

Search Strategies for Floating Point Constraint Systems.

Heytem Zitoun, Claude Michel, Michel Rueher, Laurent Michel

Proceedings of the Principles and Practice of Constraint Programming, 2017

A Tolerant Algebraic Side-Channel Attack on AES Using CP.

Fanghui Liu, Waldemar Cruz, Chujiao Ma, Greg Johnson, Laurent Michel

Proceedings of the Principles and Practice of Constraint Programming, 2017

Influence of Error on Hamming Weights for ASCA.

Chujiao Ma, John A. Chandy, Laurent Michel, Fanghui Liu, Waldemar Cruz

Proceedings of the Information Security and Cryptology - 13th International Conference, 2017

What's Hot in Constraint Programming.

Laurent D. Michel, Michel Rueher

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Model Combinators in the Scheduling Domain.

Laurent Michel, Daniel Fontaine

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2016

Parallel Composition of Scheduling Solvers.

Daniel Fontaine, Laurent D. Michel, Pascal Van Hentenryck

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

2015

Introduction to the fast track issue for CPAIOR 2015.

Laurent Michel

Constraints An Int. J., 2015

2014

Heterogeneous biological data integration with declarative query language.

Hoan Nguyen, Laurent Michel, Julie Dawn Thompson, Olivier Poch

IBM J. Res. Dev., 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

The Table Access Protocol: Providing standard access to astronomical data.

Deoyani Nandrekar-Heinis, Laurent Michel, Mireille Louys, François Bonnarel

Astron. Comput., 2014

Building an archive with Saada.

Laurent Michel, Christian Motch, Hoan Ngoc Nguyen, François-Xavier Pineau

Astron. Comput., 2014

A Systematic Approach to Analyzing Voting Terminal Event Logs.

Laurent D. Michel, Alexander A. Shvartsman, Nikolaj Volgushev

Proceedings of the 2014 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections, 2014

Domain Views for Constraint Programming.

Pascal Van Hentenryck, Laurent D. Michel

Proceedings of the Principles and Practice of Constraint Programming, 2014

Constraint-Based Lagrangian Relaxation.

Daniel Fontaine, Laurent D. Michel, Pascal Van Hentenryck

Proceedings of the Principles and Practice of Constraint Programming, 2014

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

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

The Objective-CP Optimization System.

Pascal Van Hentenryck, Laurent Michel

Proceedings of the Principles and Practice of Constraint Programming, 2013

Model Combinators for Hybrid Optimization.

Daniel Fontaine, Laurent Michel, Pascal Van Hentenryck

Proceedings of the Principles and Practice of Constraint Programming, 2013

Energy-efficient management of eco-communities.

Bing Yan, Peter B. Luh, Biao Sun, Chen Song, Chenhui Dong, Zhongxue Gan, Laurent D. Michel

Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013

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

Integrity of electronic voting systems: fallacious use of cryptography.

Seda Davtyan, Aggelos Kiayias, Laurent Michel, Alexander Russell, Alexander A. Shvartsman

Proceedings of the ACM Symposium on Applied Computing, 2012

Activity-Based Search for Black-Box Constraint Programming Solvers.

Laurent Michel, Pascal Van Hentenryck

Proceedings of the Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 2012

A High Level Language for Solver Independent Model Manipulation and Generation of Hybrid Solvers.

Daniel Fontaine, Laurent Michel

Proceedings of the Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 2012

Constraint Satisfaction over Bit-Vectors.

Laurent D. Michel, Pascal Van Hentenryck

Proceedings of the Principles and Practice of Constraint Programming, 2012

Constraint Programming and a Usability Quest.

Laurent D. Michel

Proceedings of the Principles and Practice of Constraint Programming, 2012

2011

Activity-Based Search for Black-Box Contraint-Programming Solvers

Laurent D. Michel, Pascal Van Hentenryck

CoRR, 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

Optimal deployment of eventually-serializable data services.

Laurent D. Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck

Ann. Oper. Res., 2011

Synthesis of Search Algorithms from High-Level CP Models.

Samir A. Mohamed Elsayed, Laurent Michel

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

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

A framework for security assurance of access control enforcement code.

Jaime A. Pavlich-Mariscal, Steven A. Demurjian, Laurent D. Michel

Comput. Secur., 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

Parallelizing constraint programs.

Laurent D. Michel

Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, 2010

Load Balancing and Almost Symmetries for RAMBO Quorum Hosting.

Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

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

Transparent Parallelization of Constraint Programming.

Laurent Michel, Andrew See, Pascal Van Hentenryck

INFORMS J. Comput., 2009

Parallel and distributed local search in COMET.

Laurent D. Michel, Andrew See, Pascal Van Hentenryck

Comput. Oper. Res., 2009

Model-driven visualizations of constraint-based local search.

Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel

Constraints An Int. J., 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

Proceedings of the 2009 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, 2009

Optimizing Network Deployment of Formally-Specified Distributed Systems.

Carleton Coffrin, Laurent D. Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck

Proceedings of the 18th International Conference on Software Engineering and Data Engineering (SEDE-2009), 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

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Bandwidth-Limited Optimal Deployment of Eventually-Serializable Data Services.

Laurent D. Michel, Pascal Van Hentenryck, Elaine L. Sonderegger, Alexander A. Shvartsman, Martijn Moraal

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009

Online Selection of Quorum Systems for RAMBO Reconfiguration.

Laurent Michel, Martijn Moraal, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck

Proceedings of the Principles and Practice of Constraint Programming, 2009

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

Proceedings of the 2008 USENIX/ACCURATE Electronic Voting Workshop, 2008

A Framework of Composable Access Control Definition, Enforcement and Assurance.

Jaime A. Pavlich-Mariscal, Steven A. Demurjian, Laurent D. Michel

Proceedings of the XXVII International Conference of the Chilean Computer Science Society (SCCC 2008), 2008

The Steel Mill Slab Design Problem Revisited.

Pascal Van Hentenryck, Laurent Michel

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

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

Proceedings of the 2007 USENIX/ACCURATE Electronic Voting Technology Workshop, 2007

Parallelizing Constraint Programs Transparently.

Laurent Michel, Andrew See, Pascal Van Hentenryck

Proceedings of the Principles and Practice of Constraint Programming, 2007

Coherent Modeling and Effective Coordination for Building Emergency Evacuation.

Bo Xiong, Peter B. Luh, Shi-Chung Chang, Laurent D. Michel, Andrew See

Proceedings of the IEEE Conference on Automation Science and Engineering, 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

Proceedings of the 23rd Annual Computer Security Applications Conference (ACSAC 2007), 2007

Synthesis of Constraint-Based Local Search Algorithms from High-Level Models.

Pascal Van Hentenryck, Laurent D. Michel

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Constraints in Procedural and Concurrent Languages.

Thom W. Frühwirth, Laurent Michel, Christian Schulte

Proceedings of the Handbook of Constraint Programming, 2006

A simulated annealing approach to the traveling tournament problem.

Aris Anagnostopoulos, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados

J. Sched., 2006

Nondeterministic Control for Hybrid Search.

Pascal Van Hentenryck, Laurent Michel

Constraints An Int. J., 2006

A Formal Framework for Secure Design and Constraint Checking in UML.

Thuong Doan, Laurent Michel, Steven A. Demurjian

Proceedings of the 2006 IEEE International Symposium on Secure Software Engineering, 2006

High-Level Nondeterministic Abstractions in.

Laurent Michel, Andrew See, Pascal Van Hentenryck

Proceedings of the Principles and Practice of Constraint Programming, 2006

Distributed Constraint-Based Local Search.

Laurent Michel, Andrew See, Pascal Van Hentenryck

Proceedings of the Principles and Practice of Constraint Programming, 2006

Differentiable Invariants.

Pascal Van Hentenryck, Laurent Michel

Proceedings of the Principles and Practice of Constraint Programming, 2006

Transportation and HVAC Systems for Building Emergency Evacuation.

Andrew See, Laurent D. Michel, Bo Xiong, Peter B. Luh, Shi-Chung Chang

Proceedings of the 2006 IEEE International Conference on Automation Science and Engineering, 2006

2005

A Modeling Layer for Constraint-Programming Libraries.

Laurent Michel, Pascal Van Hentenryck

INFORMS J. Comput., 2005

Maintaining Longest Paths Incrementally.

Irit Katriel, Laurent Michel, Pascal Van Hentenryck

Constraints An Int. J., 2005

Contraint-Based Combinators for Local Search.

Pascal Van Hentenryck, Laurent Michel, Liyuan Liu

Constraints An Int. J., 2005

Control Abstractions for Local Search.

Pascal Van Hentenryck, Laurent Michel

Constraints An Int. J., 2005

A Formal Enforcement Framework for Role-Based Access Control Using Aspect-Oriented Programming.

Jaime A. Pavlich-Mariscal, Laurent Michel, Steven A. Demurjian

Proceedings of the Model Driven Engineering Languages and Systems, 2005

A Framework for Composable Security Definition, Assurance, and Enforcement.

Jaime A. Pavlich-Mariscal, Steven A. Demurjian, Laurent D. Michel

Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

Stateful Design for Secure Information Systems.

Thuong Doan, Laurent D. Michel, Steven A. Demurjian, T. C. Ting

Proceedings of the Security in Information Systems, 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

Proceedings of the Data and Applications Security XIX, 2005

The Comet Programming Language and System.

Laurent Michel, Pascal Van Hentenryck

Proceedings of the Principles and Practice of Constraint Programming, 2005

Parallel Local Search in Comet.

Laurent Michel, Pascal Van Hentenryck

Proceedings of the Principles and Practice of Constraint Programming, 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

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2005

Constraint-based local search.

Pascal Van Hentenryck, Laurent Michel

MIT Press, ISBN: 978-0-262-22077-4, 2005

2004

A decomposition-based implementation of search strategies.

Laurent Michel, Pascal Van Hentenryck

ACM Trans. Comput. Log., 2004

A simple tabu search for warehouse location.

Laurent Michel, Pascal Van Hentenryck

Eur. J. Oper. Res., 2004

Scheduling Abstractions for Local Search.

Pascal Van Hentenryck, Laurent Michel

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004

Constraint-Based Combinators for Local Search.

Pascal Van Hentenryck, Laurent Michel, Liyuan Liu

Proceedings of the Principles and Practice of Constraint Programming, 2004

Iterative Relaxations for Iterative Flattening in Cumulative Scheduling.

Laurent Michel, Pascal Van Hentenryck

Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 2004

2003

A Simulated Annealing Approach to the Travelling Tournament Problem.

Aris Anagnostopoulos, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados

Proceedings of the IJCAI-03, 2003

Maintaining Longest Paths Incrementally.

Laurent Michel, Pascal Van Hentenryck

Proceedings of the Principles and Practice of Constraint Programming, 2003

Comet in Context.

Laurent Michel, Pascal Van Hentenryck

Proceedings of the PCK50, 2003

2002

A constraint-based architecture for local search.

Laurent Michel, Pascal Van Hentenryck

Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002

2000

Localizer.

Laurent Michel, Pascal Van Hentenryck

Constraints An Int. J., 2000

1999

LOCALIZER A Modeling Language for Local Search.

Laurent D. Michel

PhD thesis, 1999

Localizer: A Modeling Language for Local Search.

Laurent D. Michel, Pascal Van Hentenryck

INFORMS J. Comput., 1999

Constraint Programming in OPL.

Pascal Van Hentenryck, Laurent Michel, Laurent Perron, Jean-Charles Régin

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

Combinatorial Optimization in OPL Studio.

Pascal Van Hentenryck, Laurent Michel, Philippe Laborie, Wim Nuijten, Jerome Rogerie

Proceedings of the Progress in Artificial Intelligence, 1999

OPL Script: Composing and Controlling Models.

Pascal Van Hentenryck, Laurent Michel

Proceedings of the New Trends in Contraints, 1999

1998

Newton - Constraint Programming over Nonlinear Constraints.

Pascal Van Hentenryck, Laurent Michel, Frédéric Benhamou

Sci. Comput. Program., 1998

1997

Helios: A Modeling Language for Global Optimization and its Implementation in Newton.

Laurent Michel, Pascal Van Hentenryck

Theor. Comput. Sci., 1997

Interval Methods for Non-linear Constraints.

Laurent Michel, Jean-Francois Puget

Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997

Numerica - A Modeling Language for Global Optimization.

Pascal Van Hentenryck, Laurent Michel, Yves Deville

MIT Press, ISBN: 978-0-262-72027-4, 1997

1993

The Impact of Granularity in Abstract Interpretation of Prolog.

Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, Laurent Michel

Proceedings of the Static Analysis, Third International Workshop, 1993

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

Proceedings of the Static Analysis, Third International Workshop, 1993