[Workflows + Data] [Robustness & time] [Security] [Diagnosis & Control] [Scenarios][Transport]

Workflows + Data (Web Services, Business processes, information systems...)

  1. L. Hélouët, Z. Miklos, R. Singh Data Centric Workflows for Complex Crowdsourcing Applications. In Submitted. [PDF]

  2. L. Hélouët, Z. Miklos, R. Singh Reducing the Cost of Aggregation in Crowdsourcing . In ICWS'20, 2020. [pdf]

  3. E.Badouel, L. Hélouët, C.Morvan, Petri nets with semi-structured data. In Fundamenta Informaticae no 146, pp 35-85, 2016. [PDF]

  4. E. Badouel, R. Fondze Jr, L. Hélouët, G.E. Kouamou, C. Morvan, Active Workspaces: Distributed Collaborative Systems based on Guarded Attribute Grammars . In ACM Sigapp Applied Computing Review, vol 13, issue 3, 2015.[PDF]

  5. E.Badouel, L. Hélouët, C.Morvan, Petri nets with semi-structured data. In Petri Nets'15, Bruxelles, June 2015. [PDF]

  6. E.Badouel, L. Hélouët, C.Morvan, A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment. In SAC'15, Salamanca, april 2015. [PDF]

  7. S. Akshay, L. Hélouët Sessions with an unbounded number of Agents. In ACSD'14, Tunis, june 2014. [PDF]

  8. 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. [PDF]

  9. Philippe Darondeau, Loïc Hélouët, Madhavan Mukund. Assembling Sessions. In ATVA, Lecture Notes in Computer Science, Volume 6996, Pages 259-274, 2011. [PDF]

  10. Loïc Hélouët, Albert Benveniste. Document Based Modeling of Web Services Choreographies Using Active XML. In ICWS, Pages 291-298, 2010. [PDF]

  11. Benoît Masson, Loïc Hélouët, Albert Benveniste. Compatibility between DAXML Schemas. Rapport de recherche INRIA, No 0, March 2011. [PDF]

  12. Loïc Hélouët, Albert Benveniste. Distributed Active XML and Service Interfaces. Research report INRIA, No 7082, 2009. [PDF]

Robustness & time

  1. S. Akshay, B. Genest, L. Hélouët, S. Mital, Timed Negotiations. In FOSSACS, 2020. [pdf]

  2. S. Akshay, L. Hélouët, R. Phawade, Combining Free Choice and Time in Petri Nets (Extended Version). In Journal of Logical and Algebraic Methods in Programming, 2018 (to appear). [PDF]

  3. S.Akshay, L. Hélouet, C.Jard,P.A. Reynier, Robustness of Time Petri Nets under Guard Enlargement . In Fundamenta Informaticae no143, pp 1-27, 2016. [PDF]

  4. S. Akshay, L. Hélouët, 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. [PDF]

  5. S. Akshay, L. Hélouët, 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. [PDF]

  6. S. Akshay, B. Genest, L. Hélouët, S. Yang.. Regular set of representatives for time-constrained MSC graphs. Information Processing Letters, 2012. [PDF]

  7. S. Akshay, B. Genest, L. Hélouët, 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. [PDF]

Security

  1. L. Hélouët, H. Marchand, J.Mullins, Concurrent secrets with quantified suspicion ACSD'18, 2018. [PDF]

  2. Béatrice Bérard, Loïc Hélouët, John Mullins. Non-interference in Partial Order Models. In ACM Transactions on Embedded Computing Systems, Vol. 16, No. 2, Article 44, To appear, 2016. (preliminary version)[PDF]

  3. Béatrice Bérard, Loïc Hélouët, John Mullins. Non-interference in Partial Order Models. In ACSD 2015, IEEE, pp 80-89, 2015. [PDF]

  4. 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. [PS]

  5. 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.

  6. 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. [PS]

  7. 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. [PS]

  8. 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. [PS]

  9. 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

Diagnosis & Control

  1. L. Hélouët, H. Marchand, On the cost of diagnosis with disambiguation. In QEST, p 140-156, 2017. [PDF]

  2. E. Fabre, L. Hélouët, E. Lefaucheux, H. Marchand, Diagnosability of Repairable Faults. In Journal of Discrete Events Systems, 2017. [PDF]

  3. 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, Grenoble, France, April 2014. [PDF]

  4. Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, Hervé Marchand. Diagnosis from Scenarios and Applications. Journal of Discrete Events and Dynamic Systems, 2011. [PDF]

  5. Shaofa Yang, Loïc Hélouët, Thomas Gazagnaire. Logic-based diagnosis for distributed systems. Perspectives in concurrency, P.S. Thiagarajan's Festchrift, 2008. [PDF]

  6. 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. [PDF]

  7. Thomas Gazagnaire, Loïc Hélouët. Reconstructing Causal Ordering with boxed pomsets. In Proceedings of FORTE 2007, 2007. [PDF]

  8. Loïc Hélouët, Benedikt Bollig, Stefan Haar. Diagnosis with Dynamic MSC Languages. In DOTS'2010, satellite workshop of CONCUR 2010, 2010. [PDF]

  9. 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. [PS]

Transports

  1. N. Bertrand, B. Bordais, L. Hélouët, J. Parreaux, O. Sankur Performance Evaluation of Metro Regulations Using Probabilistic Model-checking . In RSSRAIL'19, 2019 [PDF].

  2. L. Hélouët, K. Kecir,. Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics. In Science of Computer Programming, 2017 (to appear) [PDF]

  3. B. Adeline, A. D'ariano, P. Dersin, L. Hélouët, K. Kecir From reactive to predictive regulation in Metros . In ECSO, 2017.. [pdf-abstract]

  4. B. Adeline, P. Dersin, E. Fabre, L. Hélouët, K. Kecir An efficient evaluation scheme for KPIs in regulated urban train systems . In RSSRAIL, 2017.. [PDF]

  5. L. Hélouet, K. Kecir, Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics. In Petri Nets 2016, LNCS 9698, pp 155-175, 2016. [PDF]

Scenarios and concurrency models

  1. R. Abdallah, A. Gotlieb, L. Hélouet, C. Jard. Scenario Realizability with Constraint Optimization. In Fundamental Approaches to Software Engineering (FASE), LNCS, Volume 7793, Pages 194-209, March 2013. [PDF]

  2. Rouwaida Abdallah, Loïc Hélouët, Claude Jard Realistic Implementation of Message Sequence Charts. In Software and Systems Modeling, 2015. [PDF]

  3. Vojtech Rehak, Petr Slovak, Jan Strejcek, Loïc Hélouët. Decidable Race Condition and Open Coregions in HMSC. ECEASST, 29, 2010. details

  4. 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

  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

  7. 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. [PDF]

  8. 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. [PDF]

  9. 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. [PDF]

  10. 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. [PDF]

  11. Loïc Hélouët, Thibaut Hénin, Christophe Chevrier. Automating scenario merging. In Proc. of SAM'06, Pages 64-81, 2006. [PS]

  12. 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. [PDF]

  13. 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. [PDF]

  14. 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. [PS]

  15. 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. [PDF]

  16. 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. [PDF]

  17. Blaise Genest, Loïc Hélouët, Anca Muscholl. High-level Message Sequence Charts projection. In proceedings of CONCUR 2003, Marseille, September 2003. [PS]

  18. Loïc Hélouët. Some pathological Message SequenceCharts and how to detect them. In Proc. of SDL'2001, LNCS, 2001. [PS]

  19. 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. [PS]

  20. 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. [PS]

  21. 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. [PS]

  22. 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. [PS]

  23. 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. [PDF]

  24. Loïc Hélouët. A Simulation Framework for Message Sequence Charts. In Proc. of SDL'99: The Next Millenium, Pages 473-488, 1999. [PS]