Eric Fabre Research Scientist in the DistribCom team Address       IRISA     Campus de Beaulieu     F-35042 Rennes Cedex      France  Tel : +33 2 99 84 73 26  Fax : +33 2 99 84 71 71 Email : Eric.Fabre (AT) irisa.fr Assistant : Laurence Dinh, +33 2 99 84 74 84

Research Interests

• distributed discrete events systems, Petri nets, concurrency, unfolding techniques, stochastic systems
• distributed algorithms, distributed monitoring and control
• Bayesian networks, graphical models of interaction
• information theory, joint source/channel coding, iterative/turbo algorithms

Some News...

    Master :   Distributed Diagnosability Test in Large Distributed System   

    Master :    Distributed Reachability Test in Large Distributed Systems     taken

    Master :    Multi user optimal task scheduling in large distributed games    taken

    PhD :  Monitoring and Control of Large Distributed Systems

    PhD : in cooperation with Alcatel-Lucent Bell Labs

        Distributed self-management methods: optimization and planning for resource
        allocation in telecommunication networks      taken

    PhD :   Distributed Optimal Planning for Large Distributed Systems  (bi-located France + Australia)     taken

To apply for a Master thesis, simply drop me a mail.
To apply for a PhD, follow the online application procedure on INRIA's website, and drop me a mail.

Good candidates are always welcome ! (master in CS or in Maths, with a taste for formal methods).
If you're interested by our research domain, the distributed monitoring of distributed systems,
do not hesitate to contact us for a custom Master or PhD topic.

         Workshop

UFO '07

workshop dedicated to UnFOlding and partial order techniques
a satellite event of ATPN'07, Siedlce (Poland), June 26, 2007

  Proceedings available !

Co-organized by the University of Newcastle and INRIA Rennes

         

Teaching

• TI:  Information Theory and Coding,
  Ecole Normale Superieure de Cachan (Ker Lann), 2nd year (= level Master 1)
  Télécharger les notes de cours (poly inachevé, en Français)
  
  
• OPT: Introduction to Numerical and Combinatorial Optimization,
  Computer science Master, 2nd year
  get the Lecture Notes, and the lecture slides 1 and slides 2     
  
  
• ASR: Introduction to Distributed Systems and Algorithms,
  Computer science Master, 2nd year
  download the slides of lecture 1, lecture 2, lecture 3
  
  
  

Publications

         Some selected papers and a few novelties

• My Habilitation (HDR) document, June 2007 :      Bayesian Networks of Dynamic Systems
  
  
• E. Fabre, L. Jezequel, Distributed Optimal Planning: an Approach by Weighted Automata Calculus, CDC 2009.
  
• A. Madalinski, E. Fabre, Modular construction of finite and complete prefixes of Petri net unfoldings, Fundamenta Informaticae 95, 2009.
• E. Fabre, A. Benveniste, Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them, Journal of Discrete Events Dynamical Systems, 2007.
  
• E. Fabre,  A Trellis Notion for Distributed System Diagnosis with Sequential Semantics,  WODES 2006, Ann Arbor, July 2006.
  
• E. Fabre,  On the Construction of Pullbacks for Safe Petri Nets,  ATPN'06, Turku, Finland,June 2006.
  
• E. Fabre,  Trellis Processes: a Compact Representation for Runs of Concurrent Systems, Journal of Discrete Event Dynamical Systems, 2007. 
• E. Fabre,  Distributed diagnosis based on trellis processes,  CDC 2006, Sevilla, pp. 6329-6334, Dec. 2005.
  
• E. Fabre, A. Benveniste, S. Haar, C. Jard,  Distributed Monitoring of Concurrent and Asynchronous Systems,  Journal of Discrete Event Systems, special issue, vol. 15(1), pp. 33-84, March 2005.  
• A. Benveniste, E. Fabre, C. Jard, S. Haar,  Diagnosis of asynchronous discrete event systems, a net unfolding approach.  IEEE Transactions on Automatic Control, 48(5):714-727, May 2003. 
  
• A. Guyader, E. Fabre, C. Guillemot, M. Robert. Joint source-channel turbo decoding of entropy-coded sources. IEEE Journal on Selected Areas in Communications, SAC-19(9):1680-1696, September 2001. 
  
  

         Extended list