A pa@ern language: towns, buildings, construc;on, 1977. ,
Reconfiguration of assembly lines under the influence of high product variety in the automotive industry???a decision support system, International Journal of Production Research, vol.6, issue.21, pp.6235-625610, 1080. ,
DOI : 10.1007/978-3-642-18947-0
URL : https://hal.archives-ouvertes.fr/hal-00540042
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-23510, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
Heuris;c methods for cost-oriented assembly line balancing: A survey, Interna;onal Journal of Produc;on Economics, vol.68, issue.99, pp.1-14, 2000. ,
DOI : 10.1016/s0925-5273(99)00095-x
2013. Minimisa;on des retards dans le séquencement des véhicules sur une ligne d'assemblage mul;modèle, Journal Européen des Systèmes Automa, vol.4747, pp.635-655 ,
A COMPUTER METHOD OF SEQUENCING OPERATIONS FOR ASSEMBLY LINES, International Journal of Production Research, vol.6, issue.4, pp.259-277, 1965. ,
DOI : 10.1287/mnsc.2.3.261
Assembly line balancing with parallel workstations and dead time, International Journal of Production Research, vol.8, issue.6, pp.1005-101810, 1080. ,
DOI : 10.1287/mnsc.30.1.85
A taxonomy of line balancing problems and their solu;onapproaches, Interna;onal Journal of Produc;on Economics, vol.142, 2013. ,
Ant algorithms for a ;me and space constrained assembly line balancing problem, European Journal of Opera;onal Research, vol.177, pp.2016-2032, 2007. ,
A Survey of Exact Algorithms for the Simple Assembly Line Balancing Problem, Management Science, vol.32, issue.8, pp.909-932, 1986. ,
DOI : 10.1287/mnsc.32.8.909
A survey on problems and methods in generalized assembly line balancing, European Journal of Operational Research, vol.168, issue.3, 2006. ,
DOI : 10.1016/j.ejor.2004.07.023
Produc;on Scheduling by Reachability Analysis - A Case Study, Parallel and Distributed Processing Symposium, 2005. Proceedings. 19th IEEE Interna Presented at the Parallel and Distributed Processing Symposium, 2005. Proceedings. 19th IEEE Interna, pp.140-140, 2005. ,
DOI : 10.1109/ipdps.2005.363
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.4588
A Tutorial on Uppaal Formal Methods for the Design of Real-Time Systems, Lecture Notes in Computer Science, pp.200-236, 2004. ,
On the Theory of Dynamic Programming, Proceedings of the Na;onal Academy of Sciences of the United States of America, pp.716-719, 1952. ,
Lignes d'usinage avec équipements standard : modélisa;on, conGgura;on et op;misa;on, Ecole Na, 2006. ,
Flexibilité et robustesse en ordonnancement Hermès Science publica;ons, 2005. ,
Assembly line balancing: Which model to use when?, International Journal of Production Economics, vol.111, issue.2, 2008. ,
DOI : 10.1016/j.ijpe.2007.02.026
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.6566
A classiGca;on of assembly line balancing problems, European Journal of Opera;onal Research, vol.183, 2007. ,
A branch-and-bound based solution approach for the mixed-model assembly line-balancing problem for minimizing stations and task duplication costs, European Journal of Operational Research, vol.174, issue.1, pp.492-508, 2006. ,
DOI : 10.1016/j.ejor.2005.01.055
SpéciGca;on et concep;on des systèmes: une méthodologie, 1990. ,
An evaluation of constructive heuristic methods for solving the alternative subgraphs assembly line balancing problem, Journal of Heuristics, vol.44, issue.2, pp.109-132, 2007. ,
DOI : 10.1287/mnsc.32.4.430
URL : https://hal.archives-ouvertes.fr/emse-00673020
Modèles formels pour l'évalua;on de la sûreté de fonc;onnement des architectures logicielles d'avionique modulaire intégrée. Presented at the Approches formelles dans l, pp.83-97, 2001. ,
The applica;on of a tabu search metaheuris;c to the assembly line balancing problem, Annals of Operations Research, vol.77, pp.209-227, 1998. ,
DOI : 10.1023/A:1018925411397
A robustness information and visualization model for time and space assembly line balancing under uncertain demand, International Journal of Production Economics, vol.145, issue.2, pp.761-772, 2013. ,
DOI : 10.1016/j.ijpe.2013.05.030
2012. Mul;-objec;ve two-sided mixed-model assembly line balancing using par;cle swarm op;misa;on with nega;ve knowledge, Computers & Industrial Engineering, vol.62, pp.39-55 ,
Design and synthesis of synchroniza;on skeletons using branching ;me temporal logic, Logics of Programs, pp.52-71, 1982. ,
Balancing assembly line with skilled and unskilled workers. Omega, A Special Issue Dedicated to the, Beijing Olympic Games, vol.36, 2008. ,
DOI : 10.1016/j.omega.2006.03.003
URL : http://upcommons.upc.edu/bitstream/2117/6075/1/2008-OMEGA.pdf
Just-In-Time manufacturing excellence John Costanza Ins;tute of Technology Inc, 1996. ,
Assistance a la concep;on et a l'évalua;on de l'architecture de conduite des systèmes de produc, 1994. ,
Balancing large-scale machining lines with multi-spindle heads using decomposition, International Journal of Production Research, vol.114, issue.18-19, pp.4105-41201000207540600632232, 1080. ,
DOI : 10.1080/002075499191003
URL : https://hal.archives-ouvertes.fr/hal-00512895
A heuristic approach for transfer lines balancing, Journal of Intelligent Manufacturing, vol.114, issue.3, pp.159-172, 2005. ,
DOI : 10.1007/s10845-004-5886-6
URL : https://hal.archives-ouvertes.fr/hal-00387630
Optimisation of multi-position machines and transfer lines, European Journal of Operational Research, vol.185, issue.3, pp.1375-1389, 2008. ,
DOI : 10.1016/j.ejor.2006.03.069
URL : https://hal.archives-ouvertes.fr/hal-00387679
Les systèmes de produc;on modernes. Hermès science publica, 2006. ,
Art and Theory of Dynamic Programming, 1977. ,
Improved network based algorithms for the assembly line balancing problem, International Journal of Production Research, vol.13, issue.11, 1901. ,
DOI : 10.1287/mnsc.30.1.85
Approche méthodologique pour l'intégra;on des systèmes contrôlés par le produit dans un environnement de juste-à-temps: <br />Applica, 2008. ,
Shortest-route formulation of mixed-model assembly line balancing problem, European Journal of Operational Research, vol.116, issue.1, pp.194-204, 1999. ,
DOI : 10.1016/S0377-2217(98)00115-5
URL : http://repository.bilkent.edu.tr/bitstream/11693/10935/1/10.1016-S0377-2217%2898%2900115-5.pdf
A survey of the assembly line balancing procedures, Production Planning & Control, vol.9, issue.5, pp.414-434, 1998. ,
DOI : 10.1080/095372898233902
Two local search approaches for solving real-life car sequencing problems, European Journal of Operational Research, vol.191, issue.3, 2008. ,
DOI : 10.1016/j.ejor.2007.04.043
Line balancing in the real world. Presented at the PLM'05 : interna;onal conference on product life cycle management, pp.360-370, 2005. ,
The grouping gene;c algorithms-widening the scope of the GAs, Belgian Journal of Opera;ons Research, Sta;s;cs and Computer Science, vol.33, issue.2, 1992. ,
Une introduc;on au génie automa;que: faisabilité d'une chaîne intégrée d'ou;ls CAO pour la concep;on et l'exploita;on des machines automa, 1987. ,
A multiple single-pass heuristic algorithm solving the stochastic assembly line rebalancing problem, International Journal of Production Research, vol.4, issue.8, pp.2141-21641000207540802176046, 1080. ,
DOI : 10.1080/00207540500250606
URL : https://hal.archives-ouvertes.fr/hal-00513040
A new multi-objective heuristic algorithm for solving the stochastic assembly line re-balancing problem, International Journal of Production Economics, vol.102, issue.2, pp.226-243, 2006. ,
DOI : 10.1016/j.ijpe.2005.02.013
A comprehensive literature review and analysis of the design, balancing and scheduling of assembly systems, International Journal of Production Research, vol.18, issue.8, pp.637-670, 1989. ,
DOI : 10.1057/jors.1977.145
A knowledge representa;on framework for the design and the evalua;on of a product variety (phdthesis), 2015. ,
Op;miza;on and Approxima;on in Determinis;c Sequencing and Scheduling: a Survey Annals of Discrete Mathema;cs, Discrete Op;miza;on II Proceedings of the Advanced Research Ins;tute on Discrete Op;miza;on and Systems Applica;ons of the Systems Science Panel of NATO and of the Discrete Op;miza, on Symposium Co-Sponsored by IBM Canada and SIAM BanE, Aha. and Vancouver, pp.287-326, 1979. ,
Heuristics for the re-balancing of a vehicle assembly line, International Journal of Production Research, vol.5, issue.3, pp.6609-6628, 2011. ,
DOI : 10.1287/mnsc.16.9.593
An Algorithm for the Line Balancing Problem, Management Science, vol.11, issue.2, 1964. ,
DOI : 10.1287/mnsc.11.2.308
Les pa@erns pour l'ingenierie des systemes d'informa;on produit, 2000. ,
Fast, eEec;ve algorithms for simple assembly line balancing problems. Opera;ons Research 37, pp.916-924, 1989. ,
DOI : 10.1287/opre.37.6.916
A@aining manufacturing excellence: just-in-;me, total quality, total people involvement, 1987. ,
Truly On-the-Fly LTL Model Checking Tools and Algorithms for the Construc;on and Analysis of Systems, Lecture Notes in Computer Science, pp.191-205, 2005. ,
A Comparison between Simulated Annealing and Tabu Search with an Example from the Produc;on Planning, Opera;ons Research Proceedings 1993, Opera;ons Research Proceedings, pp.498-503, 1994. ,
A Dynamic Programming Approach to Sequencing Problems, Journal of the Society for Industrial and Applied Mathematics, vol.10, issue.1, pp.196-210, 1962. ,
DOI : 10.1137/0110015
Assembly-Line Balancing-Dynamic Programming with Precedence Constraints. Opera, pp.442-459, 1963. ,
DOI : 10.1287/opre.11.3.442
Assembly line balancing using the ranked posi;onal weight technique, Journal of Industrial Engineering, vol.12, pp.394-398, 1961. ,
Assembly line balancing using the ranked posi;onal weight technique, Journal of Industrial Engineering, vol.12, pp.394-398, 1961. ,
Eureka: A Hybrid System for Assembly Line Balancing, Management Science, vol.38, pp.39-47, 1992. ,
A Computing Procedure for a Line Balancing Problem, Management Science, vol.2, issue.3, pp.261-271, 1956. ,
DOI : 10.1287/mnsc.2.3.261
Optimally Balancing Large Assembly Lines with ???Fable???, Management Science, vol.34, issue.2, pp.240-253, 1988. ,
DOI : 10.1287/mnsc.34.2.240
A particle swarm optimization algorithm with neighborhood-based mutation for sequence-dependent disassembly line balancing problem, The International Journal of Advanced Manufacturing Technology, vol.56, issue.1, pp.197-209, 2013. ,
DOI : 10.1117/12.577196
Integrated Mixed-Model Assembly Line Balancing with Unskilled Temporary Workers Advances in Produc;on Management Systems: Innova;ve Produc;on Management Towards Sustainable Growth, IFIP Advances in Informa;on and Communica;on Technology, pp.324-331, 2015. ,
Gene;c algorithms for assembly line balancing with various objec;ves, Computers & Industrial Engineering IE in Korea, vol.30, issue.96, pp.397-409, 1996. ,
Maximizing the production rate in simple assembly line balancing ??? A branch and bound procedure, European Journal of Operational Research, vol.91, issue.2, pp.367-385, 1996. ,
DOI : 10.1016/0377-2217(95)00047-X
Reusability Assessment for Manufacturing Systems, CIRP Annals - Manufacturing Technology, vol.54, issue.1, pp.113-116, 2005. ,
DOI : 10.1016/S0007-8506(07)60062-6
Reconfigurable Manufacturing Systems, CIRP Annals - Manufacturing Technology, vol.48, issue.2, pp.527-540, 1999. ,
DOI : 10.1016/S0007-8506(07)63232-6
A Cost-Oriented Approach to Stochas;c Line Balancing1. A I I E Transac, pp.164-171, 1973. ,
An Automatic Method of Solving Discrete Programming Problems, Econometrica, vol.28, issue.3, pp.497-520, 1960. ,
DOI : 10.2307/1910129
Balancing assembly lines: an industrial case study, Journal of the Operational Research Society, vol.145, issue.6, pp.589-597, 2004. ,
DOI : 10.1016/S0377-2217(02)00204-7
Balancing assembly lines with tabu search, European Journal of Operational Research, vol.168, issue.3, 2006. ,
DOI : 10.1016/j.ejor.2004.07.031
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.92.2623
Branch-and-Bound Methods: A Survey, Operations Research, vol.14, issue.4, pp.699-719, 1966. ,
DOI : 10.1287/opre.14.4.699
2013. Alloca;on de fonc;ons de commande de systèmes cri;ques par recherche d'a@eignabilité dans un réseau d'automates communicants ,
Definition of spacing constraints for the car sequencing problem, International Journal of Production Research, vol.17, issue.4, pp.963-994, 2011. ,
DOI : 10.1287/mnsc.37.5.572
URL : https://hal.archives-ouvertes.fr/hal-00454445
Apport de l'op;misa;on combinatoire pour la reconGgura;on des lignes de produc;on (phdthesis) Ecole Na, 2014. ,
An exact optimization approach for a transfer line reconfiguration problem, The International Journal of Advanced Manufacturing Technology, vol.46, issue.21, pp.717-727, 2014. ,
DOI : 10.1080/00207540701261626
URL : https://hal.archives-ouvertes.fr/emse-00954483
ReconGgura;on of Machining Transfer Lines Service Orienta;on in Holonic and Mul; Agent Manufacturing and Robo;cs, Studies in Computa;onal Intelligence, pp.339-353, 2013. ,
Dynamic Rebalancing of an Assembly Line with a Reachability Analysis of Communica Advances in Produc;on Management Systems. Innova;ve and Knowledge-Based Produc;on Management in a Global-Local World, IFIP Advances in Informa;on and Communica;on Technology, pp.597-604, 2014. ,
ReconGgura;on dynamique d'une ligne d'assemblage par recherche d'a@eignabilité sur un réseau d'automates communicants, in: 10ème Conférence Francophone de Modélisa;on, Op;misa;on et Simula, p.14, 2014. ,
Contribu;on à la reconGgura;on des systèmes de produc;on, Journal Européen des Systèmes Automa, vol.4545, pp.45-60, 2011. ,
A heuris;c for solving mixed-model line balancing problems with stochas;c task dura;ons and parallel sta;ons, Interna;onal Journal of Produc;on Economics, vol.5197, pp.177-190, 1997. ,
ReconGgurable manufacturing systems: Key to future manufacturing, Journal of Intelligent Manufacturing, vol.11, issue.4, pp.403-419, 2000. ,
DOI : 10.1023/A:1008930403506
Le mé;er d'intégra, 2002. ,
Branch and bound procedures for solving the Assembly Line Worker Assignment and Balancing Problem: Application to Sheltered Work centres for Disabled, Discrete Applied Mathematics, vol.156, issue.3, pp.352-367, 2008. ,
DOI : 10.1016/j.dam.2005.12.012
A Heuris;c Method of Assembly Line Balancing for Assump;ons of Constantor Variable Work Element Times (phdthesis), 1964. ,
Statut épistémologique des modèles dans la concep;on des systèmes d'informa;on. Ingénierie des systèmes d'informa, pp.665-700, 1995. ,
Contribu;on à l'automa;sa;on et à l'ingénierie des systèmes intégrés de produc;on. Habilita, 1992. ,
Finding op;mal line balances with OptPack. Opera;ons Research Le@ers, pp.165-171, 1991. ,
DOI : 10.1016/0167-6377(91)90034-m
A tabu search algorithm for two-sided assembly line balancing, The International Journal of Advanced Manufacturing Technology, vol.17, issue.5???6, pp.822-829, 2008. ,
DOI : 10.1007/978-1-4615-6089-0
All from one, one for all: on model checking using representa;ves Computer Aided VeriGca;on, Lecture Notes in Computer Science, pp.409-423, 1993. ,
An Iterated Local Search heuristic for the Heterogeneous Fleet Vehicle Routing Problem, Journal of Heuristics, vol.106, issue.11, pp.201-232, 2011. ,
DOI : 10.1007/s10107-005-0611-6
Evolutionary approaches to the design and organization of manufacturing systems, Computers & Industrial Engineering, vol.44, issue.3, pp.339-364, 2003. ,
DOI : 10.1016/S0360-8352(02)00195-X
Improving the equality of workload assignments in assembly lines, International Journal of Production Research, vol.10, issue.3, pp.619-633, 1991. ,
DOI : 10.1287/mnsc.32.4.430
Solving Assembly Line Balancing Problem in the State of Mul;ple- Alterna;ve Opera;ons Sequence using GRASP Meta-Heuris;c Method and Comparing with Gene;c Algorithm, Proceedings of the 2012 Interna;onal Conference on Industrial Engineering and Opera;ons Management, 2012. ,
State of art of optimization methods for assembly line design, Annual Reviews in Control, vol.26, issue.2, pp.163-174, 2002. ,
DOI : 10.1016/S1367-5788(02)00027-5
Synthèse de commande sûre de fonc;onnement à base de contraintes logiques pour les systèmes manufacturiers, Proceedings of MOSIM'12, 2012. ,
Réu;lisa;on et patrons d'ingénierie, in: Génie Objet: Analyse et Concep, 1999. ,
Dynamic programming algorithm optimization for spoken word recognition, IEEE Transactions on Acoustics, Speech, and Signal Processing, vol.26, issue.1, pp.43-49, 1978. ,
DOI : 10.1109/TASSP.1978.1163055
The assembly line balancing problem, Journal of Industrial Engineering, vol.6, pp.18-25, 1955. ,
Balancing and sequencing of assembly lines, 1999. ,
DOI : 10.1007/978-3-662-00861-4
State-of-the-art exact and heuris;c solu;on procedures for simple assembly line balancing, European Journal of Opera;onal Research, vol.168, 2006. ,
Absalom: Balancing assembly lines with assignment restric;ons, European Journal of Opera;onal Research, vol.200, 2010. ,
DOI : 10.1016/j.ejor.2009.01.049
URL : http://www.db-thueringen.de/servlets/DerivateServlet/Derivate-20979/2008-2.pdf
Balancing assembly lines effectively ??? A computational comparison, European Journal of Operational Research, vol.114, issue.1, pp.50-58, 1999. ,
DOI : 10.1016/S0377-2217(98)00173-8
SALOME: A Bidirectional Branch-and-Bound Procedure for Assembly Line Balancing, INFORMS Journal on Computing, vol.9, issue.4, p.319, 1997. ,
DOI : 10.1287/ijoc.9.4.319
Simple assembly line balancing?Heuristic approaches, Journal of Heuristics, vol.32, issue.3, pp.217-244, 1997. ,
DOI : 10.1007/978-3-642-78910-6_64
Dynamic Programming Solution of Sequencing Problems with Precedence Constraints, Operations Research, vol.26, issue.3, pp.444-449, 1978. ,
DOI : 10.1287/opre.26.3.444
Applying iterated local search to the permuta;on Zow shop problem, 1998. ,
Analysing the Run-Time Behaviour of Iterated Local Search for the Travelling Salesman Problem, pp.589-611, 2002. ,
DOI : 10.1007/978-1-4615-1507-4_26
Short-Term Scheduling of Mul;-Product Batch Plants with Sequence- Dependent Changeovers Using Timed Automata Models, pp.1201-1206, 2010. ,
A Comparative Evaluation of Heuristic Line Balancing Techniques, Management Science, vol.32, issue.4, pp.430-454, 1986. ,
DOI : 10.1287/mnsc.32.4.430
Architecture de syst??mes contr??l??s par le produit pour un environnement de juste ?? temps, Journal Europ??en des Syst??mes Automatis??s, vol.43, issue.4-5, pp.513-535, 2009. ,
DOI : 10.3166/jesa.43.513-535
Solving line balancing problems with model checking, Proceedings of the Estonian Academy of Sciences, Engineering 8, p.211, 2002. ,
A stubborn attack on state explosion, Formal Methods in System Design, vol.31, issue.3, pp.297-322, 1992. ,
DOI : 10.1007/3-540-55179-4_32
Stubborn sets for reduced state space genera;on Advances in Petri Nets, Lecture Notes in Computer Science, pp.491-515, 1989. ,
Enterprise modeling and integra;on: principles and applica;on, 1996. ,
Self-Buffering, Self-Balancing, Self-Flushing Production Lines, Management Science, vol.42, issue.8, pp.1151-1164, 1996. ,
DOI : 10.1287/mnsc.42.8.1151