Nombre de documents

20

CV de Jean-Luc Koning


Communication dans un congrès12 documents

  • Octavio Gutierrez, Felix Ramos, Jean-Luc Koning. Obligations as constrainers, descriptors and linkers of open system of systems. Fourth International Conference on System of Systems Engineering, 2009, Albuquerque, New Mexico, United States. 2009. <hal-00382565>
  • Octavio Gutierrez, Jean-Luc Koning, Felix Ramos. From obligations to organizational structures in multi-agent systems. 11th Pacific RIM International Conference on Multi- Agents, 2008, Hanoi, Vietnam. 5357, pp.206-213, 2008. <hal-00382568>
  • Hind Fadil, Jean-Luc Koning, Felix Ramos, Jean-Paul Jamont, Michel Occello. Graphically Designing and Formally Checking Self-Organizations for Wireless Networks Systems. International Conference on Self-Organization and Autonomous Systems in Computing and Communications (SOAS'2006), 2006, Erfurt, Germany. 2006. <hal-00194175>
  • Hind Fadil, Jean-Luc Koning. Vers une spécification formelle des protocoles d'interaction des systèmes multi-agents. 6e Conférence Francophone de MOdélisation et SIMulation (MOSIM'06), 2006, Rabat, Morocco. 2006. <hal-00194193>
  • Jean-Luc Koning, Hind Fadil. A formal approach to model multiagent interactions using the B formal method.. Springer. Fourth IEEE International Symposium on Advanced Distributed Systems (ISSADS-2005),, Jan 2005, Guadalajara, Mexico. pp.516-528, 2005. <hal-00185511>
  • Hind Fadil, Jean-Luc Koning. Rules for Translating Interaction Protocols into a B Formal Representation. 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'05), Sep 2005, Compiègne, France. pp.495-498, 2005. <hal-00189034>
  • Hind Fadil, Jean-Luc Koning. A formal approach to model multiagent interactions using the B formal method. F. Springer-Verlag. Fourth IEEE International Symposium on Advanced Distributed Systems (ISADS-2005),, Jan 2005, Guadalajara, Mexico. 3563, pp.516-528, 2005. <hal-00189035>
  • Jean-Luc Koning, Ivan Romero-Hernandez. Limitations in AUML's roles specification. Second International Conference on Intelligent Information Processing, 2005, Pekin, China. pp.79-82, 2005. <hal-00189045>
  • Ivan Romero-Hernandez, Jean-Luc Koning. A visual tool for the modeling of auml specifications. Kluwer. Symposium on Professional Practice in AI, 2004, Toulouse, France. 2004. <hal-00201516>
  • Ivan Romero-Hernandez, Jean-Luc Koning. State controlled execution for agent-object hybrid languages. Springer-Verlag. Third IEEE International Symposium on Advanced Distributed Systems (ISADS-2004), 2004, France. 3061, pp.79-82, 2004. <hal-00201519>
  • Ivan Romero-Hernandez, Jean-Luc Koning. Thoughts on an agent oriented language centered on interaction modeling. ISSADS 2002, 2002, Guadalajara, Mexico. 2002. <hal-00201569>
  • Michel Occello, Jean-Luc Koning, Abdelali Ibriz, Mohammed Erradi. A multi-formalism method for designing and validating intelligent agent-based systems. International Conference on Intelligent Information Technology (ICIIT-02), 2002, Pekin, China. 2002. <hal-00201570>

Chapitre d'ouvrage3 documents

  • Marc-Philippe Huget, Jean-Luc Koning. Engineering interaction protocols for multiagent systems. Intelligent Knowledge-Based Systems : Business and Technology in the New Millennium - volume 4 - chapter 9, Kluwer Academic Publishers, 2004. <hal-00201559>
  • Ivan Romero-Hernandez, Jean-Luc Koning. From roles to agents : Considerations on formal agent modeling and implementation. Intelligent Knowledge Based Systems : Business and Technology in the New Millennium, volume 3, chapter 5, Kluwer academic publishers, 2004. <hal-00201530>
  • Marc-Philippe Huget, Jean-Luc Koning. Interaction protocol engineering. M.P. Huget. Communication in Multiagent Systems - Agent Communication Languages and Conversation Policies - Lecture Notes in Computer Science - State of the Art Survey 2560, Springer-Verlag, pp.179-193, 2003. <hal-00201565>

Article dans une revue5 documents

  • Hind Fadil, Jean-Luc Koning. Une approche formelle pour la validation des protocoles d'interaction en systèmes multi-agents. Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2008, 13 (8), pp.33-52. <hal-00382562>
  • Hind Fadil, Jean-Luc Koning, Felix Ramos, Jean-Paul Jamont, Michel Occello. Graphically Designing and Formally Checking Self-Organizations for Wireless Network Systems,. International Transactions on Systems Science and Applications, 2006, 2 (3), pp.297-302. <hal-00193486>
  • Jean-Luc Koning, Pierre-Yves Oudeyer. Modeling interaction strategies using POS: An application to soccer robots. Applied Intelligence, Springer Verlag (Germany), 2006, pp.7-21. <hal-00194176>
  • Jean-Luc Koning, Didier Dubois. Suitable Properties for Any Electronic Voting System. Artificial Intelligence and Law, Springer Verlag, 2006, pp.251-260. <hal-00194177>
  • Jean-Luc Koning, Pierre-Yves Oudeyer. Formalization, implementation and validation of conversation policies using a protocol operational semantics. Cognitive System Research, 2003, 4 (3), pp.223-242. <hal-00201564>