unfoldings

Academic Journals

  1. E. Fabre. Trellis Processes: a Compact Representation for Runs of Concurrent Systems. Journal of Discrete Event Dynamical Systems, 17(3):267-306, 2007. details
  2. 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, to appear, 2007. details
  3. E. Fabre, A. Benveniste, S. Haar, C. Jard. Distributed Monitoring of Concurrent and Asynchronous Systems. Journal of Discrete Event Systems, special issue, pages 33-84, 2005. details
  4. A. Benveniste, E. Fabre, S. Haar. Markov Nets: Probabilistic Models for distributed and concurrent systems. IEEE Transactions on Automatic Control, 48(11):1936-1950, November 2003. details
  5. A. Benveniste, B.C. Levy, E. Fabre, P. Le Guernic. A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Mixed Stochastic/NonStochastic Systems. Theoretical Computer Science, 152:171-217, 1995. details

International Conferences

  1. T. Gazagnaire, L. Hélouet. Reconstructing Causal Ordering with boxed pomsets. In Proceedings of FORTE 2007, 2007. details
  2. A. Madalinski, E. Fabre. Modular Construction of Finite and Complete Prefixes. In UFO, Workshop on Unfoldings and Partial Order Techniques, Pages 69-84, 2007. details
  3. E. Fabre. Modular Processings Based on Unfoldings. In UFO, Workshop on Unfoldings and Partial Order Techniques, invited talk, 2007. details
  4. L. Hélouet, T. Gazagnaire, B. Genest. Diagnosis from Scenarios. In proc. of the 8th Int. Workshop on Discrete Events Systems, WODES'06, Pages 307-312, 2006. details
  5. E. Fabre, A. Benveniste. Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them. In plenary address, 8th Int. Workshop on Discrete Events Systems, WODES, Ann Arbor, July 2006. details
  6. E. Fabre. A Trellis Notion for Distributed System Diagnosis with Sequential Semantics. In 8th Int. Workshop on Discrete Events Systems, WODES, Ann Arbor, July 2006. details
  7. E. Fabre. Distributed Diagnosis based on Trellis Processes. In 44th Conf. on Decision and Control (CDC), Seville, Spain, December 2005. details
  8. E. Fabre. A Trellis Notion for Distributed Systems. In 43rd Allerton Conf. on Communication, Control and Computing, Monticello, (Ill, USA), September 2005. details
  9. E. Fabre, A. Benveniste, S. Haar, C. Jard, A. Aghasaryan. Algorithms for Distributed Fault Management in Telecommunications Networks. In International Communication Conference (ICT), August 2004. details
  10. E. Fabre. Runs of a Distributed System are a Product of Local Runs. In Mathematical Theory of Networks and Systems (MTNS), July 2004. details
  11. A. Benveniste, S. Haar, E. Fabre, C. Jard. Distributed Unfoldings: a Tool to Address Distributed Discrete Event Systems Diagnosis. In Proc of the 42nd IEEE Conference on Decision and Control(CDC), 2003. details
  12. S. Haar, A. Benveniste, E. Fabre, C. Jard. Partial Order Diagnosability of Discrete Event Systems using Petri Nets Unfoldings. In 42nd IEEE Conference on Decision and Control (CDC), 2003. details
  13. E. Fabre. Compositional models of distributed and asynchronous dynamical systems. In 41st IEEE Conference on Decision and Control (CDC), Las Vegas, December 2002. details
  14. E. Fabre, V. Pigourier. Monitoring distributed systems with distributed algorithms. In 41st IEEE Conference on Decision and Control (CDC), Las Vegas, December 2002. details
  15. A. Benveniste, E. Fabre, C. Jard, S. Haar. Diagnosis of asynchronous discrete event systems, a net unfolding approach. In Workshop on Discrete Event Systems (WODES), Zaragoza, October 2002. details
  16. A. Aghasaryan, C. Dousson, E. Fabre, A. Osmani, Y. Pencolé. Modeling Fault Propagation In Telecommunications Networks for Diagnosis Purposes. In World Telecommunication Congress, September 2002. details
  17. E. Fabre, A. Benveniste, C. Jard. Distributed diagnosis for large discrete event dynamic systems. In 15th IFAC World Congress, Barcelona, July 2002. details
  18. A. Benveniste, E. Fabre, S. Haar. Markov Nets\,: Probabilistic Models for Distributed and Concurrent Systems. In 40th IEEE Conference on Decision and Control (CDC), Orlando, Paper FrP12-6, December 2001. details
  19. E. Fabre, A. Benveniste, C. Jard. Distributed State Reconstruction for Large DEDS. In Allerton Conference on Communications, Control, and Computing, October 2001. details
  20. S. Haar, A. Benveniste, E. Fabre. Markov nets : A new probabilistic model for fault diagnosis in concurrent systems. In Workshop on Concurrency in Dependable Computing, Newcastle, June 2001. details
  21. E. Fabre, A. Benveniste, C. Jard, L. S. Ricker, M. Smith. Distributed state reconstruction for discrete event systems. In 39th IEEE Conference on Decision and Control (CDC), Sydney, Pages 2252-2257, December 2000. details
  22. L. Hélouet. A Simulation Framework for Message Sequence Charts. In Proc. of SDL'99: The Next Millenium, Pages 473-488, 1999. details ps
  23. A. Aghasaryan, E. Fabre, A. Benveniste, R. Boubour, C. Jard. A ``hybrid'' stochastic Petri net approach to fault diagnosis in large distributed system. In Mathematical Theory of Networks and Systems (MTNS), Pages 921-924, July 1998. details
  24. R. Boubour, C. Jard, A. Aghasaryan, E. Fabre, A. Benveniste. A Petri Net Approach to Fault Detection & Diagnosis in Distributed Systems (Part 1). In 36th IEEE Conference on Decision and Control (CDC), San Diego, Pages 720-725, December 1997. details
  25. A. Aghasaryan, E. Fabre, A. Benveniste, R. Boubour, C. Jard. A Petri Net Approach to Fault Detection & Diagnosis in Distributed Systems (Part 2). In 36th IEEE Conference on Decision and Control (CDC), San Diego, Pages 726-731, December 1997. details

Research Reports

  1. E. Fabre, A. Benveniste. Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them. Research Report IRISA, No 1800, May 2006. details
  2. E. Fabre. Trellis Processes: a Compact Representation for Runs of Concurrent Systems. Research Report INRIA Research Report RR5554, April 2005. details
  3. A. Benveniste, S. Haar, C. Fabre, C. Jard. Distributed monitoring of concurrent and asynchronous systems - extended version (update of research report PI-1540). Research Report IRISA, No 1636, 2004. details
  4. E. Fabre. Factorization of Unfoldings for Distributed Tile Systems Part 2: General Case. Research Report IRISA, No 1606, May 2004. details
  5. E. Fabre. Factorization of Unfoldings for Distributed Tile Systems Part 2: General Case. Research Report INRIA, No 5186, May 2004. details
  6. E. Fabre. Factorization of Unfoldings for Distributed Tile Systems, Part 2 : General Case. Publication Interne IRISA, No 1606, May 2004. details
  7. E. Fabre. Factorization of Unfoldings for Distributed Tile Systems, Part 1 : Limited Interaction Case. Publication Interne IRISA, No 1529, April 2003. details
  8. A. Benveniste, E. Fabre, C. Jard, S. Haar. Diagnosis of asynchronous discrete event systems, a net unfolding approach. Publication Interne IRISA, No 1456, May 2002. details
  9. A. Benveniste, E. Fabre, S. Haar. Markov nets : Probabilistic models for distributed and concurrent systems. Publication Interne IRISA, No 1415, September 2001. details
  10. A. Benveniste, E. Fabre, C. Jard, S. Haar. Diagnosis of asynchronous discrete event systems, a net unfolding approach. Publication Interne IRISA, No 1399, May 2001. details

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic