• Home
• People
• Publications

Publications of Loic Hélouet

Load the BibTeX file

Academic Journals

1. L. Hélouet, N. Markey, R. Raha. Reachability games with relaxed energy constraints. Information and Computation, 285B, May 2022.
2. M. L. Tessitore, M. Sama, A. D'Ariano, L. Hélouet, D. Pacciarelli. A Simulation-Optimization Framework for Traffic Disturbance Recovery in Metro Systems. Transportation research. Part C, Emerging technologies, 136:1-23, March 2022.
3. R. Singh, L. Hélouet, Z. Miklos. Reducing the Cost of Aggregation in Crowdsourcing. Transactions on Large-Scale Data- and Knowledge-Centered Systems, pages 1-38, October 2021.
4. L. Hélouet, K. Kecir. Realizability of schedules by stochastic time Petri nets with blocking semantics. Science of Computer Programming, 157:71-102, June 2018.
5. E. Fabre, L. Hélouet, E. Lefaucheux, H. Marchand. Diagnosability of Repairable Faults. Discrete Event Dynamic Systems, 28(2):183-213, June 2018.
6. B. Bérard, L. Hélouet, J. Mullins. Non-interference in partial order models. ACM Transactions on Embedded Computing Systems (TECS), 16(2), 2017.
7. S Akshay, L. Helouet, C. Jard, P-A. Reynier. Robustness of Time Petri Nets under Guard Enlargement. Fundamenta Informaticae, 143, 2016.
8. 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. download
9. L. Hélouet, H. Marchand, B. Genest, T. Gazagnaire. Diagnosis from Scenarios, and applications. Discrete Event Dynamic Systems : Theory and Applications, (To appear), 2013.
10. 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.
11. V. Rehak, P. Slovak, J. Strejcek, L. Hélouet. Decidable Race Condition and Open Coregions in HMSC. ECEASST, 29, 2010.
12. 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.
13. 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.
14. L. Hélouet. Distributed system requirements modeling with Message Sequence Charts. International Journal of Information and Software Technology, 2002.
15. 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.

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.

International Conferences

1. L. Hélouet, P. Agrawal. Waiting Nets. In PETRI NETS 2022 - 43rd International Conference on Application and Theory of Petri Nets and Concurrency, Lecture Notes in Computer Science, Volume 13288, Pages 67-89, Bergen, Norway, June 2022.
2. S. Akshay, B. Genest, L. Hélouet, S. Krishna, S. Roychowdhury. Resilience of Timed Systems. In FSTTCS 2021 - 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Pages 1-22, Virtual Conference due to COVID, India, December 2021.
3. L. Hélouet, Z. Miklos, R. Singh. Cost and Quality in Crowdsourcing Workflows. In PETRI NETS 2021 - 42nd International Conference on Applications and Theory of Petri Nets and Concurrency, Lecture Notes in Computer Science, Volume 12734, Pages 33-54, Paris, France, June 2021.
4. G. Zinck, L. S. L. Ricker, H. Marchand, L. Hélouet. Enforcing Opacity in Modular Systems. In Ifac world Congress, Berlin, Germany, 2020.
5. R. Singh, L. Hélouet, Z. Miklos. Reducing the Cost of Aggregation in Crowdsourcing. In Web Services - (ICWS) 2020 - 27th International Conference, Proceedings of Web Services - (ICWS) 2020 - 27th International Conference, Held as Part of the Services Conference Federation SCF 2020), Volume 12406, Honolulu, United States, September 2020.
6. P. Bourhis, L. Hélouet, Z. Miklos, R. Singh. Data Centric Workflows for Crowdsourcing. In Petri Nets 2020 - 41st International Conference on Application and Theory of Petri Nets and Concurrency, Pages 1-39, Paris, France, June 2020.
7. S Akshay, B. Genest, L. Hélouet, S. Mital. Timed Negotiations. In 23rd International Conference on Foundations of Software Science and Computation Structures, Dublin (physical conference cancelled), Ireland, April 2020.
8. L. Hélouet, N. Markey, R. Raha. Reachability Games with Relaxed Energy Constraints. In GandALF 2019 - Tenth International Symposium on Games, Automata, Logics, and Formal Verification, EPTCS, Volume 305, Pages 17-33, Bordeaux, France, September 2019.
9. N. Bertrand, B. Bordais, L. Hélouet, T. Mari, J. Parreaux, O. Sankur. Performance Evaluation of Metro Regulations Using Probabilistic Model-checking. In RSSRail 2019 - International conference on reliability, safety and security of railway systems: modelling, analysis, verification and certification, LNCS, Pages 1-22, Lille, France, June 2019.
10. L. Hélouet, H. Marchand, J. Mullins. Concurrent secrets with quantified suspicion. In ACSD' 2018 - 18th International Conference on Application of Concurrency to System Design, Pages 75-84, Bratislava, Slovakia, June 2018.
11. L. Hélouet, H. Marchand, L. Ricker. Opacity with powerful attackers. In WODES 2018 - 14th Workshop on Discrete Event Systems, Pages 475-482, Sorrento Coast, Italy, May 2018.
12. B. Adeline, P. Dersin, . Fabre, L. Hélouet, K. Kecir. An efficient evaluation scheme for KPIs in regulated urban train systems. In RSSRail 2017 - International Conference on reliability, safety, and security of railway systems, Lecture Notes in Computer Science, Pistoia, Italy, November 2017.
13. S Akshay, L.c Hélouet, R. Phawade. Combining Free choice and Time in Petri Nets. In 6th IFIP Working group on trends in Concurrency, Présentation dans un working group sans actes, Berlin, Germany, September 2017.
14. L. Hélouet, H. Marchand. On the cost of diagnosis with disambiguation. In QEST 2017, 14th International Conference on Quantitative Evaluation of SysTems (QEST 2017), Berlin, France, September 2017.
15. 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.
16. B. Bérard, L. Hélouet, J. Mullins. Non-interference in partial order models. In ACSD 2015, ACSD 2015, Brussels, Belgium, June 2015. download
17. 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. download
18. 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. download
19. 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. download
20. 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.
21. 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.
22. 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.
23. 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.
24. 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.
25. 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.
26. 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.
27. B. Bollig, L. Hélouet. Realizability of Dynamic MSC Languages. In CSR, Lecture Notes in Computer Science, Volume 6072, Pages 48-59, 2010.
28. 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.
29. T. Gazagnaire, B. Genest, L. Hélouet, P.S. and Yang, S. Thiagarajan. Causal Message Sequence Charts. In Proceedings of CONCUR 2007, 2007.
30. T. Gazagnaire, L. Hélouet. Reconstructing Causal Ordering with boxed pomsets. In Proceedings of FORTE 2007, 2007.
31. 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.
32. L. Hélouet, T. Hénin, C. Chevrier. Automating scenario merging. In Proc. of SAM'06, Pages 64-81, 2006.
33. 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.
34. 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.
35. 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.
36. 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.
37. J. Klein, B. Caillaud, L. Hélouet. Merging Scenarios. In Proc. of FMICS'04 (Formal Methods in Industrial and Critical Systems, 2004.
38. T. Ziadi, L. Hélouet, JM. Jézéquel. Revisiting Statechart Synthesis with an Algebraic Approach. In Proc. of ICSE 2004, 2004.
39. 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.
40. B. Genest, L. Hélouet, A. Muscholl. High-level Message Sequence Charts projection. In proceedings of CONCUR 2003, Marseille, September 2003.
41. 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.
42. L. Hélouet. Some pathological Message SequenceCharts and how to detect them. In Proc. of SDL'2001, LNCS, 2001.
43. 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.
44. 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.
45. 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.
46. L. Hélouet, P. Le Maigat. Decomposition of Message Sequence Charts. In Proc. of SAM2000(2nd conference on SDL and MSCs), Grenoble, June 2000.
47. 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.
48. L. Hélouet. A Simulation Framework for Message Sequence Charts. In Proc. of SDL'99: The Next Millenium, Pages 473-488, 1999.

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.
2. P. Darondeau, L. Hélouet, M. Mukund. Assembling Sessions. In ATVA, Lecture Notes in Computer Science, Volume 6996, Pages 259-274, 2011.
3. S. Akshay, B. Genest, L. Hélouet, S. Yang. Regular Set of Representatives for Time-Constrained MSC Graphs. November 2011.
4. C. Jard, R. Abdallah, L. Hélouet. Realistic Implementation of Message Sequence Charts. April 2011.
5. B. Masson, L. Hélouet, A. Benveniste. Compatibility between DAXML Schemas. March 2011.

National Conferences

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

Research Reports

1. E. Fabre, L. Hélouet, A. Thébault. Optimization of traffic management with learning machines. September 2022.
2. L. Hélouet, P. Agrawal. Waiting Nets (Extended Version). Research Report INRIA ; ENS Paris Saclay, March 2022.
3. R. Abdallah, A. Gotlieb, L. Hélouet, C. Jard. Scenario realizability with constraint optimization. January 2013.
4. L. Hélouet. Appendix 1 to Z.120: Applications of Messages Sequence Charts. Research Report ITU-T, 2008.
5. 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.
6. B. Genest, P. Darondeau, L. Hélouet. Products of Message Sequence Charts. INRIA Research report INRIA, No 6258, 2007.
7. T. Gazagnaire, B. Genest, L. Hélouet, P.S. and Yang, S. Thiagarajan. Causal Message Sequence Charts. INRIA Research Report INRIA, No 0, 2007.
8. 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.
9. P. Darondeau, B. Genest, L. Hélouet. Products of Message Sequence Charts. Research Report INRIA, No 6258, July 2007. download
10. 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.
11. 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.
12. L. Hélouet. L3.1 R: Critères de cohérence entre vues. Research Report Projet CO2, 2006.
13. L. Hélouet. L3.1 R: Critères de réalisabilité d'un ensemble de vues. Research Report Projet CO2, 2006.
14. 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.
15. 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.
16. T. Gazagnaire, L. Hélouet, C. Jard. Online abstraction of distributed executions. Research Report INRIA, No 5736, 2005.
17. L. Hélouet. Weakening Weak Sequential Composition in Scenarios. Research report INRIA, No 6262, March 2005. download
18. B. Caillaud, P. Darondeau, L. Hélouet, G. Lesventes. HMSCs as specifications. with PN as completions. Research report INRIA Rennes, No 3970, July 2000. download
19. L. Hélouet, C. Jard, B. Caillaud. An Effective equivalence for sets of scenarios represented by HMSCs. REsearch report INRIA, No 3499, September 1998.

Misc

1. V. Rehak, P. Slov\'aak, J. Strejcek, L. Hélouet. Decidable Race Condition for HMSC. No 0, 2009.
2. L. Hélouet, A. Benveniste. Distributed Active XML and Service Interfaces. No 7082, 2009.
3. L. Hélouet, A. Roumy. Canaux cachés et théorie de l'information. 2009.
4. L. Hélouet, H. Marchand, T. Jéron. Testing Covert Channels. 2008.
5. L. Hélouet, T. Gazagnaire, H. Marchand. Anomaly Detection with diagnosis technique. 2008.
6. L. Hélouet. SOFAT V3 : Suer Manual. August 2008.
7. L. Hélouet. Fibro V0.1, Manuel d'utilisation. Livrable L1.1.4r, CRE CO2, July 2005.
8. L. Hélouet. FIBRO : un outil de composition de scénarios. Livrable L1.1.3l, CRE CO2, July 2005.
9. L. Hélouet. Comparaison de langages de scénarios. Livrable L1.1.1r, CRE CO2, November 2004.

Thesis

1. L. Hélouet. Automates d'ordres : Théorie et Applications. Habilitation à diriger des recherches Université de Rennes 1, May 2013.

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