Publications of Loic Hélouet

Load the BibTeX file

Books

  1. H. Marchand, L. Hélouet (eds.). Modélisation des systèmes réactifs. Journal Européen des systèmes automatisés 47(1-2-3), Rennes France, November 2013. details

Academic Journals

  1. S Akshay, L. Helouet, C. Jard, P-A. Reynier. Robustness of Time Petri Nets under Guard Enlargement. Fundamenta Informaticae, 143, 2016. details Hal : Hyper Archive en ligne
  2. E. Badouel, L. Hélouet, G-E. Kouamou, C. Morvan, R. Nsaibirni. Active Workspaces: Distributed Collaborative Systems based on Guarded Attribute Grammars. ACM SIGAPP Applied Computing Review (ACM Digital Library), 15(3), September 2015. details Hal : Hyper Archive en ligne download
  3. L. Hélouet, H. Marchand, B. Genest, T. Gazagnaire. Diagnosis from Scenarios, and applications. Discrete Event Dynamic Systems : Theory and Applications, (To appear), 2013. details doi pdf
  4. S. Akshay, B. Genest, L. Hélouet, S. Yang. Regular set of representatives for time-constrained MSC graphs. Inf. Process. Lett, 112(14):592-598, 2012. details
  5. V. Rehak, P. Slovak, J. Strejcek, L. Hélouet. Decidable Race Condition and Open Coregions in HMSC. ECEASST, 29, 2010. details
  6. T. Gazagnaire, B. Genest, L. Hélouet, P.S. Thiagarajan, Shaofa Yang. Causal Message Sequence Charts. Theoretical Computer Science (TCS), 410(41):4094-4110, 2009. details
  7. S. Yang, L. Hélouet, T. Gazagnaire. Logic-based diagnosis for distributed systems. Theoretical Computer Science, Special Issue for P.S. Thiagarajan's Festchrift, 2008. details
  8. L. Hélouet. Distributed system requirements modeling with Message Sequence Charts. International Journal of Information and Software Technology, 2002. details
  9. 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

Book Chapters

  1. B. Caillaud, P. Darondeau, L. Hélouet, G. Lesventes. HMSCs as specifications. with PN as completions. In Modeling and Verification of Parallel Processes, F. Cassez, Claude Jard, B. Rozoy, M. Dermot (eds.), Vol. 2067, pp. 125-152, Lecture Notes in Computer Science, Springer, 2001. details ps

International Conferences

  1. Eric Fabre, Loic Hélouet, Engel Lefaucheux, Hervé Marchand. Diagnosability of Repairable Faults. In 13th International Workshop on Discrete Event Systems, (Version Longue), Pages 256-262, Xi'an, China, 2016. details Hal : Hyper Archive en ligne pdf
  2. B. Bérard, L. Hélouet, J. Mullins. Non-interference in partial order models. In ACSD 2015, ACSD 2015, Brussels, Belgium, June 2015. details Hal : Hyper Archive en ligne download
  3. E. Badouel, L. Hélouet, C. Morvan. Petri nets with semi-structured data. In 36th International Conference on Application and Theory of Petri Nets and Concurrency, 36th International Conference on Application and Theory of Petri Nets and Concurrency, Bruxelles, Belgium, June 2015. details Hal : Hyper Archive en ligne download
  4. E. Badouel, L. Hélouet, G-E. Kouamou, C. Morvan. A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment. In The 30th ACM/SIGAPP Symposium On Applied Computing, The 30th ACM/SIGAPP Symposium On Applied Computing, Salamanca, Spain, April 2015. details Hal : Hyper Archive en ligne doi download
  5. N. Bertrand, E, Fabre, S. Haar, S. Haddad, L. Hélouet. Active diagnosis for probabilistic systems. In 17th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS'14, Springer (ed.), LNCS, Volume 8412, Pages 29-42, Grenoble, France, April 2014. details Hal : Hyper Archive en ligne download
  6. S. Akshay, L. Hélouet, C. Jard, D. Lime, O-H. Roux. Robustness of Time Petri Nets under architectural constraints. In Formal Modeling and Analysis of Timed Systems, Marcin Jurdzinski, Dejan Nickovic (eds.), LNCS, Volume 7595, Pages 11-26, Warwik, United Kingdom, September 2013. details Hal : Hyper Archive en ligne pdf
  7. S Akshay, N. Bertrand, Haddad S, L. Hélouet. The steady-state control problem for Markov decision processes. In 10th International Conference on Quantitative Evaluation of SysTems (QEST'13), LNCS, Volume 8054, Pages 390-304, Buenos Aires, Argentina, August 2013. details pdf
  8. B. Bollig, A. Cyriac, L. Hélouet, A. Kara, T. Schwentick. Dynamic Communicating Automata and Branching High-Level MSCs. In LATA 2013, Adrian Horia Dediu, Carlos Mart\'\in-Vide, Bianca Truthe (eds.), LNCS, Volume 7810, Pages 177-189, bilbao, Spain, April 2013. details Hal : Hyper Archive en ligne pdf
  9. R. Abdallah, A. Gotlieb, L. Hélouet, C. Jard. Scenario Realizability with Constraint Optimization. In Fundamental Approaches to Software Engineering, LNCS, Volume 7793, Pages 194-209, March 2013. details Hal : Hyper Archive en ligne pdf
  10. S. Akshay, B. Genest, L. Hélouet, S. Yang. Symbolically Bounding the Drift in Time-Constrained MSC Graphs. In Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Abhik Roychoudhury, Meenakshi D'Souza (eds.), Lecture Notes in Computer Science, Volume 7521, Pages 1-15, 2012. details
  11. S. Akshay, L. Hélouet, C. Jard, D. Lime, O. H. Roux. Robustness of Time Petri Nets under Architectural Constraints. In FORMATS, Lecture Notes in Computer Science, Volume 7595, Pages 11-26, 2012. details
  12. S. Akshay, L. Hélouet, C. Jard, PA. Reynier. Robustness of Time Petri Nets under Guard Enlargement. In RP, Lecture Notes in Computer Science, Volume 7550, Pages 92-106, 2012. details
  13. B. Bollig, L. Hélouet. Realizability of Dynamic MSC Languages. In CSR, Lecture Notes in Computer Science, Volume 6072, Pages 48-59, 2010. details
  14. P. Darondeau, B. Genest, L. Hélouet. Products of Message Sequence Charts. In Foundations of Software Science and Computational Structures, Springer Berlin / Heidelberg (ed.), Lecture Notes in Computer Science, Volume 4962, Pages 458-473, 2008. details
  15. T. Gazagnaire, B. Genest, L. Hélouet, P.S. and Yang, S. Thiagarajan. Causal Message Sequence Charts. In Proceedings of CONCUR 2007, 2007. details
  16. T. Gazagnaire, L. Hélouet. Reconstructing Causal Ordering with boxed pomsets. In Proceedings of FORTE 2007, 2007. details
  17. 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
  18. L. Hélouet, T. Hénin, C. Chevrier. Automating scenario merging. In Proc. of SAM'06, Pages 64-81, 2006. details
  19. 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
  20. 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
  21. J. Klein, B. Caillaud, L. Hélouet. Merging Scenarios. In Proc. of FMICS'04 (Formal Methods in Industrial and Critical Systems, 2004. details ps
  22. T. Ziadi, L. Hélouet, JM. Jézéquel. Revisiting Statechart Synthesis with an Algebraic Approach. In Proc. of ICSE 2004, 2004. details
  23. 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
  24. 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
  25. 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
  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. L. Hélouet. Some pathological Message SequenceCharts and how to detect them. In Proc. of SDL'2001, LNCS, 2001. details ps
  29. 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
  30. 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
  31. B. Caillaud, P. Darondeau, L. Hélouet, G. Lesventes. HMSCs as specifications. with PN as completions. In Proceedings of the summer school MOVEP'2k: Modelling and verification of parallel processes, F. Cassez, Claude Jard, B. Rozoy, M. Ryan (eds.), Pages 87-103, Nantes, June 2000. details
  32. 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
  33. 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
  34. L. Hélouet. A Simulation Framework for Message Sequence Charts. In Proc. of SDL'99: The Next Millenium, Pages 473-488, 1999. details ps

Invited Conferences

  1. B. Masson, L. Hélouet, A. Benveniste. Compatibility of Data-Centric Web Services. In WS-FM, 8th International Workshop on Web Services and Formal Methods, Lecture Notes in Computer Science, to appear, 2012. details
  2. P. Darondeau, L. Hélouet, M. Mukund. Assembling Sessions. In ATVA, Lecture Notes in Computer Science, Volume 6996, Pages 259-274, 2011. details
  3. S. Akshay, B. Genest, L. Hélouet, S. Yang. Regular Set of Representatives for Time-Constrained MSC Graphs. November 2011. details
  4. C. Jard, R. Abdallah, L. Hélouet. Realistic Implementation of Message Sequence Charts. April 2011. details
  5. B. Masson, L. Hélouet, A. Benveniste. Compatibility between DAXML Schemas. March 2011. details pdf

National Conferences

  1. L. Hélouet, B. Bollig, S. Haar. Diagnosis with Dynamic MSC Languages. In DOTS'2010, satellite workshop of CONCUR 2010, 2010. details

Research Reports

  1. R. Abdallah, A. Gotlieb, L. Hélouet, C. Jard. Scenario realizability with constraint optimization. January 2013. details pdf
  2. L. Hélouet. Appendix 1 to Z.120: Applications of Messages Sequence Charts. Research Report ITU-T, 2008. details
  3. M. Bozga, L. Hélouet. Définition de la sémantique des diagrammes d'activités à l'aide de Réseaux de Petri. Research Report Délivrable Projet Persiform, 2007. details
  4. B. Genest, P. Darondeau, L. Hélouet. Products of Message Sequence Charts. INRIA Research report INRIA, No 6258, 2007. details
  5. 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
  6. 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
  7. P. Darondeau, B. Genest, L. Hélouet. Products of Message Sequence Charts. Research Report INRIA, No 6258, July 2007. details download
  8. P. Darondeau, B. Genest, L. Hélouet. L2.2 R : description d'un modèle de tuiles, propriétés fondamentales. Research Report Projet CO2, 2006. details
  9. L. Hélouet. l1.2.2 R : Description de l'intégration d'un algorithme de calcul d'interface dans SOFAT. Research Report Projet CO2, 2006. details
  10. L. Hélouet. L3.1 R: Critères de cohérence entre vues. Research Report Projet CO2, 2006. details
  11. L. Hélouet. L3.1 R: Critères de réalisabilité d'un ensemble de vues. Research Report Projet CO2, 2006. details
  12. L. Hélouet, O. constant, C. Jard. Traduction des Diagrammes d' activités et des Message Sequence Charts vers le formalisme intermédiaire des Réseaux de Petri Colorés Stochastiques. Research Report Projet Persiform, 2006. details
  13. L. Hélouet, T. Hénin, C. Chevrier. Livrable L1.2.1 R: Rapport technique décrivant l'algorithme de calcul d'interface. Research Report Projet CO2, 2006. details
  14. T. Gazagnaire, L. Hélouet, C. Jard. Online abstraction of distributed executions. Research Report INRIA, No 5736, 2005. details
  15. L. Hélouet. Weakening Weak Sequential Composition in Scenarios. Research report INRIA, No 6262, March 2005. details download
  16. B. Caillaud, P. Darondeau, L. Hélouet, G. Lesventes. HMSCs as specifications. with PN as completions. Research report INRIA Rennes, No 3970, July 2000. details download
  17. 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. V. Rehak, P. Slov\'aak, J. Strejcek, L. Hélouet. Decidable Race Condition for HMSC. No 0, 2009. details
  2. L. Hélouet, A. Benveniste. Distributed Active XML and Service Interfaces. No 7082, 2009. details
  3. L. Hélouet, A. Roumy. Canaux cachés et théorie de l'information. 2009. details
  4. L. Hélouet, H. Marchand, T. Jéron. Testing Covert Channels. 2008. details
  5. L. Hélouet, T. Gazagnaire, H. Marchand. Anomaly Detection with diagnosis technique. 2008. details
  6. L. Hélouet. SOFAT V3 : Suer Manual. August 2008. details
  7. L. Hélouet. Fibro V0.1, Manuel d'utilisation. Livrable L1.1.4r, CRE CO2, July 2005. details
  8. L. Hélouet. FIBRO : un outil de composition de scénarios. Livrable L1.1.3l, CRE CO2, July 2005. details
  9. L. Hélouet. Comparaison de langages de scénarios. Livrable L1.1.1r, CRE CO2, November 2004. details

Thesis

  1. L. Hélouet. Automates d'ordres : Théorie et Applications. Habilitation à diriger des recherches Université de Rennes 1, May 2013. 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