Laurent D. Michel

Laurent Michel

	2012
65		Daniel Fontaine, Laurent Michel: A High Level Language for Solver Independent Model Manipulation and Generation of Hybrid Solvers. CPAIOR 2012: 180-194
64		Laurent Michel, Pascal Van Hentenryck: Activity-Based Search for Black-Box Constraint Programming Solvers. CPAIOR 2012: 228-243
	2011
63		Samir A. Mohamed Elsayed, Laurent Michel: Synthesis of Search Algorithms from High-Level CP Models. CP 2011: 256-270
62		Laurent D. Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck: Optimal deployment of eventually-serializable data services. Annals OR 184(1): 273-294 (2011)
61		Laurent D. Michel, Pascal Van Hentenryck: Activity-Based Search for Black-Box Contraint-Programming Solvers CoRR abs/1105.6314: (2011)
60		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 16(2): 125-147 (2011)
	2010
59		Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck: Load Balancing and Almost Symmetries for RAMBO Quorum Hosting. CP 2010: 598-612
58		Laurent D. Michel: Parallelizing constraint programs. DAMP 2010: 3-4
57		Jaime A. Pavlich-Mariscal, Steven A. Demurjian, Laurent D. Michel: A framework of composable access control features: Preserving separation of access control concerns from models to code. Computers & Security 29(3): 350-379 (2010)
56		Jaime A. Pavlich-Mariscal, Steven A. Demurjian, Laurent D. Michel: A framework for security assurance of access control enforcement code. Computers & Security 29(7): 770-784 (2010)
55		Thuong Doan, Steven A. Demurjian, Laurent Michel, Solomon Berhe: Integrating Access Control into UML for Secure Software Modeling and Analysis. IJSSE 1(1): 1-19 (2010)
	2009
54		Laurent Michel, Martijn Moraal, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck: Online Selection of Quorum Systems for RAMBO Reconfiguration. CP 2009: 88-103
53		Laurent D. Michel, Pascal Van Hentenryck, Elaine L. Sonderegger, Alexander A. Shvartsman, Martijn Moraal: Bandwidth-Limited Optimal Deployment of Eventually-Serializable Data Services. CPAIOR 2009: 193-207
52		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
51		Carleton Coffrin, Laurent D. Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck: Optimizing Network Deployment of Formally-Specified Distributed Systems. SEDE 2009: 230-237
50		Laurent D. Michel, Andrew See, Pascal Van Hentenryck: Parallel and distributed local search in COMET. Computers & OR 36(8): 2357-2375 (2009)
49		Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel: Model-driven visualizations of constraint-based local search. Constraints 14(3): 294-324 (2009)
48		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 Transactions on Information Forensics and Security 4(4): 597-610 (2009)
47		Laurent Michel, Andrew See, Pascal Van Hentenryck: Transparent Parallelization of Constraint Programming. INFORMS Journal on Computing 21(3): 363-382 (2009)
	2008
46		Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck: Optimal Deployment of Eventually-Serializable Data Services. CPAIOR 2008: 188-202
45		Pascal Van Hentenryck, Laurent Michel: The Steel Mill Slab Design Problem Revisited. CPAIOR 2008: 377-381
44		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
43		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
42		Pascal Van Hentenryck, Laurent D. Michel: Synthesis of Constraint-Based Local Search Algorithms from High-Level Models. AAAI 2007: 273-
41		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
40		Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel: Model-Driven Visualizations of Constraint-Based Local Search. CP 2007: 271-285
39		Laurent Michel, Andrew See, Pascal Van Hentenryck: Parallelizing Constraint Programs Transparently. CP 2007: 514-528
	2006
38		Laurent Michel, Andrew See, Pascal Van Hentenryck: Distributed Constraint-Based Local Search. CP 2006: 344-358
37		Laurent Michel, Andrew See, Pascal Van Hentenryck: High-Level Nondeterministic Abstractions in. CP 2006: 359-374
36		Pascal Van Hentenryck, Laurent Michel: Differentiable Invariants. CP 2006: 604-619
35		Pascal Van Hentenryck, Laurent Michel: Nondeterministic Control for Hybrid Search. Constraints 11(4): 353-373 (2006)
34		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
33		Pascal Van Hentenryck, Laurent Michel: Constraint-based local search. MIT Press 2005: I-XIX, 1-422
32		Laurent Michel, Pascal Van Hentenryck: Parallel Local Search in Comet. CP 2005: 430-444
31		Laurent Michel, Pascal Van Hentenryck: The Comet Programming Language and System. CP 2005: 881-881
30		Pascal Van Hentenryck, Laurent Michel: Nondeterministic Control for Hybrid Search. CPAIOR 2005: 380-395
29		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
28		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
27		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
26		Thuong Doan, Laurent D. Michel, Steven A. Demurjian, T. C. Ting: Stateful Design for Secure Information Systems. WOSIS 2005: 277-286
25		Pascal Van Hentenryck, Laurent Michel: Control Abstractions for Local Search. Constraints 10(2): 137-157 (2005)
24		Irit Katriel, Laurent Michel, Pascal Van Hentenryck: Maintaining Longest Paths Incrementally. Constraints 10(2): 159-183 (2005)
23		Pascal Van Hentenryck, Laurent Michel, Liyuan Liu: Contraint-Based Combinators for Local Search. Constraints 10(4): 363-384 (2005)
22		Laurent Michel, Pascal Van Hentenryck: A Modeling Layer for Constraint-Programming Libraries. INFORMS Journal on Computing 17(4): 389-401 (2005)
	2004
21		Pascal Van Hentenryck, Laurent Michel, Liyuan Liu: Constraint-Based Combinators for Local Search. CP 2004: 47-61
20		Pascal Van Hentenryck, Laurent Michel: Scheduling Abstractions for Local Search. CPAIOR 2004: 319-334
19		Laurent Michel, Pascal Van Hentenryck: Iterative Relaxations for Iterative Flattening in Cumulative Scheduling. ICAPS 2004: 200-208
18		Laurent Michel, Pascal Van Hentenryck: A decomposition-based implementation of search strategies. ACM Trans. Comput. Log. 5(2): 351-383 (2004)
17		Laurent Michel, Pascal Van Hentenryck: A simple tabu search for warehouse location. European Journal of Operational Research 157(3): 576-591 (2004)
	2003
16		Laurent Michel, Pascal Van Hentenryck: Maintaining Longest Paths Incrementally. CP 2003: 540-554
15		Pascal Van Hentenryck, Laurent Michel: Control Abstractions for Local Search. CP 2003: 65-80
14		Aris Anagnostopoulos, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados: A Simulated Annealing Approach to the Travelling Tournament Problem. IJCAI 2003: 1357-1358
13		Laurent Michel, Pascal Van Hentenryck: Comet in Context. PCK50 2003: 95-107
	2002
12		Laurent Michel, Pascal Van Hentenryck: A constraint-based architecture for local search. OOPSLA 2002: 83-100
	2000
11		Laurent Michel, Pascal Van Hentenryck: Localizer. Constraints 5(1/2): 43-84 (2000)
	1999
10		Pascal Van Hentenryck, Laurent Michel, Philippe Laborie, Wim Nuijten, Jerome Rogerie: Combinatorial Optimization in OPL Studio. EPIA 1999: 1-15
9		Pascal Van Hentenryck, Laurent Michel: OPL Script: Composing and Controlling Models. New Trends in Constraints 1999: 75-90
8		Pascal Van Hentenryck, Laurent Michel, Laurent Perron, Jean-Charles Régin: Constraint Programming in OPL. PPDP 1999: 98-116
7		Laurent D. Michel, Pascal Van Hentenryck: Localizer: A Modeling Language for Local Search. INFORMS Journal on Computing 11(1): 1-14 (1999)
	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		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	[14] [34]
2	Tigran Antonyan	[48]
3	Frédéric Benhamou	[6]
4	Solomon Berhe	[55]
5	Baudouin Le Charlier	[1] [2]
6	Carleton Coffrin	[51] [60]
7	Seda Davtyan	[41] [44] [48] [52]
8	Olivier Degimbe	[1] [2]
9	Steven A. Demurjian	[26] [27] [28] [29] [43] [55] [56] [57]
10	Yves Deville	[60]
11	Thuong Doan	[26] [29] [55]
12	Grégoire Dooms	[40] [49]
13	Samir A. Mohamed Elsayed	[63]
14	Daniel Fontaine	[65]
15	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] [25] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [42] [45] [46] [47] [49] [50] [51] [53] [54] [59] [60] [61] [62] [64]
16	Irit Katriel	[24]
17	Sotiris Kentros	[44] [48] [52]
18	Aggelos Kiayias	[41] [44] [48] [52]
19	Philippe Laborie	[10]
20	Liyuan Liu	[21] [23]
21	Jean-Noël Monette	[60]
22	Martijn Moraal	[53] [54]
23	Nicolas C. Nicolaou	[44] [48] [52]
24	Wim Nuijten (W. P. M. Nuijten)	[10]
25	Jaime A. Pavlich-Mariscal	[27] [28] [29] [43] [56] [57]
26	Laurent Perron	[8]
27	Jean-François Puget (Jean-Francois Puget)	[4]
28	Jean-Charles Régin	[8]
29	Jerome Rogerie	[10]
30	Alexander Russell	[41] [44] [48] [52]
31	Pierre Schaus	[60]
32	Andrew See	[37] [38] [39] [41] [44] [47] [50] [52]
33	Narasimha Shashidhar	[41] [44] [52]
34	Alexander A. Shvartsman	[41] [44] [46] [48] [51] [52] [53] [54] [59] [62]
35	Elaine L. Sonderegger	[46] [51] [53] [54] [59] [62]
36	T. C. Ting	[26] [29]
37	Yannis Vergados (Ioannis Vergados)	[14] [34]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page