Back to INDEX

  Internal reports  

2011
  1. Anne Benoit, Alexandru Dobrila, Jean-Marc Nicod, and Laurent Philippe. Workload balancing and throughput optimization for heterogeneous systems subject to failures. Research report RR-7532, INRIA, February 2011.
    Keywords: Distributed Systems, Fault Tolerance, Scheduling, Optimization Heuristics. [Abstract] [bibtex]


  2. Matteo Cypriani, Philippe Canalda, Frédéric Lassabe, and François Spies. Wi-Fi-Based Indoor Positioning: Basic Techniques, Hybrid Algorithms and Open Software Platform. Research Report RR2011-06, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, January 2011. Note: Published in September 2010 in IPIN 2010, IEEE int. conf. on Indoor Positioning and Indoor Navigation. [Abstract] [bibtex]


  3. Matteo Cypriani, Philippe Canalda, and François Spies. Problématiques de sécurité dans un système de géolocalisation implicite. Research Report RR2011-04, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, January 2011. Note: Publié en octobre 2009 dans CFIP'09, Colloque Francophone sur l'Ingénierie des Protocoles (2 pages, session posters). [Abstract] [bibtex]


  4. Matteo Cypriani, Adrien Henriet, Philippe Canalda, and François Spies. Étude de l'interception et du positionnement de trafic Wi-Fi dans un environnement hétérogène. Research Report RR2011-05, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, January 2011. Note: Publié en novembre 2009 dans C&ESAR'09, Computer and Electronics Security Applications Rendez-vous. [Abstract] [bibtex]


  5. Matteo Cypriani, Frédéric Lassabe, Philippe Canalda, and François Spies. Open Wireless Positionning System: a Wi-Fi-Based Indoor Positionning System. Research Report RR2011-03, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, January 2011. Note: Publié en octobre 2009 dans CFIP'09, Colloque Francophone sur l'Ingénierie des Protocoles (2 pages, session posters). [Abstract] [bibtex]


  6. Matteo Cypriani, Frédéric Lassabe, Philippe Canalda, Soumaya Zirari, and François Spies. Open Wireless Positioning System : un système de géopositionnement par Wi-Fi en intérieur. Research Report RR2011-02, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, January 2011. Note: Publié en février 2009 dans JDIR'09, 10èmes Journées Doctorales en Informatique et Réseaux. [Abstract] [bibtex]


  7. Lionel Droz-Bartholet, Fabrice Bouquet, Jean-Christophe Lapayre, and Eric Garcia. Preuve de la garantie de la séquentialité du système collaboratif RAMOS. Research Report RR2011-12, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, December 2011. [Abstract] [bibtex]


  8. Jean-Marc Nicod, Laurent Philippe, and Lamiel Toch. A Genetic Algorithm to Schedule Workflow Collections on a SOA-Grid with Communication Costs. Research report RR2011-01, LIFC - Laboratoire d'Informatique de Franche-Comté, January 2011.
    Keywords: Batch scheduling, grid computing, heterogeneous platform, genetic algorithm. [Abstract] [bibtex]


  9. Wassim Ramadan, Eugen Dedu, and Julien Bourgeois. EcnLD, ECN Loss Differentiation to optimize the performance of transport protocols on wireless networks. Research Report RR2011-08, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, June 2011. Note: Published in ICUMT 2009, Int. Conf. on Ultra Modern Telecommunications & Workshops, WMCNT workshop. [Abstract] [bibtex]


  10. Wassim Ramadan, Eugen Dedu, and Julien Bourgeois. RELD, RTT ECN Loss Differentiation to optimize the performance of transport protocols on wireless networks. Research Report RR2011-09, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, June 2011. Note: Published in 2011in Telecommunications Systems journal, special issue on Mobile Computing and Networking Technologies. [Abstract] [bibtex]


  11. Wassim Ramadan, Eugen Dedu, and Julien Bourgeois. Une méthode de différenciation de pertes pour améliorer la performance des protocoles de transport sur réseaux sans-fil. Research Report RR2011-07, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, June 2011. Note: Published in JDIR 2009, 10èmes Journées doctorales en informatique et réseaux. [Abstract] [bibtex]


  12. Wassim Ramadan, Eugen Dedu, and Julien Bourgeois. VAAL, Video Adaptation at Application Layer and Experiments using DCCP. Research Report RR2011-10, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, June 2011. Note: Published in WPMC 2010, 13-th Int. Symposium on Wireless Personal Multimedia Communications. [Abstract] [bibtex]


2010
  1. Jacques Bahi, Sylvain Contassot-Vivier, and Jean-François Couchot. Convergence Results of Combining Synchronism and Asynchronism for Discrete-State Discrete-Time Dynamic Network. Research Report RR2010-02, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, May 2010. [Abstract] [bibtex]


  2. Jacques Bahi, Jean-François Couchot, Olivier Grasset, and Christophe Guyeux. Discrete Dynamical Systems: Necessary Divergence Conditions for Synchronous Iterations. Research Report RR2010-04, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, September 2010. [bibtex]


  3. Anne Benoit, Alexandru Dobrila, Jean-Marc Nicod, and Laurent Philippe. Throughput optimization for micro-factories subject to task and machine failures. Research report RR-7479, INRIA, December 2010.
    Keywords: Distributed Systems, Fault Tolerance, Scheduling, Optimization Heuristics. [Abstract] [bibtex]


  4. Bogdan Cornea and Julien Bourgeois. Simulation of a P2P Parallel Computing Environment - Introducing dPerf, A Tool for Predicting the Performance of Parallel MPI or P2P-SAP Applications. Technical Report RT2010-04, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, March 2010.
    Keywords: Technical Report, ANR CIP CIS, dPerf, instrumentation, performance evaluation, parallel application, source code. [Abstract] [bibtex]


  5. Jean-François Couchot. Formal Convergence Proof for Discrete Dynamical Systems. Research Report RR2010-03, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, May 2010. [Abstract] [bibtex]


  6. Sékou Diakité, Jean-Marc Nicod, Laurent Philippe, and Lamiel Toch. Assessing new approches to schedule workflows on heterogeneous platforms. Research report RR2010-05, LIFC - Laboratoire d'Informatique de Franche-Comté, July 2010.
    Keywords: Batch scheduling, grid computing, heterogeneous platform, list-based scheduling, steady-state scheduling, genetic algorithm. [Abstract] [bibtex]


  7. Ivan Enderlin, Abdallah Ben Othman, Frédéric Dadeau, and Alain Giorgetti. Realistic Domains for Unit Tests Generation. Research Report RR2010-01, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, September 2010. [bibtex]


  8. Elizabeta Fourneret. Experimentation on SeTGaM. Technical Report RT2010-05, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, June 2010. [bibtex]


  9. Elizabeta Fourneret and Fabrice Bouquet. Impact Analysis for UML/OCL Statechart diagrams based on Dependence Algorithms for Evolving Critical Software. Technical Report RT2010-06, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, September 2010. [bibtex]


  10. Mais Haj Rachid, Christelle Bloch, Wahiba Ramdane-Cherif, and Pascal Chatonnay. Différentes opérateurs évolutionnaires de permutation : sélections, croisements et mutations. Research Report RR2010-07, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, July 2010.
    Keywords: Algorithmes évolutionnaires, méthodes de sélection, recombinaison, mutation. [Abstract] [bibtex]


  11. Mais Haj Rachid, Christelle Bloch, Wahiba Ramdane-Cherif, and Pascal Chatonnay. Vehicle routing problem: survey and methods of resolution. Technical Report RR2010-06, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, June 2010. [bibtex]


  12. Pierre-Cyrille Héam, Vincent Hugot, and Olga Kouchnarenko. Random Generation of Positive TAGEDs wrt. the Emptiness Problem. Research Report RR-7441, INRIA, November 2010. Note: 43 pages.
    Keywords: tree automata with constraints, TAGED, membership problem, emptiness problem, random generation, difficult cases. [Abstract] [bibtex]


2009
  1. Anne Benoit, Alexandru Dobrila, Jean-Marc Nicod, and Laurent Philippe. Throughput optimization for micro-factories subject to failures. Research report RR-6896, INRIA, April 2009. Note: Also available as LIP report RR2009-02.
    Keywords: Distributed Systems, Fault Tolerance, Scheduling, Optimization Heuristics. [Abstract] [bibtex]


  2. Fabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, and Pierre-Alain Masson. Test Generation Based on Abstraction and Dynamic Selection Criteria. Research Report RR2009-02, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, September 2009. Note: 18 pages. [Abstract] [bibtex]


  3. Sékou Diakité, Loris Marchal, Jean-Marc Nicod, and Laurent Philippe. Steady-State for Batches of Identical Task Graphs. Research Report RR2009-18, LIP - Laboratoire de l'Informatique du Parallélisme - ENS-LYON, 2009. [Abstract] [bibtex]


  4. J.-J. Girardot, C. Masselot, Sylvie Damy, Bénédicte Herrmann, C. Sanchez, A. Moreno Moreno, and B. Miedes. Specifications for a Territorial Information System. deliverable 60, caENTI project, funded under FP6 research program of the European Union, 2009. [bibtex]


  5. Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, and Pierre-Alain Masson. B Model Abstraction Combining Syntactic and Semantics Methods. Research Report RR2009-04, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, November 2009. Note: 15 pages. [Abstract] [bibtex]


  6. Elena Tushkanova, Alain Giorgetti, and Olga Kouchnarenko. Specifying and Proving a Sorting Algorithm. Research Report RR2009-03, LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté, October 2009. Note: 35 pages. [Abstract] [bibtex]


  7. Elena Tushkanova, Alain Giorgetti, Claude Marché, and Olga Kouchnarenko. Modular Specification of Java Programs. Research Report RR-7097, INRIA, 2009. [Abstract] [bibtex]


2008
  1. Wahabou Abdou, Adrien Henriet, Dominique Dhoutaut, François Spies, and Christelle Bloch. Optimizing Communications in Vehicular Ad hoc Networks Using Evolutionary Computation and Simulation. Research Report RR2008-05, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, April 2008. Note: 26 pages.
    Keywords: VANET, Broadcast, Flooding, Context dissemination, Multi-objective Evolutionary Algorithm. [Abstract] [bibtex]


  2. Husam Alustwani, Jacques Bahi, Ahmed Mostefaoui, and Michel Salomon. La Technologie Java : une Solution Stratégique pour les Applications Distribuées Interactives. Research Report RR2008-11, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, October 2008. Note: 33 pages.
    Keywords: Java, Middleware, RMI, Applications distribuées, Modes de communications. [Abstract] [bibtex]


  3. Yohan Boichut and Pierre-Cyrille Héam. A Theoretical Limit for Safety Verification Techniques with Regular Fix-point Computations. Research Report RR-6411, INRIA, January 2008. [Abstract] [bibtex]


  4. Matteo Cypriani, Philippe Canalda, Soumaya Zirari, Frédéric Lassabe, and François Spies. Open Wireless Positioning system. Technical Report RT2008-02, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, December 2008.
    Keywords: Géolocalisation en intérieur, Wi-Fi, IEEE 802.11, Réseau sans fil. [Abstract] [bibtex]


  5. Frédéric Dadeau, Pierre-Cyrille Héam, and J. Levrey. A Combination of Model-Based Testing and Random Testing Approaches using Automata. Research Report RR2008-10, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, October 2008. Note: 21 pages. [Abstract] [bibtex]


  6. Christophe Denis, Raphaël Couturier, and Fabienne Jézéquel. Load balancing of the direct linear multisplitting method in a grid computing environment. Research Report RR2008-01, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, January 2008. [Abstract] [bibtex]


  7. Jacques Julliand, Pierre-Alain Masson, and Emilie Oudot. Partitioned PLTL Model-Checking for Refined Transition Systems. Research Report RR2008-07, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, October 2008. [Abstract] [bibtex]


  8. Fabienne Jézéquel, Raphaël Couturier, and Christophe Denis. Solving large sparse linear systems in a grid environment: the GREMLINS code versus the PETSc library. Research Report RR2008-06, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, July 2008. [Abstract] [bibtex]


  9. Jean-Marc Nicod. Comment faire un rapport de recherche LIFC avec le package RR-LIFC.sty ?. Technical Report RT2008-01, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, November 2008.
    Keywords: LaTeX, Rapport de Recherche, Rapport Technique. [Abstract] [bibtex]


  10. Vincent Pretre, Fabrice Bouquet, and Christophe Lang. Automating UML models merging: application of the method. Research Report RR2008-09, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, December 2008. Note: 31 pages.
    Keywords: UML, web services, composition, automation, model based testing. [Abstract] [bibtex]


  11. Françoise Sailhan, E. Salamanca-Cuadrado, and Julien Bourgeois. Group-based Event Notification in Hybrid Networks. Research Report RR2008-02, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, April 2008. Note: 24 pages.
    Keywords: Event notification, hybrid networks, pervasive computing. [Abstract] [bibtex]


2007
  1. Philippe Canalda, D. Josselin, B. Folin, Pascal Chatonnay, Christophe Lang, Nicolas Marilleau, and A. Guillas. Transports Innovants. Rapport d'expérimentation du Modulobus-noël. Rapport intermédiaire fin de phase 2/3, Projet Transports Innovants, Convention I038, March 2007. Note: 31 pages (dont 17 pages annexes). [bibtex]


  2. Sylvain Dahan, Alexandru Dobrila, Jean-Marc Nicod, and Laurent Philippe. Performances study of management and traversal algorithms on the DST overlay network. Research Report RR2007-02, LIFC - Laboratoire d'Informatique de l'Universit é de Franche Comté, November 2007.
    Keywords: Distributed Spanning Tree, random graph, tree, overlay network, simulation. [Abstract] [bibtex]


  3. Sékou Diakité, Jean-Marc Nicod, and Laurent Philippe. Adaptation d'un algorithme optimal d'ordonnancement en régime permanent pour des lots bornés. Research Report RR2007-03, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, December 2007.
    Keywords: ordonnancement hétérogène, grille de calcul, régime permanent, lots bornés. [Abstract] [bibtex]


  4. Pierre-Cyrille Héam. Transitive Closures of Semi-commutation Relations on Regular omega-Languages. Research Report RR-6239, INRIA, June 2007. Note: 20 pages. [bibtex]


  5. Pierre-Cyrille Héam, Olga Kouchnarenko, and Jérôme Voinot. Towards Formalizing QoS of Web Services with Weighted Automata. Research Report RR-6218, INRIA, June 2007. Note: 22 pages. [bibtex]


  6. D. Josselin, Philippe Canalda, E. Castex, Christophe Genre-Grandpierre, J. Bolot, Christophe Lang, T. Garaix, S. Houzet, A.C. Madignier, Nicolas Marilleau, Pascal Chatonnay, R. Chevrier, and B. Folin. Transports Flexibles dans la Société de l'Information. Le concept du Modulobus. Rapport de fin de recherches, Action Concertée Incitative num. 9130, December 2007. Note: 102 pages (30 pages + 72 pages annexes). [bibtex]


  7. Jacques Julliand, Hassan Mountassir, and Emilie Oudot. Composability, compatibility, compositionality: automatic preservation of timed properties during incremental development. Research Report RR2007-01, LIFC - Laboratoire d'Informatique de l'Universit é de Franche Comté, November 2007.
    Keywords: tau-simulations, component-based timed systems, integration of components, preservation of timed linear properties.. [Abstract] [bibtex]


2006
  1. Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, and Emilie Oudot. Experiments in the use of tau-simulations for the Verification of Timed Components. Research Report RR2006-04, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, July 2006.
    Keywords: tau-simulation, integration of components, timed systems, preservation of linear-time properties. [Abstract] [bibtex]


  2. Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, and Emilie Oudot. The tool VeSTA: Verification of Simulations for Timed Automata. Technical Report RT2006-01, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, July 2006.
    Keywords: tau-simulation, integration of components, timed automata, preservation of linear-time properties. [Abstract] [bibtex]


  3. Yohan Boichut and T. Genet. Trace Reconstruction. Research Report RR2006-02, LIFC - Laboratoire d'Informatique de l'Université de Franche Comtéand IRISA / Université de Rennes, February 2006.
    Keywords: Reachability analysis, verification, infinite systems, rewriting, approximations, sound and complete method, rewriting path.. [Abstract] [bibtex]


  4. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. Automatic Abstraction Generation: How to Make an Expert Verification Technique for Security Protocols available to Non-expert Users. Research Report RR-6039, INRIA, November 2006. [bibtex]


  5. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. Handling Algebraic Properties in Automatic Analysis of Security Protocols. Research report RR-5857, INRIA, March 2006.
    Keywords: VERIFICATION, SECURITY PROTOCOLS, APPROXIMATIONS. [Abstract] [bibtex]


  6. Fabrice Bouquet, Frédéric Dadeau, and Bruno Legeard. Automated Boundary Test Generation from JML Specifications. Research Report RR2006-03, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, March 2006.
    Keywords: Test generation, model-based, Java Modeling Language, automated, boundary values. [Abstract] [bibtex]


  7. Alain Giorgetti and Julien Groslambert. JAG : Génération d'annotations JML pour vérifier des propriétés temporelles. Technical Report RT2006-02, LIFC - Laboratoire d'Informatique de l'Universit é de Franche Comté, September 2006.
    Keywords: Java Modeling Language, temporal logic, annotations, verification. [Abstract] [bibtex]


  8. Julien Groslambert. Verification of LTL on B Event System. Research Report RR2006-05, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, September 2006.
    Keywords: LTL, Buchi Automaton, Verification, Refinement.. [Abstract] [bibtex]


  9. D. Josselin, Philippe Canalda, Christophe Lang, S. Houzet, Nicolas Marilleau, and R. Chevrier. Définition d'un système de transport innovant pour la CAPM : fonctionnement et gestion. Rapport intermédiaire, Projet Véhicules du Futur, 2006. Note: 31 pages + 17 pages annexes. [bibtex]


  10. Olga Kouchnarenko and Arnaud Lanoix. How to Refine and to Exploit a Refinement of Component-based Systems. Research report RR-5898, INRIA, April 2006.
    Keywords: COMPONENT-BASED SYSTEMS, MODULES, REFINEMENT, LTL PROPERTIES, COMPOSITION, VERIFICATION. [Abstract] [bibtex]


2005
  1. Françoise Bellegarde, Julien Groslambert, M. Huisman, Jacques Julliand, and Olga Kouchnarenko. Verification of Liveness Properties with JML. Research Report RR2005-04, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, November 2005.
    Keywords: Java Modeling Language, JML, Liveness, Verification. [bibtex]


  2. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. Automatic Verification of Security Protocols Using Approximations. Research Report RR2005-01, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, January 2005.
    Keywords: Security protocols, Verification, Approximations, Abstractions. [Abstract] [bibtex]


  3. E. Caron, B. DelFabbro, F. Desprez, E. Jeannot, and Jean-Marc Nicod. Managing Data Persistence in Network Enabled Servers. Research Report RR-5725, INRIA, October 2005. [bibtex]


  4. Bruno Del Fabbro, David Laiymani, Jean-Marc Nicod, and Laurent Philippe. Design and experimentations on an efficient Data Persistency Service for ASP Architecture.. Research Report RR2005-02, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, March 2005.
    Keywords: DIET, persistence, DTM. [Abstract] [bibtex]


  5. Eric Garcia, Lionel Droz-Bartholet, and Jean-Loup Haberbusch. Collaborative Tele-Neurology for Remote Diagnosis, Conformance Statement for the Dicom Explorer. Technical Report RT2005-01, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, January 2005.
    Keywords: Conformance, DICOM, SCP, SCU, Teneci. [Abstract] [bibtex]


  6. Eric Garcia, Hervé Guyennet, Fabien Hantz, and Jean-Christophe Lapayre. Modélisation des scénarios de maintenance et passage à l'implémentation. Technical Report RT2005-02, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, March 2005.
    Keywords: Evénement, Acteur, Capteur, Alarme. [Abstract] [bibtex]


  7. Eric Garcia, Julien Henriet, and Jean-Christophe Lapayre. Modeling the Chameleon using a Coloured-Petri Net: Proof and Validation. Technical Report RT2005-03, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, March 2005.
    Keywords: Coloured Petri Net, Modelization, Communication Protocol, Qualitative Study, Collaborative Work. [Abstract] [bibtex]


2004
  1. Mohammed Al'Achhab, K. Cristiano, Ahmed Hammad, and Hassan Mountassir. Implementing Hierarchical automata in Promela/Spin. Technical Report RT2004-03, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, April 2004. [bibtex]


  2. Mohammed Al'Achhab, Ahmed Hammad, and Hassan Mountassir. Refinement of Hierarchical Systems. Research Report RR2004-03, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, April 2004.
    Keywords: Specification, hierarchical automata, refinement, Kripke structure, verification. [Abstract] [bibtex]


  3. Tafsir Ba, Eric Garcia, Julien Henriet, and Jean-Christophe Lapayre. The Optimistic Pilgrim: Proof and Validation. Technical Report RT2004-02, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, February 2004. [bibtex]


  4. Yohann Bardin, Sylvain Dahan, Sylvie Damy, and Bénédicte Herrmann. Mediation Service: Heterogenous client handling. Research Report RR2004-08, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, October 2004.
    Keywords: distributed systems, heterogeneity, service access. [Abstract] [bibtex]


  5. Yohann Bardin, Sylvie Damy, Bénédicte Herrmann, and Laurent Philippe. Un Service de Médiation pour les applications réparties. Research Report RR2004-07, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, October 2004.
    Keywords: distributed system, middleware, service, runtime environment, localisation. [Abstract] [bibtex]


  6. E. Bernard, Bruno Legeard, X. Luck, and Fabien Peureux. Generation of test sequences from formal specifications: GSM 11.11 standard case-study. Research Report RR2004-16, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, December 2004. [bibtex]


  7. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. AVISPA tool. Delivrable 4.5, AVISPA project tool vs 2, July 2004. Note: 24 pages, written with others AVISPA members. [bibtex]


  8. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. Abstractions. Delivrable D5.1, AVISPA project, April 2004. Note: 30 pages, written with others AVISPA members. [bibtex]


  9. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. Infinite State Model Checking. Delivrable D5.2, AVISPA project, September 2004. Note: 30 pages, written with others AVISPA members. [bibtex]


  10. Fabrice Bouquet, Frédéric Dadeau, and Julien Groslambert. Checking JML specifications with B machines. Research Report RR2004-12, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, November 2004. Note: 29 pages.
    Keywords: Java Modeling Language, JML, object-oriented, B method, specifications, abstract machines. [Abstract] [bibtex]


  11. Fabrice Bouquet, Frédéric Dadeau, and Bruno Legeard. JML-Testing-Tools - A symbolic animator for JML specifications. Technical Report RT2004-05, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, November 2004.
    Keywords: Java Modeling Language, model-based, constraint, symbolic animation. [Abstract] [bibtex]


  12. F. Bouquet, B. Legeard, and F. Peureux. A constraint solver to animate a B specification. Research Report RR2004-13, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, December 2004. [bibtex]


  13. C. Chaudet, Dominique Dhoutaut, and I. Guérin-Lassous. Performance issues with IEEE 802.11 in ad hoc networking. Technical report RR-5304, INRIA, September 2004. [bibtex]


  14. S. Colin, Bruno Legeard, and Fabien Peureux. Preamble Computation in Automated Test Case Generation using Constraint Logic Programming. Research Report RR2004-15, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, December 2004. [bibtex]


  15. Sylvain Dahan, Jean-Marc Nicod, and Laurent Philippe. Scalability in a GRID Server Discovery Mechanism. Research Report RR2004-10, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, October 2004.
    Keywords: Discovery service, GRID, scalability. [Abstract] [bibtex]


  16. Bruno Del Fabbro, David Laiymani, Jean-Marc Nicod, and Laurent Philippe. A Data Persistency Approach for the DIET Metacomputing Environment. Research Report RR2004-11, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, October 2004.
    Keywords: Grid Computing, Grid RPC, Data Persistency, DIET. [Abstract] [bibtex]


  17. David Fuin, Eric Garcia, and Hervé Guyennet. Adaptation d'un flux vidéo pour client léger sur un résea u actif. Research Report RR2004-04, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, September 2004. [bibtex]


  18. David Fuin, Eric Garcia, and Hervé Guyennet. Qualité de Service dans les Réseaux Actifs. Research Report RR2004-06, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, September 2004. [bibtex]


  19. Eric Garcia, Hervé Guyennet, Jean-Christophe Lapayre, and Fabien Renard. Appat: a New Platform to Perform Global Adaptation. Research Report RR2004-05, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, September 2004. [bibtex]


  20. Eric Garcia and Julien Henriet. Definition of Web Portal Architecture. Délivrable D4.3, ITEA Proteus, June 2004. Note: 20 pages. [bibtex]


  21. Eric Garcia and Julien Henriet. State of the Art of Web Portal Technology and ERP. Délivrable D4.1, ITEA Proteus, April 2004. Note: 20 pages. [bibtex]


  22. Julien Henriet and David Saint-Voirin. e-Documentation Server Architecture Design. Délivrable D1.2, ITEA Proteus, September 2004. Note: 20 pages. [bibtex]


  23. Olga Kouchnarenko and Arnaud Lanoix. Verifying some PLTL Properties through Component-based Refinement. Research report RR2004-09, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, October 2004.
    Keywords: component-based systems, refinement, PLTL properties, compositional verification. [Abstract] [bibtex]


  24. Christophe Lang. Requirements Specification for Platform Configuration Workbench. Délivrable D6.5, ITEA Proteus, June 2004. Note: 6 pages. [bibtex]


  25. Christophe Lang and Michel Salvadori. Quality of Service. Délivrable D6.6, ITEA Proteus, April 2004. Note: 17 pages. [bibtex]


  26. Bruno Legeard, Fabien Peureux, and Mark Utting. Controlling Test Case Explosion in Test Generation from B Formal Models. Research Report RR2004-14, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, December 2004. [bibtex]


2003
  1. Françoise Bellegarde, Célina Charlet, and Olga Kouchnarenko. Using Acceleration to Compute Parameterized Systems Refinement. Research report RR-4716, INRIA, January 2003. [bibtex]


  2. Gérard Cécé, Pierre-Cyrille Héam, and Yann Mainier. Efficiency of Automata in Semi-Commutation Verification Techniques. Research report RR-5001, INRIA, November 2003. [bibtex]


  3. Frédéric Dadeau and Alain Giorgetti. Vérification de machines abstraites B en logique monadique du second ordre. Rapport de Recherche RR2003-01, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, October 2003. Note: 29 pages.
    Keywords: Proof, invariant, B method, MONA. [Abstract] [bibtex]


  4. Dominique Dhoutaut, Q. Vo, and I. Guérin-Lassous. Global visualization of experiments in ad hoc networks. Technical report RR-4933, INRIA, September 2003. [bibtex]


  5. Eric Garcia, Hervé Guyennet, Jean-Christophe Lapayre, Julien Henriet, and Michel Salvadori. Requirement Specifications of the Web Portal and ERP. Délivrable D4.2, ITEA Proteus, December 2003. Note: 30 pages. [bibtex]


  6. Eric Garcia, Christophe Lang, Julien Henriet, and Michel Salvadori. Requirements specification for an integrated maintenance platform. Délivrable D6.2, ITEA Proteus, March 2003. Note: 8 pages. [bibtex]


  7. Hervé Guyennet, David Saint-Voirin, and I. Rasovska. State of the art in Multiple Data Format Handling. Délivrable D1.1, ITEA Proteus, March 2003. Note: 30 pages. [bibtex]


  8. Olga Kouchnarenko and Arnaud Lanoix. Refinement and Verification of Synchronized Component-based Systems. Research report RR-4862, INRIA, June 2003.
    Keywords: composition, synchronization, refinement, algorithmic verification, compositional verification, reachability analysis. [Abstract] [bibtex]


  9. Christophe Lang and Michel Salvadori. Definition/specification of objects for the e-maintenance platform. Délivrable D6.3, ITEA Proteus, November 2003. Note: 18 pages. [bibtex]


  10. Bruno Tatibouët. Evaluation des traducteurs Java et C sharp. Livrable 11, RNTL-BOM, March 2003. Note: 10 pages. [bibtex]


2002
  1. Fabrice Ambert, Fabrice Bouquet, Sébastien Chemin, Sébastien Guenaud, Bruno Legeard, Fabien Peureux, and Nicolas Vacelet. Projet BZ-Testing-Tools - Génération de tests aux limites à partir d'un modèle formel B ou Z - Annexes Techniques. Compte rendu d'avancement au 30 avril 2002, ANVAR, May 2002. Note: 150 pages. [bibtex]


  2. Fabrice Ambert, Fabrice Bouquet, Laetitia Gaspari, Bruno Legeard, B. Bottela, and A. Gotlieb. Génération de tests dans le cas de structures dynamiques. Compte rendu d'avancement 2, RNTL INKA, Thales, February 2002. Note: 37 pages. [bibtex]


  3. E. Caron, P. Combes, Sylvain Contassot-Vivier, F. Desprez, Frédéric Lombard, Jean-Marc Nicod, M. Quinson, and F. Suter. A Scalable Approach to Network Enabled Servers. Research report RR-4501, Institut National de Recherche en Informatique et en Automatique (INRIA), June 2002.
    Keywords: Grid Computing, DIET. [bibtex]


  4. Thierry Chanier. Premier bilan d'utilisation de la plate-forme WebCT à l'université de Franche-Comté. Technical report R-02.01, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, March 2002. Note: Journée ApprenTICE Äpprendre à maîtriser les TICE à l'université de Franche-Comté. Besançon. [bibtex]


  5. Jacques Julliand, Franck Lebeau, and M.-P. Stuchlick. Formalisation et expressivité des propriétés vérifiables avec Scade. Livrable Num. 2 969, PSA, April 2002. Note: 30 pages. [bibtex]


  6. Aloïs Mbala. De l'analyse des données d'interaction de Simuligne à la spécification d'un système multi-agents pour soutenir l'activité des utilisateurs en FAD. Technical report R-02.03, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, April 2002. Note: Rap6/0203 du Projet ICOGAD, programme Cognitique. [bibtex]


  7. Aloïs Mbala, Jérome Nicolet, Thierry Chanier, and Christophe Reffay. SimuLigne : formation collaborative en ligne et à distance. Technical report R-02.02, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, March 2002. Note: Journée ApprenTICE, Äpprendre à maîtriser les TICE à l'université de Franche-Comté. Mars 2002, Besançon. 34 pages. [bibtex]


  8. F. Oehl, Gérard Cécé, Olga Kouchnarenko, and D. Synclair. Automatic Approximation for the Verification of Cryptographic Protocols. Rapport de Recherche RR-4599, INRIA, October 2002. [bibtex]


  9. Jean-Christophe Voisinet. Traducteur B vers Java : Les grandes lignes de l'implémentation en vue d'une extension à d'autres langages. Livrable 6, RNTL-BOM, August 2002. Note: 14 pages. [bibtex]


  10. Jean-Christophe Voisinet and Bruno Tatibouët. Génération de code à partir du langage formel B vers des langages à objets. Application à la génération de code Java/JavaCard. Livrable 5, RNTL-BOM, October 2002. Note: 38 pages. [bibtex]


2001
  1. Fabrice Ambert, Fabrice Bouquet, Bruno Legeard, Benoit Parreaux, J. Vincent, B. Bottela, and A. Gotlieb. Génération de tests dans le cas de structures dynamiques. Compte rendu d'avancement 1, RNTL INKA, Thales, July 2001. Note: 23 pages. [bibtex]


  2. Jean-Luc Anthoine, David Laiymani, and Jean-Marc Nicod. Parallélisation du code de chimie quantique Démon. Rapport de fin de contrat, CEA, March 2001. Note: 30 pages. [bibtex]


  3. E. Caron, S. Chaumette, Sylvain Contassot-Vivier, F. Desprez, E. Fleury, C. Gomez, M. Goursat, E. Jeannot, D. Lazure, Frédéric Lombard, Jean-Marc Nicod, Laurent Philippe, M. Quinson, P. Ramet, J. Roman, F. Rubi, S. Steer, F. Suter, and G. Utard. Scilab to Scilab//: the OURAGAN Project.. Research report RR-4203, Institut National de Recherche en Informatique et en Automatique (INRIA), June 2001.
    Keywords: Scilab//. [bibtex]


  4. Thierry Chanier, Jérome Nicolet, and S. Torrent. Projet ICOGAD, programme Cognitique, MRT. Technical report R-01.03, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, 2001. Note: Rapports sur la formation Simuligne : Rap1/0102 Formation Simuligne : descriptif général, 29 pages ; Rap2/0105 Formation Simuligne : consignes tuteurs et apprenants pour le descriptif général, les étapes E0 et E1, PrepInterculture, 104 pages ; Rap3/0105 Formation Simuligne : consignes tuteurs et apprenants pour le descriptif général, les étapes E2 et E3, Interculture, 101 pages. [bibtex]


  5. Jacques Julliand, Franck Lebeau, and M.-P. Stuchlick. Formalisation et expressivité des propriétés vérifiables avec ObjectGéode et StateMate. Livrable Num. 1 969, PSA, December 2001. Note: 90 pages. [bibtex]


  6. Bruno Legeard, Fabien Peureux, Laetitia Gaspari, and N. Caritey. Modélisation formelle et tests - Application Ticket Métro/RER. Rapport de fin de contrat, Schlumberger Terminaux Urbains et Systèmes, June 2001. Note: 87 pages. [bibtex]


  7. Aloïs Mbala. SIGFAD : Un système multi-agents pour le soutien des interactions dans la Formation à Distance. Technical report R-01.02, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, October 2001. Note: Rap5/010 du Projet ICOGAD, programme Cognitique, 95 pages. [bibtex]


  8. Christophe Reffay. SimuDonnées : la base de données de SimuLigne. Technical report R-01.01, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, September 2001. Note: 56 pages + 62 pages d'annexes. [bibtex]


2000
  1. E. Bernard, Bruno Legeard, X. Luck, and Fabien Peureux. Generation of functional tests sequences from B formal specifications of the GSM 11-11 standard. Rapport de fin de contrat, Schlumberger SmartCard R&D, July 2000. Note: 175 pages. [bibtex]


  2. Jérome Nicolet, Aloïs Mbala, and Thierry Chanier. Participation au sein d'une plate-forme de téléformation expérimentation et priorités d'extension. Technical report R-00.02, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, 2000. Note: 10 pages. [bibtex]


  3. Christophe Reffay. CUMULI : Construction d'une mémoire du groupe dans l'interaction en FAD. Technical report R-00.01, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, December 2000. Note: 12 pages. [bibtex]


1999
  1. Jean-Luc Anthoine, David Laiymani, and Jean-Marc Nicod. Installation et utilisation d'une pile de PC au Laboratoire de Chimie des Surfaces et des Interfaces (CEA Saclay) : expertise. Rapport de fin de contrat, CEA, October 1999. Note: 10 pages. [bibtex]


  2. A. Bonhomme and Ahmed Mostefaoui. Serveurs vidéo : concepts de base et prototypes. Technical report 3837, INRIA, December 1999. [bibtex]


  3. J.-L. Boulanger, G. Mariano, and Bruno Tatibouët. Revisiting the B Language Syntax. Rapport de Recherche 99-07, Laboratoire CEDRIC-CNRAM, 1999. [bibtex]


1998
  1. Isabelle Jacques, Bruno Legeard, and L. Py. Document de conception et maintenance de moteur d'optimisation de découpe. Rapport de fin de contrat, AID, June 1998. Note: 35 pages. [bibtex]


  2. Laurent Philippe, Huah-Yong Chan, Pascal Chatonnay, and F. Bourdon. Le placement inter domaine sur COOL-ORB, le gestionnaire de placement. Rapport de Contrat Contrat CENT961W027, CENT, January 1998. [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