Laurent D. Michel

Laurent Michel

2009
45	EE	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: 2049-2053
2008
44	EE	Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck: Optimal Deployment of Eventually-Serializable Data Services. CPAIOR 2008: 188-202
43	EE	Pascal Van Hentenryck, Laurent Michel: The Steel Mill Slab Design Problem Revisited. CPAIOR 2008: 377-381
42	EE	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
41	EE	Jaime A. Pavlich-Mariscal, Steven A. Demurjian, Laurent D. Michel: A Framework of Composable Access Control Definition, Enforcement and Assurance. SCCC 2008: 13-22
2007
40		Pascal Van Hentenryck, Laurent D. Michel: Synthesis of Constraint-Based Local Search Algorithms from High-Level Models. AAAI 2007: 273-
39	EE	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: 30-39
38	EE	Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel: Model-Driven Visualizations of Constraint-Based Local Search. CP 2007: 271-285
37	EE	Laurent Michel, Andrew See, Pascal Van Hentenryck: Parallelizing Constraint Programs Transparently. CP 2007: 514-528
2006
36	EE	Laurent Michel, Andrew See, Pascal Van Hentenryck: Distributed Constraint-Based Local Search. CP 2006: 344-358
35	EE	Laurent Michel, Andrew See, Pascal Van Hentenryck: High-Level Nondeterministic Abstractions in. CP 2006: 359-374
34	EE	Pascal Van Hentenryck, Laurent Michel: Differentiable Invariants. CP 2006: 604-619
33	EE	Pascal Van Hentenryck, Laurent Michel: Nondeterministic Control for Hybrid Search. Constraints 11(4): 353-373 (2006)
32	EE	Aris Anagnostopoulos, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados: A simulated annealing approach to the traveling tournament problem. J. Scheduling 9(2): 177-193 (2006)
2005
31	EE	Laurent Michel, Pascal Van Hentenryck: Parallel Local Search in Comet. CP 2005: 430-444
30	EE	Laurent Michel, Pascal Van Hentenryck: The Comet Programming Language and System. CP 2005: 881-881
29	EE	Pascal Van Hentenryck, Laurent Michel: Nondeterministic Control for Hybrid Search. CPAIOR 2005: 380-395
28	EE	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: 40-53
27	EE	Jaime A. Pavlich-Mariscal, Laurent Michel, Steven A. Demurjian: A Formal Enforcement Framework for Role-Based Access Control Using Aspect-Oriented Programming. MoDELS 2005: 537-552
26	EE	Jaime A. Pavlich-Mariscal, Steven A. Demurjian, Laurent D. Michel: A Framework for Composable Security Definition, Assurance, and Enforcement. MoDELS Satellite Events 2005: 353-354
25		Thuong Doan, Laurent D. Michel, Steven A. Demurjian, T. C. Ting: Stateful Design for Secure Information Systems. WOSIS 2005: 277-286
24	EE	Pascal Van Hentenryck, Laurent Michel: Control Abstractions for Local Search. Constraints 10(2): 137-157 (2005)
23	EE	Irit Katriel, Laurent Michel, Pascal Van Hentenryck: Maintaining Longest Paths Incrementally. Constraints 10(2): 159-183 (2005)
22	EE	Pascal Van Hentenryck, Laurent Michel, Liyuan Liu: Contraint-Based Combinators for Local Search. Constraints 10(4): 363-384 (2005)
21	EE	Laurent Michel, Pascal Van Hentenryck: A Modeling Layer for Constraint-Programming Libraries. INFORMS Journal on Computing 17(4): 389-401 (2005)
2004
20	EE	Pascal Van Hentenryck, Laurent Michel, Liyuan Liu: Constraint-Based Combinators for Local Search. CP 2004: 47-61
19	EE	Pascal Van Hentenryck, Laurent Michel: Scheduling Abstractions for Local Search. CPAIOR 2004: 319-334
18		Laurent Michel, Pascal Van Hentenryck: Iterative Relaxations for Iterative Flattening in Cumulative Scheduling. ICAPS 2004: 200-208
17	EE	Laurent Michel, Pascal Van Hentenryck: A decomposition-based implementation of search strategies. ACM Trans. Comput. Log. 5(2): 351-383 (2004)
16	EE	Laurent Michel, Pascal Van Hentenryck: A simple tabu search for warehouse location. European Journal of Operational Research 157(3): 576-591 (2004)
2003
15	EE	Laurent Michel, Pascal Van Hentenryck: Maintaining Longest Paths Incrementally. CP 2003: 540-554
14	EE	Pascal Van Hentenryck, Laurent Michel: Control Abstractions for Local Search. CP 2003: 65-80
13		Aris Anagnostopoulos, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados: A Simulated Annealing Approach to the Travelling Tournament Problem. IJCAI 2003: 1357-1358
12		Laurent Michel, Pascal Van Hentenryck: Comet in Context. PCK50 2003: 95-107
2002
11	EE	Laurent Michel, Pascal Van Hentenryck: A constraint-based architecture for local search. OOPSLA 2002: 83-100
2000
10		Laurent Michel, Pascal Van Hentenryck: Localizer. Constraints 5(1/2): 43-84 (2000)
1999
9		Pascal Van Hentenryck, Laurent Michel, Philippe Laborie, Wim Nuijten, Jerome Rogerie: Combinatorial Optimization in OPL Studio. EPIA 1999: 1-15
8	EE	Pascal Van Hentenryck, Laurent Michel: OPL Script: Composing and Controlling Models. New Trends in Constraints 1999: 75-90
7		Pascal Van Hentenryck, Laurent Michel, Laurent Perron, Jean-Charles Régin: Constraint Programming in OPL. PPDP 1999: 98-116
1998
6		Pascal Van Hentenryck, Laurent Michel, Frédéric Benhamou: Newton - Constraint Programming over Nonlinear Constraints. Sci. Comput. Program. 30(1-2): 83-118 (1998)
1997
5		Laurent Michel, Pascal Van Hentenryck: Localizer: A Modeling Language for Local Search. CP 1997: 237-251
4		Laurent Michel, Jean-Francois Puget: Interval Methods for Non-linear Constraints. CP 1997: 371
3	EE	Laurent Michel, Pascal Van Hentenryck: Helios: A Modeling Language for Global Optimization and its Implementation in Newton. Theor. Comput. Sci. 173(1): 3-48 (1997)
1993
2		Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, Laurent Michel: The Impact of Granularity in Abstract Interpretation of Prolog. WSA 1993: 1-14
1		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: 15-26

Coauthor Index

1	Aris Anagnostopoulos	[13] [32]
2	Frédéric Benhamou	[6]
3	Baudouin Le Charlier	[1] [2]
4	Seda Davtyan	[39] [42] [45]
5	Olivier Degimbe	[1] [2]
6	Steven A. Demurjian	[25] [26] [27] [28] [41]
7	Thuong Doan	[25] [28]
8	Grégoire Dooms	[38]
9	Pascal Van Hentenryck	[1] [2] [3] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [40] [43] [44]
10	Irit Katriel	[23]
11	Sotiris Kentros	[42] [45]
12	Aggelos Kiayias	[39] [42] [45]
13	Philippe Laborie	[9]
14	Liyuan Liu	[20] [22]
15	Nicolas C. Nicolaou	[42] [45]
16	Wim Nuijten (W. P. M. Nuijten)	[9]
17	Jaime A. Pavlich-Mariscal	[26] [27] [28] [41]
18	Laurent Perron	[7]
19	Jean-François Puget (Jean-Francois Puget)	[4]
20	Jean-Charles Régin	[7]
21	Jerome Rogerie	[9]
22	Alexander Russell	[39] [42] [45]
23	Andrew See	[35] [36] [37] [39] [42] [45]
24	Narasimha Shashidhar	[39] [42] [45]
25	Alexander A. Shvartsman	[39] [42] [44] [45]
26	Elaine L. Sonderegger	[44]
27	T. C. Ting	[25] [28]
28	Yannis Vergados (Ioannis Vergados)	[13] [32]