Back to INDEX   Other publications   2012 Jacques Bahi, Jean-François Couchot, and Christophe Guyeux. Steganography: secure and robust algorithms. Journées Codes et Stéganographie, Hôtel de la Monnaie, Rennes, France, March 2012. [bibtex] Jacques Bahi, Christophe Guyeux, and Pierre-Cyrille Héam. A Complexity Approach for Steganalysis. Journées Codes et Stéganographie, Hôtel de la Monnaie, Rennes, France, March 2012. [bibtex] Fabrice Bouquet. Model-Based Testing Aujourd'hui. Séminaire Invité au Club Qualité Logicielle, Montrouge, France, January 2012. [bibtex] Julien Bourgeois and Seth Copen Goldstein. Scalable distributed computing for distributed intelligent MEMS. CS&I Seminar, Emory University, February 2012. [bibtex] Julien Bourgeois and Seth Copen Goldstein. Scalable distributed computing with distributed intelligent MEMS. Keynote talk at The 20th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Munich, Germany, February 2012. [bibtex] Nicolas Friot, Christophe Guyeux, and Jacques Bahi. A new secure process for steganography: CI2. Stego and topological security. Journées Codes et Stéganographie, Hôtel de la Monnaie, Rennes, France, March 2012. [bibtex] Christophe Guyeux. A Cryptographic Approach of Security in Wireless Sensor Networks. Theory and Practice. Invited talk at IFS 2012, Indo-French Symposium on Sensors Technologies and Systems, Delhi, India, March 2012. [bibtex] Christophe Guyeux. Les modèles d'évolution des génomes : l'existant et ses améliorations possibles. Séminaire invité à l'Institut de Génétique et Microbiologie, UMR CNRS 8621, Paris, France, March 2012. [bibtex] Christophe Guyeux. Quelques avancées pour une approche topologique en sécurité informatique. Séminaire invité CCA, Codage, Cryptologie, Algorithmes, Paris, France, February 2012. [bibtex] Jacques Julliand. Contributions à la Génération Automatique de Tests à partir de Critères de Sélection Dynamique par Abstraction de Modèles. Séminaire invité au CEA de Saclay, France, January 2012. [bibtex] Abdallah Makhoul. Data management in sensor networks: Algorithms and protocols. Invited talk at IFS 2012, Indo-French Symposium on Sensors Technologies and Systems, Delhi, India, March 2012. [bibtex] 2011 Mouhannad Alattar, Françoise Sailhan, and Julien Bourgeois. Modeling and Detecting Intrusions in ad hoc Network Routing Protocols. 3SL, Journée Sécurité des Systémes & Sureté des Logiciels, Saint-Malo, France, May 2011. [bibtex] Fabrice Bouquet. Graphical Model of MAS for Verification and Validation (Software engineering point of view). Invited talk at the V2CS Workshop, Paris, France, November 2011. [bibtex] Julien Bourgeois. Security monitoring of ad hoc networks. Invited Talk at the Hong-Kong Polytechnic University, August 2011. [bibtex] Julien Bourgeois and S.C. Goldstein. Communications in Distributed Intelligent MEMS. Invited talk at the 3-rd NaNoNetworking Summit, June 2011. [bibtex] Julien Bourgeois and S.C. Goldstein. The internet of [micro]-things. Keynote talk at iThings 2011, the 2011 IEEE Int. Conf. on Internet of Things. Dalian, China, October 2011. [bibtex] Samir Chouali and Ahmed Hammad. Formal verification of components assembly based on SysML and interface automata. Presented at UML&FM 2011, the 4-th IEEE Int. Workshop on UML and Formal Methods, Limerick, Ireland. Available after revision and extension as an ISSE journal version, June 2011. [bibtex] Christophe Guyeux and Jacques Bahi. Étude topologique de l'étalement de spectre. Journées Codes et Stéganographie, Écoles Militaires de Saint-Cyr, Coëtquidan, January 2011. [bibtex] Jonathan Lasalle, Frédéric Fondement, Pierre-Alain Muller, Brice Wittman, Fabrice Ambert, Fabrice Bouquet, Emilie Oudot, Fabien Peureux, Bruno Legeard, Marc Alter, and Claude Scherrer. Using Topcased for Model-Based Testing. First TopCased Days, Toulouse, France, February 2011. [bibtex] Jonathan Lasalle, Fabien Peureux, and Frédéric Fondement. Development of an automated MBT toolchain from UML/SysML models. Presented at UML&FM 2011, the 4-th IEEE Int. Workshop on UML and Formal Methods, Limerick, Ireland. Available after revision and extension as an ISSE journal version, June 2011. [bibtex] 2010 Wahabou Abdou, Damien Charlet, Christelle Bloch, and François Spies. Limites des protocoles de routage ad hoc contraints à une mobilité permanente. CNRIUT2010, 16 ème Colloque National de la Recherche dans les IUT. Angers, France, June 2010. [Abstract] [bibtex] Julien Bourgeois. Writing proposals for ANR and FP7. Invited Talk at the Hong-Kong Polytechnic University, August 2010. [bibtex] Julien Bourgeois and Bogdan Cornea. CPU modelling in SimGrid using dPerf. Invited talk at the SimGrid Users' Days, 2010. [bibtex] Julien Bourgeois and Nadine Le Fort-Piat. Combining Nanotechnology, Robotics, Electronics, Computer Science and Networking: The Example of the Smart Surface Project. Invited Talk at the Carnegie Mellon University, May 2010. [bibtex] Julien Bourgeois and Nadine Le Fort-Piat. Distributed Intelligent MEMS: The Example of the Smart Surface Project. Invited Talk at the Hong-Kong Polytechnic University, August 2010. [bibtex] Sébastien Chipeaux, Fabrice Bouquet, Christophe Lang, and Nicolas Marilleau. Critères génériques de comparaison de méthodes de modélisation de systèmes complexes pour la génération de simulations multi-agents. CoMMISCo'10, 1ère Conférence Modélisation Mathématique et Informatique des Systèmes Complexes, IRD Bondy, France, October 2010. [bibtex] Frédéric Fondement, Pierre-Alain Muller, Brice Wittman, Fabrice Ambert, Fabrice Bouquet, Jonathan Lasalle, Emilie Oudot, Fabien Peureux, Bruno Legeard, Marc Alter, and Claude Scherrer. VETESS : IDM, Test et SysML. 7-th Neptune Workshop. Environment with a Process and Tools Using Norms and Example, Toulouse, France, May 2010. [bibtex] Eric Garcia. Prix de l'innovateur. 12e édition des Technologies Numériques à l'assemblée Nationale, May 2010. Note: Prix remis par la secrétaire d'état chargée de l'économie numérique. [bibtex] Christophe Gentil, Marie-Laure Betbeder, Jacques Béziat, and Eric Bruillard. Virtual learning community and dynamics of groups in the test of brakes, May 2010. Note: Aix-en-Provence, France, Organised during COOP 2010, 9th International Conference on the Design of Cooperative Systems. [bibtex] Françoise Greffier. Réussite et analyse de traces en FOAD. Le modèle de la boucle des réalisations. exposé invité par le CNED-Eifad, April 2010. [bibtex] Pierre-Cyrille Héam. Semi-commutations et sûreté des systèmes. Séminaire invité à l'Université de Nancy, March 2010. [bibtex] Hassan Mountassir. Tacos : de l'expression des besoins aux spécifications formelles. 7-th Neptune Workshop. Environment with a Process and Tools Using Norms and Example, Toulouse, France, May 2010. [bibtex] Hassan Mountassir. Trustworthy Assembling of Components from requirements to Specifications. Tutoriel invité, Workshop NEPTUNE (Nice Environment with a Process and Tools Using Norms and Examples), Toulouse, May 2010. [bibtex] Raheel Hasan Syed, Jasmina Pazardzievska, Maxime Syrame, and Julien Bourgeois. 2ème prix. Challenge international XtreemOS, Naples, Italie, September 2010. [bibtex] 2009 Julien Bourgeois. Managing security in complex networks. Invited talk at Sharif University (Iran), May 2009. [bibtex] Kalou Cabrera Castillos. Scenario Based Testing for ensuring POSIX Compliance (Software Verification: Theory, Tools and Experiments). Conférence invitée SVTTE'09, November 2009. [bibtex] Matteo Cypriani. Open Wireless Positioning System : un système de géopositionnement par Wi-Fi en intérieur. Note: Présentation à RGE de 30 minutes, June 2009. [Abstract] [bibtex] Frédéric Dadeau. Model-Based Testing from Behavioural Models using Constraint Logic Programming. École d'été TAROT'2009, Training And Research On Testing, July 2009. [bibtex] Pierre-Cyrille Héam. Regular Approximations. Séminaire invité à l'Université de Bordeaux, January 2009. [bibtex] Jean-Christophe Lapayre. Awareness: When Cooperative Work Becomes Collaborative Work. Séminaire invité, University de Sfax, December 2009. [bibtex] Jonathan Lasalle. Génération automatique de tests à partir de modèles SysML. MTVV, Journée du groupe de travail Méthodes de Test, Vérification et Validation, Besançon, France, June 2009. [bibtex] Hassan Mountassir. Contrats et Vérification d'assemblage des composants. séminaire invité, ENSIAS, Rabat, December 2009. [bibtex] Christophe Reffay and Marie-Laure Betbeder. Extending validation of tools and analyses in CSCL situations: How to collaborate on interaction analysis?, June 2009. Note: Pre-conference Workshop on Interaction analysis and visualization for asynchronous communication. Computer Supported Collaborative Learning (CSCL 2009), Rhodos, Greece. [bibtex] Christophe Reffay and Marie-Laure Betbeder. Sharing Corpora, Analysis and Tools for CSCL Interaction Analysis, June 2009. Note: Pre-conference Workshop on Common Objects for Productive Multivocality in Analysis. Computer Supported Collaborative Learning (CSCL 2009), Rhodos, Greece. [bibtex] 2008 Julien Bourgeois. Performance prediction in distributed systems. Séminaire invité, LIG, Laboratoire d'Informatique de Grenoble, France, December 2008. [bibtex] Mais Haj Rachid. Notation pour les problèmes de tournées de véhicules. Présentation de 30 minutes à la 2ème journée de l'optimisation (Optimisation combinatoire dans les réseaux et les graphes), organisée conjointement par l'UTBM et l'UFC, January 2008. [bibtex] Pierre-Cyrille Héam. Regular Approximations. Séminaire invité à l'ENS Cachan, September 2008. [bibtex] Pierre-Cyrille Héam. Regular Approximations. Séminaire invité à l'Université de Marne-la-Vallée, October 2008. [bibtex] Pierre-Cyrille Héam. Regular Approximations. Séminaire invité à l'Université Paris 7, December 2008. [bibtex] Jean-Christophe Lapayre. e-Health and Telemedicine: Issues. Séminaire invité, University Sains Malaisia, May 2008. [bibtex] Laurent Philippe. Batch Scheduling for Identical Multi-Tasks Jobs on Heterogeneous Platforms. Séminaire invité, Marseille, France, June 2008. [bibtex] Françoise Sailhan and Julien Bourgeois. Ubiquitous Intrusion Detection. Invited talk at SPHCS, Workshop on Security and High PerformanceComputing Systems, June 2008. [bibtex] 2007 A. Banos and Christophe Lang. Modéliser et simuler la mobilité spatiale et les systèmes de transport : nouveaux enjeux, nouvelles approches. Introduction au dossier, 2007. Note: Direction de Revue Les Cahiers Scientifiques du Transport. Numero 52. JEL : C19, C51, C61, C63, C65, R40, R41. [bibtex] Julien Bourgeois. Optimization and securization in grid computing. Séminaire invité, LORIA, Laboratoire Lorrain de Recherche en Informatique et ses Applications, Nancy, France., April 2007. [bibtex] Jean-François Couchot. Efficiently dealing with SMT-LIB provers in software verification. Séminaire invité au pôle MDSC (Modèles Discrets pour les Systèmes Complexes) du laboratoire I3S, December 2007. [bibtex] A.-J. Fougères, Philippe Canalda, and V. Ospina. Assistance à la gestion et au suivi de projets d'étudiants dans un environnement d'apprentissage coopératif.. e-TI - la revue électronique internationale des technologies d'information, January 2007. Note: Publié par SIR - Ecole Mohammadia d'Ingénieurs (Maroc), en partenariat avec l'ENSIAS (Maroc), Cnam (France), ENIT (Tunisie) et Khawarizmi'c (Maroc) avec le soutien de l'Agence universitaire de la Francophonie. [Abstract] [bibtex] Jean-Christophe Lapayre. Médecine Mobile un Nouvel Enjeu de la Télémédecine. Séminaire invité, Faculté de Médecine et Pharmacie de Fès, April 2007. [bibtex] Réseau TADvance, D. Josselin, Philippe Canalda, Pascal Chatonnay, R. Chevrier, Christophe Lang, and Nicolas Marilleau. Le transport à la demande TADOU dans le Pays du Doubs Central : cap sur l'innovation, April 2007. Note: Trans Flash, Bulletin d'information des déplacements urbains départementaux et régionaux. vol. 322, p. 7. [bibtex] 2006 Marie-Laure Betbeder. Un environnement malléable support d'activités collectives / Recueil et transcription d'actions multimodales, June 2006. Note: Séminaire 'Hypermédias, Education, Formation', organisé par Eric Bruillard, Georges-Louis Baron et Brigitte de la Passardière, Paris, France. [bibtex] V. Bonnans, Lionel Droz-Bartholet, Eric Garcia, Hervé Guyennet, Jean-Loup Haberbusch, Jean-Christophe Lapayre, and T. Moulin. Collaborative Tele-Neurology, January 2006. Note: Presentation in Workshop Cross-Border Activities, Good Practice for Better Health, Bielefeld, Germany. [bibtex] Julien Bourgeois. Transmission of multimedia contents towards wireless clients. Séminaire invité, IRISA, Institut de recherche en informatique et systèmes aléatoires, Rennes, France., January 2006. [bibtex] Jean-Michel Hufflen. Sprachen in mlBibTeX. Note: DANTE 2006 Tagung, Berlin, March 2006. [bibtex] 2005 A. Banos, S. Chardonnel, Christophe Lang, Nicolas Marilleau, and T. Thevenin. MIRO : une approche multi-agents de la ville en mouvement, January 2005. Note: 7èmes Rencontres Théo Quant, Besançon, France. [bibtex] Jean-Baptiste Ernst-Desmulier. JXTA and Peer-to-Peer Video Streaming, July 2005. Note: Invited talk at the 1st Int. Conf. on Open Source Systems, Workshop on Open Source and Multimedia, OSS'2005. Genova, Italy. [bibtex] Jean-Michel Hufflen. Introduction to XSLT. Extended abstract in Biuletyn GUST vol. 22 of an Invited Talk to the BachoTeX 2005 conference, April 2005. [bibtex] 2004 Thierry Chanier. Edition et diffusion de productions scientifiques pour l'éducation dans le domaine des TICE. Note: Journées SCEREN/CNDP, 'Quelles ressources, quelles documentations pédagogiques, pour quels usages avec quels métiers ?', Lons-le-Saunier, France, June 2004. [bibtex] Thierry Chanier. Etudier et soutenir les interactions dans les groupes d'apprentissage (des langues) à distance. Note: Séminaire Industrie de la Langue, organisé par Georges Antoniadis, Université Stendhal, Grenoble, France, February 2004. [bibtex] Thierry Chanier. L'archive ouverte Education et Tice. Note: Séminaire TémaTice sur 'Les TIC dans la formation des enseignants aux Etats-Unis et en France', MSH Paris, France, June 2004. [bibtex] Thierry Chanier. Le cas de la Revue Alsic. Note: Séminaire à la Semaine du Document Numérique, Atelier 'Normalisation d'une revue', La Rochelle, France, June 2004. [bibtex] Ahmed Hammad. Apport du raffinement pour la vérification des systèmes temps-r eel. Conférence invitée aux Journées d'Informatique pour l'Entreprise (JIE2'04), Université de Blida, Algérie, October 2004. [bibtex] Jean-Michel Hufflen. Beschreibung der mlBibTeX-Implementierung mit pgScheme. Note: Dante 2004, Herbsttagung, Hannover, October 2004. [bibtex] Jean-Michel Hufflen. mlBibTeX: der Zustand. Note: DANTE 2004. Darmstadt, March 2004. [bibtex] Pierre-Cyrille Héam. Semi-commutations et automates finis. Séminaire invité à l'ENS Cachan, April 2004. [bibtex] Bruno Legeard. Controlling Test Case Explosion in Test Generation from Formal Models. Invited Talk at the Microsoft Resarch Summer Institute on Trends in Testing: Theory, Techniques and Tools, University of Washington, USA, August 2004. [bibtex] Roland Mathieu, R. Gschwind, M. Martin, Libor Makovicka, Sylvain Contassot-Vivier, and Jacques Bahi. Use of the neural networks in external radiotherapy, May 2004. Note: Current Topics in Monte Carlo Treatment Planning, Advanced Workshop, Montréal, Canada. [bibtex] Roland Mathieu, Éric Martin, Régine Gschwind, Libor Makovicka, Sylvain Contassot-Vivier, and Jacques Bahi. Utilisation des réseaux d'apprentissage neuronaux en radiothérapie externe, June 2004. Note: 43ème Journées scientifiques de la Société Française de Physique Médicale, Montpellier, France. [bibtex] Christophe Reffay. Utiliser les réseaux sociaux pour représenter les communications dans les groupes de FAD. Note: Séminaire 'Instrumentation des activités du tuteur', organisé par Pascal Leroux, Paris, France, March 2004. [bibtex] 2003 Julien Bourgeois. Défaillance des IDS. Conférence invitée, Rump Session, 1er Symp. sur la sécurité des Technologies de l'Information et de la Communication, Rennes, France, June 2003. [bibtex] Julien Bourgeois. Sécurité par firewall et routeur. Conférence invitée aux Journées de l'Informatique Appliquée, Sousse, Tunisie, 2003. [bibtex] Thierry Chanier. Revue Alsic : organisation et modes de publication. Note: Journée sur la production de documents scientifiques, séminaire 'édition scientifique électronique', sous la direction de J.-C. Guédon et J.-P. Ducasse, Université Lyon 2, France, March 2003. [bibtex] Thierry Chanier and J.-M. Noyer. Présentation de l'archive ouverte 'ArchiveTématice'. Conférence invitée au Colloque Technologies pour l'apprentissage et l'éducation, Paris, France, November 2003. [bibtex] Jean-Michel Hufflen. mlBibTeX kommt. Note: DANTE Herbsttagung 2003. Giessen, September 2003. [bibtex] Roland Mathieu, Sylvain Contassot-Vivier, C. Guillerminet, Régine Gschwind, Libor Makovicka, and Jacques Bahi. Prospective de la planification des traitements radiothérapeutiques basée sur les réseaux de neurones, October 2003. Note: Journées SFRP-SFPM-FIRAM Codes de calcul en radioprotection, radiophysique et dosimétrie, Sochaux, France. [bibtex] Roland Mathieu, Sylvain Contassot-Vivier, Libor Makovicka, Régine Gschwind, Éric Martin, and Jacques Bahi. Utilisation des RNA en dosimétrie, October 2003. Note: 20èmes Journées des LARD 2003, Clermont Ferrand, France. [bibtex] Ahmed Mostefaoui. logiciel SIRSALE - Système d'Indexation et de Recherche de Séquences Audiovisuelles à Large Échelle, November 2003. Note: Produit logiciel. Le logiciel SIRSALE a été déposé à l'Agence de Protection des Programmes (APP). [bibtex] 2002 Jean-Michel Hufflen. Interaktive BibTeX-Programmierung. Note: DANTE, Herbsttagung 2002, Augsburg, October 2002. [bibtex] Jean-Michel Hufflen. Software rund um MlBibTeX, May 2002. Note: Die TeX nische Komödie, Erlangen, Deutschland. [bibtex] Jean-Michel Hufflen. Towards MlBibTeX's Versions 1.2 & 1.3. Note: MaTeX Conference. Budapest, Hungary, November 2002. [bibtex] Pierre-Cyrille Héam. Idéaux de mélange. Séminaire invité à l'Université d'Amiens, January 2002. [bibtex] Pierre-Cyrille Héam. Utilisation d'automates pour l'algorithmique des monoïdes finis. Séminaire invité aux journées du GdR ALP, January 2002. [bibtex] D. Josselin, J. Bolot, T. Thévenin, A. Banos, Pascal Chatonnay, Christophe Lang, Philippe Canalda, B. Dupont, L. Sénécat, A. Marguier, and E. Bourgeay. Transport à la demande en milieu urbain : l'expérience bisontine, December 2002. [bibtex] Ahmed Mostefaoui. Techniques de stockage et d'accès aux données multimédias. Conférence invitée : Tutoriel à la Conférence MediaNet, Accès intelligent aux documents multimédias sur l'internet, Sousse, Tunisie. Hermès, June 2002. [bibtex] Bruno Tatibouët. Une autre interface pour l'atelier B, November 2002. Note: Journée enseignement de B, Journées du Groupe B du GDR ALP, Nantes, France. [bibtex] Bruno Tatibouët and Jean-Christophe Voisinet. Plugin B, Type-Checking, Génération de code Java et visualisation de projets B en HTML dans la nouvelle plate-forme jBTools, June 2002. Note: Journées du Groupe B du GDR ALP, CNAM, Paris, France. [bibtex] 2001 Jacques Bahi. Asynchronous algorithms. Standard and non standard cases. Séminaire à l'occasion d'une invitation d'une semaine, par le professeur B. Monien, à l'Université de Paderborn, Allemagne, November 2001. [bibtex] Julien Bourgeois. Prédiction de performances d'applications réparties : Etat de l'art et nouveaux développements, 2001. Note: 7ème Atelier d'Evaluation de Performances, Ecole Normale Supérieure, Paris. [bibtex] Thierry Chanier. Apprentissage collaboratif à distance en langue : le projet ICOGAD. Note: Organisé par F. Demaizière et J.-P. Narcy, December 2001. [bibtex] Thierry Chanier. Individu et groupe d'apprentissage dans la formation à distance médiatisée par les SIC, 2001. Note: Séminaire Hypermédias, éduction et formation, LIP6 Université Paris 6, IUFM Caen et INRP, organisé par E. Bruillard, G.L. Baron et B. De la Passardière. [bibtex] Thierry Chanier. Interactions dans des groupes d'apprentissage dans les plates-formes de télé-apprentissage collaboratif, December 2001. Note: Séminaire du laboratoire d'informatique LIUM, Université du Mans. [bibtex] Pierre-Cyrille Héam. Automates finis et topologie. Séminaire invité à l'Université de Rouen, October 2001. [bibtex] Pierre-Cyrille Héam. Idéaux de mélanges. Séminaire invité à l'Université Paris 7, December 2001. [bibtex] Pierre-Cyrille Héam. Idéaux de mélanges. Séminaire invité à l'Université de Marne-la-Vallée, October 2001. [bibtex] Pierre-Cyrille Héam. On languages of level 1/2 in ST hierarchy. Séminaire invité à l'Université de Porto (Portugal), December 2001. [bibtex] Jean-Marc Nicod. DIET : Distributed Interactive Engineering Toolbox. Invited Talk at Management of Metacomputers, Seminar N. 01241, Report N. 310, Dagstuhl, Germany, May 2001. [bibtex] François Spies, Julien Bourgeois, and Hervé Guyennet. Performance Prediction of Parallel Programs using ChronosMix Environment. Invited Talk at the 5th Int. Conf. on Computing Anticipatory Systems, CASYS'2001, Liege, Belgique, August 2001. [bibtex] Bruno Tatibouët. La plate forme jBTools, October 2001. Note: Journées outils pour et autour de B, INRETS, Lille, France. [bibtex] 2000 Jacques Bahi. Asynchronous algorithms for finite systems. Séminaire lors d'une invitation d'une semaine par le professeur A. Frommer à l'université de Wuppertal, Allemagne, January 2000. [bibtex] Thierry Chanier. Revue ReCALL. Thème : Information and Communication technology in varied language learning environments, 12(1):1--104, May 2000. Note: Direction de revue. Revue éditée par Cambridge University Press. Sélection sur article complet avec 2 relecteurs de communications non francophones du congrès EUROCALL'99. [bibtex] Thierry Chanier, M. Kail, B. Py, and D. Singleton. Perspectives cognitives en linguistique appliquée et didactique des langues, October 2000. Note: Invitation à la table ronde du congrès COFDELA (Confédération française pour le Développement de la Linguistique Appliquée), Avignon, France. [bibtex] M. Pothier and Thierry Chanier. Revue électronique Apprentissage des Langues et Systèmes d'Information et de Communication (ALSIC). Thème : Systèmes d'information et de communication dans des situations diversifiées d'apprentissage des langues, 3(1):1--171, June 2000. Note: Sélection sur article complet avec 2 relecteurs de communications francophones du congrès EUROCALL'99. Version papier publiée avec le soutien de la Délégation Générale à la Langue Française. Version papier (500 ex.) et version Internet à http://alsic.univ-fcomte.fr et alsic.org. [bibtex] 1999 Jacques Bahi. A survey on asynchronous iterative methods. Invited Talk at the 3rd Euro Conference on Parallel and Distributed Computing in Computational Mechanics, Weimar, Allemagne, March 1999. [bibtex] Jacques Bahi. Parallel Solution of Linear DAE's by multispltting waveform relaxation methods. Invited Talk at the 8th Int. Linear Algebra Society (ILAS) Conference, Barcelone, Espagne, July 1999. [bibtex] Fabrice Bouquet. Sur l'évolution de la taille des ROBDD. , 1999. [bibtex] Pascal Chatonnay. Equilibrage de charge multicritère dans CORBA. , February 1999. [bibtex] Hervé Guyennet, Eric Garcia, and Jean-Christophe Lapayre. Multimedia Integration in Cooperative Work. Invited Talk at Information Systems Analysis and Synthesis, Orlando, USA, July 1999. [bibtex] Jacques Julliand. Extensions de spécifications B par des propriétés dynamiques vérifiées par coopération preuve model-checking. , March 1999. [bibtex] Jacques Julliand, Pierre-Alain Masson, and Hassan Mountassir. Vérification modulaire des propriétés dynamiques introduites en B. , December 1999. [bibtex] Olga Kouchnarenko. Combination of Proof Techniques and Model-Checking in Verifying a design by refinement and Expressiveness. , February 1999. [bibtex] Olga Kouchnarenko. Sémantique des programmes récursifs parallèles et méthodes pour leur analyse. , February 1999. [bibtex] Jean-Marc Nicod. Calcul matriciel parallèle avec CORBA. , February 1999. [bibtex] Yvan Peter. Introduction et présentation de CORBA. , February 1999. [bibtex] Yvan Peter. Mobilités des objets dans CORBA. , February 1999. [bibtex] L. Py and Benoit Parreaux. Evaluation contrainte pour l'animation et le model-checking. , December 1999. [bibtex] Christophe Reffay. Nouvelles Technologies Educatives. Note: Séminaire de l'IUT de Douala, Cameroun, November 1999. [bibtex] 1998 B. Barbier. Des flots vers un anamorphisme. , December 1998. [bibtex] Françoise Bellegarde. La programmation fonctionnelle. , June 1998. [bibtex] Françoise Bellegarde. Vérification de propriétés LTL de Systèmes réactifs dans le cadre d'une spécification par raffinements. Note: Présenté aussi dans le groupe LODEC du GDR-ALP, Orléans, (décembre 1998), December 1998. [bibtex] Julien Bourgeois. PVMChronos : un outil de prédiction de performances dans le projet EDPEPPS. , October 1998. [bibtex] Huah-Yong Chan. Un gestionnaire de placement interdomaine sur CORBA. , October 1998. [bibtex] Thierry Chanier. L'apprentissage des langues assisté par ordinateur, un simple domaine d'application du traitement automatique du langage ?. Invited Talk at the Int. Conf. on Natural Language Processing and Industrial Application, NLP+IA'98, Moncton, Canada, August 1998. [bibtex] Thierry Chanier. Revue électronique Apprentissage des Langues et Systèmes d'Information et de Communication (ALSIC), http://alsic.org/, 1998. Note: Rédacteur en chef, 1(1):1--78, juin 1998 ; 1(2):79--209, décembre 1998 ; 2(1):1--102, juin 1999 ; 2(2):1--105, décembre 1999 ; 3(1):1--185, juin 2000 ; 3(2):186--288, décembre 2000 ; 4(1):1--102, juin 2001. [bibtex] Thierry Chanier and M. Pothier. Revue Étude de Linguistique Appliquée (ELA). Thème : Apprentissage des langues et environnements informatiques hypermédia. Num. 110, p. 133--255, April 1998. Note: Direction de Revue. [bibtex] Pascal Chatonnay. Gestion de l'allocation de ressources aux objets dans les systèmes répartis. , May 1998. [bibtex] Claude Daval-Frérot. Répartition de ressources par courtage. Médiation logicielle. , April 1998. [bibtex] Jacques Julliand. Extension de spécifications B par de la logique temporelle linéaire. , December 1998. [bibtex] Benoit Parreaux. Model checking abstrait. , April 1998. [bibtex] Benoit Parreaux and L. Py. Résolution de contraintes ensemblistes pour l'outillage de B : animation et model checking. , October 1998. [bibtex] 1997 Françoise Bellegarde. Théorème de fusion des Hylomorphismes : Application aux preuves d'équivalence et à la transformation des programmes fonctionnels. Conférence invitée aux Journées francophones des Langages Applicatifs, JFLA'97, 1997. [bibtex] Françoise Bellegarde. Théorème de fusion des hylomorphismes : application aux preuves d'equivalence et à la transformation des programmes fonctionnels. , March 1997. [bibtex] Hervé Guyennet. Load balancing in Distributed Systems and Multicomputers. Invited Talk at the Workshop on Parallel and Distributed Systems, Bucarest, Roumanie, May 1997. [bibtex] Hervé Guyennet. Load balancing: Distributed Systems vs. Parallel Computers. Séminaire de l'Université Sains Malaysia, Penang, Malaisie, July 1997. [bibtex] Hervé Guyennet and Laurent Philippe. Conception et mise en oe uvre d'applications parallèles irrégulières de grande taille. Cours dans le cadre de l'Ecole Nationale du CNRS, Ecole d'hiver du GDR CNRS PRS, Aussois, France, December 1997. [bibtex] David Laiymani. Machines dynamiquement reconfigurables. , May 1997. [bibtex] Christophe Lang. La migration de processus dans les systèmes disibués. , February 1997. [bibtex] Benoit Parreaux. Etude de la parallélisation d'un model checker utilisant la logique temporelle linéaire. , October 1997. [bibtex] François Spies. Simulation of Parallel Algorithms. Séminaire de l'Université Sains Malaysia, Penang, Malaisie, July 1997. [bibtex] Bruno Tatibouët. Animation et vérification de Machines B en PLC : expérimentation et perspectives. , October 1997. [bibtex] Bruno Tatibouët. Animation-vérification de spécifications formelles en PLC ensemblistes. , June 1997. [bibtex] Michel Tréhel. Exclusion mutuelle et synchronisation. , September 1997. [bibtex] Michel Tréhel. Problèmes de synchronisation en travail coopératif. , November 1997. [bibtex] -9999 Jean-Michel Hufflen. Die neue Sprache f{urmlBibTeX. . [bibtex] Back to INDEX

Wed May 16 18:07:18 2012 Authors: Arnaud Lanoix, Pierre-Alain Masson and Jean-Marc Nicod

This document was translated from BibTEX by bibtex2html