unfolding

Books

1. C. Jard. Méthodes formelles pour l'ingénierie des protocoles. Vuibert, 2006.

Academic Journals

1. 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.
2. 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.
3. Eric Fabre. Trellis Processes: a Compact Representation for Runs of Concurrent Systems. Journal of Discrete Event Dynamical Systems, 17(3):267-306, 2007.
4. Eric Fabre, Albert Benveniste. Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them. Journal of Discrete Events Dynamical Systems, 2007.
5. 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, May 2005.
6. S. Haar. Probabilistic Cluster Unfoldings. Fundamenta Informaticae, 53(3):281-314, December 2002.
7. S. Haar. Clusters, Confusion and Unfoldings. Fundamenta Informaticae, 47(3):259-270, September 2001.
8. Stefan Haar. Occurrence Net Logics. Fundamenta Informaticae, 43:105-127, August 2000.
9. C. Jard, T. Chatain, P. Bourhis. Diagnostic temporel dans les systèmes répartis à l'aide de dépliages de réseaux de Petri temporels. Journal européen des systèmes automatisés (JESA), 1-2-3:351-366, 2005.

International Conferences

1. Serge Abiteboul, Zoe Abrams, Stefan Haar, Tova Milo. Diagnosis of asynchronous discrete event systems: datalog to the rescue!. In PODS '05: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, Pages 358-367, New York, NY, USA, 2005.
2. 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.
3. 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.
4. 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.
5. P. Baldan, S. Haar, B. Koenig. Distributed Unfolding of Petri Nets. In FOSSACS 2006, LNCS, Pages 126-141, 2006.
6. 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.
7. 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.
8. 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, December 2001.
9. 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.
10. F. Cassez, T. Chatain, C. Jard. Symbolic unfoldings for networks of timed automata. In Proc. of ATVA'06, 2006.
11. T. Chatain, C. Jard. Complete finite prefixes of symbolic unfoldings of safe time Petri nets. In Proc. of ICATPN, LNCS, Pages 125-145, June 2006.
12. T. Chatain, C. Jard. Time Supervision of Concurrent Systems using Symbolic Unfoldings of Time Petri Nets. In 3rd International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2005), LNCS, Volume 3829, Pages 187-201, September 2005.
13. T. Chatain. Diagnostic pour les systèmes distribués dynamiques partiellement observables. In Colloque Francophone d'Ingénierie des Protocoles (CFIP'05), March 2005.
14. E. Fabre. Modular Processings Based on Unfoldings. In UFO, Workshop on Unfoldings and Partial Order Techniques, 2007.
15. 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.
16. 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.
17. Eric Fabre. Distributed Diagnosis based on Trellis Processes. In 44th Conf. on Decision and Control (CDC), Seville, Spain, December 2005.
18. Eric Fabre. A Trellis Notion for Distributed Systems. In 43rd Allerton Conf. on Communication, Control and Computing, Monticello, (Ill, USA), September 2005.
19. 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.
20. E. Fabre. Runs of a Distributed System are a Product of Local Runs. In Mathematical Theory of Networks and Systems (MTNS), July 2004.
21. E. Fabre. Compositional models of distributed and asynchronous dynamical systems. In 41st IEEE Conference on Decision and Control (CDC), Las Vegas, December 2002.
22. E. Fabre, V. Pigourier. Monitoring distributed systems with distributed algorithms. In 41st IEEE Conference on Decision and Control (CDC), Las Vegas, December 2002.
23. E. Fabre, A. Benveniste, C. Jard. Distributed diagnosis for large discrete event dynamic systems. In 15th IFAC World Congress, Barcelona, July 2002.
24. E. Fabre, A. Benveniste, C. Jard. Distributed State Reconstruction for Large DEDS. In Allerton Conference on Communications, Control, and Computing, October 2001.
25. 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.
26. Thomas Gazagnaire, Loïc Hélouët. Reconstructing Causal Ordering with boxed pomsets. In Proceedings of FORTE 2007, 2007.
27. S. Haar. Distributed Semi-Markov Processes in Stochastic T-Timed Petri Nets. In Proceedings of PNPM, 2003.
28. Stefan Haar, Albert Benveniste, Eric Fabre, Claude Jard. Partial Order Diagnosability of Discrete Event Systems using Petri Nets Unfoldings. In 42nd IEEE Conference on Decision and Control (CDC), 2003.
29. Stefan Haar. Probabilistic Unfoldings and Partial Order Fairness in Petri Nets. In Proc. of PAPM-ProbMiV Copenhagen 2002, LNCS, Pages 95-114, 2002.
30. 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.
31. Loïc Hélouët, Thomas Gazagnaire, Blaise Genest. Diagnosis from Scenarios. In proc. of the 8th Int. Workshop on Discrete Events Systems, WODES'06, Pages 307-312, 2006.
32. Loïc Hélouët. A Simulation Framework for Message Sequence Charts. In Proc. of SDL'99: The Next Millenium, Pages 473-488, 1999.
33. C. Jard. Concurrent Operational Semantics of Safe Time Petri Nets. In UFO, Workshop on Unfoldings and Partial Order Techniques, Pages 19-31, 2007.
34. A. Madalinski, E. Fabre. Modular Construction of Finite and Complete Prefixes. In UFO, Workshop on Unfoldings and Partial Order Techniques, Pages 69-84, 2007.

Research Reports

1. S. Abbes. A Probabilistic Model for True Concurrency. Research Report IRISA, No 1591, March 2004.
2. 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.
3. 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.
4. A. Benveniste, E. Fabre, S. Haar. Markov nets : Probabilistic models for distributed and concurrent systems. Publication Interne IRISA, No 1415, September 2001.
5. 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.
6. 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.
7. Eric Fabre. Trellis Processes: a Compact Representation for Runs of Concurrent Systems. Research Report INRIA Research Report RR5554, April 2005.
8. E. Fabre. Factorization of Unfoldings for Distributed Tile Systems Part 2: General Case. Research Report IRISA, No 1606, May 2004.
9. E. Fabre. Factorization of Unfoldings for Distributed Tile Systems Part 2: General Case. Research Report INRIA, No 5186, May 2004.
10. E. Fabre. Factorization of Unfoldings for Distributed Tile Systems, Part 2 : General Case. Publication Interne IRISA, No 1606, May 2004.
11. E. Fabre. Factorization of Unfoldings for Distributed Tile Systems, Part 1 : Limited Interaction Case. Publication Interne IRISA, No 1529, April 2003.
12. Asax Group. Semantics and Unfolding of AXML. Research Report Asax Project, 2007.
13. S. Haar. Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics. Research Report INRIA, No 5248, 2004.

Thesis

1. S. Abbes. Probabilistic Models for Distributed and Concurrent Systems. Limit Theorems and Applications to Statistical Parametric Estimation. PhD Thesis Université de Rennes 1, 2004.
2. Thomas Chatain. Symbolic Unfoldings of High-Level Petri Nets and Application to Supervision of Distributed Systems. PhD Thesis Université de Rennes 1, 2006.

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 v210, © INRIA 2002-2006, Projet Lagadic