Publications of Loïc Hélouët

Load the BibTeX file

Academic Journals

  1. Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, Hervé Marchand. Diagnosis from Scenarios and Applications. Journal of Discrete Events and Dynamic Systems, 2011. details
  2. Vojtech Reh\'ak, Petr Slov\'ak, Jan Strejcek, Loïc Hélouët. Decidable Race Condition and Open Coregions in HMSC. ECEASST, 29, 2010. details
  3. Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P.S. Thiagarajan, Shaofa Yang. Causal Message Sequence Charts. Theoretical Computer Science (TCS), 410(41):4094-4110, 2009. details
  4. Shaofa Yang, Loïc Hélouët, Thomas Gazagnaire. Logic-based diagnosis for distributed systems. Perspectives in concurrency, P.S. Thiagarajan's Festchrift, 2008. details
  5. Loïc Hélouët. Distributed system requirements modeling with Message Sequence Charts. International Journal of Information and Software Technology, 2002. details
  6. 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. details

International Conferences

  1. Benoît Masson, Loïc Hélouët, Albert Benveniste. Compatibility of Data-Centric Web Services. In WS-FM, 8th International Workshop on Web Services and Formal Methods, Lecture Notes in Computer Science, 2012. details
  2. Philippe Darondeau, Loïc Hélouët, Madhavan Mukund. Assembling Sessions. In ATVA, Lecture Notes in Computer Science, Volume 6996, Pages 259-274, 2011. details
  3. Benedikt Bollig, Loïc Hélouët. Realizability of Dynamic MSC Languages. In CSR, Lecture Notes in Computer Science, Volume 6072, Pages 48-59, 2010. details
  4. Loïc Hélouët, Albert Benveniste. Document Based Modeling of Web Services Choreographies Using Active XML. In ICWS, Pages 291-298, 2010. details
  5. Loïc Hélouët, Aline Roumy. Covert channel detection using Information Theory. In Secco 2010,8th International Workshop on Security Issues in Concurrency, ENTCS, Pages 93-116, 2010. details
  6. Loïc Hélouët, Aline Roumy. On the differences between covert channels and Interference. In GIPSY'2010 : 1st Workshop on Games, Logic and Security, 2010. details
  7. Loïc Hélouët, Benedikt Bollig, Stefan Haar. Diagnosis with Dynamic MSC Languages. In DOTS'2010, satellite workshop of CONCUR 2010, 2010. details
  8. Philippe Darondeau, Blaise Genest, Loïc Hélouët. Products of Message Sequence Charts. In 11th International Conference on Foundations of Software Science And Computation Structures (FOSSACS'08), Volume LNCS 4962, Pages 459-474, Budapest, Hungary, April 2008. details
  9. 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. details
  10. Thomas Gazagnaire, Loïc Hélouët. Reconstructing Causal Ordering with boxed pomsets. In Proceedings of FORTE 2007, 2007. details
  11. 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. details
  12. Loïc Hélouët, Thibaut Hénin, Christophe Chevrier. Automating scenario merging. In Proc. of SAM'06, Pages 64-81, 2006. details
  13. 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. details
  14. Thomas Chatain, Loïc Hélouët, Claude 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, Volume 3731, Pages 489-502, October 2005. details
  15. 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. details
  16. 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. details
  17. 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. details
  18. 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. details
  19. 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. details
  20. Blaise Genest, Loïc Hélouët, Anca Muscholl. High-level Message Sequence Charts projection. In proceedings of CONCUR 2003, Marseille, September 2003. details
  21. 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. details
  22. Loïc Hélouët. Some pathological Message SequenceCharts and how to detect them. In Proc. of SDL'2001, LNCS, 2001. details
  23. 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. details
  24. 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. details
  25. 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. details
  26. 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. details
  27. 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. details
  28. Loïc Hélouët. A Simulation Framework for Message Sequence Charts. In Proc. of SDL'99: The Next Millenium, Pages 473-488, 1999. details

Research Reports

  1. S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang. Regular Set of Representatives for Time-Constrained MSC Graphs. Rapport de recherche INRIA, No 0, November 2011. details
  2. Claude Jard, Rouwaida Abdallah, Loïc Hélouët. Realistic Implementation of Message Sequence Charts. Rapport de recherche INRIA, No 0, April 2011. details
  3. Benoît Masson, Loïc Hélouët, Albert Benveniste. Compatibility between DAXML Schemas. Rapport de recherche INRIA, No 0, March 2011. details
  4. Loïc Hélouët, Albert Benveniste. Distributed Active XML and Service Interfaces. Research report INRIA, No 7082, 2009. details
  5. Loïc Hélouët, Aline Roumy. Canaux cachés et théorie de l'information. Research report, DOTS deliverable 2.4.b Projet ANR DOTS, 2009. details
  6. Vojtech Rehak, Petr Slovak, Jan Strejcek, Loïc Hélouët. Decidable Race Condition for HMSC. Research Report Faculty of Informatics, Masaryk Univ., No 0, 2009. details
  7. Loïc Hélouët. Appendix 1 to Z.120: Applications of Messages Sequence Charts. Research Report ITU-T, 2008. details
  8. Loïc Hélouët, Hervé Marchand, Thierry Jéron. Testing Covert Channels. Research Report Projet Politess, 2008. details
  9. Loïc Hélouët, Thomas Gazagnaire, Hervé Marchand. Anomaly Detection with diagnosis technique. Research Report Projet Politess, 2008. details
  10. Marius Bozga, Loïc Hélouët. 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
  11. 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. details
  12. Blaise Genest, Philippe Darondeau, Loïc Hélouët. Products of Message Sequence Charts. INRIA Research report INRIA, No 6258, 2007. details
  13. 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. details
  14. Marius Bozga, Suzanne Graf, Loïc Hélouët. Modèle intermédiaire pour la transformation des formalismes utilisateurs vers les langages orientés performance (langage de la couche $LU$'). Research Report Projet Persiform, 2006. details
  15. Philippe Darondeau, Blaise Genest, Loïc Hélouët. L2.2 R : description d'un modèle de tuiles, propriétés fondamentales. Research Report Projet CO2, 2006. details
  16. Loïc Hélouët. l1.2.2 R : Description de l'intégration d'un algorithme de calcul d'interface dans SOFAT. Research Report Projet CO2, 2006. details
  17. Loïc Hélouët. L3.1 R: Critères de cohérence entre vues. Research Report Projet CO2, 2006. details
  18. Loïc Hélouët. L3.1 R: Critères de réalisabilité d'un ensemble de vues. Research Report Projet CO2, 2006. details
  19. Loïc Hélouët, Olivier constant, Claude 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
  20. Loïc Hélouët, Thibaut Hénin, Christophe Chevrier. Livrable L1.2.1 R: Rapport technique décrivant l'algorithme de calcul d'interface. Research Report Projet CO2, 2006. details
  21. Thomas Gazagnaire, Loïc Hélouët, Claude Jard. Online abstraction of distributed executions. Research Report INRIA, No 5736, 2005. details
  22. Loïc Hélouët. Weakening Weak Sequential Composition in Scenarios. Research report INRIA, No 6262, March 2005. details download
  23. 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. details

Misc

  1. Loïc Hélouët. SOFAT V3 : Suer Manual. August 2008. details
  2. Loïc Hélouët. Fibro V0.1, Manuel d'utilisation. Livrable L1.1.4r, CRE CO2, July 2005. details
  3. Loïc Hélouët. FIBRO : un outil de composition de scénarios. Livrable L1.1.3l, CRE CO2, July 2005. details
  4. Loïc Hélouët. 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 v210, © INRIA 2002-2006, Projet Lagadic