Curriculum-Vitae. 1 Etat Civil. 2 Titres universitaires

Transcription

1 Curriculum-Vitae 1 Etat Civil Nom patronymique : GRUER Prénom : Juan Pablo Date et lieu de naissance : 11 avril 1949 à San Salvador de Jujuy (Argentine) Nationalité : Française Situation professionnelle : Professeur des Universités à l Université de Technologie de Belfort-Montbéliard (Département Génie Informatique, Laboratoire Systèmes et Transports) Adresse professionnelle : Laboratoire Systèmes et Transports - Université de Technologie de Belfort-Montbéliard Belfort Cedex Tél : (direct) (secrétariat) Fax : Couriel : [email protected] 2 Titres universitaires 1975 Ingénieur Électricien, option Électronique Université Nationale de Tucumán, Argentine Ingénieur Informaticien (assez bien) École Nationale Supérieure d Informatique et Mathématiques appliquées, INPG DEA d Informatique (assez bien) Institut Nationale Polytechnique de Grenoble Doctorat en Informatique (très honorable) Titre : Éléments de synchronisation pour un langage temps-réel. Date : 20 Janvier 1989 Lieu : Université de Haute Alsace Laboratoire : Mathématiques et Informatique Directeur : P. DESCHIZEAUX (PR, UHA) Président : G. BINDER (PR, UHA) Rapporteurs : G. METZGER (PR, UHA), M. TREHEL (PR, UFC) Examinateur : J.-P. THOMESSE (PR, INPL), R. GRIESNER (MDC, UHA) 1

2 2006 Habilitation à Diriger des Recherches en Informatique Titre : Modélisation, Evaluation et Vérification de Systèmes Multi-Agents Date : 3 Mars 2006 Lieu : Université de Bourgogne Président : J.-M. PALLO Rapporteurs : H. BASSON, F. CHARPILLET, R. MANDIAU Examinateurs : A. KOUKAM, M. HASSENFORDER 3 Activités professionnelles Ingénieur de Recherche au Laboratoire de Techniques Numériques de l Institut du Génie Électrique, Université Nationale de Tucumán, Argentine Contractuel assimilé au statut de boursier du 3ème cycle au Laboratoire d automatique de Grenoble Ingénieur en Informatique Industrielle à la Ste. D-Log Informatique (Grenoble) Assistant Associé à la Faculté des Sciences de l Université de Haute Alsace Contractuel à l Université de Haute Alsace, dans le cadre du projet QOSMIC (programme européen RACE) Maître de conférences à l Université de Technologie de Belfort- Montbéliard, membre du Laboratoire Systèmes et Transports (SeT, EA 3317.) depuis 2008 Professeur des Universités, UTBM/SeT 4 Thèmes de recherche Spécification formelle et vérification de systèmes multi-agents. Approches de modélisation et simulation orientées agents. Modèles physico-inspirés d agents réactifs, application aux systèmes de transport. 5 Matières enseignées Principes, mécanismes et langages de l informatique temps-réel. Fondements mathématiques de l informatique. Méthodologies de conception pour le temps-réel : l approche fomelle. Génie logiciel : les approches et méthodes formelles. 2

3 6 Publications Chapitres d ouvrage 1. P. Gruer, V. Hilaire & Abder Koukam. Approche multi-formalismes pour la spécification des systèmes multi-agents. Dans Organisation et application des SMA, sous la direction de R. Mandiau, E. Grislin-Le Strugeon et André Peninou, Hermés, J. Gaber, P. Gruer. L informatique et le temps. Dans La ville 24 heures sur 24-regards croisés sur la société en continu, sous la direction de L. Gwiazdzinski, Editions de l Aube, P. Gruer, V. Hilaire, J. Kozlak et Abder Koukam. Application of multiagent simulations to solve a transport on demand problem. The Kluwer International Book Series in Engineering and Computer Science, No 752 : Artificial Intelligence and Security in Computing Systems. Edited by Jerzy Soldek, Leszek Drobiazgiewicz, Articles dans des revues 1. P. Gruer, A. Koukam, B. Mazigh. Modeling and quantitative analysis of discrete event systems : a statecharts based approach, Journal Simulation Practice and Theory. Elsevier, Vol 6, No. 4, P. Gruer, V. Hilaire, A Koukam, and K. Cetnarowicz. A formal framework for multi-agent systems analysis and design. Expert Systems with Applications, pp , Volume 23, Issue 4, Pergamon Press, November A. Koukam, B. Mazigh, P. Gruer and V. Hilaire, A Multiview Approach to modelling and Analysis of Discrete Event Systems, Journal of Systems Analysis Modelling and Simulation, Vol. 43, No. 6, Taylor and Francis Editor, P. Gruer, V. Hilaire, A. Koukam, P. Rovarini. Heterogeneous formal specification based on Object-Z and statecharts : semantics and verification. Journal of Systems and Software, No. 70, pp , Elsevier, S. Rodriguez, V. Hilaire, P. Gruer and A.Koukam. A formal holonic framework with proved self-organizing capabilities, International Journal of Cooperative Information Systems, Vol. 16, Number 1, World Scientific Publishing, March V. Hilaire, P. Gruer, A. Koukam, O. Simonin. Formal specification approach of role dynamics in agent organisations : Application to the Satisfaction- Altruism Model. Article accepté dans International Journal of Software Engineering and Knowledge Engineering, Volume 17, Number 5, World Scientific Publishing, October

4 7. V. Hilaire, P. Gruer, A. Koukam, O. Simonin. Formal Driven Prototyping Approach for Multi-Agent Systems, International Journal of Agent Oriented Software Engineering, Vol. 2, No. 2, pp , Inderscience, Articles publiés dans des éditions de Springer Lecture Notes 1. K. Cetnarowicz, P. Gruer, V. Hilaire, A. Koukam. "A Formal Specification of M-Agent Architecture", Lecture Notes in Computer Science, Vol 2296, Springer Verlag, P. Gruer, V. Hilaire, A. Koukam. "Verification of object-z specifications by using transition systems". In Fundamental Approaches to Software Engineering, Lecture Notes in Computer Science, Vol 1783, Springer Verlag, V. Hilaire, A. Koukam, P. Gruer, J.P. Muller."Formal Specification and Prototyping of Multi-agent Systems". Lecture Notes in in Artificial Intelligence Vol. 1972, Springer Verlag, V. Hilaire, A. Koukam, P. Gruer. "A mechanism for dynamic role playing." Lecture Notes in Artificial Intelligence Vol. 2592, Springer Verlag Communications avec comité de lecture 1. A. Berdai, P. Gruer, V. Hilaire, A. Koukam, "A multi-agent model for the estimation of passenger waiting time in public transportation networks". WSEAS Int. Conf. On Simulation, Modeling and Simulation, Skiatos, Grèce, R. Campero, P. Gruer, V. Hilaire, P. Rovarini, "Modeling and simulation of agent-oriented systems : an approach based on Object-Z and the Statecharts". Int. Symp. on Agent-based simulation, Passau, Allemagne, J.-M. Contet, F. Gechter, P. Gruer, A. Koukam. Multiagent system model for vehicle platooning with merge and split capabilities. the 3rd International Conference on Autonomous Robots and Agents - ICARA 2006, Palmerston, New Zeland, J.-M. Contet, F. Gechter, P. Gruer, A. Koukam. "Physics inspired multiagent model for vehicle platooning", International Conference on Autonomous Agents and Multiagent Systems - AAMAS 2007, Honolulu, Hawai i, USA, J.-M. Contet, F. Gechter, P. Gruer, A. Koukam. "Application of reactive multiagent systems to linear vehicle platoons" IEEE International Conference on Tools with Artificial Intelligence - ICTAI 2007, Patras, Grece, October P. Gruer and A. Koukam. "Towards an Integrated Approach for Modeling Discrete Event Systems". In proceedings of the International AMSE 4

5 Conference on Information and System Methods for Engineering Problems, AMSE Press, Vol 3, Malta P. Gruer and A. Koukam. "Hierarchical and Formal Modeling of Object Behavior.", In proceedings of the S.C.S. International Conference on Object Oriented Simulation (Las Vegas, Nevada, Jan ). SCS Press, P. Gruer and A. Koukam. "An Approach for Prototyping and Simulation of Hard Real-Time Systems". In proceedings of the 7th SCSI European Simulation Symposium, Erlangen, Germany P. Gruer, V. Hilaire, A. Koukam. "Formal Specification and Verification of Multi-agent Systems". In International Conference on Multi-Agent Systems, ICMAS 2000, IEEE Press. 10. V. Hilaire, A. Koukam, P. Gruer, J.P. Muller. "Vers une méthodologie formelle de spécification de systèmes multi-agents". In Systèmes Multiagents : Méthodologie, Technologie et Expériences,. S. Pesty, C. Sayettat- Fau éditeurs, Editions Hermes P. Gruer, V. Hilaire, A. Koukam. Multi-Agent Approach to Modelling and Simulation of Urban Transportation Systems. In IEEE Systems, Man, and Cybernetics Conference, Tucson, November P. Gruer, V. Hilaire, A. Koukam, S Hayat. a Methodology based on multiples views for Multi-Agent Systems in Simulation, application to the Transportation domain. In 13th European Simulation Symposium, Marseille, P. Gruer, V. Hilaire, J. Kozlak, A. Koukam, "Application of Multi-Agent Simulations to Solve a Transport on Demand Problem", Proceedings of the 9th. International Conference on Advanced Computer Systems, Sczeczin, Poland, V. Hilaire, P. Gruer, A. Koukam, A. El Moudni, "Engineering soccer robot behaviours", 2002 FIRA Robot World Congress, Seoul, Korea V. Hilaire, A. Koukam, P. Gruer, "A Multi-Agent System Featuring Virtual Characters in Play for Theatre", Proceedings of Agent Days 02 workshop, A. Koukam and P. Gruer. "An Assistant Environment for Managing and Testing Communications in Manufacturing Systems". In proceedings of the 7th. International Symposium on Computing Applications, Antofagasta, Chili A. Koukam, P. Gruer. "On the Modelling of Discrete Event Systems : the Case of Communication Systems". In proceedings of the International Conference on New Directions in Simulation for Manufacturing and Communication, Tokyo, Japan A. Koukam, P. Gruer, B. Mazigh. "Statecharts Modelling Approach for discrete Event System Analysis", in 8th European Simulation Symposium, Gene, Italy,

6 19. Drago Matko, Gregor Klancar, Saso Blazic, Franck Gechter, Olivier Simonin, Jean-Michel Contet and Pablo Gruer, "Control strategy for wheeled Mobile Robots Platoons", International Conference on Informatics in Control, Automation and Robotics - ICINCO 2008, May B. Mazigh, P. Gruer, A. Koukam. " An optimization approach of complex discrete event systems". European Simulation Multiconference, Budapest, Hungary, B. Mazigh, P. Gruer, A. Koukam, " Modélisation et analyse d un système automatisé temps réel par les réseaux de Petri stochastiques généralisés ". Reneeslaers Fifth International Conference on Computer Integrated Manufacturing and Automation Technology, Grenoble, France B. Mazigh, P. Gruer, A. Koukam. "Multi-Views Approach for Modelling and Analysis of Degradable Computer Systems, 2nd IMACS International Multiconference, Computational Engineering in Systems Applications, B. Mazigh, P. Gruer, A. Koukam. "An Extended Statecharts Approach for Modelling and Analysis of Discrete Event Systems : the case of Manufacturing Systems". European Simulation Multiconference, UK, B. Mazigh, A. Koukam, P. Gruer. " A Formal Approach to Design Optimal Static Converters". 4th Workshop on Discrete Event Systems, Cagliari, Italy, B. Mazigh,, V. Hilaire, P. Gruer, A. Koukam. "Agent Oriented Approach for Modelling and Simulation of Productive Organizations". 10th International DAAAM Symposium, Vienna, Austria, October B. Mazigh, A. Koukam, V. Hilaire, P. Gruer. "Combining Multi-agents Approach with High Level Petri Nets for Simulation of Productive Organizations". 1st IFAC Workshop on Multi-agent Systems in Production MAS 99, Vienna, Austria, December Publications sans comité de lecture 1. P. Barthelemy, P. Gruer, A. Koukam, E. Lambert, M. Wack. Approche et outils pour le développement d applications MMS. Journées AFNOR sur la communication industrielle, Paris B. Mazigh, P. Gruer, A. Koukam. Utilisation des Réseaux de Petri Stochastiques Généralisés : étude d une application industrielle. Actes de la Conférence sur la Conception des Systèmes, Paris Poster 1. A. Koukam and P. Gruer. Combining Structural and Behavioral Views for Modeling Discrete Event Systems. In poster Book of the EUROSIM 95 International Congress, Vienna, Austria,

7 Rapports de Contrats Industriels 1. A. Koukam, P. Gruer, Développement et test d applications utilisant la messagerie MMS, Rapport de contrat Nř avec la société Peugeot, J.-C. Creput, P. Gruer, Logiciels de diagnostic et détection de pannes, Rapport de contrat Nř avec la Sté. Peugeot Motocycles,