Mohand Lounes Bentaha, Pascale Marangé, Alexandre Voisin, Néjib Moalla. End of Life product quality management for efficient design of disassembly lines under uncertainty. International Journal of Production Research, Taylor & Francis, In press, ⟨10.1080/00207543.2022.2028199⟩. ⟨hal-03516302⟩

Pascal Vrignat, Pascale Marangé, Philippot Alexandre, Laurent Autrique. "MON PROJET EN 5 MINUTES" : UN CONCOURS NATIONAL POUR VALORISER DES COMPETENCES ACQUISES PAR LES ETUDIANTS DANS LE DOMAINE DE L’EEA. AAPS pharmSci, American Association of Pharmaceutical Scientists, 2021, REVUE 3EI, 1 (106). ⟨hal-03387868⟩

Mohammed-Farouk Bouaziz, Pascale Marangé, Alexandre Voisin, Jean-François Pétin. Control sequence ranking for critical system based on health of equipments thanks to Choquet integral. Frontiers in Artificial Intelligence, Frontiers Media S.A., 2021, 3, pp.614853. ⟨10.3389/frai.2020.614853⟩. ⟨hal-03083536⟩

Mohand Lounes Bentaha, Alexandre Voisin, Pascale Marangé. A decision tool for disassembly process planning under end-of-life product quality. International Journal of Production Economics, Elsevier, 2020, 219, pp.386-401. ⟨10.1016/j.ijpe.2019.07.015⟩. ⟨hal-02315859⟩

Eric Levrat, Eric Bonjour, David Gouyon, Pascale Marangé, Frédérique Mayer, et al.. Review of the AFIS 2018 Academy-Industry meetings in Nancy -The celebration of the 20th anniversary of AFIS!. INSIGHT - International Council on Systems Engineering (INCOSE), Wiley, 2019, Systems engineering research at French Universities, 22 (4), pp.9-10. ⟨10.1002/inst.12265⟩. ⟨hal-02423280⟩

Mohammed-Farouk Bouaziz, Pascale Marangé, Alexandre Voisin, Jean-François Pétin. Prise en compte de l’état réel d’un système complexe pour l’aide à la décision en phase d’exploitation. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2016, 49 (4-5), pp.503-535. ⟨10.3166/jesa.49.503-535⟩. ⟨hal-01323865⟩

Pascale Marangé, Serge Debernard, François Gellot, Marie-Pierre Pacaux-Lemoine, Philippot Alexandre, et al.. Approche de détection et d'explication d'erreur de commande par filtrage robuste. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2014, 48 (4-6), pp.339-372. ⟨10.3166/jesa.48.339-372⟩. ⟨hal-01094983⟩

Pascale Marangé, Serge Debernard, François Gellot, Marie-Pierre Pacaux-Lemoine, Philippot Alexandre, et al.. Approach to detection and explanation of control by a robust filter. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2014, 48 (4-5-6), pp.339-372. ⟨10.3166/JESA.48.339-372⟩. ⟨hal-03511676⟩

Philippot Alexandre, Pascale Marangé, François Gellot, Bernard Riera. Decentralized diagnosis and diagnosability by model checking. Universal Journal of Control and Automation, Horizon Research Publishing, 2013, 1 (2), pp.28-33. ⟨10.13189/ujca.2013.010202⟩. ⟨hal-00870135⟩

Pascale Marangé, Jean-François Pétin, Antoine Manceaux, David Gouyon. Contribution à la reconfiguration des systèmes de production : ordonnancement par recherche d'atteignabilité. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2011, 45 (1/3), pp.45-60. ⟨10.3166/jesa.45.45-60⟩. ⟨hal-00654166⟩

Pascale Marangé, Abdelouahed Tajer, François Gellot, Véronique Carré-Ménétrier. Etude du comportement global d'un SED en vue de la validation de sa commande spécifiée par Grafcet. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2008, 42 (1), pp.63-94. ⟨10.3166/jesa.42.63-94⟩. ⟨hal-02111008⟩

Pascale Marangé, Abdelouahed Tajer, François Gellot, Véronique Carré-Ménétrier. Etude du comportement global d'un SED en vue de la validation de sa commande spécifiée par Grafcet. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2008, 42 (1), pp.63-94. ⟨hal-00385483⟩

Pascale Marangé, François Gellot, Bernard Riera. Application of the control validation to the D.E.S. teaching. International Journal of Online Engineering, International Association of Online Engineering, 2008, pp.1. ⟨hal-00385479⟩

Pascale Marangé, François Gellot, Bernard Riera. REMOTE CONTROL OF AUTOMATION SYSTEMS FOR D.E.S COURSES. IEEE Transactions on Industrial Electronics, Institute of Electrical and Electronics Engineers, 2007, 54 (6), pp.3103-3133. ⟨hal-00385474⟩

Abdelouahed Tajer, Pascale Marangé, François Gellot, Véronique Carré-Ménétrier. Synthèse d'une commande supervisée à base de contraintes booléennes. e-STA Sciences et Technologies de l’Automatique, SEE - Société de l'Electricité, de l'Electronique et des Technologies de l'Information et de la Communication 2007, pp.0. ⟨hal-00385485⟩

Samia Maza, Pascale Marangé. Supervision d’un système de transport par AGVs bidirectionnels dans un contexte de défauts de capteurs. 13e Colloque sur la Modélisation des Systèmes Réactifs, MSR 2021, Nov 2021, Paris, France. ⟨hal-03449949⟩

Sara Himmiche, Pascale Marangé, Alexis Aubry, Jean-François Pétin. Approche et cadre de modélisation pour l'évaluation de l'impact de perturbations sur un ordonnancement. 12ème Colloque sur la Modélisation des Systèmes Réactifs, MSR'19, Nov 2019, Angers, France. ⟨hal-02415927⟩

Mehdi Chankate, A. Philippot, V. Carre-Menetrier, Pascale Marangé. Checking diagnosability on centralized model of the system. International Conference on Control, Automation and Diagnosis, ICCAD'19, Jul 2019, Grenoble, France. ⟨10.1109/ICCAD46983.2019.9037869⟩. ⟨hal-02336445⟩

Mehdi Chankate, A. Philippot, V. Carre-Menetrier, Pascale Marangé. Conception d'un système de vérification de la diagnosticabilité par model checking à partir du modèle du système. Conférence Internationale de Modélisation, Optimisation et Simulation (MOSIM), 2018, Toulouse, France. ⟨hal-02114024⟩

Laëtitia Diez, Pascale Marangé, Éric Levrat. Regeneration management tool for industrial ecosystem. 20th IFAC World Congress, IFAC 2017, Jul 2017, Toulouse, France. ⟨hal-01563099⟩

Sara Himmiche, Pascale Marangé, Alexis Aubry, Marie Duflot, Jean-François Pétin. Evaluation de la robustesse d'un ordonnancement par Automates Temporisés Stochastiques. 11ème Colloque sur la Modélisation des Systèmes Réactifs, MSR 2017, Nov 2017, Marseille, France. ⟨hal-01652138⟩

Sara Himmiche, Alexis Aubry, Pascale Marangé, Jean-François Pétin, Marie Duflot. Using statistical-model-checking-based simulation for evaluating the robustness of a production schedule. 7th Workshop on Service Orientation in Holonic and Multi-Agent Manufacturing, SOHOMA'17, Oct 2017, Nantes, France. ⟨hal-01652140⟩

Rémi Pannequin, Pascale Marangé, Alexis Aubry, Jean-François Pétin. TABS : un outil logiciel d'ordonnancement de la production basé sur les automates temporisés . 11ème Colloque sur la Modélisation des Systèmes Réactifs, MSR 2017, Nov 2017, Marseille, France. ⟨hal-01652409⟩

Pascale Marangé, Alexis Aubry, Jean-François Pétin. Ordonnancement d'ateliers à partir de patrons de modélisation basés sur des automates communicants. 11th International Conference on Modeling, Optimization and Simulation, Aug 2016, Montréal, Canada. ⟨hal-01431221⟩

Mohand Lounes Bentaha, Olga Battaïa, Alexandre Dolgui, Pascale Marangé, Alexandre Voisin. Prise en compte des incertitudes pour une conception efficace d'une ligne de désassemblage. 17e Congrès de la société française de recherche opérationnelle et aide à la décision, ROADEF’2016, Feb 2016, Compiègne, France. ⟨hal-01313344⟩

Laëtitia Diez, Pascale Marangé, Éric Levrat. Maintenance best way for meeting the challenge of regeneration. 3rd IFAC Workshop on Advanced Maintenance Engineering, Service and Technology, AMEST'16, Oct 2016, Biarritz, France. ⟨hal-01402481⟩

Mohammed-Farouk Bouaziz, Pascale Marangé, Alexandre Voisin, Jean-François Pétin. Utilisation de critères sécuritaires pour le choix de séquences de conduite de systèmes critiques. 11ème Congrès International Pluridisciplinaire en Qualité, Sûreté de Fonctionnement et Développement Durable, QUALITA 2015, Mar 2015, Nancy, France. ⟨hal-01149786⟩

Pascale Marangé, Philippot Alexandre, Jean-Francois Pétin, François Gellot. Diagnosability evaluation by model-checking. 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, SAFEPROCESS'2015, Sep 2015, Paris, France. pp.308-313, ⟨10.1016/j.ifacol.2015.09.545⟩. ⟨hal-01145738⟩

Mohammed-Farouk Bouaziz, Pascale Marangé, Alexandre Voisin, Jean-François Pétin. Health checkup indicators-based safety criteria for operating sequences ranking of critical systems. . 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, SAFEPROCESS'2015, Sep 2015, Paris, France. pp.808-813, ⟨10.1016/j.ifacol.2015.09.626⟩. ⟨hal-01132733⟩

Laëtitia Diez, Pascale Marangé, Frédérique Mayer, Eric Levrat. Maintenance as a cornerstone for the application of regeneration paradigm in systems lifecycle. Sixth International Conference on Complex Systems Design & Management, CSD&M 2015, Nov 2015, Paris, France. pp.185-197, ⟨10.1007/978-3-319-26109-6_14⟩. ⟨hal-01236850⟩

Mohammed Farouk Bouaziz, Pascale Marangé, Alexandre Voisin, Jean-François Pétin. Prise en compte de l'état réel d'un système complexe pour l'aide à la décision de séquences de conduite. 10ème Conférence Francophone de Modélisation, Optimisation et Simulation, MOSIM'14, Nov 2014, Nancy, France. ⟨hal-01087888⟩

Fabien Bouffaron, Pascale Marangé, Gérard Morel. Checking models based on an iterative co-specification process of a critical system. 12th International Conference on Indusrial Informatics, INDIN 2014, Jul 2014, Porto Alegre, Brazil. ⟨hal-01061929v2⟩

Gérard Morel, Fabien Bouffaron, Olivier Nartz, Frédérique Mayer, Pascale Marangé, et al.. Vers un apprentissage itératif à l'ingénierie système basée sur des modèles. 10ème Conférence Francophone de Modélisation, Optimisation et Simulation, MOSIM'14, CRAN, UMR 7039, Université de Lorraine, Nov 2014, Nancy, France. ⟨hal-01087867⟩

Fabien Bouffaron, Pascale Marangé, Gérard Morel. Checking models based on an iterative co-specification process of a critical system. International Conference on Industrial Informatics, INDIN 2014, Jul 2014, Porto Alegre, Brazil. ⟨hal-00702417v3⟩

Emmanuelle Jacquet, Bernard Gaume, Yves Gaillard, Eric Descourvières, Pascale Marange, et al.. Pédagogie renouvelée pour des cursus d'ingénierie à l'université. Colloque sur l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes, CETSIS 2014, Oct 2014, Besançon, France. ⟨hal-01094950⟩

Serge Debernard, Pascale Marangé, François Gellot, Marie-Pierre Pacaux-Lemoine, Thierry Poulain, et al.. A support tool for assisting human diagnoses of command errors detected by a robust filter. 10. Berliner Werkstatt Mensch-Maschine-Systeme, Oct 2013, Berlin, Germany. pp. 66-74. ⟨hal-03470903⟩

Philippot Alexandre, Pascale Marangé, Véronique Carré-Ménétrier, Bernard Riera. Implementation of diagnosis approach for Discrete Event Systems. International Symposium on Security and Safety of Complex Systems, 2SCS'12, May 2012, Agadir, Morocco. pp.CDROM. ⟨hal-00767444⟩

Pascale Marangé, Jean-François Pétin, David Gouyon, Bernard Riera, François Gellot, et al.. Approche de détection et d'explication d'erreur de commande par filtrage robuste. 4ème Workshop du Groupement d'Intérêt Scientifique "Surveillance, Sûreté, Sécurité des Grands Systèmes", Oct 2011, Valenciennes, France. pp.CDROM. ⟨hal-00653767⟩

Pascale Marangé, David Gouyon, Jean-François Pétin, François Gellot. Formalisation et vérification de contraintes fonctionnelles dans le cadre d'un contrôle par le produit. Sixième Conférence Internationale Francophone d'Automatique, CIFA 2010, Jun 2010, Nancy, France. pp.CDROM. ⟨hal-00492194⟩

Gilbert Habib, Pascale Marangé, Jean-François Pétin, Thierry Divoux. Evaluation de l'influence d'un réseau de communication sans fil sur la commande d'un SED. Modélisation des systèmes réactifs, Nov 2009, nantes, France. pp.855-870. ⟨hal-00438902⟩

Pascale Marangé, David Gouyon, Jean-François Pétin, Bernard Riera. Verification of functional constraints for safe product driven control. 2nd IFAC Workshop on Dependable Control of Discrete System, DCDS'09, Jun 2009, Bari, Italy. pp.315-320. ⟨hal-00401680⟩

Pascale Marangé, François Gellot, Bernard Riera. Human-Machine Systems concepts applied to Control Engineering Education. 7th IFAC World Congress (IFAC'08), Jul 2008, Seoul, South Korea. pp.CD. ⟨hal-00385501⟩

Pascale Marangé, François Gellot, Bernard Riera. Control validation of D.E.S systems: Application to remote laboratories. Workshop on Remote control of Devices (WoRD'07), Oct 2007, Lyon, France. pp.CD. ⟨hal-00385503⟩

Pascale Marangé, François Gellot, Bernard Riera. REMOTE CONTROL OF AUTOMATION SYSTEMS FOR TRAINING. IFAC/IFIP/IFORS/IEA Symposium, Analysis, Design, and Evaluation of Human Machine Systems (ADEHMS'07), Sep 2007, Séoul, South Korea. pp.CD. ⟨hal-00385512⟩

Pascale Marangé, Abdelouahed Tajer, François Gellot, Véronique Carré-Ménétrier. SYNTHESIS OF SUPERVISED CONTROLLER BASED ON BOOLEAN CONSTRAINTS AND BOOLEAN AUTOMATA. 12th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2006), May 2006, France. pp.CD. ⟨hal-00385519⟩

Pascale Marangé, François Gellot, Bernard Riera. REQUIREMENT AND USE FOR REMOTE TEACHING OF DISCRETE EVENTS SYSTEMS. 7th IFAC Symposium on Advances in Control Education (ACE'06), Jun 2006, Madrid, Spain. pp.CD. ⟨hal-00385496⟩

Pascale Marangé, Alexis Aubry, Jean-François Pétin. Ordonnancement d'ateliers à partir de patrons de modélisation basés sur des automates communicants. Stephan Merz and Jean-François Pétin. 10ème Colloque sur la Modélisation des Systèmes Réactifs, MSR 2015, Nov 2015, Nancy, France. 2015. ⟨hal-01226195⟩

Pascale Marangé, David Lemoine, Alexis Aubry, Sara Himmiche, Sylvie Norre, et al.. Coupling robust optimization and Model-Checking techniques for robust scheduling in the context of Industry 4.0. Boris Sokolov and Dmitry Ivanov and Alexandre Dolgui. Scheduling in Industry 4.0 and Cloud Manufacturing, 289, Springer International Publishing, 2020, International Series in Operations Research & Management Science, 978-3-030-43176-1. ⟨10.1007/978-3-030-43177-8_6⟩. ⟨hal-02479424⟩

Mohand Lounes Bentaha, Alexandre Voisin, Pascale Marangé. Disassembly process planning under end-of-life product quality. Clément Fortin and Louis Rivest and Alain Bernard and Abdelaziz Bouras. Product Lifecycle Management in the Digital Twin Era, 565, Springer, pp.325-335, 2019, IFIP Advances in Information and Communication Technology book series, 978-3-030-42250-9. ⟨10.1007/978-3-030-42250-9_31⟩. ⟨hal-02497934⟩

David Gouyon, Thomas Cochard, Jean-François Pétin, Alexandre Voisin, Pascale Marangé, et al.. Conduire à l'objectif. L'avenir se construit aujourd'hui, 2016. ⟨hal-01366363⟩

David Gouyon, Thomas Cochard, Jean-François Pétin, Alexandre Voisin, Mohammed-Farouk Bouaziz, et al.. Démonstration d’un service d’aide à la préparation des plannings de conduite. [Rapport de recherche] L3.1.4c, Cnrs. 2016. ⟨hal-01338531⟩

David Gouyon, Thomas Cochard, Jean-François Pétin, Alexandre Voisin, Mohammed-Farouk Bouaziz, et al.. Spécification d’un service d’aide à la préparation des plannings de conduite. [Rapport de recherche] Centre National de la Recherche Scientifique. 2015, pp.L3.1.2b. ⟨hal-01140593⟩

Pascale Marangé. Synthèse et filtrage robuste de la commande pour des système manufacturiers sûrs de fonctionnement. Automatique / Robotique. Université de Reims - Champagne Ardenne, 2008. Français. ⟨tel-00353654⟩