Publications - Gilles Motet



The publications annoted with "WoS" are references cited in the Web of Sciences.

MOTET G. [Invited Communication]
"Le concept de risque et son évolution", Colloque "Agir en situation d'incertitude. La construction individuelle et collective des régimes de protection et d'adaptation en agriculture", Institut National de la Recherche Agronomique (INRA) et Centre de coopération Internationale en Recherche Agronomique pour le Développement (CIRAD), Montpellier, France (Novembre 2010)

CHEN Z., MOTET G. [Conference]
"Nevertrace Claims for Model Checking", 17th International SPIN Workshop on Model Checking of Software (SPIN 2010), Twente, The Netherlands, Lecture Notes in Computer Sciences, Springer (September 2010)

MOTET G. [Invited Communication]
"Recherche en concertation : de l'idée à la pratique. Travaux de la Fondation pour une culture de sécurité industrielle", Journée scientifique "La recherche au service de l'évaluation du risque", Institut de Radioprotection et de Sûreté Nucléaire (IRSN), Arles, France (Septembre 2010)

MOTET G. [Communication]
"Utilisation des méthodes économiques pour l'appréciation de la sécurité des nanotechnologies", Journée du projet ANR Nano-Innov "Nanosciences et Société', Grenoble, France (Septembre 2010)

MOTET G. [Conference]
"Uncertainties also affect Risk Management. Potential contributions of ISO 31000 for their handling", 3rd International Forum on Industrial Safety, Toulouse, France (July 2010)

CHEN Z., MOTET G. [Conference]
"Separating Functional and Dependability Requirements of Embedded Systems", IEEE 7th International Conference on Embedded Software and Systems (ICESS 2010), Bradford, Great Britain, IEEE Computer Society publishers (June 2010)

CHEN Z., MOTET G. [Conference]
"Towards Better Support for the Evolution of Safety Requirements", ACM/IEEE 32nd International Conference on Software Engineering (ICSE 2010), Cap Town, South Africa, IEEE Computer Society publishers, vol. 2 (May 2010) 219-222 

MOTET G. [Invited Communication]
Participation à une table ronde du séminaire "Par delà peurs et progrès. Comment mettre en culture l'innovation" dans le cadre du "Parlement du futur", Sénat, Palais du Luxembourg, Paris (Avril 2010) [Lire le résumé et écouter l'intervention]

MOTET G. [Invited Communication]
"Effet de l'incertitude sur le management des risques. Le rôle du framework et des principes de l'ISO 31000", La Sorbonne, Paris (Janvier 2010)

MOTET G. (co-author) [Standard]
ISO 31000 "Management des risques. Principes et lignes directrices" (participation à la traduction en français), AFNOR (Janvier 2010) ISSN 0335-3931, 34 pages [PDF (French) - Public Draft for comments - May 2009]

MOTET G. [Journal]
"Le concept de risque et son évolution", dans le numéro spécial "Face à l'incertitude", Série "Responsiblité & Environment", n° 57, Les Annales des Mines, Paris (January 2010) 32-37 [PDF (French) - Preliminary version]

MOTET G. (co-author) [Standard]
ISO 31000 "Risk management. Principles and guidelines", International Standards Organization (November 2009) [PDF (English) - Public Draft for comments - May 2009]

MOTET G. (co-author) [Standard]
ISO Guide 73, Revision, "Risk management. Vocabulary", International Standards Organization (November 2009) [PDF (English & French) - Public Draft for comments - May 2009]

AMALBERTI R., MAGNE L., MOTET G. [Communication]
"International Forum on Industrial Safety 2008" (in French), Les Cahiers de la Sécurité Industrielle, Fondation pour une Culture de Sécurité Industrielle (July 2009) ISSN 2100-3874 [PDF French]

KJELLEN U., MOTET G., HALE A. [Journal - WoS]
"Resolving multiple criteria in decision-making involving risk of accidental loss", Safety science, Vol. 47, Issue 6, Elsevier (July 2009) 795 - 797

MOTET G. [Journal - WoS]
"Risks of faults intrinsic to software languages. Trade-off between design performance and application safety",  Safety science, Vol. 47, Issue 6, Elsevier (July 2009) 873 - 883 [PDF - Preliminary version]

CHEN Z., MOTET G. [Conference - WoS]
"System Safety Requirements As Control Structures", 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2009), Seattle, Washington, USA, IEEE Computer Society publishers (July 2009), Vol. 1, 324-331 [PDF]

MOTET G. [Invited communication]
"Safety in Industry and Industrial Products Perspectives in Italy and in Europe", 2nd International Forum on Industrial Safety (IFIS 2009), Milano, Italy (July 2009)

CHEN Z., MOTET G. [Conference - WoS]
"A Language-Theoretic View on Guidelines and Consistency Rules of UML", Fifth European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009), Twente, Netherlands, Lecture Notes in Computer Sciences n° 5562, Springer (June 2009) 66 - 81 [PDF]

CHEN Z., MOTET G. [Conference - WoS]
"Formalizing Safety Requirements Using Controlling Automata", Second International Conference on Dependability, Athens, Greece, IEEE Computer Society publishers (June 2009) 81 - 86 [PDF]

MOTET G. [Communication]
"10 questions on ISO 31000" (in French), Les Cahiers de la Sécurité Industrielle, Fondation pour une Culture de Sécurité Industrielle (April 2009) ISSN 2100-3874 [PDF French]

MOTET G. (co-author) [Standard]
ISO 31000, "Risk management. Principles and guidelines", International Standards Organization, Participation to the translation in French language (March 2009)

MOTET G. (co-author) [Standard]
ISO Guide 73, "Risk management. Vocabulary", International Standards Organization, Participation to the translation in French language (March 2009)

CHEN Z., MOTET G. [Conference - WoS]
"Modeling System Safety Requirements Using Constraint Input/Output Meta-Automata", 4th International Conference on Systems (ICONS 09), Gosier, France, IEEE Computer Society publishers (March 2009) 228 - 233 [PDF]

MOTET G. [Invited Communication]
"ISO 31000. A new approach of the risk and its management", Protezione del territorio verso l'expo 2015. Strategie e buone pratiche, Milano, Italy (February 2009)

MOTET G. [Invited Communication]
"Notions of risk & ISO 31000", Lecture at Keio University, Japan (October 2008)

MOTET G. [Invited Communication]
"From reliability to safety. From handling statistic to controlling uncertainty", Lecture at Keio University, Japan (October 2008)

MOTET G. [Invited Communication]
"Contribution of 31000" (in French), CARM Institute conference on "Governance, Conformity, Risk Management and ISO 31000", Paris, France (September 2008)

MOTET G. et al [Organisation]
"1st International Forum on Industrial Safety" (IFIS 2008), Toulouse, France (July 2008)

MOTET G. [Invited Communication]
"Intrinsic hazards of software languages", PhD seminar of Politecnico di Milano, Milano, Italy (June 2008)

MOTET G. [Invited Communication]
"Presentation of the new ISO 31000 standard" (in French), Toulouse, Paris and Lyon, France (May & June 2008)

GAUDAN S., MOTET G., AURIOL G. [Conference - WoS]
"Metrics for Object-Oriented Reliability Assessment. Application to a Flight Manager", 7th European Dependable Computing Conference (EDCC08), Kaunas, Lithuania, IEEE Computer Society publishers (May 2008) 13-24 [PDF]

MOTET G. [Communication]
"New international programs at INSA Toulouse", 12th Annual meeting of American European Exchange in Engineering (AE3) and Global Education for European Engineers and Entrepreneurs (GE4), Vienna, Austria (April 2008)

MOTET G. [Participation to the translation into French]
ISO 31000 "Risk Management. Principles and guidelines on implementation" (in French), AFNOR, Paris, France (April 2008)

MOTET G., MARSDEN E. [Communication]
"Two initiatives and a first experiment for developing multidisciplinary research in industrial safety", 2nd Meeting of the Mirror Group of the European Technology Platform on Industrial Safety (ETPIS), European Commission, Brussels, Belgium (March 2008)

MOTET G. [Invited Communication]
"Risk management of fault intrinsic to software technologies", SFJTI Symposium on Digital Contents and Security, Tokyo, Japan (March 2008)

MOTET G. [Invited Communication]
"Managing the risks of technological systems: issues, methods and standards", PhD seminar of Politecnico di Milano, Milano, Italy (February 2008)

MOTET G. [Communication]
"Culture de sécurité. Risque et organisation", Colloque "La prise de risque, une nécessité humaine qu'il faut gérer", Académie de l'air et de l'espace, Toulouse, France (February 2008)

GAUDAN S., MOTET G. [Conference]
"Forecasting of Object-Oriented Faults", 4th International Congress on Embedded Real-Time Software, Toulouse, France (January 2008)

GAUDAN S., MOTET G., AURIOL G. [Conference]
"A new structural complexity metrics applied to object-oriented design reliability assessement", 8th IEEE International Symposium on Software Reliability Engineering (ISSRE07), Trollhattan, Sweden (November 2007) [PDF]

MOTET G. [Communication]
"New risks associated with new software technologies. Arbitration between designers’ performance and system safety", 26th NeTWork Workshop "Resolving Multiple Criteria in Decision-Making involving risk of accidental loss", Schloss Steinhofel, Germany (September 2007)

GUIOCHET J., MOTET G., TONDU B., BARON C. [Journal]
"Sécurité des systèmes de la robotique médicale", volume SE2, Techniques de l'Ingénieur vol. SE 3 (2007) 781-1 – 781-16

MOTET G. [Communication]
"European Network of Foundations for Industrial Safety", 1st meeting of the Mirror Group of the  European Technology Platform on Industrial Safety (ETPIS), European Commission, Brussels, Belgium (March 2007)

MOTET G., MEUNIER V. [Communication]
"L'analyse Coûts-Bénéfices, un outil de dialogue entre les parties prenantes des décisions sur la sécurité", Workshop  Interdisciplinaire sur la Sécurité Globale (WISG07),  Agence Nationale de la Recherche (ANR), Troyes, France (January 2007)

MOTET G. [Organisation]
"Les acteurs de la sécurité industrielle. Mieux se connaître pour travailler ensemble", 1er Forum de la sécurité industrielle, Aix-en-Provence (Novembre 2006)

MOTET G. [Invited Communication]
"Consistency checking: A way to detect faults in systems from metamodel rules", Center of Excellence of Keio, Tokyo, Japan, Keio university publisher (November 2006)

MOTET G.,  GAUDAN S. (Invited Paper) [Conference]
"Assessment of the Risks for Using Object-Oriented Technologies in Critical Software", 6th Workshop on Critical Software, Tokyo, Japan, JAXA publisher (November 2006)

GAUDAN S., MOTET G., JENN E., LERICHE S. [Communication]
"Risk Management for Object-Oriented Technology in Aviation. An overview - Proposal for the DO-178C consortium", communication to the SC-205 (RTCA) & WG-71 (EUROCAE) "Software considerations in Airborne Systems" (September 2006)

MOTET G. [Invited communication]
"Interests of Life-Based Systems to Handle Industrial Safety Issues", Workshop on Challenges for Life-Based Systems Development, Center of Excellence, Keio, Japan (June 2006)

MOTET G. (Invited Paper) [Conference]
"System Engineering: From technology engineering to model engineering",  25th International Symposium on Space Technology and Science, Japan Society for Aeronautical and Space Sciences, Kanazawa, Japan (June 2006)

MALGOUYRES H., MOTET G. [Conference]
"A UML Consistency Verification Approach Based on Metamodeling Formalization", Symposium on Applied Computing, Dijon, France, ACM publishers, pages 1804-1809 (April 2006)

GAUDAN S., MOTET G., JENN E., LERICHE S. [Conference]
"Identification Model of the Object-Oriented Technology's Risks for an Avionics Certification", 3rd European Congress Embedded Real-Time Software (ERTS06), Toulouse, France (January 2006)

LOPEZ TORO R., SEUMA VIDAL J.-P., MALGOUYRES H., MOTET G. [Conference]
"UML Inconsistencies Assessment", 3rd European Congress Embedded Real-Time Software (ERTS06), Toulouse, France (January 2006)

MOTET G. (invited paper) [Conference]
"Industrial risks", Protezione civile e sicurezza territoriale: tecnologie e sistemi avanzati di gestione del rischio, Milano, Italy (January 2006)

MOTET G. (co-auteur) [Standard]
"Management du risque - Lignes directrices pour l'estimation des risques", norme FD X 50-252, AFNOR editeur; (2005)

MOTET G., GAUDAN S.  [Journal]
"Risques associés aux technologies logicielles", Revue de l'Electricité et de l'Electronique (REE), Revue de la Société de l'Electronique, de l'Electricité et des Technologies de l'Information et de la Communication, Vol. 11 (Decembre 2005) 42-50

LOPEZ TORO R., SEUMA VIDAL J.-P., MOTET L.-M., MALGOUYRES H., LE SAUX T., MOTET G.
"Estimation of UML Inconsistencies in Avionics Domain", 1st European Conference on Model Driven Architecture - Foundations and Applications, Nuremberg, Germany (November 2005)

MOTET G. [Communication]
"Des attentes industrielles", Journée "Vision 2020 "Quelle recherche en sécurité industrielle?", ENSAM, Paris (Novembre 2005)

MOTET G. [Conference]
"Vérification de cohérence des modèles UML 2.0", 1ère journée thématique "Modélisation de Systèmes avec UML - SysML et B-Système", Association Française d'Ingénierie Système, Toulouse, France (June 2005)

SEUMA VIDAL J.-P., MALGOUYRES H., MOTET G. [Conference]
"Identification de règles de cohérence d'UML 2.0", Journée SEE "Systèmes Informatiques de Confiance" sur le thème "Vérification de la cohérence de modèles UML", Paris, France (March 2005)

SEUMA VIDAL J.-P., MALGOUYRES H., MOTET G. [Conference - WoS]
"UML 2.0 Consistency Rules Identification", International Conference on Software Engineering Research and Practice (SERP'05), Las Vegas, USA, CSREA Press (June 2005) 175-181

BAFFREAU S., BOUAZIZ R., MOTET G. [Conference]
"Embedded real-time software techniques to handle misfunctioning due to electromagnetic fields", European Conference on Embedded Real-Time Systems 04, Toulouse, France (January 2004)

BAFFREAU S., TYSK L., MOTET G. [Conference]
"Détection logicielle des défaillances d'une plate-forme matérielle dues à des champs électromagnétiques", 12eme colloque international de compatibilite electromagnetique (CEM'04) Toulouse, France (Mars 2004)

GUIOCHET J., MOTET G., BARON C. [Conference]
"Generic Error Model of Human-Robot Interaction", 3rd IARP-IEEE/RAS-EURON Joint Workshop on Technical Challenges for Dependable Robots in Human Environments, Salford University, Manchester, England (September 2004)

GUIOCHET J., MOTET G., BARON C., BOY G. [Conference - WoS]
"Toward a Human-Centered UML for Risk Analysis - Application to a medical robot", Human Error, Safety and System Development (HESSD) in IFIP World Computer Congress (WCC), vol. 152, Toulouse, France (August 2004) 177-191

MOTET G. [Conference]
"Gestion des risques liés à la technologie Java", Workshop Techniques Avancées pour les Systèmes Embarqués Critiques, Toulouse (Decembre 2004)

MOTET G. (invited paper) [Conference]
"Risk Management of Software Technologies to Be Used in Space Applications", International Symposium on Space Activities and Information Technology, Tokyo, Japan, JAXA publisher (October 2004)

MOTET G., SEUMA VIDAL J.-P. [Conference]
"Importance of Certification for Embedded Real-Time Systems", European Conference on Embedded Real-Time Systems 04, Toulouse, France (January 2004)

MOTET G. [Communication]
"Certification : origines, importance pour les systèmes informatiques,concepts de base et recherches induites", Journée "Certification et méthodes formelles", cercle "Objectif Zéro-Défaut" du club SEE "Systèmes Informatiques de Confiance", ONERA, Toulouse (3 février 2004).

MOTET G., GEFFROY J.-C. (guest editors) [Livre - Book]
"Special Issue on Dependable Computing", Theoretical Computer Sciences, vol. 290, n° 2, Elsevier publisher (January 2003) 1115-1251

MOTET G. (co-auteur) [Standard]
"Marque NF Logiciel", édition 2.4, n° AFNOR Certification 203, AFNOR editeur (Octobre 2003) 80 pages

MOTET G., GEFFROY J.-C. [Journal - WoS]
"Dependable Computing: An Overview", Theoretical Computer Sciences, vol. 290, n° 2, Elsevier publisher (January 2003) 1115-1126

GEFFROY J-C., MOTET G. [Livre - Book]
"Design of Dependable Computing Systems", Kluwer Academic Publishers, 672 pages (2002)

MOTET G., SZMUC T. [Livre - Book]
"Programmation en Langage Ada de Systèmes Temps-Réel" (in Polish language) European TEMPUS Project, Jagiellon University Press (2002) 219 pages

MOTET G. [Journal]
"Certification of real-time systems: consequences on modelling tools and modelling processes", in Sicherheit und Verfugbarkeit in Echtzeit- und Automatisierungs- Systemen, Informatik Aktuell series, Springer publisher (2002) 21-30

MOTET G., TYSK L. [Conference]
"Software detection of hardware platform failures due to electromagnetic fields", 3rd International Workshop on Electromagnetic Compatibility for Components, Toulouse (November 2002)

MOTET G. (co-auteur) [Standard]
ISO/IEC TR 15942:2000. Information technology -- Programming languages -- "Guide for the use of the Ada programming language in high integrity systems". Technical committee / subcommittee: JTC 1/SC 22 (16 march 2000) 48 pages.

MOTET G., SZMUC T. [Livre - Book]
"Programmation de Systèmes Temps-Réel" (in Polish language) European TEMPUS Project, Cracow Center for Advanced Training in Information Engineering Press (2000) 243 pages

SZMUC T., MOTET G. [Livre - Book]
"Spécification et Conception de Systèmes Temps-Réel" (in Polish language)European TEMPUS Project, Jagiellon University Press (2000) 199 pages

GEFFROY J.-C. , MOTET G. [Livre - Book]
"Sûreté de fonctionnement des systèmes informatiques", Collection "Informatiques", InterEditions, Masson-Dunod (1998), 349 pages, ISBN 2-225-83417-2 (Prix Roberval 1999)

GEFFROY J.-C., BARON C., MOTET G. [Journal]
"Dependability Issues for a Curriculum in Real-Time Systems", Real-Time Systems Education, vol. 3, IEEE publisher (1999) 16-23.

MOTET G., GEFFROY J.-C. [Journal]
"Maîtriser les fautes", L'Informatique Professionnelle, n° 179, GartnerGroup éditeur (décembre 1999) 16-21

MOTET G., POWELL D. [Conference]
"Fault Avoidance and Fault Removal in Real-Time Systems & Fault Tolerant Computing", Proceedings of the 5th ACM/IFIP Europar'99 conference, Lecture Notes in Computer Sciences No 1685, Springer (1999) 487-488

MOTET G. [Conference]
"Software Instrumentation Method for Easing Embedded System Diagnosis", Proceedings of the 12th International conference on Software & Systems Engineering and their Applications,  Vol. 3, CMSL/CNAM publisher, Paris (1999) 9/6:1-6

WICHMANN B.A. ET AL. (MOTET G. co-author) [Journal]
"Guidance for the Use of the Ada Programming Language in High Integrity Systems", Ada Letters, vol. 18, n° 4, ACM Publisher (juillet/Août 1998) 47-94

BOUTET F., KUBEK J.-M., MOTET G. [Conference - WoS]
"Use of Constraints in Petri Nets and their novel applications", Proceedings of the IEEE International Conference on System, Man and Cybernetics (SMC'98), San Diego, USA, IEEE Publisher (octobre 1998) 32-37

BOUTET F., MOTET G. [Conference - WoS]
"Timed Concurrent System Simulation with Intervals in Absolute Time", Proceedings of the 10th. European Simulation Symposium, Nottingham Trent University, UK (octobre 1998) 208-212

BOUTET F., MOTET G. [Conference - WoS]
"Use of Constraints in Petri Nets for Modelling and Solving Scheduling Problems in Preliminary System Design", Proceedings of the IEEE International Conference on System, Man and Cybernetics (SMC'98), San Diego, USA, IEEE Publisher (octobre 1998) 576-581

GEFFROY, J.-C., BARON C., MOTET G. [Conference - WoS]
"Dependability Issues for a Curriculum in Real-Time Systems", Proceedings of the 3rd IEEE Real-Time System Education Workshop, Poznan, IEEE Publisher (21 novembre 1998) 16-23

BARON C., GEFFROY, MOTET G. (editors) [Livre - Book]
"Embedded System Applications", Kluwer Academic Publishers (1997)

BOUTET F., MOTET G. [Conference]
"Modélisation et simulation de systèmes de production hybrides par réseaux à prédicats contraints", 1ère conférence francophone Modélisation et simulation des systèmes de production et de logistique (MOSIM'97), Rouen, France, Editions Hermes (juin 1997) 377-385

FLEURQUIN R., MOTET G. [Conference]
"Evaluation de l'assistance méthodologique proposée par les outils de développement logiciel", Actes des huitièmes journées internationales sur le génie logiciel et ses applications", EC2 Editeurs, Paris, pp. 15-17 (novembre 1995)

FLEURQUIN R., BARTEL O. MOTET G. [Conference]
"Procedure Allowing Small Firms to Obtain ISO 9001 Certification", Proceedings of the 5th Annual Advanced Technology Workshop, US Segment, Hanscom Air Force Base, Bedford, USA (August 1996)

FLEURQUIN R., MOTET G. [Conference]
"Importance of Quality for Real-Time Software and Constraints on their Development Process", 4th International Conference on Real-Time Systems, Szklarska, Pologne, 283-298 (september 1997)

FLEURQUIN R., MOTET G. [Conference]
"Process Improvment Programs for Small Firms Developing Software Applications", International Conference on Software Quality (ICSQ'97), Maribor, Slovénie, 39-48 (novembre 1997)

KUBEK J.-M., MOTET G. (invited paper)
"Application of Temporal Constrained Predicate Nets to Production Systems", Proceedings of the INRIA/IEEE Conference on Emerging Technologies and Factory Automation, Paris, (october 1995) 69-80

MOTET G., KUBEK J.-M. [Conference]
"Dependability Problem of Ada Components Available via Information Superhighways", Proceedings of the 13th Conference on Ada Technology, Valley Forge, Pennsylvania, U.S.A., Rosenberg & Risinger Publishers, Culver City California, pp 8-18 (march 1995)

MOTET G. [Conference]
"Importance of Specification Means to Design Integrated Modular Avionics Systems", Proceedings of the 5th Annual Advanced Technology Workshop, European Segment, INSA/Toulouse, juillet 1996 and in Embedded System Applications, Kluwer Academic Publishers, 263-274 (1997)

MOTET G., FLEURQUIN R., SZMUC T. [Conference]
"Impact of Quality Systems on Real-Time Software Lectures and Laboratories ", IEEE Workshop on Real-Time System, Montreal, Canada (june 1997).

MOTET G., MARPINARD A., GEFFROY J-C. [Livre - Book]
"Design of Dependable Ada software", Prentice Hall International, 407 pages, (1996)