partial orders

Books

1. C. Jard. Méthodes formelles pour l'ingénierie des protocoles. Vuibert, 2006.
2. SAM2000, 2nd Workshop on SDL and MSC. S. Graf, C. Jard (eds.), Grenoble univ, Grenoble, June 2000.

Academic Journals

1. S. Abbes, A. Benveniste. Probabilistic true-concurrency models: Markov nets and a law of large numbers. TCS special issue: FOSSACS 2005, 2007.
2. Samy Abbes, Albert Benveniste. True-concurrency Probabilistic Models: Branching cells and Distributed Probabilities for Event Structures. Information and Computation, 204(2):231-274, 2006.
3. 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.
4. 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.
5. Eric Fabre. Trellis Processes: a Compact Representation for Runs of Concurrent Systems. Journal of Discrete Event Dynamical Systems, 17(3):267-306, 2007.
6. 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.
7. 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.
8. Blaise Genest,,Dietrich Kuske, Anca Muscholl. On Communicating Automata with Bounded Channels. Fundamenta Informaticae, IOS Press, 80:1-21, 2007.
9. Blaise Genest,,Dietrich Kuske, Anca Muscholl. A Kleene Theorem and Model Checking for a Class of Communicating Automata. Information and Computation, 204(6):920-956, 2006.
10. Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun. Infinite-State High-Level MSCs: Model-Checking and Realizability. J. Computer and System Science JCSS, 72(4):617-647, 2006.
11. S. Haar. Probabilistic Cluster Unfoldings. Fundamenta Informaticae, 53(3):281-314, December 2002.
12. S. Haar. Clusters, Confusion and Unfoldings. Fundamenta Informaticae, 47(3):259-270, September 2001.
13. Stefan Haar. Occurrence Net Logics. Fundamenta Informaticae, 43:105-127, August 2000.
14. Loïc Hélouët. Distributed system requirements modeling with Message Sequence Charts. International Journal of Information and Software Technology, 2002.
15. Loïc Hélouët, Claude Jard, Benoît Caillaud. An Event Structure Semantics for Message Sequence Charts. Mathematical Structures in Computer Science (MSCS) journal, 12(4):377-403, 2002.
16. 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.
17. Lo\"\ig Jezequel, Eric Fabre. On the construction of probabilistic diagnosers for modular systems. Journal of Discrete Events Dynamical Systems, 2012.

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. 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.
6. 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.
7. 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.
8. 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.
9. F. Cassez, T. Chatain, C. Jard. Symbolic unfoldings for networks of timed automata. In Proc. of ATVA'06, 2006.
10. 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.
11. Philippe Darondeau, Benoit Caillaud, Loïc Hélouët, Gilles Lesventes. HMSCs as partial specifications.with Petri Nets as completion. In MOdelling and Verification of Parallel Processes (MOVEP'2000), Nantes, France, June 2000.
12. Edith Elkind, Blaise Genest, Doron Peled. Detecting Races in Ensembles of Message Sequence Charts. In TACAS, Volume LNCS 4424, Pages 420-434, 2007.
13. Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini. Quantifying the Discord: Order Discrepancies in Message Sequence Charts. In ATVA, LNCS, Pages 378-393, 2007.
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, Blaise Genest, Loïc Hélouët, P.S. and Yang, Shaofa Thiagarajan. Causal Message Sequence Charts. In Proceedings of CONCUR 2007, 2007.
27. Thomas Gazagnaire, Loïc Hélouët. Reconstructing Causal Ordering with boxed pomsets. In Proceedings of FORTE 2007, 2007.
28. T. Gazagnaire, C. Jard. Abstraire à la volée les événements d'un système réparti. In Proceedings of NOTERE 2007, 2007.
29. Blaise Genest. Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs. In TACAS, Volume LNCS 3440, Pages 429-444, 2005.
30. Blaise Genest. On Implementation of Global Concurrent Systems with Local Asynchronous Controllers. In CONCUR, Volume LNCS 3653, Pages 443-457, 2005.
31. Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron Peled. Snapshot Verification. In TACAS, Volume LNCS 3440, Pages 510-525, 2005.
32. Blaise Genest, Anca Muscholl. Message Sequence Charts: A Survey. In ACSD, Pages 2-4, 2005.
33. Blaise Genest, Marius Minea, Anca Muscholl, Doron Peled. Specifying and Verifying Partial Order Properties Using Template MSCs. In FoSSaCS, Volume LNCS 2987, Pages 195-210, 2004.
34. Blaise Genest, Anca Muscholl, Dietrich Kuske. A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms. In Developments in Language Theory, Volume LNCS 3340, Pages 30-48, 2004.
35. Blaise Genest, Anca Muscholl, Doron Peled. Message Sequence Charts. In Lectures on Concurrency and Petri Nets, Volume LNCS 3098, Pages 537-558, 2003.
36. Blaise Genest, Loïc Hélouët, Anca Muscholl. High-level Message Sequence Charts projection. In proceedings of CONCUR 2003, Marseille, September 2003.
37. Blaise Genest, Anca Muscholl. Pattern Matching and Membership for Hierarchical Message Sequence Charts. In LATIN, Volume LNCS 2286, Pages 326-340, 2002.
38. Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun. Infinite-State High-Level MSCs: Model-Checking and Realizability. In ICALP, Volume LNCS 2380, Pages 657-668, 2002.
39. S. Haar. Distributed Semi-Markov Processes in Stochastic T-Timed Petri Nets. In Proceedings of PNPM, 2003.
40. 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.
41. Stefan Haar. Probabilistic Unfoldings and Partial Order Fairness in Petri Nets. In Proc. of PAPM-ProbMiV Copenhagen 2002, LNCS, Pages 95-114, 2002.
42. 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.
43. 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.
44. Loïc Hélouët, Thibaut Hénin, Christophe Chevrier. Automating scenario merging. In Proc. of SAM'06, Pages 64-81, 2006.
45. Loïc Hélouët, Marc Zeitoun, Aldric Degorre. Scenarios and cover channels: yet another game. In Proc. of GDV'04 : 1st workshop on Games In design and Verification, July 2004.
46. Loïc Hélouët. Finding covert channels in protocols with Message Sequence Charts: the case of RMTP2. In Proc. of SAM'2004, 4th conference on SDL and MSC, June 2004.
47. Loïc Hélouët, Marc Zeitoun, Claude Jard. Covert channels detection in protocols using scenarios. In Proceedings of SPV'03, Security Protocols Verification, Marseille, September 2003.
48. Loïc Hélouët. Some pathological Message SequenceCharts and how to detect them. In Proc. of SDL'2001, LNCS, 2001.
49. Loïc Hélouët. Etat de l'art sur les langages de scénarios. In proceedings of MSR'2001,Colloque francophone sur la modélisation des systèmes réactifs, October 2001.
50. Loïc Hélouët, P. Le Maigat. Decomposition of Message Sequence Charts. In Proc. of SAM2000(2nd conference on SDL and MSCs), Grenoble, June 2000.
51. Loïc Hélouët, Claude Jard. Conditions for synthesis of communicating automata from HMSCs. In 5th International Workshop on Formal Methods for Industrial Cr itical Systems (FMICS), Berlin, April 2000.
52. Loïc Hélouët. A Simulation Framework for Message Sequence Charts. In Proc. of SDL'99: The Next Millenium, Pages 473-488, 1999.
53. C. Jard. Concurrent Operational Semantics of Safe Time Petri Nets. In UFO, Workshop on Unfoldings and Partial Order Techniques, Pages 19-31, 2007.
54. Lo\"\ig Jezequel, Eric Fabre. Networks of automata with read arcs: a tool for distributed planning. In IFAC World Congress, September 2011.
55. Jacques Klein, Loïc Hélouët, Jean-Marc Jézéquel. Semantic-based Weaving of Scenarios. In Proc. of the 5th International Conference on Aspect-Oriented Software Development (AOSD 06), Pages 27-38, Bonn, Germany, March 2006.
56. Jacques Klein, Benoît Caillaud, Loïc Hélouët. Merging Scenarios. In Proc. of FMICS'04 (Formal Methods in Industrial and Critical Systems, 2004.
57. Pierre Le Maigat, Loïc Hélouët. A (max,+) approach for time in Message Sequence Charts. In 5th Workshop on Discrete Event Systems (WODES 2000), Ghent, August 2000.
58. A. Madalinski, E. Fabre. Modular Construction of Finite and Complete Prefixes. In UFO, Workshop on Unfoldings and Partial Order Techniques, Pages 69-84, 2007.
59. Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel. Revisiting Statechart Synthesis with an Algebraic Approach. In Proc. of ICSE 2004, 2004.
60. Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel. Behaviors Generation From Product Lines Requirements. In Proc. of UML2004 workshop on Software Architecture Description and UML, 2004.

Research Reports

1. S. Abbes. A Probabilistic Model for True Concurrency. Research Report IRISA, No 1591, March 2004.
2. S. Abbes. The Projective Formalism for Topological Event Structures, and a Probabilistic Application - Extended Version. Research Report IRISA, No 1614, 2004.
3. S. Abbes, A. Benveniste. Branching Cells as local states for event structures and nets: probabilistic applications. Research Report IRISA, No 1651, 2004.
4. 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.
5. 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.
6. A. Benveniste, E. Fabre, S. Haar. Markov nets : Probabilistic models for distributed and concurrent systems. Publication Interne IRISA, No 1415, September 2001.
7. 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.
8. 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.
9. Eric Fabre. Trellis Processes: a Compact Representation for Runs of Concurrent Systems. Research Report INRIA Research Report RR5554, April 2005.
10. E. Fabre. Factorization of Unfoldings for Distributed Tile Systems Part 2: General Case. Research Report IRISA, No 1606, May 2004.
11. E. Fabre. Factorization of Unfoldings for Distributed Tile Systems Part 2: General Case. Research Report INRIA, No 5186, May 2004.
12. E. Fabre. Factorization of Unfoldings for Distributed Tile Systems, Part 2 : General Case. Publication Interne IRISA, No 1606, May 2004.
13. E. Fabre. Factorization of Unfoldings for Distributed Tile Systems, Part 1 : Limited Interaction Case. Publication Interne IRISA, No 1529, April 2003.
14. Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P.S. and Yang, Shaofa Thiagarajan. Causal Message Sequence Charts. INRIA Research Report INRIA, No 0, 2007.
15. Thomas Gazagnaire, Loïc Hélouët, Claude Jard. Online abstraction of distributed executions. Research Report INRIA, No 5736, 2005.
16. Blaise Genest, Philippe Darondeau, Loïc Hélouët. Products of Message Sequence Charts. INRIA Research report INRIA, No 6258, 2007.
17. Stefan Haar. Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics. INRIA Research Report INRIA, No 5248, July 2004.
18. S. Haar. Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics. Research Report INRIA, No 5248, 2004.
19. Loïc Hélouët. Application of Message Sequence Charts : a proposal for a new appendix to Z.120. Research Report Draft proposal for ITU SG17-Q12, 2007.
20. Loïc Hélouët. Weakening Weak Sequential Composition in Scenarios. Research report INRIA, No 6262, March 2005. download
21. Loïc Hélouët, Claude Jard, Benoît Caillaud. An Effective equivalence for sets of scenarios represented by HMSCs. REsearch report INRIA, No 3499, September 1998.

Misc

1. Loïc Hélouët. Fibro V0.1, Manuel d'utilisation. Livrable L1.1.4r, CRE CO2, July 2005.
2. Loïc Hélouët. FIBRO : un outil de composition de scénarios. Livrable L1.1.3l, CRE CO2, July 2005.
3. Loïc Hélouët. Comparaison de langages de scénarios. Livrable L1.1.1r, CRE CO2, November 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