Nombre de documents

45

CV de Jean-Marc Roussel


Article dans une revue12 documents

  • Emilie Vanhove, Thomas Tondu, Jean-François Roussel, Delphine Faye, Pascale Guigue. In Situ Real-Time Quantitative and Qualitative Monitoring of Molecular Contamination. Journal of Spacecraft and Rockets, American Institute of Aeronautics and Astronautics, 2017, 53 (6), p. 1166-1171. <10.2514/1.A33505>. <hal-01488099>
  • Pierre-Antoine Brameret, Antoine Rauzy, Jean-Marc Roussel. Automated generation of partial Markov chain from high level descriptions. Reliability Engineering and System Safety, Elsevier, 2015, 139, pp.179-187. <http://www.journals.elsevier.com/reliability-engineering-and-system-safety/>. <10.1016/j.ress.2015.02.009>. <hal-01238630>
  • Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage. Quantitative Analysis of Dynamic Fault Trees based on the Structure Function. Quality and Reliability Engineering International, Wiley, 2014, 30 (1), pp. 143-156. <hal-00954679>
  • Julien Provost, Jean-Marc Roussel, Jean-Marc Faure. Generation of Single Input Change Test Sequences for Conformance Test of Programmable Logic Controllers. Industrial Informatics, IEEE Transactions on, 2014, pp.1. <10.1109/TII.2014.2315972>. <hal-00982396>
  • Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage. Algebraic Determination of the Structure Function of Dynamic Fault Trees. Reliability Engineering and System Safety, Elsevier, 2011, 96 (2), pp. 267-277. <10.1016/j.ress.2010.10.001>. <hal-00536000>
  • Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage, Andrea Bobbio. Probabilistic Algebraic Analysis of Fault Trees With Priority Dynamic Gates and Repeated Events. IEEE Transactions on Reliability, Institute of Electrical and Electronics Engineers, 2010, 59 (1), pp. 250-261. <10.1109/TR.2009.2035793>. <hal-00480014>
  • Julien Provost, Jean-Marc Roussel, Jean-Marc Faure. Translating Grafcet specifications into Mealy machines for conformance test purposes. Control Engineering Practice, Elsevier, 2010, pp.00. <10.1016/j.conengprac.2010.10.001>. <hal-00547891>
  • Jean-Marc Roussel, Jean-Marc Faure. Designing dependable logic controllers using algebraic specifications. Control Engineering Practice, Elsevier, 2006, 14 (10), pp.1143-1155. <10.1016/j.conengprac.2006.02.002>. <hal-00340844>
  • Jean-Marc Roussel, Jean-Marc Faure, Jean-Jacques Lesage, Antonio Medina. Algebraic approach for dependable logic control systems design. International Journal of Production Research, Taylor & Francis, 2004, 42 (14), pp. 2859-2876. <10.1080/00207540410001705266>. <hal-00344923>
  • Jean-Marc Roussel, Bruno Denis. Safety properties verification of ladder diagram programs. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2002, 36 (7), pp. 905-917. <hal-00356881>
  • Jean-Marc Roussel, Jean-Jacques Lesage. Une algèbre de Boole pour l'approche événementielle des systèmes logiques. Automatique Productique Informatique Industrielle, 1993, 27 (5), pp.541-560. <hal-00347042>
  • Jean-Jacques Lesage, Jean-Marc Roussel. Hierarchical approach to GRAFCET using forcing order. Automatique Productique Informatique Industrielle, 1993, 27 (1), pp.25-38. <hal-00347044>

Communication dans un congrès32 documents

  • Benjamin Aupetit, Michel Batteux, Antoine Rauzy, Jean-Marc Roussel. Vers la définition d’un kit d’évaluation pour les simulateurs stochastiques. 20ième Congrès de Maîtrise des Risques et Sûreté de Fonctionnement (LambdaMu 20), Oct 2016, Saint_Malo, France. 2016. <hal-01378407>
  • Pierre-Antoine Brameret, Jean-Marc Roussel, Antoine Rauzy. Preliminary System Safety Analysis with Limited Markov Chain Generation. 4th IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2013), Sep 2013, York, United Kingdom. Paper n°3, 2013. <hal-00859173>
  • Pierre-Yves Chaux, Jean-Marc Roussel, Jean-Jacques Lesage, Gilles Deleuze, Marc Bouissou. Towards an unified definition of Minimal Cut Sequences. 4th IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2013), Sep 2013, York, United Kingdom. Paper n°1, 2013. <hal-00858391>
  • Pierre-Yves Chaux, Jean-Marc Roussel, Jean-Jacques Lesage, Gilles Deleuze, Marc Bouissou. Systematic extraction of Minimal Cut Sequences from a BDMP model. 21th European Safety & Reliability Conf. (ESREL'12), Jun 2012, Helsinki, Finland. paper 16B-We4-3, 8 p., 2012. <hal-00782735>
  • Anaïs Guignard, Jean-Marc Faure, Jean-Marc Roussel. Génération d'une machine de Mealy à partir de spécifications algébriques à des fins de test de conformité. Conférence Internationale Francophone d'Automatique (CIFA2012), Jul 2012, France. pp.907-912, 2012. <hal-00719363>
  • Pierre-Yves Chaux, Jean-Marc Roussel, Jean-Jacques Lesage, Gilles Deleuze, Marc Bouissou. Qualitative analysis of a BDMP by finite automata. 20th European Safety & Reliability Conf. (ESREL'11), Sep 2011, Troyes, France. pp. 2055-2057, 2011. <hal-00782748>
  • Pierre-Yves Chaux, Jean-Marc Roussel, Jean-Jacques Lesage. Formalisation des scénarios de défaillance d'un BDMP par automate ni. 4èmes Journées Doctorales du GDR MACS, JDMACS'11, Jun 2011, Marseille, France. papier N° JD14-5, 6 p., 2011. <hal-00782759>
  • Julien Provost, Jean-Marc Roussel, Jean-Marc Faure. Testing Programmable Logic Controllers from Finite State Machines specification. 3rd International Workshop on Dependable Control of Discrete Systems - DCDS 2011, Jun 2011, Saarbrücken, Germany. pp.0--0, 2011. <hal-00585242>
  • Julien Provost, Jean-Marc Roussel, Jean-Marc Faure. A formal semantics for Grafcet specifications. 7th IEEE Conference on Automation Science and Engineering (IEEE CASE 2011), Aug 2011, Trieste, Italy. pp.488-494, 2011. <hal-00603189>
  • Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage. Dynamic Fault Tree Analysis Based On The Structure Function. Annual Reliability and Maintainability Symposium 2011 (RAMS 2011), Jan 2011, Lake Buena Vista, FL, United States. pp. 462-467, 2011. <hal-00566334v2>
  • Julien Provost, Jean-Marc Roussel, Jean-Marc Faure. SIC-testability of sequential logic controllers. 10th International Workshop on Discrete Event Systems - WODES 2010, Aug 2010, Berlin, Germany. pp.203--208, 2010. <hal-00512767>
  • Julien Provost, Jean-Marc Roussel, Jean-Marc Faure. Un démonstrateur pour le test de conformité de contrôleurs logiques. 3èmes Journées Démonstrateurs 2010, Nov 2010, Angers, France. <hal-00585235>
  • Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage, Nicolas Vayatis. Analytical Calculation of Failure Probabilities in Dynamic Fault Trees including Spare Gates. Ben J.M. Ale, Ioannis A. Papazoglou, Enrico Zio. European Safety and Reliability Conference (ESREL 2010), Sep 2010, Rhodes, Greece. Taylor & Francis, pp. 794-801, 2010. <hal-00516893>
  • Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage. Improving the Efficiency of Dynamic Fault Tree Analysis by Considering Gate FDEP as Static. Ben J.M. Ale, Ioannis A. Papazoglou, Enrico Zio. European Safety and Reliability Conference (ESREL 2010), Sep 2010, Rhodes, Greece. Taylor & Francis, pp. 845-851, 2010. <hal-00516896>
  • Julien Provost, Jean-Marc Roussel, Jean-Marc Faure. Test exhaustif de contrôleurs logiques spécifiés en Grafcet : apports et limites d'une modélisation par machines de Mealy. 7ème colloque francophone sur la Modélisation des Systèmes Réactifs, Nov 2009, Nantes, France. 43 (7-9), pp.889-904, 2009. <hal-00440343>
  • Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage, Andrea Bobbio. Algebraic Expression of the Structure Function of a subclass of Dynamic Fault Trees. 2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS'09), Jun 2009, Bari, Italy. pp.129-134, 2009. <hal-00394459>
  • Julien Provost, Jean-Marc Roussel, Jean-Marc Faure. Construction d'une séquence de test minimale à partir d'une spécification GRAFCET. 3èmes Journées Doctorales / Journées Nationales MACS (JD-JN-MACS'09), Mar 2009, Angers, France. CDRom papier N°19, 2009. <hal-00369851>
  • Julien Provost, Jean-Marc Roussel, Jean-Marc Faure. Test sequence construction from SFC specification. 2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS'09), Jun 2009, Bari, Italy. pp.341-346, 2009. <hal-00394454>
  • Matteo Cantarelli, Jean-Marc Roussel. Reactive control system design using the Supervisory Control Theory: evaluation of possibilities and limits. 9th International Workshop On Discrete Event Systems (WODES'08), May 2008, Göteborg, Sweden. pp. 200-205, 2008. <hal-00353636>
  • Yann Hietter, Jean-Marc Roussel, Jean-Jacques Lesage. Algebraic Synthesis of Transition Conditions of a State Model. 9th International Workshop On Discrete Event Systems (WODES'08), May 2008, Göteborg, Sweden. pp. 187-192, 2008. <hal-00353634>
  • Yann Hietter, Jean-Marc Roussel, Jean-Jacques Lesage. Algebraic synthesis of dependable logic controllers. 17th IFAC World Congress, Jul 2008, Seoul, South Korea. pp. 4132-4137, 2008. <hal-00350494>
  • Yann Hietter, Jean-Marc Roussel, Jean-Jacques Lesage. Calcul des conditions de transition d'un Réseau de Petri par synthèse algébrique. Conférence Internationale Francophone d'Automatique, CIFA 2008, Sep 2008, Bucarest, Roumanie. CDRom papier N°83, 2008. <hal-00348280>
  • Guillaume Merle, Jean-Marc Roussel. Algebraic modelling of Fault Trees with Priority AND gates. 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS'07), Jun 2007, Cachan, France. pp. 175-180, 2007. <hal-00350495>
  • Guillaume Merle, Jean-Marc Roussel. Modèle algébrique des arbres de défaillance intégrant des contraintes sur l'ordre d'occurrence des événements. Journées Doctorales du GDR MACS (JD-MACS'07), Jul 2007, Reims, France. Papier n°40, 2007. <hal-00351721>
  • Benoit Rohée, Bernard Riera, Véronique Carré-Ménétrier, Jean-Marc Roussel. Outil d'aide à l'élaboration de modèles hybrides de simulation pour les systèmes manufacturiers. Journées Doctorales du GDR MACS (JD-MACS'07), Jul 2007, Reims, France. Papier n°62, 2007. <hal-00347047>
  • Benoit Rohée, Bernard Riera, Véronique Carré-Ménétrier, Jean-Marc Roussel. A methodology to design and check a plant model. 3rd IFAC Workshop on Discrete-Event System Design (DESDes'06), Jun 2006, Rydzyna, Poland. pp. 246-250, 2006. <hal-00351722>
  • Jean-Marc Roussel, Alessandro Giua. Designing dependable logic controllers using the supervisory control theory. Proceedings of the 16th IFAC World Congress, Jul 2005, Praha, Czech Republic. CDROM paper n°04427, 2005. <hal-00344918>
  • Houda Bel Mokadem, Béatrice Berard, Vincent Gourcuff, Jean-Marc Roussel, Olivier De Smet. Verification of a timed multitask system with UPPAAL. 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'05), Sep 2005, Catania, Italy. pp.CF-000606, 2005. <hal-00175467>
  • Bohumir Zoubek, Jean-Marc Roussel, Martha Kwiatkowska. Towards automatic verification of ladder logic programs. IMACS-IEEE "CESA'03" : "Computational Engineering in Systems Applications", Jul 2003, Lille, France. CD ROM paper S2-I-04-0169, 2003. <hal-00354468>
  • Jean-Marc Roussel, Jean-Marc Faure. An algebraic approach for PLC programs verification. 6th International Workshop on Discrete Event Systems (WODES'02), Oct 2002, Zaragoza, Spain. pp. 303-308, 2002. <hal-00356884>
  • José Machado, Farid Louni, Jean-Marc Faure, Jean-Jacques Lesage, Jaime Fereira, et al.. MODELLING AND IMPLEMENTING THE CONTROL OF AUTOMATED PRODUCTION SYSTEMS USING STATECHARTS AND PLC PROGRAMMING LANGUAGES. European Control Conference, ECC'2001, Porto (Portugal), 4-7 September 2001, Sep 2001, Porto, Portugal. pp. 1019-1024, 2001. <hal-00361769>
  • Jean-Marc Roussel, Jean-Jacques Lesage. Validation and verification of grafcets using state machine. IMACS-IEEE "CESA'96", Jul 1996, Lille, France. pp. 758-764, 1996. <hal-00353188>

Thèse1 document

  • Jean-Marc Roussel. Analyse de Grafcets par Génération Logique de l'Automate Équivalent. Sciences de l'ingénieur [physics]. École normale supérieure de Cachan - ENS Cachan, 1994. Français. <tel-00340842>