scenarios

Academic Journals

  1. B. Genest, D. Kuske, A. Muscholl. On Communicating Automata with Bounded Channels. Fundamenta Informaticae, IOS Press, 80:1-21, 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. B. Genest, D. Kuske, A. Muscholl. A Kleene Theorem and Model Checking for a Class of Communicating Automata. Information and Computation, 204(6):920-956, 2006. details
  4. B. Genest, A. Muscholl, H. Seidl, M. Zeitoun. Infinite-State High-Level MSCs: Model-Checking and Realizability. J. Computer and System Science JCSS, 72(4):617-647, 2006. details
  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, 2005. details
  6. 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
  7. L. Hélouet. Distributed system requirements modeling with Message Sequence Charts. International Journal of Information and Software Technology, 2002. details
  8. L. Hélouet, C. Jard, B. Caillaud. An Event Structure Semantics for Message Sequence Charts. Mathematical Structures in Computer Science (MSCS) journal, 12(4):377-403, 2002. details
  9. 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. E. Elkind, B. Genest, D. Peled. Detecting Races in Ensembles of Message Sequence Charts. In TACAS, Volume LNCS 4424, Pages 420-434, 2007. details
  2. E. Elkind, B. Genest, D. Peled, P. Spoletini. Quantifying the Discord: Order Discrepancies in Message Sequence Charts. In ATVA, LNCS, Pages 378-393, 2007. details
  3. T. Gazagnaire, B. Genest, L. Hélouet, P.S. and Yang, S. Thiagarajan. Causal Message Sequence Charts. In Proceedings of CONCUR 2007, 2007. details
  4. T. Gazagnaire, L. Hélouet. Reconstructing Causal Ordering with boxed pomsets. In Proceedings of FORTE 2007, 2007. details
  5. 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
  6. L. Hélouet, T. Hénin, C. Chevrier. Automating scenario merging. In Proc. of SAM'06, Pages 64-81, 2006. details
  7. 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
  8. J. Klein, L. Hélouet, JM 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. details
  9. B. Genest. Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs. In TACAS, Volume LNCS 3440, Pages 429-444, 2005. details
  10. B. Genest. On Implementation of Global Concurrent Systems with Local Asynchronous Controllers. In CONCUR, Volume LNCS 3653, Pages 443-457, 2005. details
  11. B. Genest, D. Kuske, A. Muscholl, D. Peled. Snapshot Verification. In TACAS, Volume LNCS 3440, Pages 510-525, 2005. details
  12. B. Genest, A. Muscholl. Message Sequence Charts: A Survey. In ACSD, Pages 2-4, 2005. details
  13. T. Chatain, L. Hélouet, C. Jard. From Automata Networks to HMSCs: a Reverse Model Engineering Perspective. In 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2005), LNCS, Partial orders, scenarios, unfoldings, Volume 3731, Pages 489-502, October 2005. details
  14. B. Genest, A. Muscholl, D. 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. details
  15. B. Genest, M. Minea, A. Muscholl, D. Peled. Specifying and Verifying Partial Order Properties Using Template MSCs. In FoSSaCS, Volume LNCS 2987, Pages 195-210, 2004. details
  16. J. Klein, B. Caillaud, L. Hélouet. Merging Scenarios. In Proc. of FMICS'04 (Formal Methods in Industrial and Critical Systems, 2004. details ps
  17. T. Ziadi, L. Hélouet, JM. Jézéquel. Revisiting Statechart Synthesis with an Algebraic Approach. In Proc. of ICSE 2004, 2004. details
  18. T. Ziadi, L. Hélouet, JM. Jézéquel. Behaviors Generation From Product Lines Requirements. In Proc. of UML2004 workshop on Software Architecture Description and UML, 2004. details
  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. details
  20. L. Hélouet, M. Zeitoun, A. Degorre. Scenarios and cover channels: yet another game. In Proc. of GDV'04 : 1st workshop on Games In design and Verification, July 2004. details ps
  21. E. Fabre. Runs of a Distributed System are a Product of Local Runs. In Mathematical Theory of Networks and Systems (MTNS), July 2004. details
  22. L. Hélouet. 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. details ps
  23. B. Genest, A. Muscholl, D. Peled. Message Sequence Charts. In Lectures on Concurrency and Petri Nets, Volume LNCS 3098, Pages 537-558, 2003. details
  24. 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
  25. 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
  26. B. Genest, L. Hélouet, A. Muscholl. High-level Message Sequence Charts projection. In proceedings of CONCUR 2003, Marseille, September 2003. details ps
  27. L. Hélouet, M. Zeitoun, C. Jard. Covert channels detection in protocols using scenarios. In Proceedings of SPV'03, Security Protocols Verification, Marseille, September 2003. details ps
  28. B. Genest, A. Muscholl. Pattern Matching and Membership for Hierarchical Message Sequence Charts. In LATIN, Volume LNCS 2286, Pages 326-340, 2002. details
  29. B. Genest, A. Muscholl, H. Seidl, M. Zeitoun. Infinite-State High-Level MSCs: Model-Checking and Realizability. In ICALP, Volume LNCS 2380, Pages 657-668, 2002. details
  30. E. Fabre. Compositional models of distributed and asynchronous dynamical systems. In 41st IEEE Conference on Decision and Control (CDC), Las Vegas, December 2002. details
  31. E. Fabre, V. Pigourier. Monitoring distributed systems with distributed algorithms. In 41st IEEE Conference on Decision and Control (CDC), Las Vegas, December 2002. details
  32. 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
  33. 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
  34. E. Fabre, A. Benveniste, C. Jard. Distributed diagnosis for large discrete event dynamic systems. In 15th IFAC World Congress, Barcelona, July 2002. details
  35. L. Hélouet. Some pathological Message SequenceCharts and how to detect them. In Proc. of SDL'2001, LNCS, 2001. details ps
  36. 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
  37. E. Fabre, A. Benveniste, C. Jard. Distributed State Reconstruction for Large DEDS. In Allerton Conference on Communications, Control, and Computing, October 2001. details
  38. L. Hélouet. 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. details
  39. 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
  40. 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
  41. P. Le Maigat, L. Hélouet. A (max,+) approach for time in Message Sequence Charts. In 5th Workshop on Discrete Event Systems (WODES 2000), Ghent, August 2000. details ps
  42. L. Hélouet, P. Le Maigat. Decomposition of Message Sequence Charts. In Proc. of SAM2000(2nd conference on SDL and MSCs), Grenoble, June 2000. details ps
  43. L. Hélouet, C. Jard. Conditions for synthesis of communicating automata from HMSCs. In 5th International Workshop on Formal Methods for Industrial Cr itical Systems (FMICS), http://www.gmd.de/publications/report/0091, Berlin, April 2000. details ps
  44. L. Hélouet. A Simulation Framework for Message Sequence Charts. In Proc. of SDL'99: The Next Millenium, Pages 473-488, 1999. details ps
  45. 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
  46. 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
  47. 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. B. Genest, P. Darondeau, L. Hélouet. Products of Message Sequence Charts. INRIA Research report INRIA, No 6258, 2007. details
  2. T. Gazagnaire, B. Genest, L. Hélouet, P.S. and Yang, S. Thiagarajan. Causal Message Sequence Charts. INRIA Research Report INRIA, No 0, 2007. details
  3. L. Hélouet. Application of Message Sequence Charts : a proposal for a new appendix to Z.120. Research Report Draft proposal for ITU SG17-Q12, 2007. details
  4. 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
  5. T. Gazagnaire, L. Hélouet, C. Jard. Online abstraction of distributed executions. Research Report INRIA, No 5736, 2005. details
  6. L. Hélouet. Weakening Weak Sequential Composition in Scenarios. Research report INRIA, No 6262, March 2005. details download
  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
  11. L. Hélouet, C. Jard, B. Caillaud. An Effective equivalence for sets of scenarios represented by HMSCs. REsearch report INRIA, No 3499, September 1998. details ps

Misc

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