Laurent Michel

102 papers A* 3A 29B 11C 1Misc 5Journal 38Unranked 11

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